Локально компактное пространство

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

В математическом анализе локально компактные пространства, хаусдорфовы особый интерес представляют ; они сокращенно обозначаются как пространства LCH . ^[1]

Формальное определение [ править ]

Пусть X — топологическое пространство . Чаще всего X называется локально компактным, если каждая точка x из X имеет компактную окрестность , т. е. существует открытое множество U и компактное множество K такие, что $x\in U\subseteq K$ .

Есть и другие общие определения: все они эквивалентны, если X — хаусдорфово пространство (или предрегулярное). они не эквивалентны Но в целом :

1. каждая точка X имеет компактную окрестность .

2. каждая точка X имеет замкнутую компактную окрестность.

2'. каждая точка X имеет относительно компактную окрестность.

2″. каждая точка X имеет локальную базу относительно компактных окрестностей.

3. каждая точка X имеет локальную базу компактных окрестностей.

4. каждая точка X имеет локальную базу замкнутых компактных окрестностей.

5. X хаусдорфово и удовлетворяет любому (или, что то же самое, всем) предыдущим условиям.

Логические отношения между условиями: ^[2]

Каждое условие влечет за собой (1).
Условия (2), (2′), (2″) эквивалентны.
Ни одно из условий (2), (3) не влечет за собой другое.
Условие (4) влечет за собой (2) и (3).
Компактность подразумевает условия (1) и (2), но не (3) или (4).

Условие (1), вероятно, является наиболее часто используемым определением, поскольку оно является наименее ограничительным, а остальные эквивалентны ему, когда X является Хаусдорфовым . Эта эквивалентность является следствием того, что компакты хаусдорфовых пространств замкнуты, а замкнутые подмножества компактов компактны. Пространства, удовлетворяющие (1), называются также слабо локально компактен , ^[3]^[4] поскольку они удовлетворяют самому слабому из условий здесь.

