Математическая энциклопедия - выпуклое множество

в евклидовом или другом векторном пространстве множество, к-рое вместе с любыми двумя точками содержит все точки соединяющего их отрезка. Пересечение любой совокупности В. м. есть В. м.

Наименьшая размерность плоскости, содержащей данное В. м., наз. размерностью этого В. м. Замыкание В. м. (т. е. результат присоединения к В. м. всех его предельных точек) дает В. м. той же размерности. Центральное место в теории В. м. занимает изучение выпуклых тел (в. т.) конечных (т. е. ограниченных) замкнутых В. м. размерности п.

При отказе от ограниченности говорят о бесконечных в. т., а при отказе от n-мерности о вырожденных в. т. или в. т. более низких размерностей.

В. т. гомеоморфно замкнутому шару. Бесконечное в. т., не содержащее прямых, гомеоморфно полупространству, а содержащее прямую является цилиндром с выпуклым (возможно бесконечным) поперечным сечением.

Через каждую точку границы В. м. проходит хотя бы одна гиперплоскость, оставляющая это В. м. в одном замкнутом полупространстве. Такие гиперплоскости и полупространство нал. опорными для данного В. м. в данной точке границы. Замкнутое В. м. есть пересечение его опорных полупространств. Пересеченно конечного числа замкнутых полупространств есть выпуклый многогранник. Гранями в. т. называют его пересечения с опорными гиперплоскостями. Это в. т. более низких размерностей. Само в. т. считают его n-мерной гранью. Грань грани, в отличие от случая многогранника, может но быть гранью исходного в. т. С каждой граничной точкой хв. т. связывают: открытый касательный конус, заполненный лучами, идущими из х через внутренние точки в. т.; замкнутый касательный конус его замыкание; касательный конус поверхности его границу. Первые два конуса выпуклые. Точки границы в. т. классифицируют по минимальной размерности граней, к-рым они принадлежат, а также по размерности множества опорных гиперплоскостей в точке. Точки нульмерных граней наз. выступающими. Крайними наз. точки в. т., не внутренние ни для одного отрезка, лежащего в этом в. т. Изучается вопрос о возможном обилии точек и множества направлений граней разного типа. Напр., точки с неединственной опорной гиперплоскостью занимают на границе нулевую ( п-1) мерную площадь; направления лежащих на границе отрезков имеют нулевую меру среди всех направлений в пространстве.

Точка, не принадлежащая в. т., строго отделена от него гиперплоскостью, оставляющей эту точку и в. т. в разных открытых полупространствах. Два непересекающихся В. м. отделены гиперплоскостью, оставляющей их в разных замкнутых полупространствах. Последнее свойство отделимости сохраняется для В. м. в бесконечномерных векторных пространствах. С в. т. Fсвязана его опорная функция H:

, определяемая равенством

где их - скалярное произведение. Функция положительно однородная 1-й степени: при , и выпуклая:

Любая функция с этими двумя свойствами есть опорная функция для некоторого (причем единственного) в. т. Задание опорной функции один из основных способов задания в. т.

При размещении начала координат внутри в. т. вводят функцию расстояния , определяемую при равенством

и полагают . Это тоже положительно однородная 1-й степени выпуклая функция, определяющая F. Два в. т. наз. полярными (или двойственными) друг другу, если опорная функция одного из них есть функция расстояния для другого. Существование двойственных в. т. связано с самосопряженностью .

Если в. т. Рсимметрично относительно начала координат, то функция является метрикой. Это метрика пространства Минковского (конечномерного банахова пространства), причем Fиграет роль единичного шара. Аналогично в бесконечномерном банаховом пространстве единичный шар есть В. м. Свойства пространства связаны с геометрией этого шара, в частности с наличием на его границе точек разного типа [3].

В. т. можно задавать как выпуклую оболочку точек его границы или части этих точек.

Существует ряд достаточных признаков, позволяющих делать заключение о выпуклости множества (или каждого из множеств нек-рого семейства). Напр., если С ² -гладкая замкнутая поверхность в Е ³ имеет в каждой точке неотрицательную гауссову кривизну, то эта поверхность граница в. т.; если пересечение компактного множества с каждой плоскостью, оставляющей Fв одном полупространство, связно, то Fвыпукло [4].