Abstract:In the paper we consider convex cones in infinite-dimensional real vector spaces which are endowed with no topology. The main purpose is to study an internal geometric structure of convex cones and to obtain an analytical description of those. To this end, we first introduce the notion of an open component of a convex cone and then prove that an arbitrary convex cone is the disjoint union of the partial ordered family of its open components and, moreover, as an ordered set this family is an upper semilattice. We identify the structure of this upper semilattice with the internal geometric structure of a convex cone. We demonstrate that the internal geometric structure of a convex cone is related to its facial structure but in the infinite-dimensional setting these two structures may differ each other. Further, we study the internal geometric structure of conical halfspaces (convex cones whose complements are also convex cones). We show that every conical halfspace is the disjoint union of the linear ordered family of its open components each of which is a conical halfspace in its linear hull. Using the internal geometric structure of conical halfspaces, each asymmetric conical halfspace is associated with a linearly ordered family of linear functions, which generates in turn a real-valued function, called a step-linear one, analytically describing this conical halfspace. At last, we establish that an arbitrary asymmetric convex cone admits an analytical representation by the family of step-linear functions.

L-CONVEX SYSTEMS AND THE CATEGORICAL ISOMORPHISM TO SCOTT-HULL OPERATORS

Unconditional Convergent Series on Locally Convex Spaces

Strong CHIP for Infinite System of Closed Convex Sets in Normed Linear Spaces

STABLE LAGRANGE DUALITIES FOR ROBUST CONICAL PROGRAMMING

The Dual Normal Chip and Linear Regularity for Infinite Systems of Convex Sets in Banach Spaces

Cartesian-closedness and subcategories of (L, M)-fuzzy Q-convergence spaces

The FM and BCQ Qualifications for Inequality Systems of Convex Functions in Normed Linear Spaces

Closure and Interior Operators of the Category of Positive Topologies

Sober $L$-convex spaces and $L$-join-semilattices

Interacting Conceptual Spaces

A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces

Some further results on pointfree convex geometry

Fractoconvex structures

Categorical computation

Lawvere theories and C-systems

Convergence and collapsing of CAT$(0)$-lattices

A Remark on the Meet of Two Cartesian Closed Categories

Topological representations for frame-valued domains via $L$-sobriety

An extension property for noncommutative convex sets and duality for operator systems

Infinite-dimensional Convex Cones: Internal Geometric Structure and Analytical Representation

Inductive limits in the operator system and related categories