Поскольку они определены в терминах относительно компактных множеств, пространства, удовлетворяющие (2), (2'), (2"), более конкретно можно назвать локально относительно компактными . ^[5]^[6] Стин и Сибах ^[7] называет (2), (2'), (2") сильно локально компактным в отличие от свойства (1), которое они называют локально компактным .

Пространства, удовлетворяющие условию (4), являются в точности локально компактные регулярные пространства. ^[8]^[2]Действительно, такое пространство является регулярным, поскольку каждая точка имеет локальную базу замкнутых окрестностей. Обратно, пусть в регулярном локально-компактном пространстве существует точка $x$ имеет компактное окружение $K$ . По регулярности, учитывая произвольную окрестность $U$ из $x$ , там закрытый район $V$ из $x$ содержалась в $K\cap U$ и $V$ компактно как замкнутое множество в компактном множестве.

Условие (5) используется, например, у Бурбаки . ^[9]Любое пространство, локально компактное (в смысле условия (1)) и хаусдорфово, автоматически удовлетворяет всем указанным выше условиям. Поскольку в большинстве приложений локально компактные пространства также являются хаусдорфовыми, эти локально компактные хаусдорфовы пространства ( LCH ) будут пространствами, которым в первую очередь посвящена эта статья.

Примеры и контрпримеры [ править ]

Компактные пространства Хаусдорфа [ править ]

Каждый бикомпакт также локально компактен, и многие примеры бикомпактов можно найти в статье « Компактное пространство» . Здесь мы упомянем только:

единичный интервал [0,1];
Кантора множество ;
Гильберта куб .

Локально компактные хаусдорфовы пространства, которые компактными не являются

Евклидовы пространства R ^н (и, в частности, вещественная прямая R ) локально компактны как следствие теоремы Гейне–Бореля .
Топологические многообразия обладают локальными свойствами евклидовых пространств и поэтому также все локально компактны. Сюда входят даже непаракомпактные многообразия, такие как длинная линия .
Все дискретные пространства локально компактны и хаусдорфовы (это не что иное, как нуль -мерные многообразия). Они компактны только в том случае, если они конечны.
Все открытые или замкнутые подмножества локально компактного хаусдорфова пространства локально компактны в топологии подпространства . Это дает несколько примеров локально компактных подмножеств евклидовых пространств, таких как единичный круг (открытая или закрытая версия).
Пространство Q _p -адических p чисел локально компактно, поскольку оно гомеоморфно канторову множеству минус одна точка. Таким образом, локально компактные пространства столь же полезны в p -адическом анализе, как и в классическом анализе .

пространства, которые не являются компактными Хаусдорфовы локально

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

пространство Q рациональных чисел (наделенное топологией из R ), поскольку любая окрестность содержит последовательность Коши, соответствующую иррациональному числу, не имеющему сходящейся подпоследовательности в Q ;
подпространство $\{(0,0)\}\cup ((0,\infty )\times \mathbf {R} )$ из $\mathbf {R} ^{2}$ , поскольку начало координат не имеет компактной окрестности;
или топология нижнего предела топология верхнего предела на множестве R действительных чисел (полезна при изучении односторонних пределов );
любое T ₀ , следовательно, Хаусдорф, топологическое векторное пространство которое является бесконечномерным , например , , бесконечномерное гильбертово пространство .

Первые два примера показывают, что подмножество локально компактного пространства не обязательно должно быть локально компактным, что контрастирует с открытым и закрытым подмножествами из предыдущего раздела. Последний пример контрастирует с евклидовыми пространствами из предыдущего раздела; более конкретно, топологическое векторное пространство Хаусдорфа локально компактно тогда и только тогда, когда оно конечномерно (в этом случае оно является евклидовым пространством). Этот пример также контрастирует с кубом Гильберта как примером компактного пространства; противоречия нет, поскольку куб не может быть окрестностью какой-либо точки гильбертова пространства.

Нехаусдорфовые примеры [ править ]

Одноточечная компактификация рациональных чисел Q компактна и, следовательно, локально компактна в смыслах (1) и (2), но не локально компактна в смыслах (3) и (4).
Конкретная точечная топология на любом бесконечном множестве локально компактна в смысле (1) и (3), но не в смысле (2) или (4), поскольку замыканием любой окрестности является все пространство, которое некомпактно.
Дизъюнктное объединение двух приведенных выше примеров локально компактно в смысле (1), но не в смысле (2), (3) или (4).
Топология правого порядка на вещественной прямой локально компактна в смысле (1) и (3), но не в смысле (2) или (4), поскольку замыканием любой окрестности является все некомпактное пространство.
локально Пространство Серпинского компактно в смысле (1), (2) и (3), а также компактно, но оно не является хаусдорфовым или регулярным (или даже предрегулярным), поэтому оно не локально компактно в смысле (4) или ( 5). Дизъюнктное объединение счетного числа копий пространства Серпинского представляет собой некомпактное пространство, которое все еще локально компактно в смыслах (1), (2) и (3), но не (4) или (5).
В более общем смысле топология исключенной точки локально компактна в смысле (1), (2) и (3) и компактна, но не локально компактна в смысле (4) или (5).
Коконечная топология на бесконечном множестве локально компактна в смысле (1), (2) и (3), а также компактна, но она не является хаусдорфовой или регулярной, поэтому она не локально компактна в смысле (4) или ( 5).
Индискретная топология на множестве, содержащем по крайней мере два элемента, локально компактна в смысле (1), (2), (3) и (4), а также компактна, но она не хаусдорфова, поэтому она не локально компактна в смысле (1), (2), (3) и (4). смысл (5).

Общие классы примеров [ править ]

Всякое пространство с топологией Александрова локально компактно в смысле (1) и (3). ^[10]

Свойства [ править ]

Всякое локально компактное предрегулярное пространство на самом деле вполне регулярно . ^[11]^[12] Отсюда следует, что всякое локально компактное хаусдорфово пространство является тихоновским пространством . ^[13]Поскольку прямая регулярность является более привычным условием, чем предрегулярность (которая обычно более слабая) или полная регулярность (которая обычно более сильная), локально компактные предрегулярные пространства обычно называются в математической литературе локально компактными регулярными пространствами . Аналогично локально компактные тихоновские пространства обычно называют просто локально компактными хаусдорфовыми пространствами .

Всякое локально компактное регулярное пространство, в частности всякое локально компактное хаусдорфово пространство, является пространством Бэра . ^[14]^[15] То есть справедлив вывод теоремы Бэра о категориях : внутренность каждого счетного объединения нигде не плотных подмножеств пуста.

Подпространство X X локально компактного хаусдорфова пространства Y локально компактно тогда и только тогда, когда локально в замкнуто Y ( т. е. X можно записать как теоретико-множественную разность двух замкнутых подмножеств Y ). В частности, каждое замкнутое множество и каждое открытое множество в локально компактном хаусдорфовом пространстве локально компактно. Кроме того, как следствие, плотное подпространство X локально компактного хаусдорфова пространства Y локально компактно тогда и только тогда, когда X открыто в Y . Более того, если подпространство X любого вообще говоря , хаусдорфова пространства Y локально компактно, то X все равно должно быть локально замкнутым в Y , хотя обратное, неверно.

Без гипотезы Хаусдорфа некоторые из этих результатов не работают с более слабыми понятиями локальной компактности. Каждое замкнутое множество в слабо локально компактном пространстве (= условие (1) в приведенных выше определениях) слабо локально компактно. Но не всякое открытое множество в слабо локально компактном пространстве является слабо локально компактным. Например, одноточечная компактификация $\mathbb {Q} ^{*}$ рациональных чисел $\mathbb {Q}$ компактно и, следовательно, слабо локально компактно. Но оно содержит $\mathbb {Q}$ как открытое множество, не являющееся слабо локально компактным.

Факторпространства локально компактных хаусдорфовых пространств компактно порождены . Обратно, каждое компактно порожденное хаусдорфово пространство является фактором некоторого локально компактного хаусдорфова пространства.

Для функций, определенных в локально компактном пространстве, локальная равномерная сходимость аналогична компактной сходимости .

Точка бесконечности [ править ]

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

Поскольку каждое локально компактное хаусдорфово пространство X тихоновское, его можно вложить в компактное хаусдорфово пространство. $b(X)$ с использованием компактификации Стоуна-Чеха . Но на самом деле в локально компактном случае существует более простой метод; одноточечная компактификация вложит X в компактное хаусдорфово пространство. $a(X)$ всего лишь с одним дополнительным баллом. (Одноточечная компактификация может быть применена и к другим пространствам, но $a(X)$ будет хаусдорфовым тогда и только тогда, когда X локально компактно и хаусдорфово.) Таким образом, локально компактные хаусдорфовы пространства можно охарактеризовать как открытые подмножества компактных хаусдорфовых пространств.

Интуитивно, дополнительная точка в $a(X)$ можно представить как точку на бесконечности . следует рассматривать как лежащую вне всякого компактного подмножества X. Точку, находящуюся на бесконечности , Используя эту идею, многие интуитивные представления о стремлении к бесконечности можно сформулировать в локально компактных хаусдорфовых пространствах. Например, , что непрерывная действительная или комплекснозначная что функция f с областью определения X говорят обращается в нуль на бесконечности , если для любого положительного числа e существует компактное подмножество K из X такое, $|f(x)|<e$ всякий раз, когда точка x лежит вне K . Это определение имеет смысл для любого топологического X. пространства Если X локально компактен и хаусдорфов, то такими функциями являются в точности те функции, которые можно продолжить до непрерывной функции g при ее одноточечной компактификации. $a(X)=X\cup \{\infty \}$ где $g(\infty )=0.$

Представление Гельфанда [ править ]

Для локально компактного хаусдорфова пространства X множество $C_{0}(X)$ всех непрерывных комплекснозначных функций на X , обращающихся в нуль на бесконечности, является коммутативной С*-алгеброй . , каждая коммутативная С*-алгебра изоморфна В самом деле $C_{0}(X)$ для некоторого единственного ( с точностью до гомеоморфизма ) локально компактного хаусдорфова X. пространства Это показано с помощью представления Гельфанда .

Локально компактные группы [ править ]

Понятие локальной компактности важно при изучении топологических групп главным образом потому, что каждая хаусдорфова локально компактная группа G несет естественные меры , называемые мерами Хаара , которые позволяют интегрировать измеримые функции, определенные на G . Мера Лебега на действительной линии $\mathbb {R}$ это частный случай этого.

Понтрягину Двойственная по топологическая абелева группа A локально компактна тогда и только тогда, когда A локально компактна. Точнее, двойственность Понтрягина определяет самодвойственность локально компактных категории абелевых групп. Изучение локально компактных абелевых групп является основой гармонического анализа — области, которая с тех пор распространилась на неабелевы локально компактные группы.

См. также [ править ]

Компактная группа - Топологическая группа с компактной топологией.
Теорема Ф. Рисса
Локально компактное поле
Локально компактная квантовая группа – относительно новый C*-алгебраический подход к квантовым группам.
Локально компактная группа - топологическая группа G, для которой базовая топология является локально компактной и хаусдорфовой, так что можно определить меру Хаара.
σ-компактное пространство - объединение счетного числа компактных топологических пространств.
Ядро-компактное пространство

Цитаты [ править ]

^ Фолланд 1999 , стр. 131, разд. 4.5.
^ Перейти обратно: ^а ^б Гомпа, Рагху (весна 1992 г.). «Что такое «локально компактный»?» (PDF) . Журнал Пи Му Эпсилон . 9 (6): 390–392. JSTOR 24340250 . Архивировано (PDF) из оригинала 10 сентября 2015 г.
^ Лоусон, Дж.; Мэдисон, Б. (1974). «Факторы k-полугрупп». Полугрупповой форум . 9 : 1–18. дои : 10.1007/BF02194829 . , п. 3
^ Бройкманн, Томас; Кудри, Сорая; Айгюн, Халис (2004). «О слабо локально компактных пространствах». Мягкая методология и случайные информационные системы . Спрингер. стр. 638–644. дои : 10.1007/978-3-540-44465-7_79 . ISBN 978-3-540-22264-4 .
^ Лоуэн-Колебандерс, Ева (1983), «О сходимости замкнутых и компактных множеств» , Pacific Journal of Mathematics , 108 (1): 133–140, doi : 10.2140/pjm.1983.108.133 , MR 0709705 , S2CID 55084221 , Збл 0522.54003
^ Биче, Тристан; Кубиш, Веслав (2020). «Двойственность Уоллмана для полурешеточных подоснов». arXiv : 2002.05943 [ math.GN ].
^ Стин и Зеебах, стр. 20.
^ Келли 1975 , гл. 5, теорема 17, с. 146.
^ Бурбаки, Николя (1989). Общая топология, часть I (перепечатка издания 1966 г.). Берлин: Springer-Verlag. ISBN 3-540-19374-Х .
^ Шпеер, Тимоти (16 августа 2007 г.). «Краткое исследование александровских пространств». arXiv : 0708.2136 [ math.GN ]. Теорема 5
^ Шехтер 1996 , 17.14(d), с. 460.
^ «общая топология. Локально компактные предрегулярные пространства вполне регулярны» . Математический обмен стеками .
^ Уиллард 1970 , теорема 19.3, стр.136.
^ Келли 1975 , Теорема 34, с. 200.
^ Шехтер 1996 , Теорема 20.18, с. 538.

Ссылки [ править ]

Фолланд, Джеральд Б. (1999). Реальный анализ: современные методы и их применение (2-е изд.). Джон Уайли и сыновья . ISBN 978-0-471-31716-6 .
Келли, Джон (1975). Общая топология . Спрингер . ISBN 978-0387901251 .
Манкрес, Джеймс (1999). Топология (2-е изд.). Прентис Холл . ISBN 978-0131816299 .
Шехтер, Эрик (1996). Справочник по анализу и его основам . Сан-Диего, Калифорния: Academic Press. ISBN 978-0-12-622760-4 . OCLC 175294365 .
Стин, Линн Артур ; Сибах, Дж. Артур младший (1995) [1978]. Контрпримеры в топологии ( переиздание Дувра , изд. 1978 г.). Берлин, Нью-Йорк: Springer-Verlag . ISBN 978-0-486-68735-3 . МР 0507446 .
Уиллард, Стивен (1970). Общая топология . Аддисон-Уэсли . ISBN 978-0486434797 .

[FOOTNOTEFolland1999131Sec._4.5-1] Фолланд 1999 , стр. 131, разд. 4.5.

[Gompa1992-2] Перейти обратно: ^а ^б Гомпа, Рагху (весна 1992 г.). «Что такое «локально компактный»?» (PDF) . Журнал Пи Му Эпсилон . 9 (6): 390–392. JSTOR 24340250 . Архивировано (PDF) из оригинала 10 сентября 2015 г.

[3] Лоусон, Дж.; Мэдисон, Б. (1974). «Факторы k-полугрупп». Полугрупповой форум . 9 : 1–18. дои : 10.1007/BF02194829 . , п. 3

[4] Бройкманн, Томас; Кудри, Сорая; Айгюн, Халис (2004). «О слабо локально компактных пространствах». Мягкая методология и случайные информационные системы . Спрингер. стр. 638–644. дои : 10.1007/978-3-540-44465-7_79 . ISBN 978-3-540-22264-4 .

[5] Лоуэн-Колебандерс, Ева (1983), «О сходимости замкнутых и компактных множеств» , Pacific Journal of Mathematics , 108 (1): 133–140, doi : 10.2140/pjm.1983.108.133 , MR 0709705 , S2CID 55084221 , Збл 0522.54003

[6] Биче, Тристан; Кубиш, Веслав (2020). «Двойственность Уоллмана для полурешеточных подоснов». arXiv : 2002.05943 [ math.GN ].

[7] Стин и Зеебах, стр. 20.

[FOOTNOTEKelley1975ch._5,_Theorem_17,_p._146-8] Келли 1975 , гл. 5, теорема 17, с. 146.

[9] Бурбаки, Николя (1989). Общая топология, часть I (перепечатка издания 1966 г.). Берлин: Springer-Verlag. ISBN 3-540-19374-Х .

[10] Шпеер, Тимоти (16 августа 2007 г.). «Краткое исследование александровских пространств». arXiv : 0708.2136 [ math.GN ]. Теорема 5

[FOOTNOTESchechter199617.14(d),_p._460-11] Шехтер 1996 , 17.14(d), с. 460.

[12] «общая топология. Локально компактные предрегулярные пространства вполне регулярны» . Математический обмен стеками .

[FOOTNOTEWillard1970theorem_19.3,_p.136-13] Уиллард 1970 , теорема 19.3, стр.136.

[FOOTNOTEKelley1975Theorem_34,_p._200-14] Келли 1975 , Теорема 34, с. 200.

[FOOTNOTESchechter1996Theorem_20.18,_p._538-15] Шехтер 1996 , Теорема 20.18, с. 538.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]