作者: E.A Sánchez Pérez , S Romaguera , O Valero
DOI:
关键词: Pure mathematics 、 Type (model theory) 、 Dual cone and polar cone 、 Duality (mathematics) 、 Space (mathematics) 、 Discrete mathematics 、 Cone (topology) 、 Quotient 、 Equivalence relation 、 Linear function 、 Mathematics
摘要: Let C be a cone. We study the relation between structure of space linear functions from to R and cancellativity addi- tive operation in C. In particular, we prove separation result by defining an equivalence Q that is given cone, show function on subcone S can extended whole cone whenever its associated quotient S/Q cancellative C/Q. This provides technique for generalization Hahn-Banach type theorems extensions real func- tionals noncancellative normed cones.