Отделяемое пространство

Не путать с разделённым пространством или аксиомой разделения .

В математике топологическое пространство называется сепарабельным если оно содержит счетное плотное , подмножество; то есть существует последовательность $\{x_{n}\}_{n=1}^{\infty }$ элементов пространства такие, что каждое непустое открытое подмножество пространства содержит хотя бы один элемент последовательности.

Как и другие аксиомы счетности , отделимость представляет собой «ограничение на размер», не обязательно с точки зрения мощности (хотя при наличии аксиомы Хаусдорфа это действительно так; см. ниже), но в более тонком смысле. топологический смысл. В частности, каждая непрерывная функция на сепарабельном пространстве, образ которой является подмножеством хаусдорфова пространства, определяется ее значениями на счетном плотном подмножестве.

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

Первые примеры

Любое топологическое пространство, которое само по себе конечно или счетно бесконечно, является сепарабельным, поскольку все пространство представляет собой счетное плотное подмножество самого себя. Важным примером несчетного сепарабельного пространства является действительная линия , в которой рациональные числа образуют счетное плотное подмножество. Аналогично множество всех длин $n$ векторы рациональных чисел, ${\boldsymbol {r}}=(r_{1},\ldots ,r_{n})\in \mathbb {Q} ^{n}$, является счетным плотным подмножеством множества всех длин $n$ векторы действительных чисел, $\mathbb {R} ^{n}$; так что для каждого $n$, $n$-мерное евклидово пространство сепарабельно.

Простой пример несепарабельного пространства — дискретное пространство несчетной мощности.

Дополнительные примеры приведены ниже.

Сепарабельность

Любое второе счетное пространство сепарабельно: если $\{U_{n}\}$ является счетной базой, выбирая любую $x_{n}\in U_{n}$ из непустого $U_{n}$дает счетное плотное подмножество. И наоборот, метризуемое пространство сепарабельно тогда и только тогда, когда оно счетно во второй раз, что имеет место тогда и только тогда, когда оно линделефово .

Для дальнейшего сравнения этих двух свойств:

• Произвольное подпространство второго счетного пространства является вторым счетным; подпространства сепарабельных пространств не обязательно должны быть сепарабельными (см. ниже).
• Любой непрерывный образ сепарабельного пространства сепарабельен ( Уиллард 1970 , Th. 16.4a); даже частное пространства со второй счетностью не обязательно должно быть счетным.
• Произведение Willard не более чем континуума многих сепарабельных пространств является сепарабельным ( 1970 , стр. 109, Th 16.4c). Счетное произведение пространств со второй счетностью является вторым счетным, но несчетное произведение пространств со второй счетностью не обязательно должно быть даже первым счетным.

Мы можем построить пример сепарабельного топологического пространства, не являющегося счетным. Рассмотрим любое несчетное множество $X$, выбери немного $x_{0}\in X$и определим топологию как совокупность всех наборов, содержащих $x_{0}$(или пусты). Затем произошло закрытие ${x_{0}}$ это всё пространство( $X$ — наименьшее замкнутое множество, содержащее $x_{0}$), но каждое множество вида $\{x_{0},x\}$открыт. Следовательно, пространство сепарабельно, но не может иметь счетной базы.

Кардинальность

Свойство сепарабельности само по себе не дает никаких ограничений на мощность топологического пространства: любое множество, наделенное тривиальной топологией , сепарабельно, равно как и второе счетное, квазикомпактное и связное . «Проблема» тривиальной топологии заключается в ее плохих свойствах разделения: ее фактор Колмогорова представляет собой одноточечное пространство.

Первое счетное сепарабельное хаусдорфово пространство (в частности, сепарабельное метрическое пространство) имеет не более континуальной мощности. ${\mathfrak {c}}$. В таком пространстве замыкание определяется пределами последовательностей, и любая сходящаяся последовательность имеет не более одного предела, поэтому существует сюръективное отображение множества сходящихся последовательностей со значениями в счетном плотном подмножестве в точки $X$.

