Выпуклый конус в линейной алгебре — подмножество векторного пространства над упорядоченным полем, которое замкнуто относительно линейных комбинаций с положительными коэффициентами.
Подмножество 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′ = C ∩A является выпуклым подмножеством гиперплоскости A (то есть множеством, замкнутым относительно выпуклых комбинаций).
Вследствие этого результата все свойства выпуклых множеств аффинного пространства имеют аналог для выпуклых конусов, содержащихся в фиксированном открытом полупространстве.
Если дана норма | • | в пространстве V, мы определяем единичную сферу в V как множество
Если значения | • | являются скалярами в V, то линейный конус C в V — это выпуклый конус в том и только в том случае, когда его сферическое сечение C′ ∩ S (множество его векторов с единичной нормой) является выпуклым подмножеством S в следующем смысле: для любых двух векторов u, v ∈ C′ с u ≠ −v все вектора на кратчайшем пути из u в v на S лежат в C′.
Пусть C ⊂ V — выпуклый конус в вещественном векторном пространстве V, обладающем скалярным произведением. Двойственный конус к C — это множество[8][9]
Он тоже является выпуклым конусом. Если C совпадает со своим двойственным, C называется самодвойственным.
Другое частое определение двойственного конуса для C ⊂ V — это конус C* в сопряжённом пространстве V*:
Другими словами, если V* — сопряжённое пространство пространства V, то двойственный конус — это множество линейных функций, неотрицательных на конусе C. Если мы примем, что V* — непрерывное сопряжённое пространство, то это множество непрерывных линейных функций, неотрицательных на C.[10] Такое определение не требует наличия скалярного произведения в пространстве V.
В конечномерных пространствах оба определения двойственного конуса, по существу, эквивалентны, поскольку любое скалярное произведение образует линейный изоморфизм (невырожденное линейное отображение) из V* в V, и этот изоморфизм переводит двойственный конус (в V*) из второго определения в двойственный конус из первого определения.
Острый выступающий выпуклый конус C порождает частичный порядок «≤» на V, определяемый так, что x≤y тогда и только тогда, когда y − x ∈ C. (Если конус плоский, то же самое определение даёт просто предпорядок.) Суммы и умножение на положительный скаляр верного неравенства по отношению к этому порядку снова дают верные неравенства. Векторное пространство с таким порядком называется упорядоченным векторным пространством[en]. Конус
называется положительным конусом[6].
В качестве примеров можно привести порядковое произведение[en][11] на вещественных векторах (Rn) и порядок Лёвнера[12]
Термин собственный (выпуклый) конус определяется различным образом в зависимости от контекста. Он часто означает выступающий выпуклый конус, не содержащий какую-либо гиперплоскость пространства V, возможно, с другими накладываемыми ограничениями, как, например, топологическую замкнутость (а вследствие этого, конус будет острым), или топологическую открытость (конус будет тупым)[13]. Некоторые авторы используют термин «клин» для понятия, которое в этой статье обозначает выпуклый конус, и под термином «конус» понимается то, что в статье называется выступающим острым конусом, или то, что только что было названо собственным выпуклым конусом.
Нормальные и касательные конусы замкнуты и выпуклы. Они являются важными концепциями в области выпуклого программирования, вариационных неравенств[en] .
Для улучшения этой статьи желательно: |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .