Соседство (математика)

(Перенаправлено из «Соседство (топология)) »

Набор на плоскости является окрестностью точки если маленький диск вокруг содержится в Маленький диск вокруг это открытый набор

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

Определения [ править ]

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

Если является топологическим пространством и это точка в тогда район [1] из является подмножеством из который включает в себя открытый набор содержащий ,

Это эквивалентно точке принадлежащий топологической внутренности в

Район не обязательно должно быть открытым подмножеством Когда открыт (соответственно закрыт, компактен и т. д.) в это называется открытое соседство [2] (соответственно закрытое соседство, компактное соседство и т. д.). Некоторые авторы [3] требуют, чтобы районы были открытыми, поэтому важно учитывать их условности.

Замкнутый прямоугольник не имеет окрестностей ни в одном из своих углов, ни на границе, поскольку не существует открытого множества, содержащего какой-либо угол.

Множество, являющееся окрестностью каждой из своих точек, является открытым, поскольку его можно выразить как объединение открытых множеств, содержащих каждую из его точек. Замкнутый прямоугольник, как показано на рисунке, не является окрестностью всех его точек; точки на краях или углах прямоугольника не содержатся ни в каком открытом множестве, содержащемся внутри прямоугольника.

Совокупность всех окрестностей точки называется системой окрестностей в этой точке.

Окрестности множества [ править ]

Если является подмножеством топологического пространства то окрестность , это набор который включает в себя открытый набор содержащий ,

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

В метрическом пространстве [ править ]

Набор в плоскости и однородной окрестности из
Эпсилон-окрестность числа на действительной числовой прямой.

В метрическом пространстве набор является окрестностью точки если существует открытый шар с центром и радиус такой, что

содержится в

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

содержится в

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

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

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

Множество M является окрестностью числа a , поскольку существует ε-окрестность числа a, которая является подмножеством числа M.

Учитывая набор действительных чисел с обычной евклидовой метрикой и подмножеством определяется как

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

Топология окрестностей [ править ]

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

Система соседства на это назначение фильтра подмножеств каждому в такой, что

  1. суть является элементом каждого в
  2. каждый в содержит некоторые в такой, что для каждого в находится в

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

Однородные кварталы [ править ]

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

Удаленный район [ править ]

окрестность Удаленная точки (иногда называемая проколотой окрестностью ) — это окрестность без Например, интервал это район в реальной строке , поэтому набор является удаленным районом Удаленная окрестность данной точки на самом деле не является окрестностью этой точки. Понятие удаленной окрестности встречается в определении предела функции и предельных точек (среди прочего). [4]

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

  • Изолированная точка - точка подмножества S, вокруг которой нет других точек из S.
  • Система окрестностей — (для точки x) совокупность всех окрестностей для точки x.
  • Регион (математика) — связанное открытое подмножество топологического пространства.
  • Трубчатая окрестность - окрестность подмногообразия, гомеоморфного нормальному расслоению этого подмногообразия.

Примечания [ править ]

  1. ^ Уиллард 2004 , Определение 4.1.
  2. ^ Диксмье, Жак (1984). Общая топология . Тексты для бакалавриата по математике. Перевод Стерлинга К. Берберяна. Спрингер. п. 6 . ISBN  0-387-90972-9 . Согласно этому определению, открытая окрестность представляет собой не что иное, как открытое подмножество который содержит
  3. ^ Энгелькинг 1989 , с. 12.
  4. ^ Питерс, Чарльз (2022). «Профессор Чарльз Питерс» (PDF) . Хьюстонский математический университет . Проверено 3 апреля 2022 г.

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