Most often, the geometric structure of convex sets is associated with their facial structure. In the first section of this paper, we present a somewhat different approach to characterizing the geometric structure of convex sets based on the concept of an open component of a convex set. In this paper, we consider convex sets in infinite-dimensional real vector spaces endowed with no topology. To define the notion of an open component of a convex set $Q$, the preorder relation $\unlhd_Q$ is introduced on $Q$ (its own for each set $Q$) called a dominance relation. Open components of a convex set $Q$ are defined as equivalence classes of the quotient set $Q/\mathbin{<\!>}_Q$ of the set $Q$ by the equivalence relation $\mathbin{<\!>}_Q$, which is the symmetric part of the dominance relation $\unlhd_Q$. Each open component of a convex set $Q$ is a relatively algebraic open subset of the set $Q$ under consideration, and the set $Q$ is a disjoint union of all open components belonging to $Q$. The dominance relation $\unlhd_Q$ induces a partial order relation $\unlhd_Q^*$ on the family ${\mathcal O}(Q):= Q/\mathbin{<\!>}_Q$ of all open components of the set $Q$ with respect to which the partially ordered family $({\mathcal O}(Q),\unlhd_Q^*)$ is an upper semilattice. For halfspaces (convex sets $H$ whose complements are also convex), the corresponding upper semilattice $({\mathcal O}(H),\unlhd_H^*)$ is a linearly ordered set. The internal structure of a convex set $Q$ is identified in the paper with the structure of the upper semilattice $({\mathcal O}(Q),\unlhd_Q^*)$. In the second section of the paper, the connection between the internal structure of a convex set and that of its faces is investigated. It is established that each open component of a convex set $Q$ is a relative algebraic interior of the minimal (with respect to inclusion) face of $Q$ containing the given open component. Conversely, if a face $F$ of a convex set $Q$ has a nonempty relative algebraic interior, then it (the relative algebraic interior of the face) coincides with some open component of the set $Q$, and the face $F$ itself is a minimal face containing this open component (such faces are called minimal in the paper). In finite-dimensional vector spaces, any face $F$ of a convex set $Q$ is minimal, whereas in any infinite-dimensional vector space, there exist convex sets whose faces are not all minimal. Concurrently, each open component of any face $F$ of a convex set $Q$ is an open component of $Q$ itself; i.e., ${\mathcal O}(F) \subset {\mathcal O}(Q)$. Moreover, the partial order relation $\unlhd_F^*$ defined on ${\mathcal O}(F)$ coincides with the restriction to ${\mathcal O}(F)$ of the partial order relation $\unlhd_Q^*$ defined on ${\mathcal O}(Q)$. Thus, the internal structure $({\mathcal O}(F),\unlhd_F^*)$ of any face $F$ of a convex set $Q$ is a substructure of the internal structure $({\mathcal O}(Q),\unlhd_Q^*)$ of $Q$ itself.
Keywords: convex sets, halfspaces, faces, open component, semilattice, preorder, linear order
Received February 14, 2025
Revised March 18, 2025
Accepted March 24, 2025
Published online March 31, 2025
Funding Agency: This work was supported by the National Program for Scientific Research of the Republic of Belarus.
Valentin Vikentievich Gorokhovik, Dr. Phys.-Math. Sci., Corresponding Member of NAS of Belarus, Prof., Institute of Mathematics of the National Academy of Sciences of Belarus, Minsk, 220072 Belarus, e-mail: gorokh@im.bas-net.by
REFERENCES
1. Lassak M. Convex half-spaces. Fund. Math., 1984, vol. 120, no. 1, pp. 7–13.
https://doi.org/10.4064/fm-120-1-7-13
2. Gorokhovik V.V., Semenkova E.A. Classification of semispaces according to their types in infinite-dimensional vector spaces. Math. Notes, 1998, vol. 64, no. 2, pp. 164–169. https://doi.org/10.1007/BF02310300
3. Gorokhovik V.V., Shinkevich E.A. Geometric structure and classification of infinite-dimensional halfspaces. Banach Center Publ. Vol. 53, Algebraic Analysis and Related Topics: Proc. Conf. / ed. Przeworska–Rolewich D., Warsaw: PWN-Polish Sci. Publ., 2000, pp. 121–138. https://www.researchgate.net/publication/388932409
4. Gorokhovik V.V. Step-affine functions, halfspaces, and separation of convex sets with applications to convex jptimization problems. Proc. Steklov Inst. Math. (Suppl.), 2021, vol. 313, suppl. 1, pp. S83–S99. https://doi.org/10.1134/S008154382103010X
5. Rockafellar R.T. Convex analysis, Princeton, Princeton Univ. Press, 1970, 472 p. https://doi.org/10.1515/9781400873173 . Translated to Russian under the title Vypuklyi analiz, Moscow, Mir Publ., 1973, 472 p.
6. Bronsted A. An introduction to convex polytopes. NY, Springer Verlag, 1983, 160 p. https://doi.org/10.1007/978-1-4612-1148-8
7. Millan R.D., Roshchina V. The intrinsic core and minimal faces of convex sets in general vector spaces. Set-valued and Variat. Anal., 2023, vol. 31, no. 2, 14 p. https://doi.org/10.1007/s11228-023-00671-6
8. Garcia-Pacheco F.J. A solution to the faceless problem. J. Geom. Anal., 2020, vol. 30, no. 4, pp. 3859–3871. https://doi.org/10.1007/s12220-019-00220-4
9. Birkhoff G. Lattice theory. NY, Amer. Math. Soc., 1948. Translated to Russian under the title Teoriya struktur, Moscow, Inostr. Liter. Publ., 1952, 407 p.
10. Skornyakov L.A. Elementy teorii struktur [Elements of the theory of structures]. Moscow, Nauka Publ., 1970, 148 p.
11. Klee V. Convex sets in linear spaces. Duke Math. J., 1951, vol. 18, no. 2, pp. 443–466. https://doi.org/10.1215/S0012-7094-51-01835-2
12. Raikov D.A. Vector spaces. Groningen, Netherlands, P. Noordhoff, 1965, 190 p. Original Russian text published in Raikov D. A. Vektornyye prostranstva, Moscow, Fizmatgiz Publ., 1962, 212 p.
13. Aliprantis C.D., Border K.C. Infinite-dimensional analysis. A hitchhiker’s guide, 3ed. Berlin, Heidelberg, Springer Verlag, 2006, 704 p. https://doi.org/10.1007/3-540-29587-9
14. Holmes R. Geometric functional analysis and its applications. NY, Springer–Verlag, 1975, 246 p. ISBN: 0-387-90136-1
15. Khazayel B., Farajzadeh A.P., GЈunther C., Tammer Ch. On the intrinsic core of convex cones in real vector spaces. SIAM J. Optimiz., 2021, vol. 31, no. 2, pp. 1276–1298. https://doi.org/10.1137/19M1283148
16. Klee V. The structure of semispaces. Math. Scand., 1956, vol. 4, pp. 54-–64. https://doi.org/10.7146/math.scand.a-10455
17. Rubinshtein G.S. Duality in mathematical programming and some problems of convex analysis. Rus. Math. Surv., 1970, vol. 25, no. 5, pp. 171–200. https://doi.org/10.1070/RM1970v025n05ABEH003800
18. Birkhoff G. Lattice theory. Providence, R.I., Amer. Math. Soc., 1967, vol. 25, 418 p. Translated to Russian under the title Teoriya reshetok, Moscow, Nauka Publ., 1984, 568 p.
19. Rosenstein J.G. Linear orderings. NY, Acad. Press, 1982, 484 p. ISBN: 0080874142 .
Cite this artile as: V.V. Gorokhovik. Internal structure of convex sets and their faces. Trudy Instituta Matematiki i Mekhaniki UrO RAN, 2025, vol. 31, no. 2, pp. 53–68.
