WikiDer > Теорема Крейна – Мильмана

Учитывая выпуклую форму K (голубой) и его множество крайних точек B (красный), выпуклая оболочка B является K.

в математическая теория из функциональный анализ, то Теорема Крейна – Мильмана это предложение о компактный выпуклые множества в локально выпуклые топологические векторные пространства (ТВС).

Эта теорема обобщает на бесконечномерные пространства и произвольные компактные выпуклые множества следующее основное наблюдение: выпуклый (т. Е. «Заполненный») треугольник, включая его периметр и площадь «внутри него», равен выпуклой оболочке его трех вершины, где эти вершины и есть крайние точки этой формы. Это наблюдение справедливо и для любых других выпуклых многоугольник в плоскости ℝ².

Заявление

Всюду мы предполагаем, что Икс является реальным или комплексным векторным пространством.

Для любых элементов Икс и y в векторном пространстве множество [Икс, y] := {tx + (1 - т)y : 0 ≤ т ≤ 1} называется замкнутый линейный сегмент или же закрытый интервал между Икс и y. В открытый сегмент линии или же открытый интервал между Икс и y является (Икс, Икс) := ∅ когда Икс = y пока это (Икс, y) := {tx + (1 - т)y : 0 < т < 1 } когда Икс ≠ y.^[1] Мы называем Икс и y то конечные точки этого интервала. Интервал называется невырожденный или же правильный если его конечные точки различны.

Обратите внимание, что [Икс, Икс] = { Икс} и [Икс, y] всегда содержит свои конечные точки, а (Икс, Икс) = ∅ и (Икс, y) никогда не содержит своих конечных точек. Если Икс и y точки на реальной линии ℝ, то приведенное выше определение [Икс, y] то же самое, что и его обычное определение как закрытый интервал.

Для любого п, Икс, y ∈ Икс, скажи это п лежит между Икс и y если п принадлежит к сегменту открытой линии (Икс, y).^[1]

Если K это подмножество Икс и п ∈ K, тогда п называется крайняя точка из K если он не находится между любыми двумя отчетливый точки K. То есть, если есть нет существовать Икс, y ∈ K и 0 < т < 1 такой, что Икс ≠ y и п = tx + (1 - т) y. Множество всех крайних точек K обозначается крайний (K).^[1]

Например, вершины любого выпуклого многоугольника на плоскости ℝ² являются крайними точками этого многоугольника. Крайние точки закрытый единичный диск в ℝ² это единичный круг. Обратите внимание, что любой открытый интервал в ℝ не имеет крайних точек, а крайние точки невырожденного закрытый интервал [а, б] находятся а и б.

Множество S называется выпуклый если для любых двух точек Икс, y ∈ S, S содержит линейный сегмент [Икс, y]. Наименьшее выпуклое множество, содержащее S называется выпуклый корпус из S и обозначается co S.

Например, выпуклая оболочка любого набора из трех различных точек образует сплошной (т.е. «заполненный») треугольник (включая периметр). Также в самолете ℝ², единичная окружность нет выпуклый, но замкнутый единичный диск выпуклый, и, кроме того, этот диск равен выпуклой оболочке круга.

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

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

Как следствие отсюда следует, что каждое непустое компактное выпуклое подмножество хаусдорфовой локально выпуклой TVS имеет крайние точки (т. Е. Множество его крайних точек не пусто).^[1] Это следствие также называют «теоремой Крейна-Мильмана».

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

Более общие настройки

Предположение о локальная выпуклость для окружающего пространства необходимо, потому что Джеймс Робертс (1977) построил контрпример для нелокально выпуклого пространства L^п[0, 1] куда 0 < п < 1.^[2]

Линейность также необходима, поскольку утверждение неверно для слабо компактных выпуклых множеств в CAT (0) пробелы, как доказано Николя Моно (2016).^[3] Однако Тео Бюлер (2006) доказал, что теорема Крейна – Мильмана верна для метрически компактные CAT (0) пространства.^[4]

Связанные результаты

Согласно предыдущим предположениям о K, если Т это подмножество из K и замкнутая выпуклая оболочка Т все из K, то каждые крайняя точка из K принадлежит к закрытие из Т. Этот результат известен как Мильмана (частичный) разговаривать к теореме Крейна – Мильмана.^[5]

В Теорема Шоке – Бишопа – де Лиу заявляет, что каждая точка в K барицентр вероятностная мера поддерживается на множестве крайние точки из K.

Отношение к аксиоме выбора

В аксиома выбораили его более слабая версия необходима для доказательства этой теоремы в Теория множеств Цермело – Френкеля. Наоборот, эта теорема вместе с Теорема о булевом простом идеале может доказать аксиому выбора.^[6]

История

Первоначальное утверждение доказано Марк Крейн и Дэвид Мильман (1940) был несколько менее общим, чем изложенная здесь форма.^[7]

