Определение 1. Для любого
- окрестностью точки
называется множество
.
В случае
, а в случае
.
Определение 2. Проколотой -окрестностью точки
называется множество, получающееся удалением точки
из ее
-окрестности:
.
Определение 3. Точка называется внутренней точкой множества
, если существует
-окрестность
, целиком принадлежащая
.
Определение 4. Точка называется граничной точкой множества
, если в каждой ее окрестности существуют точки как принадлежащие множеству
, так и не принадлежащие множеству
.
Определение 5. Точка называется точкой прикосновения множества
, если в каждой ее окрестности существует хотя бы одна точка, принадлежащая множеству
.
Если точка прикосновения является одной из бесконечностей: ,
или
, то она называется бесконечно удаленной точкой прикосновения.
Очевидно, что все элементы числового множества являются его точками прикосновения. Точками самого множества не исчерпываются, вообще говоря, все его точки прикосновения: могут существовать точки прикосновения и не принадлежащие ему. Например, точки и
являются точками прикосновения интервала
и не содержатся в нем.
Определение 6. Точка называется предельной точкой множества
, если в каждой ее проколотой окрестности существует хотя бы одна точка, принадлежащая множеству
.
Предельная точка всегда является точкой прикосновения, но не наоборот. Для множества рациональных чисел предельной является каждая точка R, так как в любом интервале вещественных чисел имеются рациональные числа.
Определение 7. Точка называется изолированной точкой множества
, если у нее существует окрестность, не содержащая других точек множества
, кроме самой точки
.
Пример. Рассмотрим множество . Для этого множества:
0, 1, 5 – граничные точки;
и
– точки прикосновения;
– предельные точки;
5 – изолированная точка.