Выпуклый конус
Выпуклый конус в линейной алгебре — подмножество векторного пространства над упорядоченным полем, которое замкнуто относительно линейных комбинаций с положительными коэффициентами.
Определение
Подмножество векторного пространства является выпуклым конусом, если принадлежит для любых положительных скаляров и любых из .
Определение можно записать более сжато: для любых положительных чисел .
Понятие имеет смысл для любых векторных пространств, в которых существует понятие «положительный» скаляр, такие как пространство над рациональными, алгебраическими или (чаще всего) вещественными числами.
Пустое множество, пространство и любое линейное подпространство пространства (включая тривиальное подпространство {0}), являются выпуклыми конусами по этому определению. Другими примерами служат множество всех произведений на положительное число произвольного вектора из , или положительный ортант пространства (множество всех векторов, имеющих положительные координаты).
Более общий пример — множество всех векторов , таких, что положительный скаляр, а — элемент некоторого выпуклого подмножества пространства . В частности, если — нормированное векторное пространство, а — открытый (соотв. замкнутый) шар в , который не содержит 0, эта конструкция даёт открытый (соотв. замкнутый) выпуклый круговой конус.
Пересечение двух выпуклых конусов в том же векторном пространстве снова является выпуклым конусом, но объединение таковым может не быть.[1] Класс выпуклых конусов замкнут относительно любых линейных отображений. В частности, если — выпуклый конус, то таковой и его противоположный , а является наибольшим линейным подпространством, содержащимся в [2]. Такое подпространство называется лезвием.[3]
Выпуклые конуса и линейные конуса
Если — выпуклый конус, то для любого положительного скаляра и любого вектора из вектор лежит в . Отсюда следует, что выпуклый конус является частным случаем линейного конуса[англ.].
Альтернативные определения
Из сказанного выше следует, что выпуклый конус можно определить как линейный конус, замкнутый относительно выпуклых комбинаций, или просто относительно сложения. Более кратко — множество является выпуклым конусом тогда и только тогда, когда и для любого положительного скаляра .[4]
Следует также отметить, что фразу «положительные скаляры » в определении выпуклого конуса можно заменить на «неотрицательные скаляры , не равные нулю одновременно».
Свойства выпуклого конуса
- Пересечение любого числа выпуклых конусов снова является выпуклым конусом. Тем самым выпуклые конусы образуют замкнутое семейство (по операции пересечения).
- Коническая оболочка — это наименьший выпуклый конус, содержащий данное множество.
Тупые и острые конусы
Согласно вышеприведённым определениям, если является выпуклым конусом, то является выпуклым конусом тоже. Говорят, что выпуклый конус острый или тупой в зависимости от того, принадлежит ли ему нулевой вектор 0 или нет[5]. Иногда употребляют термины заострённый и, соответственно, затупленный [4][6].
Тупые конусы можно исключить из определения выпуклого конуса, заменив слова «неотрицательные» на «положительные» в условиях, налагаемых на . Термин «острый» часто используется в другом смысле — для замкнутых конусов, не содержащих полных прямых (то есть нетривиального подпространства окружающего пространства), то есть то, что ниже называется «выступающим» конусом.
Выступающие (острые) конусы
Говорят, что выпуклый конус является плоским, если он содержит некоторый ненулевой вектор и его противоположный , и выступающим в противном случае[6]. Выступающие конуса часто называют также острыми.
Тупой выпуклый конус всегда является выступающим, но обратное не всегда верно. Выпуклый конус является выступающим в том и только в том случае, когда . То есть тогда и только тогда, когда не содержит нетривиального линейного подпространства .
Полиэдральные конусы
В 1935 году Г.Вейль доказал равносильность следующих двух определений полиэдрального конуса:
- Полиэдральным конусом называется множество линейных комбинаций с неотрицательными коэффициентами фиксированного конечного набора векторов . Эти векторы называют порождающими конуса.
- Полиэдральным конусом называется пересечение конечного набора (замкнутых) полупространств, опорная гиперплоскость которых проходит через начало координат. Эквивалентно, можно говорить о множестве решений конечного набора однородных линейных неравенств.
Рациональные полиэдральные конусы
Полиэдральный конус называется рациональным, если все его порождающие имеют целочисленные координаты.
Полупространства
Гиперплоскость (линейная) пространства является максимальным возможным собственным линейным подпространством пространства . Открытое (соотв. замкнутое) полупространство пространства — это подмножество пространства , определённое условием (соотв. ), где — любая линейная функция из в его поле скаляров. Гиперплоскость, определённая уравнением , является ограничивающей гиперплоскостью для .
Полупространства (открытые или замкнутые) являются выпуклыми конусами. Однако любой выпуклый конус , не являющийся всем пространством , должен содержаться в некотором замкнутом полупространстве пространства . Фактически топологически замкнутый выпуклый конус является пересечением всех замкнутых полупространств, содержащих его. Аналогичное утверждение верно для топологически открытого выпуклого конуса.
Совершенное полупространство пространства определяется рекурсивно следующим образом: если имеет размерность ноль, то это множество , в противном случае это открытое полупространство пространства вместе с совершенным полупространством ограничивающей гиперплоскости для [7]. Иными словами, это аналог понятия флага для полупространств.
Любое совершенное полупространство является выступающим, и, более того, любой выступающий конус содержится в совершенном полупространстве. Другими словами, совершенные полупространства являются максимальными выступающими конусами (по включению). Можно показать, что любой острый выступающий конус (независимо от того, замкнут ли он топологически или открыт) является пересечением всех совершенных полупространств, включающих его.
Сечение и проекция выпуклых множеств
Плоское сечение
Аффинная гиперплоскость пространства — это любое подмножество пространства вида , где — вектор в , а — (линейная) гиперплоскость.
Следующее утверждение следует из свойства включения в полупространства. Пусть — открытое полупространство в и , где — граничная гиперплоскость , а — любой вектор в . Пусть — линейный конус, содержащийся в . Тогда является выпуклым конусом в том и только в том случае, когда множество является выпуклым подмножеством гиперплоскости (то есть множеством, замкнутым относительно выпуклых комбинаций).
Вследствие этого результата все свойства выпуклых множеств аффинного пространства имеют аналог для выпуклых конусов, содержащихся в фиксированном открытом полупространстве.
Сферическое сечение
Если дана норма | • | в пространстве , мы определяем единичную сферу в как множество
Если значения | • | являются скалярами в , то линейный конус в — это выпуклый конус в том и только в том случае, когда его сферическое сечение (множество его векторов с единичной нормой) является выпуклым подмножеством в следующем смысле: для любых двух векторов с все вектора на кратчайшем пути из в на лежат в .
Двойственный конус
Пусть — выпуклый конус в вещественном векторном пространстве , обладающем скалярным произведением. Двойственный конус к — это множество[8][9]
Он тоже является выпуклым конусом. Если совпадает со своим двойственным, называется самодвойственным.
Другое частое определение двойственного конуса для — это конус в сопряжённом пространстве :
Другими словами, если — сопряжённое пространство пространства , то двойственный конус — это множество линейных функций, неотрицательных на конусе . Если мы примем, что — непрерывное сопряжённое пространство, то это множество непрерывных линейных функций, неотрицательных на .[10] Такое определение не требует наличия скалярного произведения в пространстве .
В конечномерных пространствах оба определения двойственного конуса, по существу, эквивалентны, поскольку любому скалярному произведению сопоставляется линейный изоморфизм (невырожденное линейное отображение) из в , и этот изоморфизм переводит двойственный конус (в ) из второго определения в двойственный конус из первого определения.
Частичный порядок, определённый выпуклым конусом
Острый выступающий выпуклый конус порождает частичный порядок «» на , определяемый так, что тогда и только тогда, когда . (Если конус плоский, то же самое определение даёт просто предпорядок.) Суммы и умножение на положительный скаляр верного неравенства по отношению к этому порядку снова дают верные неравенства. Векторное пространство с таким порядком называется упорядоченным векторным пространством[англ.]. Конус
называется положительным конусом[6].
В качестве примеров можно привести порядковое произведение[англ.][11] на вещественных векторах () и порядок Лёвнера[12]
Собственный выпуклый конус
Термин собственный (выпуклый) конус определяется различным образом в зависимости от контекста. Он часто означает выступающий выпуклый конус, не содержащий какую-либо гиперплоскость пространства , возможно, с другими накладываемыми ограничениями, как, например, топологическую замкнутость (а вследствие этого, конус будет острым), или топологическую открытость (конус будет тупым)[13]. Некоторые авторы используют термин «клин» для понятия, которое в этой статье обозначает выпуклый конус, и под термином «конус» понимается то, что в статье называется выступающим острым конусом, или то, что только что было названо собственным выпуклым конусом.
Примеры выпуклых конусов
- Пусть задано замкнутое выпуклое подмножество гильбертова пространства , нормальный конус для множества из точки в задаётся формулой.[2]
- Пусть задано замкнутое выпуклое подмножество пространства , касательный конус[англ.] к множеству из точки задаётся формулой[14]
- Пусть задано замкнутое выпуклое подмножество гильбертова пространства , внешний нормальный конус к множеству из точки в задаётся формулой[15]
- Пусть задано замкнутое выпуклое подмножество гильбертова пространства , касательный конус к множеству в точке из можно определить как полярный конус[англ.]* к внешнему нормальному конусу :[16][17]
Нормальные и касательные конусы замкнуты и выпуклы. Они являются важными концепциями в области выпуклого программирования, вариационных неравенств[англ.] .
См. также
- Связанные комбинации
Примечания
- ↑ Рокафеллар, 1973, с. 30.
- ↑ 1 2 Рокафеллар, 1973, с. 32.
- ↑ Красносельский, Лифшиц, Соболев, 1985, с. 9.
- ↑ 1 2 Бурбаки, 1959, с. 30.
- ↑ Зоркальцев, Киселева, 2007.
- ↑ 1 2 3 Эдвардс, 1969, с. 194.
- ↑ Stolfi, 1991, с. 139.
- ↑ Панина, 2009.
- ↑ Boyd, Vandenberghe, 2004.
- ↑ Кутателадзе, 2009, с. 1127.
- ↑ Порядковое произведение — это порождённый порядок на прямом произведении частично упорядоченных множеств. Подробнее смотрите в книге Стенли, 1990
- ↑ Определение порядка Лёвнера можно найти в книге Маршалл, Олкин, 1983
- ↑ Шефер, 1971, с. 258.
- ↑ Панагинотопулос, 1989, с. 171.
- ↑ Панагинотопулос, 1989, с. 62.
- ↑ Рокафеллар, 1973, с. 138.
- ↑ Лейхтвейс, 1985, с. 54.
Ссылки
- Nicolas Bourbaki. Topological vector spaces. — Berlin, New York: Springer-Verlag, 1987. — (Elements of mathematics). — ISBN 978-3-540-13627-9.
- Stephen Boyd, Lieven Vandenberghe. Convex Optimization. — Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore: Cambridge University Press, 2004. — С. 51. — ISBN 78-0-521-83378-3.
- Перевод на русский: Н. Бурбаки. Топологические векторные пространства. — Москва: Издательство иностранной литературы, 1959. — (Элементы математики).
- R. T. Rockafellar. Convex analysis. — Princeton, NJ: Princeton University Press, 1970.
- Перевод на русский: Р. Рокафеллар. Выпуклый анализ. — Москва: «Мир», 1973.
- C. Zălinescu. Convex analysis in general vector spaces. — River Edge, NJ,: World Scientific Publishing Co., Inc, 2002. — С. xx+367. — ISBN 981-238-067-1.
- В. И. Зоркальцев, М. А. Киселева. Системы линейных неравенств (учебное пособие). — Иркутск: ИГУ, 2007. — С. 21 Глава 1.5 Конусы.
- М.А. Красносельский, Е.А. Лифшиц, А.В. Соболев. ПОЗИТИВНЫЕ ЛИНЕЙНЫЕ СИСТЕМЫ – Метод положительных операторов. — «Наука», Главная редакция физико-математической литературы, 1985. — (Теория и методы системного анализа).
- Stolfi. Oriented Projective Geometry: A Framework for Geometric Computations. — San Diego, London: Academic Press, Inc., 1991. — ISBN 0-12-672025-8.
- Moreau J. J. Numerical aspects of the sweeping process. Comput. Methods Appl. Mech. Engrg. 177 (1999) 329—349 https://web.archive.org/web/20150616073514/http://www.continuousphysics.com/ftp/pub/test/files/physics/papers/moreau.99.pdf
- А. Маршалл, И. Олкин. Неравенства: теория мажоризации и её приложения. — М.: «Мир», 1983.
- Р. Стенли. Перечислительная комбинаторика. — М.: «Мир», 1990. — ISBN 5-030001348-2.
- П. Панагинотопулос. Неравенства в механике и их приложения: Выпуклые и невыпуклые функции энергии. — М.: «Мир», 1989. — ISBN 5-03-000498-X.
- К. Лейхтвейс. Выпуклые множества. — Москва: «Наука» Главная редакция физико-математической литературы, 1985. — ISBN 5-03-000498-X.
- Панина Г.Ю. Торические многообразия. Введение в алгебраическую геометрию. — Дубна, 2009.
- Р. Эдвардс. Функциональный анализ: теория и приложения. — М.: «Мир», 1969.
- Х. Шефер. Топологические векторные пространства. — М.: «Мир», 1971.
- С. С. Кутателадзе. Многоцелевые задачи выпуклой геометрии // Сибирский математический журнал. — «Мир», 2009. — Т. 50, вып. 5.