Граничные точки

Граничная точка множества — одно из ключевых понятий при изучении пределов, непрерывности и топологии простых пространств, знакомых по школьному курсу. Интуитивно это точка, в любой окрестности которой находятся точки множества, отличные от самой этой точки. Формально: точка x называется граничной (или предельной) для множества A в метрическом пространстве, если выполняется условие \(\forall \varepsilon>0\;\big(B(x,\varepsilon)\cap (A\setminus\{x\})\neq\varnothing\big)\). Множество всех таких точек иногда называют производным множеством и записывают как \(A'' = \{x\in X \mid \forall \varepsilon>0\; (B(x,\varepsilon)\cap (A\setminus\{x\})\neq\varnothing)\}\). Важно отметить разницу между изолированной точкой и граничной: изолированная точка множества имеет окрестность, не содержащую других точек множества, тогда как граничная точка любой своей окрестности содержит хотя бы одну другую точку множества.

Понятие граничной точки тесно связано с операциями замыкания и внутренности множества. Замыкание множества можно получить как объединение самого множества с его множеством предельных точек — это выражается формулой \(\overline{A}=A\cup A''\). Граница множества определяется как множество точек, которые принадлежат замыканию, но не принадлежат внутренности, то есть \(\partial A=\overline{A}\setminus \operatorname{int}A\). Практическое применение этих понятий встречается при исследовании пределов последовательностей, при доказательстве непрерывности функций и при анализе поведения функций на границе области определения. Часто удобнее проверять принадлежность точки к границе через последовательности: точка x является граничной для A тогда и только тогда, когда существует последовательность точек из A, отличных от x, сходящаяся к x.