Окрестность

Материал из Википедии — свободной энциклопедии

Окре́стность точки — множество, содержащее данную точку, и близкие к ней.

Содержание 1 Определения 2 Замечания 3 Проколотая окрестность 4 Пример 5 См. также

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

• Пусть задано топологическое пространство , где X — произвольное множество, а — определённая на X топология. Множество называется окрестностью точки , если существует открытое множество такое, что .

• Аналогично окрестностью множества называется такое множество , что существует открытое множество , для которого выполнено .

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

• Приведённые выше определения не требуют, чтобы окрестность V была открытым множеством, но лишь чтобы она содержала открытое множество U. Некоторые авторы настаивают на том, что любая окрестность открыта. Тогда окрестностью множества называется любое содержащее его открытое множество. Это не принципиальное для развития дальнейшей топологической теории различие. Однако, в каждом случае важно фиксировать терминологию.

• Прямо из определения следует, что V является окрестностью множества M тогда и только тогда, когда V есть окрестность любой точки .

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

Множество называется проко́лотой окре́стностью (вы́колотой окрестностью) точки , если

где V — окрестность x.

Строго говоря, проколотая окрестность не является окрестностью в смысле данного выше определения.

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

Пусть дана вещественная прямая со стандартной топологией. Тогда [ − 1,2] является окрестностью, а ( − 1,2) — открытой окрестностью точки 0. Множество является проколотой окрестностью 0.

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

• ε-окрестность.