Сепарабельность метрического пространства

Метрические пространства

Определение 1. Пусть $$X$$ — произвольное множество. Функция $$ d: X \times X \to \mathbb{R} $$ называется метрикой на $$X$$, если для любых $$x,y,z \in X$$ выполнены условия:

1. $$d(x,y) \geqslant 0$$ и $$d(x,y) = 0 \Leftrightarrow x = y$$;

2. $$d(x,y) = d(y,x)$$;

3. $$d(x,z) \leqslant d(x,y) + d(y,z)$$.

Пара $$(X,d)$$ называется метрическим пространством.

Метрика задаёт понятие расстояния между элементами и позволяет определить сходимость последовательностей, непрерывность отображений и другие важные свойства.

Плотные множества

Определение 2. Пусть $$(X,d)$$ — метрическое пространство и $$A \subset X$$. Множество $$A$$ называется плотным в $$X$$, если для любого $$x \in X$$ и любого $$\varepsilon > 0$$ существует элемент $$a \in A$$ такой, что $$ d(x,a) < \varepsilon. $$

Эквивалентно, замыкание множества $$A$$ совпадает со всем пространством $$X$$.

Сепарабельные метрические пространства

Определение 3. Метрическое пространство $$(X,d)$$ называется сепарабельным, если в нём существует счётное плотное подмножество.

Примеры сепарабельных пространств

Пример 1. Пространство $$\mathbb{R}$$ с обычной метрикой является сепарабельным.

Доказательство. Множество рациональных чисел $$\mathbb{Q}$$ счётно и плотно в $$\mathbb{R}$$, так как между любыми двумя вещественными числами существует рациональное. $$\square$$

Пример 2. Евклидово пространство $$\mathbb{R}^n$$ является сепарабельным.

Доказательство. Рассмотрим множество $$ \mathbb{Q}^n = \{(q_1,\dots,q_n) : q_k \in \mathbb{Q}\}. $$ Оно счётно как декартово произведение счётных множеств и плотно в $$\mathbb{R}^n$$. $$\square$$