СУСЛИНА ГИПОТЕЗА

СУСЛИНА ГИПОТЕЗА

- гипотеза, утверждающая, что всякое линейно упорядоченное множество без первого и последнего элементов, являющееся полным, плотным и удовлетворяющее условию Суслина, изоморфно действительной прямой. При этом полнота означает существование точной верхней грани у всякого непустого ограниченного подмножества, плотность - непустоту любого интервала ( а, b), условие Суслина состоит в том, что всякая непересекающаяся система интервалов не более чем счетна. Действительная прямая обладает всеми свойствами, фигурирующими в формулировке С. г. Таким образом, С. г. состоит в том, что отмеченные свойства действительной прямой полностью ее определяют. Эта гипотеза сформулирована М. Суслиным в 1920 [1].
В рамках системы ZFC (системы ZF с аксиомой выбора) С. г. нельзя ни доказать, ни опровергнуть при условии, что ZF непротиворечива. При этом из аксиомы конструктивности Гёделя (см. Конструктивное по Гёделю множество )вытекает отрицание С. г. Совместимость С. г. с аксиомами ZFC доказывается построением соответствующей модели с помощью разновидности вынуждения метода (итерированное вынужденнe). Добавление к ZFC континуум-гипотезы также не позволяет дать ни положит., ни отрицат. решения С. г.
С. г. и ее обобщения оказали большое влияние на развитие аксиоматич. теории множеств. С ней связана разработка ряда идей и методов. Это - комбинаторные принципы Иенсена к (см. [4]) и теория тонкой структуры конструктивной иерархии (см. [5]), аксиома Мартина [7] и метод итерированного вынуждения [2].
Принцип Иенсена Подмножество кардинала наз. замкнутым неограниченным, если оно содержит все свои предельные точки и для всякого существует такое, что Множество наз. стадионарным, если его пересечение с каждым замкнутым неограниченным подмножеством кардинала kнепусто. Принцип существует последовательность такая, что для всякого множество стационарно. Для всякого регулярного kпринцип вытекает из аксиомы конструктивности, а из следует отрицание С. г. Комбинаторные принципы Иенсена, а также аксиома Мартина (см. ниже) нашли плодотворные применения в топологии (см. [4], [6], [8]).
Пусть Р- частично упорядоченное множество. Множество наз. плотным, если для всякого существует такое, что Множество наз. совместимым, если для любого конечного подмножества найдется такое что для всякого Два элемента p1 и р 2 из . наз. несовместимыми, если множество {p1, р2} не является совместимым. Говорят, что частично упорядоченное множество Рудовлетворяет условию счетности антицепей, если всякое множество, состоящее из попарно несовместимых элементов, не более чем счетно. Аксиома Мартина (МА) утверждает следующее: если частично упорядоченное " множество удовлетворяет условию счетности антицепей ' и - семейство мощности плотных подмножеств, то существует совместимое множество такое, что для всякого пересечение непусто.
При наличии континуум-гипотезы (СН) аксиома Мартина доказуема. Наиболее интересные следствия дает сочетание аксиомы Мартина (МА) с отрицанием континуум-гипотезы Принцип противоречит сочетанию так как влечет СН. При этом часто оказывается, что предложение, выводимое из будет опровержимо в предположении Так, напр., обстоит дело с С. г. Именно, влечет С. г., в то время как влечет отрицание С. г.
Сочетание совместимо с ZFC, если ZF непротиворечива.

Лит.:[1] Suslin М., лFundam. math.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Нужно решить контрольную?

Полезное


Смотреть что такое "СУСЛИНА ГИПОТЕЗА" в других словарях:

  • СУСЛИНА ПРОБЛЕМА — подобно ли множеству действительных чисел плотное в себе линейно упорядоченное множество без первого и последнего элементов, в к ром всякое семейство непустых дизъюнктных интервалов счетно. Утверждение положительного решения этой проблемы есть… …   Математическая энциклопедия

  • ЛУЗИНА ГИПОТЕЗА — в теории множеств: мощность континуума есть мощность множества всех подмножеств, состоящих из счетных порядковых чисел, т. е. Л. г. совместна с системой аксиом Цермело Френкеля теории множеств и аксиомой выбора. Н. Н. Лузин [1] рассматривал эту… …   Математическая энциклопедия

  • КОНСТРУКТИВНОЕ ПО ГЁДЕЛЮ МНОЖЕСТВО — множество, возникающее в описанном ниже процессе построения множеств. Пусть X множество и X. Рассмотрим язык 1 й ступени L(R, X), содержащий один 2 местный предикатный символ, обозначающий отношение R, и индивидные константы, обозначающие… …   Математическая энциклопедия

  • Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия

  • АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… …   Математическая энциклопедия

  • ПОРЯДКОВЫЙ ТИП — линейно упорядоченного множества А свойство множества А, к рое присуще любому линейно упорядоченному множеству В, подобному А. При этом два множества Аи В, линейно упорядоченные соотношениями R и S, наз. подобными, если существует функция f,… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»