Online First 2025
УДК 514.172
MSC: 52A05, 52A99
https://doi.org/10.21538/0134-4889-2025-31-2-fon-04
Работа выполнена при поддержке Государственной программы научных исследований Республики Беларусь.
(Full Text)
Чаще всего геометрическая строение выпуклых множеств связывается с их граневой структурой. В первом разделе настоящей статьи представлен несколько иной подход к характеристике геометрической структуры выпуклых множеств, основанный на понятии открытой компоненты выпуклого множества. Исследование проводится в бесконечномерных вещественных пространствах без топологии. Для того чтобы определить понятие открытой компоненты, на выпуклом множестве $Q$ вводится отношение предпорядка $\unlhd_Q$ (свое для каждого множества $Q$), названное отношением доминирования. Открытыми компонентами выпуклого множества $Q$ называются классы эквивалентности фактор-множества $Q/\mathbin{<\!>}_Q$ множества $Q$ по отношению эквивалентности $\mathbin{<\!>}_Q$, которое является симметричной частью отношения доминирования $\unlhd_Q$. Каждая открытая компонента выпуклого множества $Q$ является относительно алгебраически открытым подмножеством данного множества $Q$, при этом множество $Q$ является дизъюнктным объединением всех принадлежащих ему открытых компонент множества $Q$. Отношение доминирования $\unlhd_Q$ индуцирует на семействе ${\mathcal O}(Q):= Q/\mathbin{<\!>}_Q$ всех открытых компонент множества $Q$ отношение частичного порядка $\unlhd_Q^*$, относительно которого частично упорядоченное семейство $({\mathcal O}(Q),\unlhd_Q^*)$ является верхней полурешеткой. Для полупространств (выпуклых множеств $H$, дополнения которых также выпуклы) соответствующая им верхняя полурешетка $({\mathcal O}(H),\unlhd_H^*)$ является линейно упорядоченным множеством. Внутренняя структура выпуклого множества $Q$ отождествляется в работе со структурой верхней полурешетки $({\mathcal O}(Q),\unlhd_Q^*)$. Во втором разделе статьи исследуется связь между внутренней структурой выпуклого множества и внутренней структурой его граней. Устанавливается, что каждая открытая компонента выпуклого множества $Q$ является относительной алгебраической внутренностью минимальной (по включению) грани множества $Q$, содержащей данную открытую компоненту. Обратно, если грань $F$ выпуклого множества $Q$ имеет непустую относительную алгебраическую внутренность, то она (относительная алгебраическая внутренность грани) совпадает с некоторой открытой компонентой множества $Q$, а сама грань $F$ является минимальной гранью, содержащей эту открытую компоненту (такие грани названы в работе минимальными). В конечномерных векторных пространствах любая грань $F$ выпуклого множества $Q$ является минимальной гранью, в тоже время в любом бесконечномерном векторном пространстве существуют выпуклые множества, не все грани которых являются минимальными. Вместе с тем, каждая открытая компонента любой грани $F$ выпуклого множества $Q$ является открытой компонентой самого множества $Q$, т. е. ${\mathcal O}(F) \subset {\mathcal O}(Q)$, и, кроме того, отношение частичного порядка $\unlhd_F^*$, определенное на ${\mathcal O}(F)$, совпадает с сужением на ${\mathcal O}(F)$ отношения частичного порядка $\unlhd_Q^*$, заданного на ${\mathcal O}(Q)$. Таким образом, внутренняя структура $({\mathcal O}(F),\unlhd_F^*)$ любой грани $F$ выпуклого множества $Q$ является подструктурой внутренней структуры $({\mathcal O}(Q),\unlhd_Q^*)$ самого множества $Q$.
Поступила 14.02.2025
После доработки 18.03.2025
Принята к публикации 24.03.2025
Опубликована онлайн 31.03.2025
Гороховик Валентин Викентьевич
д-р физ.-мат. наук, профессор
чл.-корр. НАН Беларуси
главный науч. сотрудник
Институт математики НАН Беларуси
г. Минск
e-mail: gorokh@im.bas-net.by
Ссылка на статью: В.В. Гороховик. Внутренняя структура выпуклых множеств и их граней // Тр. Ин-та математики и механики УрО РАН, 2025. https://doi.org/10.21538/0134-4889-2025-31-2-fon-04
V.V. Gorokhovik. Internal structure of convex sets and their faces.
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 the paper we consider convex sets in infinite-dimensional real vector spaces, which are endowed with no topology. In order 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 on the family ${\mathcal O}(Q):= Q/\mathbin{<\!>}_Q$ of all open components of the set $Q$ a partial order relation $\unlhd_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 the internal structure 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 non-empty 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 a minimal one, while in any infinite-dimensional vector space there are convex sets not all of whose faces are minimal. At the same time, 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)$, and, 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.
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
Cite this artile as: V.V.Gorokhovik. Internal structure of convex sets and their faces. Trudy Instituta Matematiki i Mekhaniki UrO RAN, 2025. https://doi.org/10.21538/0134-4889-2025-31-2-fon-04