Сепарабельное хаусдорфово пространство имеет мощность не более $2^{\mathfrak {c}}$, где ${\mathfrak {c}}$есть мощность континуума. Для этого замыкания характерны пределы баз фильтров : если $Y\subseteq X$ и $z\in X$, затем $z\in {\overline {Y}}$ тогда и только тогда, когда существует база фильтров ${\mathcal {B}}$ состоящий из подмножеств $Y$ который сходится к $z$. Мощность множества $S(Y)$ таких баз фильтров не более $2^{2^{|Y|}}$. Более того, в хаусдорфовом пространстве каждая база фильтров имеет не более одного предела. Следовательно, существует сюръекция $S(Y)\rightarrow X$ когда ${\overline {Y}}=X.$

Те же аргументы приводят к более общему результату: предположим, что топологическое пространство Хаусдорфа $X$ содержит плотное подмножество мощности $\kappa$. Затем $X$ имеет не более мощности $2^{2^{\kappa }}$ и мощность не более $2^{\kappa }$ если оно сначала счетно.

Произведение не более чем континуума многих сепарабельных пространств является сепарабельным пространством ( Willard 1970 , стр. 109, Th 16.4c). В частности, пространство $\mathbb {R} ^{\mathbb {R} }$ всех функций от действительной прямой до самой себя, наделенной топологией произведения, представляет собой сепарабельное хаусдорфово пространство мощности $2^{\mathfrak {c}}$. В более общем смысле, если $\kappa$ — любой бесконечный кардинал, то произведение не более чем $2^{\kappa }$ пространства с плотными подмножествами размером не более $\kappa$ имеет плотное подмножество максимального размера $\kappa$ ( Теорема Хьюитта–Марчевского–Пондичери ).

Конструктивная математика

Разделимость особенно важна в численном анализе и конструктивной математике , поскольку многие теоремы, которые можно доказать для несепарабельных пространств, имеют конструктивные доказательства только для сепарабельных пространств. Такие конструктивные доказательства можно превратить в алгоритмы для использования в численном анализе, и это единственные виды доказательств, приемлемые для конструктивного анализа. Известным примером теоремы такого рода является теорема Хана-Банаха .

Дальнейшие примеры

Разделяемые пробелы

• Всякое компактное метрическое пространство (или метризуемое пространство) сепарабельно.
• Любое топологическое пространство, представляющее собой объединение счетного числа сепарабельных подпространств, является сепарабельным. Вместе эти первые два примера дают другое доказательство того, что $n$-мерное евклидово пространство сепарабельно.
• Космос $C(K)$ всех непрерывных функций из компактного подмножества $K\subseteq \mathbb {R}$ к реальной линии $\mathbb {R}$ является разделимым.
• Лебега Пространства $L^{p}\left(X,\mu \right)$, в пространстве меры $\left\langle X,{\mathcal {M}},\mu \right\rangle$ σ-алгебра которой счетно порождена и мера σ-конечна, сепарабельны для любого $1\leq p<\infty$.
• Космос $C([0,1])$ непрерывных вещественных функций на единичном интервале $[0,1]$ с метрикой равномерной сходимости следует, является сепарабельным пространством, поскольку из аппроксимационной теоремы Вейерштрасса что множество $\mathbb {Q} [x]$ многочленов от одной переменной с рациональными коэффициентами является счетным плотным подмножеством $C([0,1])$. Теорема Банаха –Мазура утверждает, что любое сепарабельное банахово пространство изометрически изоморфно замкнутому линейному подпространству $C([0,1])$.
• Гильбертово пространство сепарабельно тогда и только тогда, когда оно имеет счетный ортонормированный базис . Отсюда следует, что любое сепарабельное бесконечномерное гильбертово пространство изометрично пространству $\ell ^{2}$ суммируемых с квадратом последовательностей.
• Примером сепарабельного пространства, не счетного по секундам, является линия Соргенфрея. $\mathbb {S}$, набор действительных чисел, снабженный топологией нижнего предела .
• Сепарабельная σ-алгебра — это σ-алгебра ${\mathcal {F}}$ это сепарабельное пространство, если рассматривать его как метрическое пространство с метрикой $\rho (A,B)=\mu (A\triangle B)$ для $A,B\in {\mathcal {F}}$ и заданная конечная мера $\mu$ (и с $\triangle$ симметричный разностный оператор).

