Выпуклый конус

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

Выпуклый конус (светло-синий). Внутри него светло-красный замкнутый выпуклый конус, содержащий все точки αx + βy с α, β > 0 для выделенных точек x и y. Кривые в правом верхнем углу символизируют бесконечность областей.

ОпределениеПравить

Подмножество C векторной плоскости V является выпуклым конусом, если αx + βy принадлежит C для любых положительных скаляров α, β и любых x, y из C.

Определение можно записать более сжато: «αC + βC = C» для любых положительных чисел α, β.

Понятие имеет смысл для любых векторных пространств, в которых существует понятие «положительный» скаляр, такие как пространство над рациональными, алгебраическими или (чаще всего) вещественными числами.

Пустое множество, пространство V и любое линейное подпространство пространства V (включая тривиальное подпространство {0}), являются выпуклыми конусами по этому определению. Другими примерами служат множество всех произведений на положительное число произвольного вектора v из V, или положительный ортант пространства Rn (множество всех векторов, имеющих положительные координаты).

Более общий пример — множество всех векторов λx, таких, что λ положительный скаляр, а x — элемент некоторого выпуклого подмножества X пространства V. В частности, если V — нормированное векторное пространство, а X — открытый (соотв. замкнутый) шар в V, который не содержит 0, эта конструкция даёт открытый (соотв. замкнутый) выпуклый круговой конус.

Пересечение двух выпуклых конусов в том же векторном пространстве снова является выпуклым конусом, но объединение таковым может не быть.[1] Класс выпуклых конусов замкнуто относительно любых линейных отображений. В частности, если C — выпуклый конус, то таковой и его противоположный −C, а C ∩ −C является наибольшим линейным подпространством, содержащимся в C. [2]. Такое подпространство называется лезвием.[3]

Выпуклые конуса и линейные конусаПравить

Если C — выпуклый конус, то для любого положительного скаляра α и любого вектора x из C вектор αx = (α/2)x + (α/2)x лежит в C. Отсюда следует, что выпуклый конус C является частным случаем линейного конуса[en].

Альтернативные определенияПравить

Из сказанного выше следует, что выпуклый конус можно определить как линейный конус, замкнутый относительно выпуклых комбинаций, или просто относительно сложения. Более кратко — множество C является выпуклым конусом тогда и только тогда, когда "αC = C и C + C = C для любого положительного скаляра α из V.[4]

Следует также отметить, что фразу «положительные скаляры α, β» в определении выпуклого конуса можно заменить на «неотрицательные скаляры α, β, не равные нулю одновременно».

Свойства выпуклого конусаПравить

  • Пересечение любого числа выпуклых конусов снова является выпуклым конусом. Тем самым выпуклые конусы образуют замкнутое семейство (по операции пересечения).
  • Коническая оболочка   — это наименьший выпуклый конус, содержащий данное множество.

Тупые и острые конусыПравить

Согласно вышеприведённым определениям, если C является выпуклым конусом, то C ∪ {0} является выпуклым конусом тоже. Говорят, что выпуклый конус острый или тупой в зависимости от того, принадлежит ли ему нулевой вектор 0 или нет[5]. Иногда употребляют термины заострённый и, соответственно, затупленный. [4][6].

Тупые конусы можно исключить из определения выпуклого конуса, заменив слова «неотрицательные» на «положительные» в условиях, налагаемых на α, β. Термин «острый» часто используется для замкнутых конусов, не содержащих полных прямых (то есть нетривиального подпространства окружающего пространства), то есть то, что ниже называется «выступающим» конусом.

ПолупространстваПравить

Гиперплоскость (линейная) пространства V является максимальным возможным собственным линейным подпространством пространства V. Открытое (соотв. замкнутое) полупространство пространства V — это подмножество H пространства V, определённое условием L(x) > 0 (соотв. L(x) ≥ 0), где L — любая линейная функция из V в его скалярное поле. Гиперплоскость, определённая уравнением L(v) = 0, является ограничивающей гиперплоскостью для H.

Полупространства (открытые или замкнутые) являются выпуклыми конусами. Однако любой выпуклый конус C, не являющийся всем пространством V, должен содержаться в некотором замкнутом полупространстве H пространства V. Фактически топологически замкнутый выпуклый конус является пересечением всех замкнутых полупространств, содержащих его. Аналогичное утверждение верно для топологически открытого выпуклого конуса.

Выступающие конусы и совершенные полупространстваПравить

Говорят, что выпуклый конус является плоским (иногда — клином[3]), если он содержит некоторый ненулевой вектор x и его противоположный -x, и выступающим в противном случае[6].

Тупой выпуклый конус всегда является выступающим, но обратное не всегда верно. Выпуклый конус C является выступающим в том и только в том случае, когда C ∩ −C ⊆ {0}. То есть тогда и только тогда, когда C не содержит нетривиального линейного подпространства V.

Совершенное полупространство пространства V определяется рекурсивно следующим образом: если V имеет размерность ноль, то это множество {0}, в противном случае это открытое полупространство H пространства V вместе с совершенным полупространством ограничивающей гиперплоскости для H.[7]

Любое совершенное полупространство является выступающим, и, более того, любой выступающий конус содержится в совершенном полупространстве. Другими словами, совершенные полупространства являются максимальными выступающими конусами (по включению). Можно показать, что любой острый выступающий конус (независимо от того, замкнут ли он топологически или открыт) является пересечением всех совершенных полупространств, включающих его.

