Предельная точка¶

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

¶История

Понятие предельной точки восходит к работам по обоснованию математического анализа в XIX веке. Августин Луи Коши и Бернард Больцано использовали сходные идеи при формулировке строгих определений предела и непрерывности. Однако в явном виде термин «предельная точка» (нем. Häufungspunkt, англ. limit point) ввёл немецкий математик Георг Кантор в 1872 году в контексте теории множеств. Кантор определил предельную точку как точку, в любой окрестности которой содержится бесконечно много точек множества. Это определение легло в основу его работ по тригонометрическим рядам и теории действительных чисел. Впоследствии, в начале XX века, с развитием общей топологии (Морис Фреше, Феликс Хаусдорф), понятие было обобщено на произвольные топологические пространства.

¶Определение

Пусть \(X\) — топологическое пространство, а \(A \subset X\) — его подмножество. Точка \(x \in X\) называется предельной точкой множества \(A\), если для любой окрестности \(U\) точки \(x\) выполняется условие:

\[ (U \setminus \{x\}) \cap A \neq \varnothing. \]

Иными словами, в любой окрестности \(x\) найдётся хотя бы один элемент множества \(A\), отличный от самой \(x\). Если \(x\) не является предельной точкой \(A\), она называется изолированной точкой множества \(A\) (при условии, что \(x \in A\)) или внешней точкой (если \(x \notin A\)).

В метрических пространствах (например, в \(\mathbb{R}^n\) с евклидовой метрикой) определение упрощается: точка \(x\) является предельной для \(A\), если для любого \(\varepsilon > 0\) существует \(a \in A\), \(a \neq x\), такое, что расстояние \(\rho(x, a) < \varepsilon\).

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

• Предел последовательности: Если последовательность \(\{a_n\}\) сходится к точке \(x\), то \(x\) является предельной точкой множества значений этой последовательности. Однако обратное неверно: предельная точка может не быть пределом последовательности, если последовательность не сходится.
• Замыкание множества: Замыкание \(\overline{A}\) множества \(A\) — это объединение самого \(A\) и всех его предельных точек. Таким образом, множество замкнуто тогда и только тогда, когда оно содержит все свои предельные точки.
• Производное множество: Множество всех предельных точек множества \(A\) называется его производным множеством и обозначается \(A'\).
• Точка прикосновения: Более широкое понятие: точка \(x\) называется точкой прикосновения множества \(A\), если любая её окрестность содержит хотя бы одну точку из \(A\) (допускается и сама \(x\)). Предельная точка всегда является точкой прикосновения, но не наоборот.

¶Примеры

¶В действительных числах \(\mathbb{R}\)

1. Конечное множество: Множество \(\{1, 2, 3\}\) не имеет предельных точек, так как для любой точки из этого множества можно указать окрестность, не содержащую других точек множества. Все его точки — изолированные.
2. Открытый интервал: Множество \((0, 1)\) имеет предельные точки — все точки отрезка \([0, 1]\). Точка 0 не принадлежит множеству, но является его предельной, так как в любой её окрестности есть точки из \((0, 1)\).
3. Рациональные числа: Множество \(\mathbb{Q}\) рациональных чисел имеет в качестве предельных точек все действительные числа \(\mathbb{R}\). Каждое иррациональное число является предельной точкой для \(\mathbb{Q}\).
4. Последовательность: Множество \(\{1/n \mid n \in \mathbb{N}\}\) имеет единственную предельную точку — 0. Сама точка 0 не принадлежит множеству.
5. Счётное множество с двумя предельными точками: Множество \(\{1/n + 1/m \mid n, m \in \mathbb{N}\}\) имеет предельную точку 0, а также все точки вида \(1/n\) и \(1/m\) являются предельными.

¶В \(\mathbb{R}^2\)

Рассмотрим множество \(A = \{(x, y) \mid x^2 + y^2 < 1\}\) — открытый круг. Его предельными точками являются все точки замкнутого круга \(x^2 + y^2 \leq 1\). Точки границы (окружности) не принадлежат \(A\), но являются предельными.

¶Классификация предельных точек

В зависимости от свойств окрестностей и самого множества, предельные точки можно классифицировать:

• Предельная точка первого рода: Существует последовательность точек множества, отличных от \(x\), сходящаяся к \(x\). В метрических пространствах это эквивалентно определению.
• Предельная точка второго рода (или точка конденсации): Любая окрестность точки содержит несчётное множество точек исходного множества. В \(\mathbb{R}\) любая предельная точка является точкой конденсации для \(\mathbb{Q}\), но не для множества \(\{1/n\}\).
• ω-предельная точка: Точка, в любой окрестности которой содержится бесконечно много точек множества. Это определение, эквивалентное канторовскому, сильнее стандартного, если пространство не является хаусдорфовым.

¶Свойства

1. Замкнутость: Множество замкнуто тогда и только тогда, когда оно содержит все свои предельные точки.
2. Производное множество: \(A'\) — производное множество \(A\) — всегда замкнуто. Операция взятия производного множества идемпотентна не всегда: \((A')'\) может быть строгим подмножеством \(A'\).
3. Связь с непрерывностью: Непрерывное отображение переводит предельные точки в предельные точки образов, но не обязательно наоборот.
4. Теорема Больцано — Вейерштрасса: В \(\mathbb{R}^n\) любое бесконечное ограниченное множество имеет хотя бы одну предельную точку. Это свойство компактности в евклидовом пространстве.
5. Компактность: В компактном топологическом пространстве любое бесконечное множество имеет предельную точку (теорема Больцано — Вейерштрасса в общем виде).

¶Применение

Понятие предельной точки является ключевым в:

• Математическом анализе: Для определения предела функции по Гейне, исследования сходимости последовательностей, построения теории рядов.
• Топологии: Для определения замкнутости, компактности, связности пространств. Понятие предельной точки лежит в основе аксиоматики топологических пространств через операцию замыкания (аксиомы Куратовского).
• Теории динамических систем: Для описания ω-предельных множеств траекторий, аттракторов и репеллеров.
• Теории меры и функциональном анализе: При изучении сходимости почти всюду, слабой сходимости, а также в теории обобщённых функций.
• Теории множеств: В дескриптивной теории множеств для классификации борелевских множеств и проективных множеств.

¶Интересные факты

• В топологическом пространстве, не удовлетворяющем аксиоме отделимости \(T_1\) (например, в пространстве с топологией Зарисского), точка может быть предельной для множества, даже если она не является пределом никакой последовательности. Это связано с тем, что в таких пространствах последовательности не всегда адекватно описывают топологию.
• Понятие предельной точки тесно связано с понятием точки накопления в теории функций комплексного переменного. Изолированная особая точка функции называется существенно особой, если она является предельной точкой для множества нулей или полюсов функции.
• В метрических пространствах понятие предельной точки эквивалентно понятию точки, в которой сходится некоторая последовательность различных точек множества. В общих топологических пространствах это не так.