Локально связанное пространство
В топологии и других разделах математики топологическое пространство X — это локально связна , если каждая точка допускает базис окрестности , состоящий из открытых связных множеств.
В качестве более сильного понятия пространство X , локально линейно связно если каждая точка допускает базис окрестности, состоящий из множеств, связанных открытыми путями .
Фон
[ редактировать ]На протяжении всей истории топологии связность и компактность были двумя наиболее важными факторами.широко изученные топологические свойства. Действительно, изучение этих свойств даже среди подмножеств евклидова пространства и признание их независимости от конкретной формы евклидовой метрики сыграли большую роль в прояснении понятия топологического свойства и, следовательно, топологического пространства. Однако, хотя структура компактных подмножеств евклидова пространства была понята довольно рано с помощью теоремы Гейне – Бореля , связные подмножества (при n > 1) оказалось гораздо сложнее. Действительно, хотя любое компактное хаусдорфово пространство , локально компактно связное пространство — и даже связное подмножество евклидовой плоскости — не обязательно должно быть локально связным (см. ниже).
Это привело к богатому потоку исследований в первой половине двадцатого века, в которых топологи изучали последствия между все более тонкими и сложными вариациями понятия локально связанного пространства. В качестве примера далее в статье будет рассмотрено понятие локальной связности в точке и его связь с локальной связностью.
Во второй половине двадцатого века исследовательские тенденции сместились в сторону более интенсивного изучения таких пространств, как многообразия , которые локально хорошо изучены (являясь локально гомеоморфными евклидову пространству), но имеют сложное глобальное поведение. Под этим подразумевается, что, хотя базовая топология многообразий относительно проста (поскольку многообразия по существу метризуемы согласно большинству определений концепции), их алгебраическая топология гораздо более сложна. С этой современной точки зрения более важное свойство локальной связности путей оказывается более важным: например, для того, чтобы пространство могло иметь универсальное покрытие, оно должно быть связным и локально связанным путями.
Пространство локально связно тогда и только тогда, когда для любого открытого множества U связные компоненты его (в топологии подпространства ) открыты. Отсюда следует, например, что непрерывная функция из локально связного пространства в полностью несвязное пространство должна быть локально постоянной. На самом деле открытость компонентов настолько естественна, что нужно обязательно иметь в виду, что это неверно в общем случае: например, канторово пространство полностью несвязно, но не дискретно .
Определения
[ редактировать ]Позволять — топологическое пространство, и пусть быть точкой
Пространство называется локально подключенным в [1] если окрестность каждая содержит связную открытую окрестность , то есть, если точка имеет базу окрестности, состоящую из связных открытых множеств. пространство Локально связанное [2] [1] — пространство, локально связное в каждой своей точке.
Локальная связность не предполагает связности (рассмотрим два непересекающихся открытых интервала в например); а связность не подразумевает локальную связность (см. синусоиду тополога ).
Пространство называется локальным путем, соединенным в [1] если каждая окрестность содержит путь, соединяющий открытую окрестность , то есть, если точка имеет базу окрестностей, состоящую из открытых множеств, соединенных путями. Пространство , связанное локальным путем [3] [1] — это пространство, которое локально соединено путями в каждой своей точке.
Пространства, связанные локальными путями, являются локально связанными. Обратное неверно (см. топологию лексикографического порядка на единичном квадрате ).
Связность в небольшом масштабе
[ редактировать ]Пространство называется подключенным im kleinen at [4] [5] или слабо локально связан в [6] если каждая окрестность содержит связную окрестность , то есть, если точка имеет базу окрестностей, состоящую из связных множеств. Пространство называется слабо локально связным , если оно слабо локально связно в каждой своей точке; как указано ниже, это понятие фактически то же самое, что и локальное соединение.
Пространство, локально связанное в подключен к маленькому при Обратное неверно, как показывает, например, некоторый бесконечный союз убывающих пространств метел , который связан im kleinen в определенной точке, но не связан локально в этой точке. [7] [8] [9] Однако если пространство связно im kleinen в каждой своей точке, оно локально связно. [10]
Пространство Говорят, что путь связан с im kleinen at [5] если каждая окрестность содержит связную по путям окрестность , то есть, если точка имеет базу окрестностей, состоящую из множеств, связанных путями.
Пространство, которое локально соединено путем подключен ли путь, я Кляйнен в Обратное неверно, о чем свидетельствует то же бесконечное объединение убывающих пространств метел, что и выше. Однако, если пространство соединено путями в каждой из своих точек, оно локально связано путями. [11]
Первые примеры
[ редактировать ]- Для любого натурального числа n евклидово пространство является локально подключенным, следовательно, локально подключенным; это тоже связано.
- В более общем смысле, каждое локально выпуклое топологическое векторное пространство локально связно, поскольку каждая точка имеет локальную базу из выпуклых (и, следовательно, связных) окрестностей.
- Подпространство настоящей линии локально подключен, но не подключен.
- — Синусоидальная кривая тополога это подпространство евклидовой плоскости, которое связно, но не локально связно. [12]
- Пространство рациональных чисел, наделенных стандартной евклидовой топологией, не является ни связным, ни локально связным.
- Гребенчатое пространство связано путями, но не локально и даже не локально.
- Счетное бесконечное множество, наделенное коконечной топологией, является локально связным (действительно, гиперсвязным ), но не локально связным. [13]
- Топология лексикографического порядка на единичном квадрате связна и локально связна, но не связана по путям и не связана локально по путям. [14]
- Пространство Кирха связно и локально связно, но не связано путями и не связано путями в любой точке. На самом деле это полностью отключенный путь .
Первое счетное пространство Хаусдорфа. локально связен по путям тогда и только тогда, когда равна окончательной топологии на индуцированный набором всех непрерывных путей
Характеристики
[ редактировать ]Теорема : Пространство локально связно тогда и только тогда, когда оно слабо локально связно. [10]
Доказательство |
---|
- Локальная связность — это, по определению, локальное свойство топологических пространств, т. е. такое топологическое свойство P , что пространство X обладает свойством P тогда и только тогда, когда каждая точка x в X допускает базу окрестностей множеств, обладающих свойством P . Соответственно, все «метасвойства», принадлежащие локальному свойству, сохраняют силу локальной связности. В частности:
- Пространство локально связно тогда и только тогда, когда оно допускает базу (открытых) связных подмножеств.
- Непересекающийся союз семьи пространств локально связно тогда и только тогда, когда каждое подключен локально. В частности, поскольку отдельная точка заведомо локально связна, отсюда следует, что любое дискретное пространство локально связно. С другой стороны, дискретное пространство полностью несвязно , поэтому связно только в том случае, если оно имеет не более одной точки.
- И наоборот, полностью несвязное пространство локально связно тогда и только тогда, когда оно дискретно. Это можно использовать для объяснения вышеупомянутого факта, что рациональные числа не локально связаны.
- Непустое пространство продукта локально связен тогда и только тогда, когда каждый локально связен, и все, кроме конечного числа связаны. [15]
- Каждое гиперсвязное пространство локально связно и связно.
Компоненты и компоненты пути
[ редактировать ]Следующий результат почти сразу следует из определений, но будет весьма полезен:
Лемма: Пусть X — пространство и семейство подмножеств X . Предположим, что непусто. Тогда, если каждый связно (соответственно, связан путь), то объединение подключен (соответственно, путь подключен). [16]
Теперь рассмотрим два соотношения в топологическом пространстве X : для писать:
- если существует связное подмножество X, содержащее как x, так и y ; и
- если существует подмножество X, связанное путем , содержащее как x, так и y .
Очевидно, что оба отношения рефлексивны и симметричны. Более того, если x и y содержатся в связном (соответственно, связном по путям) подмножестве A , а y и z соединены в связном (соответственно, связном по путям) подмножестве B , то из леммы следует, что — связное (соответственно, связанное по пути) подмножество, содержащее x , y и z . Таким образом, каждое отношение является отношением эквивалентности и определяет разбиение X на классы эквивалентности . Мы рассмотрим эти два раздела по очереди.
Для x в X набор всех точек y таких, что называется связности x . компонентой [17] Из леммы следует, что — единственное максимальное связное подмножество X, содержащее x . [18] Сзакрытие также является связным подмножеством, содержащим x , [19] отсюда следует, что закрыт. [20]
Если X имеет только конечное число компонентов связности, то каждый компонент является дополнением конечного объединения замкнутых множеств и, следовательно, открыт. В общем случае компоненты связности не обязательно должны быть открытыми, поскольку, например, существуют полностью несвязные пространства (т. е. для всех точек x ), которые не являются дискретными, например, пространство Кантора. Однако связные компоненты локально связного пространства также открыты и, следовательно, представляют собой открыто -замкнутые множества . [21] Отсюда следует, что локально связное пространство X является топологическим дизъюнктным объединением. его отдельных компонентов связности. И наоборот, если для каждого открытого подмножества U в X связные компоненты U открыты, то X допускает базу связных множеств и, следовательно, локально связно. [22]
Аналогично x в X множество всех точек y таких, что называется пути x . компонентом [23] Как указано выше, также является объединением всех подмножеств X, связанных путями , которые содержат x , поэтому по лемме оно само связно путями. Поскольку множества, связанные путями, связаны, мы имеем для всех
Однако замыкание множества, соединенного путем, не обязательно должно быть связано с путем: например, синусоидальная кривая тополога - это замыкание открытого подмножества U, состоящего из всех точек (x,sin(x)) с x > 0 и U , будучи гомеоморфен интервалу на вещественной прямой, заведомо линейно связен. Более того, компоненты пути синусоидальной кривой тополога C — это U , который открыт, но не замкнут, и который закрыт, но не открыт.
Пространство является локально связным тогда и только тогда, когда для всех открытых подмножеств U компоненты путей U открыты. [23] Следовательно, компоненты пути локально связного пространства дают разбиение X на попарно непересекающиеся открытые множества. Отсюда следует, что открытое связное подпространство локально связного пространства обязательно является линейно связным. [24] Более того, если пространство локально связно, то оно также локально связно, поэтому для всех связен и открыт, следовательно, путь связан, то есть То есть для локально-путевого пространства компоненты и компоненты пути совпадают.
Примеры
[ редактировать ]- Набор (где ) в словаря топологии порядка имеет ровно один компонент (поскольку он связен), но имеет несчетное количество компонентов пути. Действительно, любое множество вида является компонентом пути для каждого a принадлежащего I. ,
- Позволять быть непрерывным отображением из к (что в топологии нижнего предела ). С связен, и образ связного пространства под непрерывным отображением должен быть связным, образ под должен быть подключен. Поэтому образ под должно быть подмножеством компонента Так как этот образ непуст, то единственные непрерывные отображения из ' к являются постоянными картами. Фактически, любое непрерывное отображение связного пространства в полностью несвязное пространство должно быть постоянным.
Квазикомпоненты
[ редактировать ]Пусть X — топологическое пространство. Определим третье соотношение на X : если не существует разделения X на открытые множества A и B, что x является элементом A , а y является элементом B. такие Это отношение эквивалентности на X и класс эквивалентности содержащий x называется квазикомпонентой x , . [18]
также можно охарактеризовать как пересечение всех открыто-замкнутых подмножеств X , содержащих x . [18] Соответственно закрыт; в общем, он не обязательно должен быть открытым.
Очевидно для всех [18] В целом мы имеем следующие ограничения среди компонентов пути, компонентов и квазикомпонентов в точке x :
Если X локально связен, то, как указано выше, является открыто-открытым множеством, содержащим x , поэтому и таким образом Поскольку из локальной связности путей следует локальная связность, отсюда следует, что во всех точках x пространства с локальной связностью мы имеем
Другой класс пространств, квазикомпоненты которых совпадают с компонентами, — это класс хаусдорфовых компактов. [25]
Примеры
[ редактировать ]- Примером пространства, квазикомпоненты которого не равны его компонентам, является последовательность с двойной предельной точкой. Это пространство полностью несвязно, но обе предельные точки лежат в одной и той же квазикомпоненте, поскольку любое замкнуто-замкнутое множество, содержащее одну из них, должно содержать хвост последовательности, а значит, и другую точку.
- Пространство локально компактен и хаусдорфов, но множества и Это две разные компоненты, лежащие в одной и той же квазикомпоненте.
- Пространство Аренса –Форта не является локально связным, но тем не менее компоненты и квазикомпоненты совпадают: действительно для всех точек х . [26]
См. также
[ редактировать ]- Локально односвязное пространство
- Полулокально односвязный
- Предполагается, что множество Мандельброта локально связно.
Примечания
[ редактировать ]- ^ Jump up to: а б с д Мункрес, с. 161
- ^ Уиллард, Определение 27.7, с. 199
- ^ Уиллард, Определение 27.4, стр.199.
- ^ Уиллард, Определение 27.14, с. 201
- ^ Jump up to: а б Бьёрн, Андерс; Бьёрн, Яна; Шанмугалингам, Нагесвари (2016). «Расстояние Мазуркевича и множества, конечно связные на границе». Журнал геометрического анализа . 26 (2): 873–897. arXiv : 1311.5122 . дои : 10.1007/s12220-015-9575-9 . S2CID 255549682 . , раздел 2
- ^ Мункрес, упражнение 6, с. 162
- ^ Стин и Зеебах, пример 119.4, с. 139
- ^ Мункрес, упражнение 7, с. 162
- ^ «Покажите, что X не является локально связным в точке p» . Математический StackExchange .
- ^ Jump up to: а б Уиллард, Теорема 27.16, с. 201
- ^ «Определение локальной линейной связи» . Математический StackExchange .
- ^ Стин и Зеебах, стр. 137–138.
- ^ Стин и Зеебах, стр. 49–50.
- ^ Steen & Seebach, пример 48, с. 73
- ^ Уиллард, теорема 27.13, с. 201
- ^ Уиллард, Теорема 26.7a, с. 192
- ^ Уиллард, Определение 26.11, стр.194
- ^ Jump up to: а б с д Уиллард, Задача 26B, стр. 195–196.
- ^ Келли, Теорема 20, с. 54; Уиллард, Теорема 26.8, стр.193.
- ^ Уиллард, Теорема 26.12, с. 194
- ^ Уиллард, Следствие 27.10, с. 200
- ^ Уиллард, Теорема 27.9, с. 200
- ^ Jump up to: а б Уиллард, Задача 27D, с. 202
- ^ Уиллард, Теорема 27.5, с. 199
- ^ Энгелькинг, Теорема 6.1.23, с. 357
- ^ Стин и Зеебах, стр. 54-55.
Ссылки
[ редактировать ]- Энгелькинг, Рышард (1989). Общая топология . Хельдерманн Верлаг, Берлин. ISBN 3-88538-006-4 .
- Джон Л. Келли ; Общая топология ; ISBN 0-387-90125-6
- Манкрес, Джеймс (1999), Топология (2-е изд.), Прентис Холл, ISBN 0-13-181629-2 .
- Стин, Линн Артур ; Сибах, Дж. Артур младший (1995) [1978], Контрпримеры в топологии ( Дуврское переиздание издания 1978 года), Минеола, Нью-Йорк: Dover Publications, Inc., ISBN 978-0-486-68735-3 , МР 1382863
- Стивен Уиллард; Общая топология ; Дуврские публикации, 2004.
Дальнейшее чтение
[ редактировать ]- Коппин, Калифорния (1972), «Непрерывные функции из связного локально связного пространства в связное пространство с точкой дисперсии», Труды Американского математического общества , 32 (2), Американское математическое общество: 625–626, doi : 10.1090/ S0002-9939-1972-0296913-7 , JSTOR 2037874 . Для хаусдорфовых пространств показано, что любая непрерывная функция из связного локально связного пространства в связное пространство с точкой дисперсии является постоянной.
- Дэвис, HS (1968), «Заметка о связности Im Kleinen», Труды Американского математического общества , 19 (5), Американское математическое общество: 1237–1241, doi : 10.1090/s0002-9939-1968-0254814-3 , JSTOR 2036067 .