Компактное пространство

«Компактность» перенаправляется сюда. Чтобы узнать о других значениях, см. Компактность (значения) .

Согласно критериям компактности евклидова пространства, сформулированным в теореме Гейне–Бореля , интервал A = (−∞, −2] не является компактным, поскольку он не ограничен. Интервал C = (2, 4) не является компактным, потому что он не замкнут (но ограничен). Интервал B = [0, 1] компактен, поскольку он одновременно замкнут и ограничен.

В математике , особенно в общей топологии , компактность — это свойство, которое стремится обобщить понятие замкнутого и ограниченного подмножества евклидова пространства . Идея состоит в том, что компактное пространство не имеет «проколов» или «недостающих концов», т. е. включает в себя все предельные значения точек. Например, открытый интервал (0,1) не будет компактным, поскольку исключает предельные значения 0 и 1, тогда как закрытый интервал [0,1] будет компактным. Аналогично, пространство рациональных чисел $\mathbb {Q}$ некомпактна, поскольку имеет бесконечно много «проколов», соответствующих иррациональным числам , и пространство действительных чисел $\mathbb {R}$ также не компактен, поскольку исключает два предельных значения $+\infty$ и $-\infty$. Однако расширенная линия действительных чисел была бы компактной, поскольку содержит обе бесконечности. Есть много способов сделать это эвристическое понятие точным. Эти способы обычно совпадают в метрическом пространстве , но могут не быть эквивалентными в других топологических пространствах .

Одним из таких обобщений является то, что топологическое пространство является секвенциально компактным, если каждая бесконечная последовательность точек, выбранных из пространства, имеет бесконечную подпоследовательность , которая сходится к некоторой точке пространства. Теорема Больцано -Вейерштрасса утверждает, что подмножество евклидова пространства компактно в этом секвенциальном смысле тогда и только тогда, когда оно замкнуто и ограничено. Таким образом, если кто-то выберет бесконечное количество точек в замкнутом единичном интервале [0, 1] , некоторые из этих точек окажутся сколь угодно близкими к некоторому действительному числу в этом пространстве. Например, некоторые числа в последовательности 1 / 2 , 4 / 5 , 1 / 3 , 5 / 6 , 1 / 4 , 6/7 накапливаются до 0 ( , ... в то время как другие накапливаются до 1). Поскольку ни 0, ни 1 не являются членами открытого единичного интервала (0, 1) , те же самые наборы точек не будут накапливаться ни в одной из его точек, поэтому открытый единичный интервал не является компактным. Хотя подмножества (подпространства) евклидова пространства могут быть компактными, само пространство не является компактным, поскольку оно не ограничено. Например, учитывая $\mathbb {R} ^{1}$ (линия действительных чисел) последовательность точек 0, 1, 2, 3, ... не имеет подпоследовательности, сходящейся к какому-либо действительному числу.

Компактность была формально введена Морисом Фреше в 1906 году для обобщения теоремы Больцано-Вейерштрасса с пространств геометрических точек на пространства функций . Теорема Арсела-Асколи и теорема существования Пеано служат примерами применения этого понятия компактности к классическому анализу. были развиты различные эквивалентные понятия компактности, включая секвенциальную компактность и компактность предельной точки После его первоначального введения в общих метрических пространствах . Однако в общих топологических пространствах эти понятия компактности не обязательно эквивалентны. Наиболее полезное понятие — и стандартное определение безусловного термина компактность — сформулировано в терминах существования конечных семейств открытых множеств , которые « покрывают » пространство в том смысле, что каждая точка пространства лежит в некотором множестве, содержащемся в семья. Это более тонкое понятие, введенное Павлом Александровым и Павлом Урысоном в 1929 году, показывает компакты как обобщения конечных множеств . В пространствах, которые являются компактными в этом смысле, часто можно объединить информацию, которая справедлива локально , то есть в окрестности каждой точки, в соответствующие утверждения, которые справедливы во всем пространстве, и многие теоремы носят такой характер.

Термин «компакт» иногда используется как синоним компактного пространства, но также часто относится к компактному подпространству топологического пространства .

Историческое развитие

