Соседство (математика)
В топологии и смежных областях математики окрестность окрестность или ( ) — одно из основных понятий топологического пространства . Оно тесно связано с понятиями открытой площадки и интерьера . Интуитивно говоря, окрестность точки — это набор точек, содержащий эту точку, где можно переместиться на некоторую величину в любом направлении от этой точки, не выходя из множества.
Определения [ править ]
Окрестность точки [ править ]
Если является топологическим пространством и это точка в тогда район [1] из является подмножеством из который включает в себя открытый набор содержащий ,
Это эквивалентно точке принадлежащий топологической внутренности в
Район не обязательно должно быть открытым подмножеством Когда открыт (соответственно закрыт, компактен и т. д.) в это называется открытое соседство [2] (соответственно закрытое соседство, компактное соседство и т. д.). Некоторые авторы [3] требуют, чтобы районы были открытыми, поэтому важно учитывать их условности.
Множество, являющееся окрестностью каждой из своих точек, является открытым, поскольку его можно выразить как объединение открытых множеств, содержащих каждую из его точек. Замкнутый прямоугольник, как показано на рисунке, не является окрестностью всех его точек; точки на краях или углах прямоугольника не содержатся ни в каком открытом множестве, содержащемся внутри прямоугольника.
Совокупность всех окрестностей точки называется системой окрестностей в этой точке.
Окрестности множества [ править ]
Если является подмножеством топологического пространства то окрестность , это набор который включает в себя открытый набор содержащий ,
В метрическом пространстве [ править ]
В метрическом пространстве набор является окрестностью точки если существует открытый шар с центром и радиус такой, что
называется равномерной окрестностью множества если существует положительное число такой, что для всех элементов из
При этом же условии для тот -район из набора это совокупность всех точек находящиеся на расстоянии меньшем от (или, что то же самое, является объединением всех открытых шаров радиуса которые сосредоточены в какой-то точке ):
Из этого непосредственно следует, что -окрестность является однородной окрестностью, и что множество является равномерным окрестностью тогда и только тогда, когда оно содержит -соседство за некоторую величину
Примеры [ править ]
Учитывая набор действительных чисел с обычной евклидовой метрикой и подмножеством определяется как
Топология окрестностей [ править ]
Приведенное выше определение полезно, если понятие открытого множества уже определено. Существует альтернативный способ определения топологии: сначала определить систему окрестностей , а затем открыть множества как те множества, которые содержат окрестность каждой из своих точек.
Система соседства на это назначение фильтра подмножеств каждому в такой, что
- суть является элементом каждого в
- каждый в содержит некоторые в такой, что для каждого в находится в
Можно показать, что оба определения совместимы, то есть топология, полученная из системы соседства, определенной с использованием открытых множеств, является исходной, и наоборот, если исходить из системы соседства.
Однородные кварталы [ править ]
В едином пространстве называется однородной окрестностью если есть окружение такой, что содержит все точки это -близко к какой-то точке то есть, для всех
Удаленный район [ править ]
окрестность Удаленная точки (иногда называемая проколотой окрестностью ) — это окрестность без Например, интервал это район в реальной строке , поэтому набор является удаленным районом Удаленная окрестность данной точки на самом деле не является окрестностью этой точки. Понятие удаленной окрестности встречается в определении предела функции и предельных точек (среди прочего). [4]
См. также [ править ]
- Изолированная точка - точка подмножества S, вокруг которой нет других точек из S.
- Система окрестностей — (для точки x) совокупность всех окрестностей для точки x.
- Регион (математика) — связанное открытое подмножество топологического пространства.
- Трубчатая окрестность - окрестность подмногообразия, гомеоморфного нормальному расслоению этого подмногообразия.
Примечания [ править ]
- ^ Уиллард 2004 , Определение 4.1.
- ^ Диксмье, Жак (1984). Общая топология . Тексты для бакалавриата по математике. Перевод Стерлинга К. Берберяна. Спрингер. п. 6 . ISBN 0-387-90972-9 .
Согласно этому определению, открытая окрестность представляет собой не что иное, как открытое подмножество который содержит
- ^ Энгелькинг 1989 , с. 12.
- ^ Питерс, Чарльз (2022). «Профессор Чарльз Питерс» (PDF) . Хьюстонский математический университет . Проверено 3 апреля 2022 г.
Ссылки [ править ]
- Бредон, Глен Э. (1993). Топология и геометрия . Нью-Йорк: Springer-Verlag. ISBN 0-387-97926-3 .
- Энгелькинг, Рышард (1989). Общая топология . Хельдерманн Верлаг, Берлин. ISBN 3-88538-006-4 .
- Каплански, Ирвинг (2001). Теория множеств и метрические пространства . Американское математическое общество. ISBN 0-8218-2694-8 .
- Келли, Джон Л. (1975). Общая топология . Нью-Йорк: Springer-Verlag. ISBN 0-387-90125-6 .
- Уиллард, Стивен (2004) [1970]. Общая топология . Минеола, Нью-Йорк : Dover Publications . ISBN 978-0-486-43479-7 . OCLC 115240 .