Аксиома детерминированности

Аксиома детерминированности — особый постулат теории множеств, который радикально меняет взгляды на свойства континуума и его частей

Определение через бесконечные игры с нулевой суммой

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

Аксиома детерминированности постулирует, что любая подобная игра с нулевой суммой всегда детерминирована. Это означает, что для любого подмножества пространства бесконечных последовательностей один из игроков обязательно может гарантировать себе успех, независимо от действий оппонента. Это фундаментальный математический принцип, который определяет всю суть теории в деталях!

Соотношение AD с аксиомой выбора (AC)

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

Следовательно, в системе ZF, где постулируется AD, полноценный выбор невозможен. Однако AD совместима с ограниченными версиями выбора, такими как выбор из счетного числа множеств. Таким образом, мы сталкиваемся с глубоким конфликтом между интуицией выбора и структурой игр, что ведет к уникальным логическим следствиям в современной математике. Это важно!

Влияние AD на структуру множеств действительных чисел

Данный закон меняет взгляд на континуум, создавая иную топологическую среду

Измеримость всех подмножеств по Лебегу и свойство Бэра

Одним из самых ярких следствий AD является тот факт, что в этом мире каждое подмножество действительных чисел оказывается измеримым по Лебегу. В обычной системе ZFC существуют неизмеримые множества, такие как множество Витали, но при AD они просто не могут быть сконструированы. Это делает анализ функций и интегралов гораздо более предсказуемым и гармоничным.

Кроме того, любое подмножество вещественных чисел обладает свойством Бэра, что означает его близость к открытому множеству. Таким образом, топологическая структура континуума становится исключительно регулярной. Эти два результата доказывают, что детерминированность приводит к идеальному порядку в мире всех чисел…