В 19 веке были поняты несколько несопоставимых математических свойств, которые позже будут рассматриваться как последствия компактности. С одной стороны, Бернар Больцано ( 1817 ) знал, что любая ограниченная последовательность точек (например, на прямой или плоскости) имеет подпоследовательность, которая в конечном итоге должна подобраться сколь угодно близко к какой-то другой точке, называемой предельной точкой . Доказательство Больцано основывалось на методе деления пополам : последовательность помещалась в интервал, который затем делился на две равные части, и выбиралась часть, содержащая бесконечное число членов последовательности. Затем процесс можно повторить, разделив полученный меньший интервал на все меньшие и меньшие части – до тех пор, пока он не закроется в желаемой предельной точке. Полное значение теоремы Больцано и метода ее доказательства раскрылось лишь почти 50 лет спустя, когда она была заново открыта Карлом Вейерштрассом .

В 1880-х годах стало ясно, что результаты, подобные теореме Больцано–Вейерштрасса, могут быть сформулированы для пространств функций, а не только для чисел или геометрических точек. Идея рассматривать функции как точки обобщенного пространства восходит к исследованиям Джулио Асколи и Чезаре Арсела . Кульминацией их исследований стала теорема Арзела-Асколи , которая была обобщением теоремы Больцано-Вейерштрасса на семейства непрерывных функций , точным выводом которой было то, что можно извлечь равномерно сходящую последовательность функций из подходящего семейства функций. функции. Равномерный предел этой последовательности играл тогда точно такую ​​же роль, как «предельная точка» Больцано. К началу двадцатого века результаты, подобные результатам Арзела и Асколи, начали накапливаться в области интегральных уравнений , исследованных Дэвидом Гильбертом и Эрхардом Шмидтом . Для определенного класса функций Грина, возникающих из решений интегральных уравнений, Шмидт показал, что свойство, аналогичное теореме Арзела-Асколи, сохраняется в смысле сходимости в среднем - или сходимости в том, что позже будет названо гильбертовым пространством . В конечном итоге это привело к понятию компактного оператора как ответвления общего понятия компактного пространства. Это был Морис Фреше который в 1906 году выделил суть свойства Больцано-Вейерштрасса и ввёл термин «компактность» для обозначения этого общего явления (он использовал этот термин уже в своей статье 1904 года). что привело к знаменитой диссертации 1906 года).