Сечение и проекция выпуклых множествПравить

Плоское сечениеПравить

Аффинная гиперплоскость пространства V — это любое подмножество пространства V вида v + H, где v — вектор в V, а H — (линейная) гиперплоскость.

Следующее утверждение следует из свойства включения в полупространства. Пусть Q — открытое полупространство в V и A = H + v, где H — граничная гиперплоскость Q, а v — любой вектор в Q. Пусть C — линейный конус, содержащийся в Q. Тогда C является выпуклым конусом в том и только в том случае, когда множество C′ = CA является выпуклым подмножеством гиперплоскости A (то есть множеством, замкнутым относительно выпуклых комбинаций).

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

Сферическое сечениеПравить

Если дана норма | • | в пространстве V, мы определяем единичную сферу в V как множество

 

Если значения | • | являются скалярами в V, то линейный конус C в V — это выпуклый конус в том и только в том случае, когда его сферическое сечение C′ ∩ S (множество его векторов с единичной нормой) является выпуклым подмножеством S в следующем смысле: для любых двух векторов u, vC′ с u ≠ −v все вектора на кратчайшем пути из u в v на S лежат в C′.

Двойственный конусПравить

Пусть CV — выпуклый конус в вещественном векторном пространстве V, обладающем скалярным произведением. Двойственный конус к C — это множество[8][9]

 

Он тоже является выпуклым конусом. Если C совпадает со своим двойственным, C называется самодвойственным.

Другое частое определение двойственного конуса для CV — это конус C* в сопряжённом пространстве V*:

 

Другими словами, если V* — сопряжённое пространство пространства V, то двойственный конус — это множество линейных функций, неотрицательных на конусе C. Если мы примем, что V* — непрерывное сопряжённое пространство, то это множество непрерывных линейных функций, неотрицательных на C.[10] Такое определение не требует наличия скалярного произведения в пространстве V.

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

Частичный порядок, определённый выпуклым конусомПравить

Острый выступающий выпуклый конус C порождает частичный порядок «≤» на V, определяемый так, что xy тогда и только тогда, когда yxC. (Если конус плоский, то же самое определение даёт просто предпорядок.) Суммы и умножение на положительный скаляр верного неравенства по отношению к этому порядку снова дают верные неравенства. Векторное пространство с таким порядком называется упорядоченным векторным пространством[en]. Конус

 

называется положительным конусом[6].

В качестве примеров можно привести порядковое произведение[en][11] на вещественных векторах (Rn) и порядок Лёвнера[12]

Собственный выпуклый конусПравить

Термин собственный (выпуклый) конус определяется различным образом в зависимости от контекста. Он часто означает выступающий выпуклый конус, не содержащий какую-либо гиперплоскость пространства V, возможно, с другими накладываемыми ограничениями, как, например, топологическую замкнутость (а вследствие этого, конус будет острым), или топологическую открытость (конус будет тупым)[13]. Некоторые авторы используют термин «клин» для понятия, которое в этой статье обозначает выпуклый конус, и под термином «конус» понимается то, что в статье называется выступающим острым конусом, или то, что только что было названо собственным выпуклым конусом.

Примеры выпуклых конусовПравить

  • Пусть задано замкнутое выпуклое подмножество K гильбертова пространства V, нормальный конус для множества K из точки x в K задаётся формулой.[2]
 
  • Пусть задано замкнутое выпуклое подмножество K пространства V, касательный конус[en] к множеству K из точки x задаётся формулой[14]
 
  • Пусть задано замкнутое выпуклое подмножество K гильбертова пространства V, внешний нормальный конус к множеству K из точки x в K задаётся формулой[15]
 
  • Пусть задано замкнутое выпуклое подмножество K гильбертова пространства V, касательный конус к множеству K в точке x из K можно определить как полярный конус[en]* к внешнему нормальному конусу  :[16][17]

Нормальные и касательные конусы замкнуты и выпуклы. Они являются важными концепциями в области выпуклого программирования, вариационных неравенств[en] .

См. такжеПравить

Связанные комбинации

ПримечанияПравить

  1. Рокафеллар, 1973, с. 30.
  2. 1 2 Рокафеллар, 1973, с. 32.
  3. 1 2 Красносельский, Лифшиц, Соболев, 1985, с. 9.
  4. 1 2 Бурбаки, 1959, с. 30.
  5. Зоркальцев, Киселева, 2007.
  6. 1 2 3 Эдвардс, 1969, с. 194.
  7. Stolfi, 1991, с. 139.
  8. Панина, 2009.
  9. Boyd, Vandenberghe, 2004.
  10. Кутателадзе, 2009, с. 1127.
  11. Порядковое произведение — это порождённый порядок на прямом произведении частично упорядоченных множеств. Подробнее смотрите в книге Стенли, 1990
  12. Определение порядка Лёвнера можно найти в книге Маршалл, Олкин, 1983
  13. Шефер, 1971, с. 258.
  14. Панагинотопулос, 1989, с. 171.
  15. Панагинотопулос, 1989, с. 62.
  16. Рокафеллар, 1973, с. 138.
  17. Лейхтвейс, 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.