S и L пространства - S and L spaces

В математике S-пространство - регулярное топологическое пространство, наследственно отделимое, но не Пространство Линделёфа. L-пространство является регулярным топологическим пространством, наследственным Линделёф но не отделимы. Пространство сепарабельно, если у него есть счетное плотное множество, и наследственно сепарабельное, если каждое подпространство сепарабельно.

Долгое время считалось, что проблема S-пространства и проблема L-пространства двойственны, т.е. если есть S-пространство в какой-то модели теории множеств, то есть L-пространство в той же модели, и наоборот - что не так.

В начале 1980-х было показано, что существование S-пространства не зависит от обычных аксиом ZFC. Это означает, что чтобы доказать существование S-пространства или доказать несуществование S-пространства, мы должны принять аксиомы, выходящие за рамки аксиом ZFC. Проблема L-пространства (может ли L-пространство существовать без дополнительных теоретико-множественных предположений, помимо предположений ZFC ) не было решено до недавнего времени.

Тодорцевич доказал, что под PFA S-пространств нет. Это означает, что каждый регулярный наследственно отделимое пространство Линделёф. Некоторое время считалось, что проблема L-пространства будет иметь аналогичное решение (что ее существование не зависит от ZFC ). Тодорцевич показал, что существует модель теории множеств с Аксиома мартина где есть L-пространство, но нет S-пространств. Дальше, Тодорцевич нашел компактное S-пространство из Коэн реал.

В 2005 году, Мур решил проблему L-пространства, построив L-пространство без дополнительных аксиом и объединив Тодорцевич с функции rho с теория чисел.

Источники

  • К. П. Харт, Джунити Нагата, Дж. Э.Воган: Энциклопедия общей топологии, Эльзевир, 2003 ISBN  0080530869, ISBN  9780080530864
  • Стево Тодорцевич: «Проблемы разбиения в топологии» (главы 2, 5, 6 и 9), Современная математика, 1989: Том 84 ISBN  978-0-8218-5091-6, ISBN  978-0-8218-7672-5
  • Джастин Тэтч Мур: «Решение проблемы L-пространства», Журнал Американского математического общества, Том 19, страницы 717–736, 2006 г.