Ранее, Герман Минковски (1911) доказал, что если Икс является 3-х мерный тогда ${ displaystyle K}$ равна выпуклой оболочке множества своих крайних точек.^[8] Это утверждение было распространено на случай любой конечной размерности Эрнст Стейниц (1916).^[9] Теорема Крейна – Мильмана обобщает это на произвольные локально выпуклые Икс; однако для обобщения от конечномерных пространств к бесконечномерным необходимо использовать замыкание.

Смотрите также

• Теорема Банаха – Алаоглу - Замкнутый единичный шар в двойственном к нормированному векторному пространству компактен в слабой * топологии
• Теорема Каратеодори (выпуклая оболочка) - Точка в выпуклой оболочке множества P в Rd - это выпуклая комбинация d + 1 точки в P
• Теория Шоке
• Теорема Хелли - Теорема о пересечениях d-мерных выпуклых множеств
• Теорема Радона - Говорит, что d + 2 точки в d измерениях можно разделить на два подмножества, выпуклые оболочки которых пересекаются
• Лемма Шепли – Фолкмана.
• Топологическое векторное пространство - Векторное пространство с понятием близости

Цитаты

Библиография

• Адаш, Норберт; Эрнст, Бруно; Кейм, Дитер (1978). Топологические векторные пространства: теория без условий выпуклости. Конспект лекций по математике. 639. Берлин Нью-Йорк: Springer-Verlag. ISBN 978-3-540-08662-8. OCLC 297140003.
• Бурбаки, Николас (1987) [1981]. Топологические векторные пространства: главы 1–5 [Sur определенных пространств векторной топологии]. Annales de l'Institut Fourier. Éléments de mathématique. 2. Перевод Eggleston, H.G .; Мадан, С. Берлин Нью-Йорк: Springer-Verlag. ISBN 978-3-540-42338-6. OCLC 17499190.
• Пол Э. Блэк, изд. (2004-12-17). «крайняя точка». Словарь алгоритмов и структур данных. нас Национальный институт стандартов и технологий. Получено 2011-03-24.
• Боровски, Ефрем Дж .; Борвейн, Джонатан М. (1989). «крайняя точка». Словарь математики. Словарь Коллинза. Харпер Коллинз. ISBN 0-00-434347-6.
• Гротендик, Александр (1973). Топологические векторные пространства. Перевод Чалджуба, Орландо. Нью-Йорк: издательство Gordon and Breach Science. ISBN 978-0-677-30020-7. OCLC 886098.
• Ярхов, Ганс (1981). Локально выпуклые пространства. Штутгарт: B.G. Тюбнер. ISBN 978-3-519-02224-4. OCLC 8210342.
• Кете, Готфрид (1969). Топологические векторные пространства I. Grundlehren der Mathematischen Wissenschaften. 159. Перевод Гарлинга, Д.Дж.Х. Нью-Йорк: Springer Science & Business Media. ISBN 978-3-642-64988-2. МИСТЕР 0248498. OCLC 840293704.
• Кете, Готфрид (1979). Топологические векторные пространства II.. Grundlehren der Mathematischen Wissenschaften. 237. Нью-Йорк: Springer Science & Business Media. ISBN 978-0-387-90400-9. OCLC 180577972.
• Наричи, Лоуренс; Бекенштейн, Эдвард (2011). Топологические векторные пространства. Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666. OCLC 144216834.
• Никольский Н.К. (Ред.). Функциональный анализ I. Springer-Verlag, 1992.
• Робертсон, Алекс П .; Робертсон, Венди Дж. (1980). Топологические векторные пространства. Кембриджские трактаты по математике. 53. Кембридж, Англия: Издательство Кембриджского университета. ISBN 978-0-521-29882-7. OCLC 589250.
• Х. Л. Ройден, Реальный анализ. Прентис-Холл, Энглвуд-Клиффс, Нью-Джерси, 1988.
• Рудин, Вальтер (1991). Функциональный анализ. Международная серия по чистой и прикладной математике. 8 (Второе изд.). Нью-Йорк, штат Нью-Йорк: Макгроу-Хилл Наука / Инженерия / Математика. ISBN 978-0-07-054236-5. OCLC 21163277.
• Шефер, Гельмут Х.; Вольф, Манфред П. (1999). Топологические векторные пространства. GTM. 8 (Второе изд.). Нью-Йорк, штат Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
• Шехтер, Эрик (1996). Справочник по анализу и его основам. Сан-Диего, Калифорния: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365.
• Трев, Франсуа (2006) [1967]. Топологические векторные пространства, распределения и ядра. Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
• Вилански, Альберт (2013). Современные методы в топологических векторных пространствах. Минеола, Нью-Йорк: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.

В статье использован материал из теоремы Крейна – Мильмана о PlanetMath, который находится под лицензией Лицензия Creative Commons Attribution / Share-Alike.