<<
>>

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

Определение 16. Если топологическое пространство X имеет не более чем счетное подмножество А, замыкание которого совпадает с Х, то оно называется сепарабельным. В противном случае пространство называется несепарабельным.

Для метрического пространства (Х, d) это означает, что существует последовательность x1, x2,... элементов из Х такая, что для "xÎX,"e>0 $ n(e, x): d(xn, x) < e.

Пример 20. s - сепарабельное пространство. Действительно, рассмотрим jr подмножество из s последовательностей, координаты которых являются рациональными числами и начиная с некоторого номера все координаты равны 0. Если обозначить jr(n) – множество последовательностей, у которых первые n координат рациональные числа, а последующие координаты 0, то это множество будет счетным, как конечное объединение счетных множеств. Так как jr = jr(n), то оно счетно, как счетное объединение счетных множеств. С другой стороны, для заранее заданного e>0 найдется номер m такой, что

.

Тогда для любой последовательности х = {xn} и любого n найдется такое рациональное число rn, что |rn - xn|< e/2. Обозначим через r последовательность, у которой первые m координат равны rn а последующие равны 0. Тогда r Î jr и

Пример 21. lp, 1£p0 и несчетное множество {xa}: d(xa, xb) ? d, a ? b, Х – несепарабельное пространство.

Доказательство. От противного предположим, что Х - сепарабельно. Тогда существует счетное множество {yk} такое, что для e = d/2, Se(yk) = X. Так как {yk} - счетное, {xa} -несчетное, то найдется хотя бы один шар Se(yk), в котором будет более одного элемента из {xa}. Пусть xa, xbÎSe(yk) a ? b. Тогда d £ d(xa, xb) £ d(xa,yk) + d(yk, xb) < 2e = d и d < d - получили противоречие.

Для доказательства несепарабельности пространства m достаточно воспользоваться этой леммой. В качестве нужного семейства рассматриваются элементы из m, у которых координаты равны либо 0, либо 1. Тогда расстояние между различными элементами этого семейства равно единице. Используя диагональный метод Кантора можно убедиться, что рассмотренное семейство несчетно.

Отметим без доказательства, что сепарабельность топологического пространства влечет наличие в нем счетной базы. Обратное вообще говоря неверно. Однако в случае метрических пространств, наличие счетной базы топологии влечет сепарабельность.

<< | >>
Источник: Функциональный анализ. Лекции. 2017

Еще по теме 7. Сепарабельные топологические пространства:

  1. 7. Сепарабельные топологические пространства