В геометрии выпуклая оболочка , выпуклая оболочка или выпуклое замыкание [1] формы — это наименьшее выпуклое множество , которое ее содержит. Выпуклая оболочка может быть определена либо как пересечение всех выпуклых множеств, содержащих заданное подмножество евклидова пространства , либо, что эквивалентно, как множество всех выпуклых комбинаций точек в подмножестве. Для ограниченного подмножества плоскости выпуклая оболочка может быть визуализирована как форма, заключенная в резинку, натянутую вокруг подмножества.
Выпуклые оболочки открытых множеств открыты, а выпуклые оболочки компактных множеств компактны. Каждое компактное выпуклое множество является выпуклой оболочкой своих крайних точек . Оператор выпуклой оболочки является примером оператора замыкания , и каждый антиматроид может быть представлен путем применения этого оператора замыкания к конечным множествам точек. Алгоритмические проблемы нахождения выпуклой оболочки конечного множества точек на плоскости или других маломерных евклидовых пространствах и ее двойственная задача пересечения полупространств являются фундаментальными проблемами вычислительной геометрии . Их можно решить за время для двух- или трехмерных множеств точек и за время, соответствующее наихудшей выходной сложности, заданной теоремой о верхней границе в более высоких измерениях.
Помимо конечных множеств точек, выпуклые оболочки также изучались для простых многоугольников , броуновского движения , пространственных кривых и надграфиков функций . Выпуклые оболочки широко применяются в математике, статистике, комбинаторной оптимизации, экономике, геометрическом моделировании и этологии. Связанные структуры включают ортогональную выпуклую оболочку , выпуклые слои , триангуляцию Делоне и диаграмму Вороного , а также выпуклый череп .
Множество точек в евклидовом пространстве определяется как выпуклое , если оно содержит отрезки прямых, соединяющие каждую пару его точек. Выпуклая оболочка данного множества может быть определена как [2]
Для ограниченных множеств в евклидовой плоскости, не всех на одной линии, граница выпуклой оболочки представляет собой простую замкнутую кривую с минимальным периметром, содержащую . Можно представить себе растягивание резиновой ленты так, чтобы она охватывала все множество , а затем ее отпускание, позволяя ей сжиматься; когда она становится натянутой, она охватывает выпуклую оболочку . [3] Эта формулировка не сразу обобщается на более высокие измерения: для конечного множества точек в трехмерном пространстве окрестность остовного дерева точек охватывает их с произвольно малой площадью поверхности, меньшей, чем площадь поверхности выпуклой оболочки. [4] Однако в более высоких измерениях варианты задачи о препятствии нахождения поверхности с минимальной энергией над заданной формой могут иметь выпуклую оболочку в качестве своего решения. [5]
Для объектов в трех измерениях первое определение гласит, что выпуклая оболочка — это наименьший возможный выпуклый ограничивающий объем объектов. Определение с использованием пересечений выпуклых множеств может быть расширено до неевклидовой геометрии , а определение с использованием выпуклых комбинаций может быть расширено с евклидовых пространств до произвольных вещественных векторных пространств или аффинных пространств ; выпуклые оболочки также могут быть обобщены более абстрактным образом до ориентированных матроидов . [6]
Неочевидно, что первое определение имеет смысл: почему должно существовать единственное минимальное выпуклое множество, содержащее , для каждого ? Однако второе определение, пересечение всех выпуклых множеств, содержащих , определено корректно. Это подмножество любого другого выпуклого множества , содержащего , поскольку входит в число пересекаемых множеств. Таким образом, это в точности единственное минимальное выпуклое множество, содержащее . Следовательно, первые два определения эквивалентны. [2]
Каждое выпуклое множество, содержащее , должно (по предположению, что оно выпукло) содержать все выпуклые комбинации точек в , поэтому множество всех выпуклых комбинаций содержится в пересечении всех выпуклых множеств, содержащих . Наоборот, множество всех выпуклых комбинаций само является выпуклым множеством, содержащим , поэтому оно также содержит пересечение всех выпуклых множеств, содержащих , и поэтому второе и третье определения эквивалентны. [7]
Фактически, согласно теореме Каратеодори , если является подмножеством -мерного евклидова пространства, то каждая выпуклая комбинация конечного числа точек из также является выпуклой комбинацией не более чем точек из . Множество выпуклых комбинаций -кортежа точек является симплексом ; на плоскости это треугольник , а в трехмерном пространстве это тетраэдр. Следовательно, каждая выпуклая комбинация точек принадлежит симплексу, вершины которого принадлежат , и третье и четвертое определения эквивалентны. [7]
В двух измерениях выпуклая оболочка иногда делится на две части, верхнюю оболочку и нижнюю оболочку, простирающиеся между самой левой и самой правой точками оболочки. В более общем смысле, для выпуклых оболочек в любом измерении можно разделить границу оболочки на обращенные вверх точки (точки, для которых восходящий луч не пересекается с оболочкой), обращенные вниз точки и крайние точки. Для трехмерных оболочек обращенные вверх и вниз части границы образуют топологические диски. [8]
Закрытая выпуклая оболочка множества является замыканием выпуклой оболочки, а открытая выпуклая оболочка является внутренней частью (или в некоторых источниках относительной внутренней частью ) выпуклой оболочки. [9]
Замкнутая выпуклая оболочка является пересечением всех замкнутых полупространств, содержащих . Если выпуклая оболочка уже сама является замкнутым множеством (как это происходит, например, если является конечным множеством или, в более общем случае, компактным множеством ), то она равна замкнутой выпуклой оболочке. Однако пересечение замкнутых полупространств само по себе замкнуто, поэтому, когда выпуклая оболочка не замкнута, она не может быть представлена таким образом. [10]
Если открытая выпуклая оболочка множества -мерна , то каждая точка оболочки принадлежит открытой выпуклой оболочке не более чем точек . Множества вершин квадрата, правильного октаэдра или кросс-политопа более высокой размерности дают примеры, где нужны именно точки. [11]
Топологически выпуклая оболочка открытого множества всегда сама открыта, а выпуклая оболочка компактного множества всегда сама компактна. Однако существуют замкнутые множества, для которых выпуклая оболочка не замкнута. [12] Например, замкнутое множество
(множество точек, лежащих на или над ведьмой Аньези ) имеет открытую верхнюю полуплоскость в качестве своей выпуклой оболочки. [13]
Компактность выпуклых оболочек компактных множеств в конечномерных евклидовых пространствах обобщается теоремой Крейна–Смуляна , согласно которой замкнутая выпуклая оболочка слабо компактного подмножества банахова пространства (подмножества, компактного относительно слабой топологии ) является слабо компактной. [14]
Крайняя точка выпуклого множества — это точка в множестве, которая не лежит ни на каком открытом отрезке прямой между любыми двумя другими точками того же множества. Для выпуклой оболочки каждая крайняя точка должна быть частью данного множества, потому что в противном случае она не может быть образована как выпуклая комбинация данных точек. Согласно теореме Крейна–Мильмана , каждое компактное выпуклое множество в евклидовом пространстве (или, в более общем смысле, в локально выпуклом топологическом векторном пространстве ) является выпуклой оболочкой своих крайних точек. [15] Однако это может быть неверно для выпуклых множеств, которые не являются компактными; например, вся евклидова плоскость и открытый единичный шар оба выпуклы, но ни один из них не имеет крайних точек. Теория Шоке расширяет эту теорию с конечных выпуклых комбинаций крайних точек до бесконечных комбинаций (интегралов) в более общих пространствах. [16]
Оператор выпуклой оболочки имеет характерные свойства оператора замыкания : [17]
Применительно к конечному множеству точек это оператор замыкания антиматроида , антиматроида шелушения множества точек. Каждый антиматроид может быть представлен таким образом выпуклыми оболочками точек в евклидовом пространстве достаточно высокой размерности. [18]
Операции построения выпуклой оболочки и взятия суммы Минковского коммутируют друг с другом, в том смысле, что сумма Минковского выпуклых оболочек множеств дает тот же результат, что и выпуклая оболочка суммы Минковского тех же множеств. Это обеспечивает шаг к теореме Шепли–Фолкмана, ограничивающей расстояние суммы Минковского от ее выпуклой оболочки. [19]
Проективная двойственная операция построения выпуклой оболочки множества точек заключается в построении пересечения семейства замкнутых полупространств, каждое из которых содержит начало координат (или любую другую обозначенную точку). [20]
Выпуклая оболочка конечного множества точек образует выпуклый многоугольник , когда , или, в более общем смысле, выпуклый многогранник в . Каждая крайняя точка оболочки называется вершиной , и (по теореме Крейна–Мильмана) каждый выпуклый многогранник является выпуклой оболочкой своих вершин. Это единственный выпуклый многогранник, вершины которого принадлежат и который охватывает все из . [3] Для множеств точек в общем положении выпуклая оболочка является симплициальным многогранником . [21]
Согласно теореме о верхней границе , число граней выпуклой оболочки точек в -мерном евклидовом пространстве равно . [22] В частности, в двух и трех измерениях число граней не более чем линейно по . [23]
Выпуклая оболочка простого многоугольника охватывает заданный многоугольник и разбивается им на области, одна из которых является самим многоугольником. Другие области, ограниченные полигональной цепью многоугольника и одним ребром выпуклой оболочки, называются карманами . Вычисление того же разложения рекурсивно для каждого кармана формирует иерархическое описание заданного многоугольника, называемое его выпуклым деревом разностей . [24] Отражение кармана по его выпуклому ребру оболочки расширяет заданный простой многоугольник в многоугольник с тем же периметром и большей площадью, и теорема Эрдёша–Надя утверждает, что этот процесс расширения в конечном итоге заканчивается. [25]
Кривая, генерируемая броуновским движением на плоскости, в любой фиксированный момент времени имеет вероятность 1 иметь выпуклую оболочку, граница которой образует непрерывно дифференцируемую кривую . Однако для любого угла в диапазоне , будут моменты во время броуновского движения, когда движущаяся частица касается границы выпуклой оболочки в точке угла . Хаусдорфова размерность этого набора исключительных моментов времени равна (с высокой вероятностью) . [26]
Для выпуклой оболочки пространственной кривой или конечного множества пространственных кривых в общем положении в трехмерном пространстве части границы вдали от кривых являются развертывающимися и линейчатыми поверхностями . [27] Примерами являются олоид , выпуклая оболочка двух окружностей в перпендикулярных плоскостях, каждая из которых проходит через центр другой, [28] сферикон , выпуклая оболочка двух полуокружностей в перпендикулярных плоскостях с общим центром, и D-формы, выпуклые формы, полученные из теоремы единственности Александрова для поверхности , образованной склеиванием двух плоских выпуклых множеств равного периметра. [29]
Выпуклая оболочка или нижняя выпуклая оболочка функции на действительном векторном пространстве — это функция, надграфик которой является нижней выпуклой оболочкой надграфика . Это единственная максимальная выпуклая функция , мажорируемая . [30] Определение может быть расширено до выпуклой оболочки набора функций (полученной из выпуклой оболочки объединения их надграфиков или, что эквивалентно, из их поточечного минимума ) и в этой форме является двойственной к операции выпуклого сопряжения . [31]
В вычислительной геометрии известен ряд алгоритмов для вычисления выпуклой оболочки для конечного набора точек и для других геометрических объектов. Вычисление выпуклой оболочки означает построение однозначного, эффективного представления требуемой выпуклой формы. Выходные представления, которые рассматривались для выпуклых оболочек множеств точек, включают список линейных неравенств, описывающих грани оболочки, неориентированный граф граней и их смежностей или полную решетку граней оболочки. [32] В двух измерениях может быть достаточно просто перечислить точки, которые являются вершинами, в их циклическом порядке вокруг оболочки. [3]
Для выпуклых оболочек в двух или трех измерениях сложность соответствующих алгоритмов обычно оценивается в терминах , количества входных точек, и , количества точек на выпуклой оболочке, которые могут быть значительно меньше . Для оболочек более высокой размерности в анализ может также входить количество граней других размерностей. Сканирование Грэма может вычислять выпуклую оболочку точек на плоскости за время . Для точек в двух и трех измерениях известны более сложные алгоритмы, чувствительные к выходным данным , которые вычисляют выпуклую оболочку за время . К ним относятся алгоритм Чана и алгоритм Киркпатрика–Зейделя . [33] Для размерностей время вычисления выпуклой оболочки составляет , что соответствует наихудшей выходной сложности задачи. [34] Выпуклая оболочка простого многоугольника на плоскости может быть построена за линейное время . [35]
Структуры данных динамической выпуклой оболочки могут использоваться для отслеживания выпуклой оболочки набора точек, подвергающихся вставкам и удалениям точек, [36] а структуры кинетической выпуклой оболочки могут отслеживать выпуклую оболочку для точек, движущихся непрерывно. [37] Построение выпуклых оболочек также служит инструментом, строительным блоком для ряда других вычислительно-геометрических алгоритмов, таких как метод вращающегося штангенциркуля для вычисления ширины и диаметра набора точек. [38]
Несколько других фигур можно определить из набора точек аналогично выпуклой оболочке, как минимальное надмножество с некоторым свойством, пересечение всех фигур, содержащих точки из заданного семейства фигур, или объединение всех комбинаций точек для определенного типа комбинации. Например:
Триангуляция Делоне множества точек и ее двойственная диаграмма Вороного математически связаны с выпуклыми оболочками: триангуляция Делоне множества точек в может рассматриваться как проекция выпуклой оболочки в [46] Альфа -формы конечного множества точек дают вложенное семейство (невыпуклых) геометрических объектов, описывающих форму множества точек на разных уровнях детализации. Каждая из альфа-форм является объединением некоторых особенностей триангуляции Делоне, выбранных путем сравнения их радиуса описанной окружности с параметром альфа. Само множество точек образует одну конечную точку этого семейства фигур, а его выпуклая оболочка образует другую конечную точку. [41] Выпуклые слои множества точек представляют собой вложенное семейство выпуклых многоугольников, самым внешним из которых является выпуклая оболочка, а внутренние слои построены рекурсивно из точек, которые не являются вершинами выпуклой оболочки. [47]
Выпуклый череп многоугольника — это самый большой выпуклый многоугольник, содержащийся внутри него. Его можно найти за полиномиальное время , но показатель степени алгоритма высок. [48]
Выпуклые оболочки имеют широкое применение во многих областях. В математике выпуклые оболочки используются для изучения полиномов , собственных значений матриц и унитарных элементов , а несколько теорем в дискретной геометрии включают выпуклые оболочки. Они используются в надежной статистике в качестве внешнего контура глубины Тьюки , являются частью визуализации bagplot двумерных данных и определяют наборы рисков рандомизированных правил принятия решений . Выпуклые оболочки индикаторных векторов решений комбинаторных задач играют центральную роль в комбинаторной оптимизации и многогранной комбинаторике . В экономике выпуклые оболочки могут использоваться для применения методов выпуклости в экономике к невыпуклым рынкам. В геометрическом моделировании свойство выпуклой оболочки кривых Безье помогает находить их пересечения, а выпуклые оболочки являются частью измерения корпусов лодок. А при изучении поведения животных выпуклые оболочки используются в стандартном определении ареала обитания .
Многоугольники Ньютона одномерных многочленов и многогранники Ньютона многомерных многочленов являются выпуклыми оболочками точек, полученных из показателей степеней членов многочлена, и могут быть использованы для анализа асимптотического поведения многочлена и оценок его корней. [49] Выпуклые оболочки и многочлены также объединяются в теореме Гаусса–Лукаса , согласно которой все корни производной многочлена лежат внутри выпуклой оболочки корней многочлена. [50]
В спектральном анализе числовой диапазон нормальной матрицы — это выпуклая оболочка ее собственных значений . [51] Теорема Руссо–Дай описывает выпуклые оболочки унитарных элементов в C*-алгебре . [52] В дискретной геометрии и теорема Радона , и теорема Тверберга касаются существования разбиений множеств точек на подмножества с пересекающимися выпуклыми оболочками. [53]
Определения выпуклого множества как содержащего отрезки прямых между его точками, и выпуклой оболочки как пересечения всех выпуклых супермножеств применяются как к гиперболическим пространствам , так и к евклидовым пространствам. Однако в гиперболическом пространстве также можно рассматривать выпуклые оболочки множеств идеальных точек , точек, которые не принадлежат самому гиперболическому пространству, но лежат на границе модели этого пространства. Границы выпуклых оболочек идеальных точек трехмерного гиперболического пространства аналогичны линейчатым поверхностям в евклидовом пространстве, и их метрические свойства играют важную роль в гипотезе геометризации в низкоразмерной топологии . [54] Гиперболические выпуклые оболочки также использовались как часть вычисления канонических триангуляций гиперболических многообразий и применялись для определения эквивалентности узлов . [55]
См. также раздел о броуновском движении для получения информации о применении выпуклых оболочек к этой теме и раздел о пространственных кривых для получения информации об их применении к теории развертывающихся поверхностей .
В надежной статистике выпуклая оболочка обеспечивает один из ключевых компонентов bagplot , метода визуализации распространения двумерных точек выборки. Контуры глубины Тьюки образуют вложенное семейство выпуклых множеств, с выпуклой оболочкой, самой внешней, а bagplot также отображает другой многоугольник из этого вложенного семейства, контур 50% глубины. [56]
В статистической теории принятия решений множество рисков рандомизированного правила принятия решений представляет собой выпуклую оболочку точек риска его базовых детерминированных правил принятия решений. [57]
В комбинаторной оптимизации и полиэдральной комбинаторике центральными объектами изучения являются выпуклые оболочки индикаторных векторов решений комбинаторной задачи. Если грани этих многогранников могут быть найдены, описывая многогранники как пересечения полупространств, то алгоритмы, основанные на линейном программировании, могут быть использованы для поиска оптимальных решений. [58] В многокритериальной оптимизации также используется другой тип выпуклой оболочки — выпуклая оболочка весовых векторов решений. Можно максимизировать любую квазивыпуклую комбинацию весов, находя и проверяя каждую вершину выпуклой оболочки, часто более эффективно, чем проверка всех возможных решений. [59]
В модели общего экономического равновесия Эрроу–Дебре предполагается, что агенты имеют выпуклые бюджетные множества и выпуклые предпочтения . Эти предположения о выпуклости в экономике могут быть использованы для доказательства существования равновесия. Когда фактические экономические данные невыпуклые , их можно сделать выпуклыми, взяв выпуклые оболочки. Теорема Шепли–Фолкмана может быть использована для того, чтобы показать, что для больших рынков это приближение является точным и приводит к «квазиравновесию» для исходного невыпуклого рынка. [60]
В геометрическом моделировании одним из ключевых свойств кривой Безье является то, что она лежит внутри выпуклой оболочки своих контрольных точек. Это так называемое «свойство выпуклой оболочки» может быть использовано, например, для быстрого обнаружения пересечений этих кривых. [61]
В геометрии конструкции лодок и кораблей обхват цепи — это мера размера парусного судна, определяемая с помощью выпуклого корпуса поперечного сечения корпуса судна . Он отличается от обхвата кожи , периметра самого поперечного сечения, за исключением лодок и кораблей, имеющих выпуклый корпус. [62]
Выпуклая оболочка обычно известна как минимальный выпуклый многоугольник в этологии , изучении поведения животных, где она является классическим, хотя, возможно, и упрощенным, подходом к оценке ареала обитания животного на основе точек, где животное наблюдалось. [63] Выбросы могут сделать минимальный выпуклый многоугольник чрезмерно большим, что мотивировало смягченные подходы, которые содержат только подмножество наблюдений, например, путем выбора одного из выпуклых слоев, который близок к целевому проценту образцов, [64] или в методе локальной выпуклой оболочки путем объединения выпуклых оболочек окрестностей точек. [65]
В квантовой физике пространство состояний любой квантовой системы — множество всех способов, которыми система может быть подготовлена — представляет собой выпуклую оболочку, крайние точки которой являются положительно-полуопределенными операторами, известными как чистые состояния, а внутренние точки называются смешанными состояниями. [66] Теорема Шредингера –ХДжВ доказывает, что любое смешанное состояние на самом деле может быть записано как выпуклая комбинация чистых состояний несколькими способами. [67]
Выпуклая оболочка в термодинамике была идентифицирована Джозайей Уиллардом Гиббсом (1873), [69] хотя статья была опубликована до того, как выпуклая оболочка была так названа. В наборе энергий нескольких стехиометрий материала только те измерения на нижней выпуклой оболочке будут стабильными. При удалении точки из оболочки и последующем вычислении ее расстояния до оболочки, ее расстояние до новой оболочки представляет собой степень стабильности фазы. [70]
Нижняя выпуклая оболочка точек на плоскости появляется в форме многоугольника Ньютона в письме Исаака Ньютона Генри Ольденбургу в 1676 году. [71] Сам термин «выпуклая оболочка» появляется уже в работе Гаррета Биркгофа (1935), а соответствующий термин на немецком языке появляется раньше, например, в обзоре Ганса Радемахера о Кёниге (1922). Другие термины, такие как «выпуклая оболочка», также использовались в этот период времени. [72] К 1938 году, по словам Ллойда Дайнса , термин «выпуклая оболочка» стал стандартным; Дайнс добавляет, что он находит этот термин неудачным, потому что разговорное значение слова «оболочка» предполагает, что оно относится к поверхности формы, тогда как выпуклая оболочка включает внутреннюю часть, а не только поверхность. [73]
{{citation}}
: CS1 maint: DOI неактивен по состоянию на ноябрь 2024 г. ( ссылка )