В математической дисциплине общей топологии , польское пространство является разъемным полностью метризуемым топологическим пространством ; то есть пространство гомеоморфно к полному метрическому пространству , которое имеет счетное плотное подмножество. Польские пространства названы так потому, что их первыми всесторонне изучали польские топологи и логики - Серпинский , Куратовский , Тарский и другие. Однако сегодня польские пространства в основном изучаются, потому что они являются основной площадкой для описательной теории множеств , включая изучениеБорелевские отношения эквивалентности . Польские пространства также удобны для более продвинутой теории меры , в частности, теории вероятностей .
Типичными примерами польских пространств являются вещественная линия , любое разделимое банахово пространство , пространство Кантора и пространство Бэра . Кроме того, некоторые пространства, которые не являются полными метрическими пространствами в обычной метрике, могут быть польскими; например, открытый интервал (0, 1) - польский.
Между любыми двумя несчетными польскими пространствами существует борелевский изоморфизм ; то есть биекция , сохраняющая борелевскую структуру. В частности, каждое бесчисленное польское пространство имеет мощность континуума .
Пространства Люсина , Суслина и Радона являются обобщениями польских пространств.
Характеристики
- Каждое польское пространство является вторым счетным (в силу его сепарабельности метризуемости).
- ( Теорема Александрова ) Если X польский то и любого G & delta подмножество X . [1]
- Подпространство Q польского пространство P является польской тогда и только тогда , когда Q представляет собой пересечение последовательности открытых подмножеств P . (Это обратная теореме Александрова.) [2]
- ( Теорема Кантора-Бендиксон ) Если X является польский , то любое замкнутое подмножество X можно записать в виде несвязного объединения в виде совершенного множества и счетного множества. Кроме того, если польское пространство X несчетно, его можно записать как непересекающееся объединение совершенного множества и счетного открытого множества.
- Каждое польское пространство гомеоморфно G δ -подмножеству гильбертова куба (то есть I ℕ , где I - единичный интервал, а ℕ - множество натуральных чисел). [3]
Следующие пробелы являются польскими:
- замкнутые подмножества польского пространства,
- открытые подмножества польского пространства,
- произведения и непересекающиеся объединения счетных семейств польских пространств,
- локально компактные пространства, метризуемые и счетные на бесконечности ,
- счетные пересечения польских подпространств хаусдорфова топологического пространства,
- множество иррациональных чисел с топологией, индуцированной стандартной топологией вещественной прямой.
Характеристика
Существует множество характеризаций, которые говорят о метризуемости топологического пространства с подсчетом секунд, например , теорема Урысона о метризации . Проблема определения, является ли метризуемое пространство полностью метризуемым, сложнее. Топологические пространства, такие как открытый единичный интервал (0,1), могут иметь как полные, так и неполные метрики, порождающие их топологию.
Существует характеристика полных сепарабельных метрических пространств в терминах игры, известной как сильная игра Шоке . Разделимое метрическое пространство полностью метризуемо тогда и только тогда, когда у второго игрока есть выигрышная стратегия в этой игре.
Вторая характеризация следует из теоремы Александрова. Он утверждает, что сепарабельное метрическое пространство полностью метризуемо тогда и только тогда, когда оно является подмножество его завершения в исходной метрике.
Польские метрические пространства
Хотя польские пространства метризуемы, они не являются метрическими пространствами сами по себе ; каждое польское пространство допускает множество полных метрик, порождающих одну и ту же топологию, но ни одна из них не выделяется или не выделяется. Польское пространство с выделенной полной метрикой называется польским метрическим пространством . Альтернативный подход, эквивалентный приведенному здесь, состоит в том, чтобы сначала определить «польское метрическое пространство» как «полное сепарабельное метрическое пространство», а затем определить «польское пространство» как топологическое пространство, полученное из польского метрического пространства, забыв метрика.
Обобщения польских пространств
Пространства Люсина
Топологическое пространство называется пространством Люсина, если оно гомеоморфно борелевскому подмножеству компактного метрического пространства. [4] [5] Некоторая более сильная топология превращает Лусина в польское пространство.
Есть много способов сформировать пространства Люзина. В частности:
- Каждое польское пространство - это Лусин [6]
- Подпространство в пространстве Люсина называется Люсином тогда и только тогда, когда оно является борелевским множеством. [7]
- Любое счетное объединение или пересечение подпространств Лузина в хаусдорфовом пространстве является Лусиным. [8]
- Произведение счетного числа пространств Лузина - это Лузин. [9]
- Несвязное объединение счетного числа пространств Лузина есть Лузин. [10]
Пространства Суслина
Суслинское пространство есть образ польского пространства при непрерывном отображении. Итак, каждое пространство Лусина - это Суслин. В польском пространстве подмножество является пространством Суслина тогда и только тогда, когда оно является множеством Суслина (образ операции Суслина ). [11]
Следующие пространства Суслина:
- закрытые или открытые подмножества пространства Суслина,
- счетные произведения и непересекающиеся объединения пространств Суслина,
- счетные пересечения или счетные объединения подпространств Суслина хаусдорфового топологического пространства,
- непрерывные образы пространств Суслина,
- Борелевские подмножества пространства Суслина.
У них есть следующие свойства:
- Каждое пространство Суслина отделимо.
Радоновые пространства
Пространство Радона , названное в честь Иоганна Радона является топологическим пространством , что каждая борелевская вероятностная мера на М является внутренней регулярной . Поскольку вероятностная мера глобально конечна и, следовательно, является локально конечной мерой , каждая вероятностная мера в пространстве Радона также является мерой Радона . В частности, сепарабельное полное метрическое пространство ( M , d ) является пространством Радона.
Каждое суслинское пространство - это радон.
Польские группы
Польская группа является топологической группой G , которая также является польским пространство, другими словами , гомеоморфных сепарабелъным полным метрического пространства. Есть несколько классических результатов Банаха , Фройденталя и Куратовского о гомоморфизмах между польскими группами. [12] Во-первых, аргумент Банаха (1932 , стр. 23) применяется mutatis mutandi к неабелевым польским группам: если G и H - сепарабельные метрические пространства с G Polish, то любой борелевский гомоморфизм из G в H непрерывен. [13] Во-вторых, существует версия теоремы об открытом отображении или теоремы о замкнутом графике, принадлежащая Куратовскому (1933 , стр. 400). : непрерывный инъективный гомоморфизм польской подгруппы G на другую польскую группу H является открытым отображением. В результате, это замечательный факт о польских группах, что измеримые по Бэру отображения (т. Е. Для которых прообраз любого открытого множества обладает свойством Бэра ), являющиеся гомоморфизмами между ними, автоматически непрерывны. [14] Группа гомеоморфизмов гильбертова куба [0,1] N является универсальной польской группой в том смысле, что каждая польская группа изоморфна ее замкнутой подгруппе.
Примеры:
- Все конечномерные группы Ли со счетным числом компонент являются польскими группами.
- Унитарная группа сепарабельного гильбертова пространства (с сильной операторной топологией ) является польской группой.
- Группа гомеоморфизмов компактного метрического пространства - польская группа.
- Произведение счетного числа польских групп - это польская группа.
- Группа изометрий сепарабельного полного метрического пространства - это польская группа
Смотрите также
- Стандартное борелевское пространство
Заметки
- Перейти ↑ Bourbaki 1989 , p. 197
- Перейти ↑ Bourbaki 1989 , p. 197
- ^ Шривастава 1998 , стр. 55
- Перейти ↑ Rogers & Williams 1994 , p. 126
- ^ Бурбаки 1989
- Перейти ↑ Schwartz 1973 , p. 94
- Перейти ↑ Schwartz 1973 , p. 102, следствие 2 теоремы 5.
- ↑ Schwartz 1973 , pp. 94, 102, лемма 4 и следствие 1 теоремы 5.
- Перейти ↑ Schwartz 1973 , pp. 95, Lemma 6.
- Перейти ↑ Schwartz 1973 , p. 95, следствие леммы 5.
- Перейти ↑ Bourbaki 1989 , pp. 197–199
- ^ Мур 1976 , стр. 8, предложение 5
- Перейти ↑ Freudenthal 1936 , p. 54
- ^ Петтис 1950 .
Рекомендации
- Банах, Стефан (1932). Теория линейных операций . Monografie Matematyczne (на французском языке). Варшава.
- Бурбаки, Николас (1989). «IX. Использование действительных чисел в общей топологии». Элементы математики: общая топология, часть 2 . Springer-Verlag . 3540193723.
- Фройденталь, Ганс (1936). "Einige Sätze ueber topologische Gruppen" . Аня. математики. 37 : 46–56.
- Куратовский, К. (1966). Топология Vol. Я . Академическая пресса. ISBN 012429202X.
- Мур, Кальвин С. (1976). «Расширения групп и когомологии для локально компактных групп. III» . Пер. Амер. Математика. Soc. 221 : 1–33.
- Петтис, Б.Дж. (1950). «О непрерывности и открытости гомоморфизмов в топологических группах» . Аня. математики. 51 : 293–308.
- Роджерс, LCG; Уильямс, Дэвид (1994). Диффузии, марковские процессы и мартингалы, Том 1: Основы, 2-е издание . John Wiley & Sons Ltd.
- Шварц, Лоран (1973). Меры Радона на произвольных топологических пространствах и цилиндрические меры . Издательство Оксфордского университета. ISBN 978-0195605167.
- Шривастава, Саши Мохан (1998). Курс борелевских множеств . Тексты для выпускников по математике . Springer-Verlag . ISBN 978-0-387-98412-4. Проверено 4 декабря 2008 .
дальнейшее чтение
- Амбросио, Л., Джильи, Н. и Саваре, Г. (2005). Градиентные потоки в метрических пространствах и в пространстве вероятностных мер . Базель: ETH Zürich, Birkhäuser Verlag. ISBN 3-7643-2428-7.CS1 maint: несколько имен: список авторов ( ссылка )
- Арвесон, Уильям (1981). Приглашение в C * -алгебры . Тексты для выпускников по математике . 39 . Нью-Йорк: Springer-Verlag . ISBN 0-387-90176-0.
- Кечрис, А. (1995). Классическая описательная теория множеств . Тексты для выпускников по математике . 156 . Springer. ISBN 0-387-94374-9.