Неразделимые пробелы

• Первый неисчисляемый порядковый номер $\omega _{1}$, обладающее топологией естественного порядка , не является сепарабельным.
• Банахово пространство $\ell ^{\infty }$всех ограниченных вещественных последовательностей с супремум-нормой несепарабельна. То же самое справедливо и для $L^{\infty }$.
• Банахово пространство функций ограниченной вариации не сепарабельно; однако отметим, что это пространство имеет очень важные приложения в математике, физике и технике.

Свойства

• Подпространство плоскость сепарабельного пространства не обязательно должно быть сепарабельным (см. Соргенфрея и плоскость Мура ), но каждое открытое подпространство сепарабельного пространства сепарабельно ( Willard 1970 , Th 16.4b). Кроме того, каждое подпространство сепарабельного метрического пространства сепарабельно.
• Фактически, каждое топологическое пространство является подпространством сепарабельного пространства той же мощности . Конструкция, добавляющая не более счетного числа точек, приведена в ( Серпинский 1952 , стр. 49); если пространство было хаусдорфовым пространством, то построенное пространство, в которое оно вложено, также является хаусдорфовым пространством.
• Множество всех действительных непрерывных функций на сепарабельном пространстве имеет мощность, равную ${\mathfrak {c}}$, мощность континуума . Это следует из того, что такие функции определяются своими значениями на плотных подмножествах.
• Из приведенного выше свойства можно вывести следующее: если X — сепарабельное пространство, имеющее несчетное замкнутое дискретное подпространство, то X не может быть нормальным . Это показывает, что самолет Соргенфри не является нормальным.
• Для бикомпакта : X следующие условия эквивалентны
  1. X является вторым счетным.
  2. Космос ${\mathcal {C}}(X,\mathbb {R} )$ непрерывных вещественных функций на X с супремумной нормой сепарабельна.
  3. X метризуемо.

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

• Каждое сепарабельное метрическое пространство гомеоморфно подмножеству гильбертова куба . Это установлено при доказательстве метризационной теоремы Урысона .
• Каждое сепарабельное метрическое пространство изометрично подмножеству (несепарабельного) банахова пространства l ^∞ всех ограниченных вещественных последовательностей с супремум-нормой ; это известно как вложение Фреше. ( Хейнонен 2003 )
• Каждое сепарабельное метрическое пространство изометрично подмножеству C([0,1]), сепарабельного банахова пространства непрерывных функций [0,1] → R с нормой супремума . Это заслуга Стефана Банаха . ( Хейнонен 2003 )
• Каждое сепарабельное метрическое пространство изометрично подмножеству универсального пространства Урысона .

Для неразделимых пространств :

• Метрическое пространство плотности , равной бесконечному кардиналу α , изометрично подпространству C([0,1] ^а , R ) — пространство вещественных непрерывных функций на произведении α копий единичного интервала. ( Кляйбер и Первин, 1969 )

Ссылки

• Хейнонен, Юха (январь 2003 г.), Геометрические вложения метрических пространств (PDF) , получено 6 февраля 2009 г.

• Келли, Джон Л. (1975), Общая топология , Берлин, Нью-Йорк: Springer-Verlag , ISBN  978-0-387-90125-1 , МР   0370454
• Кляйбер, Мартин; Первин, Уильям Дж. (1969), «Обобщенная теорема Банаха-Мазура», Bull. Австрал. Математика. Соц. , 1 (2): 169–173, doi : 10.1017/S0004972700041411
• Серпинский, Вацлав (1952), Общая топология , Математические изложения, № 7, Торонто, Онтарио: University of Toronto Press, MR   0050870
• Стин, Линн Артур ; Зеебах, Дж. Артур младший (1995) [1978], Контрпримеры в топологии ( Дуврское переиздание издания 1978 года), Берлин, Нью-Йорк: Springer-Verlag , ISBN  978-0-486-68735-3 , МР   0507446
• Уиллард, Стивен (1970), Общая топология , Аддисон-Уэсли , ISBN  978-0-201-08707-9 , МР   0264581