stringtranslate.com

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

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

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

Определения

Окрестность точки

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

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

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

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

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

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

Окрестность множества

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

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

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

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

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

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

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

Примеры

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

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

Топология из окрестностей

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

Система соседства на — это назначение фильтра подмножеств для каждого из таким образом, что

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

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

Однородные кварталы

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

Удаленный район

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

Смотрите также

Примечания

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

Ссылки