Отделимое пространство - Separable space

Аксиомы разделения
в топологические пространства
Колмогоров классификация
Т0 (Колмогоров)
Т1 (Фреше)
Т2 (Хаусдорф)
Т2½(Урысон)
полностью T2 (полностью Хаусдорф)
Т3 (обычный Хаусдорф)
Т(Тихонов)
Т4 (нормальный Хаусдорф)
Т5 (совершенно нормально
Хаусдорф)
Т6 (совершенно нормально
Хаусдорф)

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

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

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

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

Любое топологическое пространство, которое есть само конечный или же счетно бесконечный отделимо, поскольку все пространство является счетным плотным подмножеством самого себя. Важным примером несчетного разделимого пространства является реальная линия, в которой рациональное число образуют счетное плотное подмножество. Аналогично множество всех векторов в котором рационально для всех я является счетным плотным подмножеством ; так для каждого к -размерный Евклидово пространство отделимо.

Простым примером неразделимого пространства является дискретное пространство несчетной мощности.

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

Разделимость против второй счетности

Любой секундомер отделимо: если является счетной базой, выбирая любую из непустого дает счетное плотное подмножество. И наоборот, a метризуемое пространство отделима тогда и только тогда, когда он является вторым счетным, что имеет место тогда и только тогда, когда оно Линделёф.

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

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

Мы можем построить пример сепарабельного топологического пространства, которое не является вторым счетным. Рассмотрим любой бесчисленный набор возьми немного , и определим топологию как набор всех наборов, содержащих (или пустые). Затем закрытие это все пространство ( - наименьшее замкнутое множество, содержащее ), но каждый набор вида открыт. Следовательно, пространство отделимо, но счетной базы быть не может.

Мощность

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

А исчисляемый первым, сепарабельное хаусдорфово пространство (в частности, сепарабельное метрическое пространство) имеет не более мощность континуума . В таком пространстве закрытие определяется пределами последовательностей, и любая сходящаяся последовательность имеет не более одного предела, поэтому существует сюръективное отображение из множества сходящихся последовательностей со значениями в счетном плотном подмножестве в точки .

Отделимое хаусдорфово пространство имеет мощность не более , куда - мощность континуума. Для этого закрытие характерно с точки зрения пределов базы фильтров: если и , тогда тогда и только тогда, когда существует база фильтра состоящий из подмножеств что сходится к . Мощность множества таких баз фильтров не более . Более того, в пространстве Хаусдорфа существует не более одного предела для каждой базы фильтра. Следовательно, есть сюрприз когда

Те же аргументы устанавливают более общий результат: предположим, что топологическое пространство Хаусдорфа содержит плотное подмножество мощности .Потом имеет мощность не более и мощность не более если это первый счет.

Произведение не более чем континуума многих сепарабельных пространств является сепарабельным пространством (Уиллард 1970, п. 109, Th 16.4c). В частности, пространство всех функций от вещественной прямой до самой себя, наделенное топологией произведения, является сепарабельным хаусдорфовым пространством мощности . В более общем смысле, если - любой бесконечный кардинал, то произведение не более чем пространства с плотными подмножествами размера не более имеет плотное подмножество размера не более (Теорема Хьюитта – Марчевского – Пондичери ).

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

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

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

Разделимые пространства

Неразделимые пространства

Характеристики

  • А подпространство отделимого пространства не обязательно должно быть отделимым (см. Самолет Соргенфри и Самолет Мура ), но каждый открыто подпространство сепарабельного пространства сепарабельно, (Уиллард 1970, Th 16.4b). Также каждое подпространство сепарабельной метрическое пространство отделима.
  • Фактически, каждое топологическое пространство является подпространством сепарабельного пространства того же мощность. Конструкция, добавляющая не более чем счетное число точек, приведена в (Серпинский 1952, п. 49); если пространство было хаусдорфовым, то построенное пространство, в которое оно вкладывается, также является хаусдорфовым.
  • Множество всех действительных непрерывных функций на сепарабельном пространстве имеет мощность, меньшую или равную . Это следует из того, что такие функции определяются своими значениями на плотных подмножествах.
  • Из приведенного выше свойства можно вывести следующее: Если Икс сепарабельное пространство, имеющее несчетное замкнутое дискретное подпространство, то Икс не может быть нормальный. Это показывает, что Самолет Соргенфри это не нормально.
  • Для компактный Пространство Хаусдорфа Икс, следующие эквиваленты:
(я) Икс является вторым счетным.
(ii) Пространство непрерывных действительных функций на Икс с верхняя норма отделимо.
(iii) Икс метризуемо.

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

Для несепарабельных пространств:

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

Рекомендации

  1. ^ Джамоня, Мирна; Кунен, Кеннет (1995). «Свойства класса мерно сепарабельных компактов» (PDF). Fundamenta Mathematicae: 262. arXiv:математика / 9408201. Bibcode:1994математика ...... 8201D. Если борелевская мера на , алгебра мер булева алгебра всех борелевских множеств по модулю -нулевые наборы. Если конечно, то такая алгебра мер также является метрическим пространством, причем расстояние между двумя множествами является мерой их симметрической разности. Затем мы говорим, что является отделяемый если только это метрическое пространство отделимо как топологическое пространство.