Convexity from order: a theory of faces and generalized separation
It is known that any convex cone in a general vector space is the positive cone of a preorder compatible with the vector space, and that any convex set is an affine slice of a convex cone. We therefore treat convex sets order-theoretically, as affine slices of positive cones. We find that faces are sets of strong minima, and we generalize functionals to oriented maps valued in arbitrary ordered vector spaces. Oriented maps expose every face, and an oriented affine map $f$ separates $C$ from $D$ when $f(D) \le 0 \le f(C)$ element-wise. This generalization of hyperplane separation recovers…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.05775
curl -X POST /api/v1/records/arxiv/2609.05775/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.05775/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'