Однако в конце XIX века в результате изучения континуума постепенно возникло и другое понятие компактности , которое считалось фундаментальным для строгой формулировки анализа. В 1870 году Эдуард Гейне показал, что непрерывная функция, определенная на замкнутом и ограниченном интервале, на самом деле является равномерно непрерывной . В ходе доказательства он воспользовался леммой о том, что из любого счетного покрытия интервала меньшими открытыми интервалами можно выбрать конечное число таких, которые также его покрывают. Значение этой леммы было признано Эмилем Борелем ( 1895 ) она была обобщена на произвольные наборы интервалов ), а Пьером Кузеном (1895) и Анри Лебегом ( 1904 . Теорема Гейне-Бореля , как теперь известен результат, представляет собой еще одно специальное свойство, которым обладают замкнутые и ограниченные множества действительных чисел.

Это свойство было важным, поскольку оно позволяло перейти от локальной информации о множестве (например, о непрерывности функции) к глобальной информации о множестве (например, о равномерной непрерывности функции). Это мнение выразил Лебег (1904) , который также использовал его при разработке интеграла, носящего теперь его имя . В конечном итоге российская школа точечной топологии под руководством Павла Александрова и Павла Урысона сформулировала компактность Гейне-Бореля таким образом, чтобы ее можно было применить к современному понятию топологического пространства . Александров и Урысон (1929) показали, что более ранняя версия компактности Фреше, называемая теперь (относительной) секвенциальной компактностью , при соответствующих условиях вытекала из версии компактности, которая была сформулирована в терминах существования конечных подпокрытий. Именно это понятие компактности стало доминирующим, поскольку оно было не только более сильным свойством, но и могло быть сформулировано в более общей форме с минимумом дополнительных технических средств, поскольку оно опиралось только на структуру открытых множеств. в пространстве.

Основные примеры

Любое конечное пространство компактно; конечное подпокрытие можно получить, выбрав для каждой точки открытое множество, содержащее ее. Нетривиальным примером компакта является (замкнутый) единичный интервал [0,1] действительных чисел . Если выбрать бесконечное число различных точек на единичном интервале, то должна быть некоторая точка накопления среди этих точек на этом интервале . Например, нечетные члены последовательности 1, 1 / 2 ,  1 / 3 ,  3 / 4 ,  1 / 5 ,  5 / 6 ,  1 / 7 ,  7 / 8 , ... становятся сколь угодно близкими к 0, а четные — сколь угодно близкими к 1. Данная примерная последовательность показывает важность включения граничных точек интервала, поскольку предельные точки должны находиться в пространстве сам по себе открытый (или полуоткрытый) интервал действительных чисел не компактен. Также крайне важно, чтобы интервал был ограниченным , поскольку в интервале [0,∞) можно выбрать последовательность точек 0, 1, 2, 3, ... , из которых ни одна подпоследовательность в конечном итоге не приближается сколь угодно близко к любое заданное действительное число.

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

Определения

В зависимости от уровня общности могут применяться различные определения компактности. Подмножество евклидова пространства , в частности, называется компактным, если оно замкнуто и ограничено . По теореме Больцано-Вейерштрасса это означает , что любая бесконечная последовательность из множества имеет подпоследовательность , которая сходится к точке множества. Различные эквивалентные понятия компактности, такие как секвенциальная компактность и компактность предельной точки , могут быть развиты в общих метрических пространствах .

Напротив, различные понятия компактности не эквивалентны в общих топологических пространствах , и наиболее полезное понятие компактности, первоначально называемое бикомпактностью , определяется с использованием покрытий, состоящих из открытых множеств (см. Определение открытого покрытия ниже). То, что эта форма компактности справедлива для замкнутых и ограниченных подмножеств евклидова пространства, известна как теорема Гейне-Бореля . Компактность, определенная таким образом, часто позволяет взять информацию, которая известна локально – в окрестностях каждой точки пространства – и расширить ее до информации, которая сохраняется глобально во всем пространстве. Примером этого явления является теорема Дирихле, к которой первоначально применил ее Гейне, о том, что непрерывная функция на компактном интервале равномерно непрерывна ; здесь непрерывность — локальное свойство функции, а равномерная непрерывность — соответствующее глобальное свойство.

Определение открытой обложки

Формально топологическое пространство X называется компактным если каждое открытое покрытие X , имеет конечное подпокрытие . То есть X компактно, если для любого набора C открытых подмножеств из X такой, что

$$X=\bigcup _{S\in C}S\ ,$$

существует конечный поднабор F ⊆ C такой, что

$$X=\bigcup _{S\in F}S\ .$$

Некоторые разделы математики, такие как алгебраическая геометрия , обычно находящиеся под влиянием французской школы Бурбаки , используют термин «квазикомпактный» для общего понятия и оставляют термин «компактный» для топологических пространств, которые являются как Хаусдорфовыми , так и квазикомпактными . Компакт иногда называют компактом во множественном числе компактами .

Компактность подмножеств

Подмножество K топологического пространства X называется компактным, если оно компактно как подпространство (в топологии подпространства ). То есть K компактно, если для любого произвольного набора C открытых подмножеств X такого, что

$$K\subseteq \bigcup _{S\in C}S\ ,$$

существует конечный поднабор F ⊆ C такой, что

$$K\subseteq \bigcup _{S\in F}S\ .$$

Компактность — топологическое свойство. То есть, если $K\subset Z\subset Y$, с подмножеством Z, снабженным топологией подпространства, то K компактно в Z тогда и только тогда, когда K компактно в Y .

Характеристика

Если X — топологическое пространство, то следующие условия эквивалентны:

1. X компактен; . каждое открытое покрытие X т. е имеет конечное подпокрытие .
2. X имеет подбазу такую, что каждое покрытие пространства членами подбазы имеет конечное подпокрытие ( теорема Александера о подбазе ).
3. X линделефово счетно и компактно .
4. Любой набор замкнутых подмножеств X со свойством конечного пересечения имеет непустое пересечение.
5. У каждой сети на X есть сходящаяся подсеть ( см. в статье о сетях ). доказательство
6. Каждый фильтр на X имеет сходящееся уточнение.
7. Каждая сеть на X имеет точку кластера.
8. Каждый фильтр на X имеет точку кластера.
9. Каждый ультрафильтр на X сходится хотя бы к одной точке.
10. Каждое бесконечное подмножество X имеет полную точку накопления .
11. Для каждого топологического пространства Y проекция $X\times Y\to Y$ является замкнутым отображением (см. соответствующую карту ).
12. Каждое открытое покрытие, линейно упорядоченное включением подмножества, содержит X .

Бурбаки определяет компактное пространство (квазикомпактное пространство) как топологическое пространство, в котором каждый фильтр имеет точку кластера (т. е. 8, как указано выше).

Евклидово пространство

Для любого подмножества А А евклидова пространства оно компактно тогда и только тогда, когда замкнуто и ограничено ; это теорема Гейне-Бореля .

Поскольку евклидово пространство является метрическим пространством, условия следующего подраздела также применимы ко всем его подмножествам. Из всех эквивалентных условий на практике легче всего проверить, что подмножество замкнуто и ограничено, например, для отрезка или замкнутого n -шара.

Метрические пространства

Для любого метрического пространства ( X , d ) следующие условия эквивалентны (при условии счетного выбора ):

1. ( X , d ) компактно.
2. ( X , d ) полно вполне и ограничено (это также эквивалентно компактности для равномерных пространств ).
3. ( X , d ) секвенциально компактен; то есть каждая последовательность в X имеет сходящую подпоследовательность, предел которой находится в X (это также эквивалентно компактности для с первым счетом равномерных пространств ).
4. ( X , d ) компакт в предельной точке (также называемый слабо счетно компактным); то есть каждое бесконечное подмножество X имеет хотя бы одну предельную точку в X .
5. ( X , d ) компактна счетно ; то есть каждое счетное открытое покрытие X имеет конечное подпокрытие.
6. ( X , d ) — образ непрерывной функции из множества Кантора .
7. Каждая убывающая вложенная последовательность непустых замкнутых подмножеств S ₁ ⊇ S ₂ ⊇ ... в ( X , d ) имеет непустое пересечение.
8. Любая возрастающая вложенная последовательность собственных открытых подмножеств S ₁ ⊆ S ₂ ⊆ ... в ( X , d ) может покрыть X. не

Компактное метрическое пространство ( X , d ) также удовлетворяет следующим свойствам:

1. Лебеговая лемма о числах : для любого открытого покрытия X существует число δ > 0 такое, что каждое подмножество X диаметра < δ содержится в некотором элементе покрытия.
2. ( X , d ) счетно по секундам , сепарабельно и по Линделефу – эти три условия эквивалентны для метрических пространств. Обратное неверно; например, счетное дискретное пространство удовлетворяет этим трем условиям, но не является компактным.
3. X замкнуто и ограничено (как подмножество любого метрического пространства, ограниченная метрика которого равна d ). Обратное может оказаться неверным для неевклидова пространства; например, действительная линия, снабженная дискретной метрикой , замкнута и ограничена, но не компактна, поскольку совокупность всех одиночных элементов пространства представляет собой открытое покрытие, не допускающее конечного подпокрытия. Оно полно, но не полностью ограничено.

Заказанные места

Для упорядоченного пространства ( X , <) (т.е. полностью упорядоченного множества, снабженного топологией порядка), следующие условия эквивалентны:

1. ( X , <) компактен.
2. Каждое подмножество X имеет верхнюю границу (т.е. наименьшую верхнюю границу) в X .
3. Каждое подмножество X имеет нижнюю границу (т.е. максимальную нижнюю границу) в X .
4. Каждое непустое замкнутое подмножество X имеет максимальный и минимальный элемент.

Упорядоченное пространство, удовлетворяющее (любому из) этих условий, называется полной решеткой.

Кроме того, следующие утверждения эквивалентны для всех упорядоченных пространств ( X , <) и (при условии счетного выбора ) верны всякий раз, когда ( X , <) компактно. (Обратное, вообще говоря, неверно, если ( X , <) также не метризуемо.):

1. Каждая последовательность в ( X , <) имеет подпоследовательность, сходящуюся в ( X , <) .
2. Каждая монотонно возрастающая последовательность в X сходится к единственному пределу в X .
3. Любая монотонно убывающая последовательность в X сходится к единственному пределу в X .
4. Любая убывающая вложенная последовательность непустых замкнутых подмножеств S ₁ ⊇ S ₂ ⊇ ... в ( X , <) имеет непустое пересечение.
5. Любая возрастающая вложенная последовательность собственных открытых подмножеств S ₁ ⊆ S ₂ ⊆ ... в ( X , <) может покрыть X. не

Характеристика непрерывными функциями

Пусть X — топологическое пространство, а C( X ) кольцо действительных непрерывных функций на X. — Для каждого p ∈ X оценочная карта $\operatorname {ev} _{p}\colon C(X)\to \mathbb {R}$заданный формулой ev _p ( f ) = f ( p ), является кольцевым гомоморфизмом. Ядро полем ev p _p является максимальным идеалом , поскольку поле вычетов C( X )/ker ev _{является} действительных чисел по первой теореме об изоморфизме . Топологическое пространство X псевдокомпактно тогда и только тогда, когда каждый максимальный идеал в C( X ) имеет поле вычетов действительных чисел. Для полностью регулярных пространств это эквивалентно тому, что каждый максимальный идеал является ядром оценочного гомоморфизма. Однако существуют псевдокомпактные пространства, которые не являются компактными.

В общем, для непсевдокомпактных пространств всегда существуют максимальные идеалы m в C( X ) такие, что поле вычетов C( X )/ m является ( неархимедовым ) гипервещественным полем . Структура нестандартного анализа допускает следующую альтернативную характеристику компактности: топологическое пространство X компактно тогда и только тогда, когда каждая точка расширения * X к близка точке x0 _X из бесконечно (точнее, x содержится в монаде x0 естественного _x ).

Гиперреальное определение

Пространство X компактно, если его гипервещественное расширение *X (построенное, например, с помощью ультрастепенной конструкции ) обладает тем свойством, что каждая точка *X бесконечно близка к некоторой точке X ⊂ *X . Например, открытый действительный интервал X = (0, 1) не является компактным, поскольку его гипервещественное расширение *(0,1) содержит бесконечно малые числа, бесконечно близкие к 0, который не является точкой X .

Достаточные условия

• Замкнутое подмножество компакта компактно.
• Конечное объединение компактов компактно.
• образ Непрерывный компактного пространства компактен.
• Пересечение любого непустого набора компактных подмножеств хаусдорфова пространства компактно (и замкнуто);
  • Если X не является Хаусдорфом, то пересечение двух компактных подмножеств может не быть компактным (см., например, сноску).
• Произведение любого набора компактов компактно. (Это теорема Тихонова , эквивалентная аксиоме выбора .)
• В метризуемом пространстве подмножество компактно тогда и только тогда, когда оно секвенциально компактно (при условии счетного выбора ).
• Конечное множество, наделенное любой топологией, компактно.

Свойства компактов

• Компактное подмножество хаусдорфова пространства X замкнуто.
  • Если X не является Хаусдорфом, то компактное подмножество X может не быть замкнутым подмножеством X (см., например, сноску).
  • Если X не является Хаусдорфом, то замыкание компакта может не быть компактным (см., например, сноску).
• В любом топологическом векторном пространстве (ТВП) компактное подмножество является полным . Однако каждая нехаусдорфова ТВС содержит компактные (и, следовательно, полные) незамкнутые подмножества .
• Если A и B — непересекающиеся компактные подмножества хаусдорфова пространства X , то существуют непересекающиеся открытые множества U и V в X такие, A ⊆ U и B ⊆ V. что
• Непрерывная биекция компакта в хаусдорфово пространство является гомеоморфизмом .
• Хаусдорфов компакт является нормальным и регулярным .
• Если пространство X компактно и хаусдорфово, то никакая более тонкая топология на X не является компактной и никакая более грубая топология на X не является хаусдорфовой.
• Если подмножество метрического пространства ( X , d ) компактно, то оно d -ограничено.

Функции и компактные пространства

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

Компактификации

Каждое топологическое пространство X является открытым плотным подпространством компакта, имеющим не более чем на одну точку больше, чем X , в силу одноточечной компактификации Александрова . По той же конструкции каждое локально компактное хаусдорфово пространство X является открытым плотным подпространством бикомпакта, имеющим не более чем на одну точку больше, чем X .

Упорядоченные компакты

Непустое компактное подмножество действительных чисел имеет наибольший и наименьший элемент.

Пусть X — просто упорядоченное множество, наделенное порядковой топологией . Тогда X компактно тогда и только тогда, когда X — полная решетка (т. е. все подмножества имеют верхние и нижние точки).

Примеры

• Любое конечное топологическое пространство , включая пустое множество , компактно. В более общем смысле любое пространство с конечной топологией (только с конечным числом открытых множеств) компактно; это включает в себя, в частности, тривиальную топологию .
• Любое пространство, несущее коконечную топологию, компактно.
• Любое локально компактное хаусдорфово пространство можно превратить в компактное, добавив к нему одну точку посредством одноточечной компактификации Александрова . Одноточечная компактификация $\mathbb {R}$ гомеоморфна окружности S ¹ ; одноточечная компактификация $\mathbb {R} ^{2}$ гомеоморфна сфере S ² . Используя одноточечную компактификацию, можно также легко построить нехаусдорфовые компакты, начав с нехаусдорфовых пространств.
• Топология правого порядка или топология левого порядка на любом ограниченном полностью упорядоченном множестве компактна. В частности, пространство Серпинского компактно.
• Никакое дискретное пространство с бесконечным числом точек не является компактным. Совокупность всех одиночных элементов пространства представляет собой открытое покрытие, не имеющее конечного подпокрытия. Конечные дискретные пространства компактны.
• В $\mathbb {R}$ несущей топологию нижнего предела , ни одно несчетное множество не является компактным.
• В счетной топологии на несчетном множестве ни одно бесконечное множество не является компактным. Как и в предыдущем примере, пространство в целом не является локально компактным , но по-прежнему линделёфово .
• Замкнутый единичный интервал [0, 1] компактен. Это следует из теоремы Гейне–Бореля . Открытый интервал (0, 1) не компактен: открытая крышка ${\textstyle \left({\frac {1}{n}},1-{\frac {1}{n}}\right)}$ при n = 3, 4, ... не имеет конечного подпокрытия. Аналогично, множество рациональных чисел на отрезке [0,1] не компактно: множества рациональных чисел на отрезках ${\textstyle \left[0,{\frac {1}{\pi }}-{\frac {1}{n}}\right]{\text{ and }}\left[{\frac {1}{\pi }}+{\frac {1}{n}},1\right]}$ покрыть все рациональные числа из [0, 1] для n = 4, 5,..., но это покрытие не имеет конечного подпокрытия. Здесь множества открыты в топологии подпространства, даже если они не открыты как подмножества $\mathbb {R}$.
• Набор $\mathbb {R}$ всех действительных чисел не компактно, поскольку существует покрытие открытых интервалов, не имеющее конечного подпокрытия. Например, интервалы ( n − 1, n + 1)   , где n принимает все целые значения из Z , покрывают $\mathbb {R}$ но конечного подпокрытия не существует.
• С другой стороны, расширенная линия действительных чисел, несущая аналогичную топологию , компактна ; обратите внимание, что описанное выше покрытие никогда не достигнет точек бесконечности и, следовательно, не покроет расширенную действительную линию. Фактически, набор обладает гомеоморфизмом к [−1, 1] отображения каждой бесконечности в соответствующую единицу и каждого действительного числа в его знак, умноженный на уникальное число в положительной части интервала, что приводит к его абсолютному значению при делении на один минус сам себя, и поскольку гомеоморфизмы сохраняют накрытия, можно вывести свойство Гейне-Бореля.
• Для любого натурального числа n компактна -сфера n . Опять же, согласно теореме Гейне-Бореля, замкнутый единичный шар любого конечномерного нормированного векторного пространства компактен. Это неверно для бесконечных измерений; Фактически, нормированное векторное пространство конечномерно тогда и только тогда, когда его замкнутый единичный шар компактен.
• С другой стороны, замкнутый единичный шар двойственного нормированного пространства компактен для слабой топологии. ( теорема Алаоглу )
• Множество Кантора компактно. Фактически, каждое компактное метрическое пространство является непрерывным образом канторова множества.
• Рассмотрим множество K всех функций f : $\mathbb {R}$ → [0, 1] от линии действительных чисел до замкнутого единичного интервала и определим топологию на K так, чтобы последовательность $\{f_{n}\}$ в K сходится к f ∈ K тогда и только тогда, когда $\{f_{n}(x)\}$ сходится к f ( x ) для всех действительных чисел x . Существует только одна такая топология; она называется топологией поточечной сходимости или топологией произведения . Тогда K — компактное топологическое пространство; это следует из теоремы Тихонова .
• Подмножество банахова пространства вещественнозначных непрерывных функций на компакте Хаусдорфа относительно компактно тогда и только тогда, когда оно равностепенно непрерывно и поточечно ограничено ( теорема Арзела–Асколи ).
• Рассмотрим множество K всех функций f : [0, 1] → [0, 1], удовлетворяющих условию Липшица | ж ( Икс ) - ж ( у ) | ≤ | х - у | для всех x , y ∈ [0,1] . Рассмотрим на K метрику, индуцированную равномерным расстоянием $d(f,g)=\sup _{x\in [0,1]}|f(x)-g(x)|.$ Тогда по теореме Арзела–Асколи пространство K компактно.
• Спектр представляет любого ограниченного линейного оператора в банаховом пространстве собой непустое компактное подмножество комплексных чисел $\mathbb {C}$. И наоборот, любое компактное подмножество $\mathbb {C}$ возникает таким образом как спектр некоторого ограниченного линейного оператора. Например, диагональный оператор в гильбертовом пространстве $\ell ^{2}$ может иметь любое компактное непустое подмножество $\mathbb {C}$ как спектр.
• Пространство борелевских вероятностных мер на компактном хаусдорфовом пространстве компактно для нечеткой топологии по теореме Алаоглу.
• Набор вероятностных мер на борелевских множествах евклидова пространства называется плотным , если для любого положительного эпсилона существует компактное подмножество, содержащее все, кроме не более чем эпсилона, массы каждой из мер. Теорема Хелли затем утверждает, что набор вероятностных мер относительно компактен для нечеткой топологии тогда и только тогда, когда он тесный.

Алгебраические примеры

• Топологические группы, такие как ортогональная группа, компактны, а такие группы, как общая линейная группа, - нет.
• Поскольку p -адические целые числа гомеоморфны канторову множеству , они образуют компакт.
• Любое глобальное поле K является дискретной аддитивной подгруппой своего кольца аделей , а фактор-пространство компактно. Это было использовано в Джона Тейта , диссертации чтобы позволить гармонический анализ использовать в теории чисел .
• Спектр хаусдорфовым любого коммутативного кольца с топологией Зарисского (т. е. множество всех простых идеалов) компактен, но никогда не является ( за исключением тривиальных случаев). В алгебраической геометрии такие топологические пространства являются примерами квазикомпактных схем , слово «квази» относится к нехаусдорфовой природе топологии.
• Спектр булевой алгебры компактен, и этот факт является частью теоремы Стоуна о представлении . Пространства Стоуна , компактные полностью несвязные пространства Хаусдорфа, образуют абстрактную структуру, в которой изучаются эти спектры. Такие пространства полезны также при изучении проконечных групп .
• Структурное пространство коммутативной банаховой алгебры с единицей является компактным хаусдорфовым пространством.
• Куб Гильберта компактен, что опять же является следствием теоремы Тихонова.
• Проконечная группа (например, группа Галуа ) компактна.

См. также

• Компактно сгенерированное пространство
• Теорема о компактности
• Компакт Эберлейна
• Истощение компактами
• Линделёфское пространство
• Метакомпактное пространство
• Нётерово топологическое пространство
• Ортокомпактное пространство
• Паракомпактное пространство
• Квазикомпактный морфизм
• Предкомпактное множество , также называемое полностью ограниченным.
• Относительно компактное подпространство
• Полностью ограниченный

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

• Александров Павел ; Урысон, Павел (1929). «Mémoire sur les espaces topologiques Compact». Королевская Нидерландская академия искусств и наук в Амстердаме, Труды секции математических наук . 14 .
• Архангельский А.В.; Федорчук, В.В. (1990). «Основные понятия и конструкции общей топологии». В Архангельский А.В.; Понтрягин Л.С. (ред.). Общая топология I. Энциклопедия математических наук. Том. 17. Спрингер. ISBN  978-0-387-18178-3 . .
• Архангельский, А.В. (2001) [1994], «Компактное пространство» , Энциклопедия Математики , EMS Press .
• Больцано, Бернар (1817). Чисто аналитическое доказательство теоремы о том, что между любыми двумя значениями, дающими противоположный результат, существует хотя бы один действительный корень уравнения . Вильгельм Энгельманн. ( Чисто аналитическое доказательство теоремы о том, что между любыми двумя значениями, дающими результаты противоположных знаков, лежит хотя бы один вещественный корень уравнения ).
• Борель, Эмиль (1895). «О некоторых пунктах теории функций» . Научные анналы Высшей нормальной школы . 3.12 . :9–55 дои : 10.24033/asens.406 . ЖФМ   26.0429.03 .
• Бурбаки, Николя (2007). Общая топология. Главы с 1 по 4 . Берлин: Шпрингер. дои : 10.1007/978-3-540-33982-3 . ISBN  978-3-540-33982-3 .
• Бойер, Карл Б. (1959). История исчисления и его концептуальное развитие . Нью-Йорк: Dover Publications. МР   0124178 .
• Бойер, Карл Бенджамин ; Мерцбах, Ута С (1991). История математики (2-е изд.). Джон Уайли и сыновья. ISBN  978-0-471-54397-8 .
• Арсела, Чезаре (1895). «О функциях линий». Акк. Болонский кл. Науч. Мэтт . 5 (5): 55–74.
• Арсела, Чезаре (1882–1883). «Наблюдение о наборах функций». Урожай. Из Аккад. R. Delle Sci. Болонского института : 142–159.
• Асколи, Г. (1883–1884). «Предельные кривые данной разновидности кривых». Акты Р. Аккад. Деи Линчеи Воспоминания о CL. Науч. Мэтт. Нат . 18 (3): 521–586.
• Фреше, Морис (1906). «О некоторых пунктах функционального исчисления» . Rendiconti del Circolo Matematico di Palermo . 22 (1): 1–72. дои : 10.1007/BF03018603 . hdl : 10338.dmlcz/100655 . S2CID   123251660 .
• Гиллман, Леонард; Джерисон, Мейер (1976). Кольца непрерывных функций . Спрингер-Верлаг.
• Хоуз, Норман Р. (23 июня 1995 г.). Современный анализ и топология . Тексты для аспирантов по математике . Нью-Йорк: Springer-Verlag Science & Business Media. ISBN  978-0-387-97986-1 . OCLC   31969970 . ОЛ   1272666М .
• Келли, Джон (1955). Общая топология . Тексты для аспирантов по математике. Том. 27. Шпрингер-Верлаг.
• Клайн, Моррис (1990) [1972]. Математическая мысль от древности до современности (3-е изд.). Издательство Оксфордского университета. ISBN  978-0-19-506136-9 .
• Лебег, Анри (1904). Уроки интегрирования и нахождения примитивных функций . Готье-Виллар.
• Мак, Джон (1967). «Направленные покрытия и паракомпактные пространства». Канадский математический журнал . 19 : 649–654. дои : 10.4153/CJM-1967-059-0 . МР   0211382 .
• Робинсон, Авраам (1996). Нестандартный анализ . Издательство Принстонского университета. ISBN  978-0-691-04490-3 . МР   0205854 .
• Скарборо, Коннектикут; Стоун, АХ (1966). «Произведения почти компактных пространств» (PDF) . Труды Американского математического общества . 124 (1): 131–147. дои : 10.2307/1994440 . JSTOR   1994440 . Архивировано (PDF) из оригинала 16 августа 2017 г. .
• Стин, Линн Артур ; Сибах, Дж. Артур младший (1995) [1978]. Контрпримеры в топологии (переиздание Dover Publications, изд. 1978 г.). Берлин, Нью-Йорк: Springer-Verlag. ISBN  978-0-486-68735-3 . МР   0507446 .
• Уиллард, Стивен (1970). Общая топология . Дуврские публикации. ISBN  0-486-43479-6 .

Внешние ссылки

• Сундстрем, Маня Раман (2010). «Педагогическая история компактности». arXiv : 1006.4131v1 [ math.HO ].

---

Эта статья включает в себя материал из «Примеров компактных пространств» на сайте PlanetMath , который доступен под лицензией Creative Commons Attribution/Share-Alike License .