Изолированная точка

Точка подмножества S, вокруг которой нет других точек из S.

«0» — изолированная точка ${\displaystyle A=\{0\}\cup [1,2]}$

В математике точка x называется изолированной точкой подмножества S (в топологическом пространстве X ) , если x — элемент из S и существует окрестность x , не содержащая других точек из S. Это эквивалентно утверждению, что синглтон { x } является открытым множеством в топологическом пространстве S (рассматриваемом как подпространство X ). Другая эквивалентная формулировка: элемент x из S является изолированной точкой S тогда и только тогда, когда он не является предельной точкой S .

Если пространство X является метрическим пространством , например евклидовым пространством , то элемент x из S является изолированной точкой S , если вокруг x существует открытый шар , который содержит только конечное число элементов S. Множество точек , состоящее только из изолированных точек, называется дискретным множеством или дискретным множеством точек (см. также дискретное пространство ).

Связанные понятия

Любое дискретное подмножество S евклидова пространства должно быть счетным , поскольку изоляция каждой из его точек вместе с тем фактом, что рациональные числа плотны в действительных числах , означает, что точки S могут быть инъективно отображены на множество точек с рациональными координатами, которых существует лишь счетное множество. Однако не каждое счетное множество дискретно, каноническим примером которого являются рациональные числа в обычной евклидовой метрике.

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

Число изолированных точек является топологическим инвариантом , т. е . если два топологических пространства X, Y гомеоморфны , количество изолированных точек в каждом одинаково.

Примеры

Стандартные примеры

Топологические пространства в следующих трех примерах рассматриваются как подпространства вещественной прямой со стандартной топологией.

• Для множества точка 0 является изолированной точкой. ${\displaystyle S=\{0\}\cup [1,2],}$
• Для множества каждая точка является изолированной точкой, но 0 не является изолированной точкой, поскольку в S есть другие точки, настолько близкие к 0 , насколько это необходимо. ${\displaystyle S=\{0\}\cup \{1,{\tfrac {1}{2}},{\tfrac {1}{3}},\dots \},}$ ${\displaystyle {\tfrac {1}{k}}}$
• Множество натуральных чисел является дискретным множеством. ${\displaystyle \mathbb {N} =\{0,1,2,\ldots \}}$

В топологическом пространстве с топологией элемент а является изолированной точкой, хотя и принадлежит замыканию ( и поэтому в некотором смысле «близок» к а ). Такая ситуация невозможна в хаусдорфовом пространстве . ${\displaystyle X=\{a,b\}}$ ${\displaystyle \tau =\{\emptyset ,\{a\},X\},}$ ${\displaystyle b}$ ${\displaystyle \{a\}}$

Лемма Морса утверждает, что невырожденные критические точки некоторых функций изолированы.

Два противоречивых примера

Рассмотрим множество F точек x в вещественном интервале (0,1) такое, что каждая цифра x _i их двоичного представления удовлетворяет следующим условиям:

• Или или ${\displaystyle x_{i}=0}$ ${\displaystyle x_{i}=1.}$
• ${\displaystyle x_{i}=1}$только для конечного числа индексов i .
• Если m обозначает наибольший индекс такой, что тогда ${\displaystyle x_{m}=1,}$ ${\displaystyle x_{m-1}=0.}$
• Если и тогда выполняется ровно одно из следующих двух условий: или ${\displaystyle x_{i}=1}$ ${\displaystyle i<m,}$ ${\displaystyle x_{i-1}=1}$ ${\displaystyle x_{i+1}=1.}$

Неформально эти условия означают, что каждая цифра двоичного представления, равная 1, принадлежит паре ...0110..., за исключением ...010... в самом конце. ${\displaystyle x}$

Теперь F — явное множество, состоящее полностью из изолированных точек, но обладающее противоречивым свойством: его замыкание является несчетным множеством . ^[1]

Другой набор F с теми же свойствами можно получить следующим образом. Пусть C — канторово множество средних третей , пусть — интервалы компонентов , и пусть F — множество, состоящее из одной точки из каждого I _k . Поскольку каждое I _k содержит только одну точку из F , каждая точка F является изолированной точкой. Однако если p — любая точка множества Кантора, то каждая окрестность p содержит хотя бы один I _k и, следовательно, хотя бы одну точку из F . Отсюда следует, что каждая точка канторового множества лежит в замыкании F и, следовательно, F имеет несчетное замыкание. ${\displaystyle I_{1},I_{2},I_{3},\ldots ,I_{k},\ldots }$ ${\displaystyle [0,1]-C}$

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

• Акнод
• Точка присоединения
• Точка накопления
• Облако точек

Рекомендации

1. Гомес-Рамирес, Дэнни (2007), «Явный набор изолированных точек в R с несчетным замыканием», Matemáticas: Enseñanza universitaria , Escuela Regional de Matemáticas. Университет дель Валле, Колумбия, 15 : 145–147.

Внешние ссылки

• Вайсштейн, Эрик В. «Изолированная точка». Математический мир .