Метод форсинга и гипотеза континуума

Форсинг решил вопрос о континууме, показав независимость гипотезы Кантора от ZFC․

Основы построения расширений моделей

Цель — создание расширения базовой модели путём добавления в неё новых множеств ZFC

Понятие условий и плотных множеств

В основе метода лежит частично упорядоченное множество P, элементы которого называются условиями․ Условие представляет собой конечную информацию о будущем объекте․ Чем ниже элемент в порядке, тем больше информации он несет․ Важнейшую роль играют плотные множества: подмножество D считается плотным, если для любого p из P существует q из D, такое что q сильнее p․ Это гарантирует, что любой фильтр пересечет плотные множества, определяя итоговые свойства данного расширения․

Дженерик-фильтры и модель V[G]

Дженерик-фильтр G пересекает все плотные множества из V․ Он позволяет создать расширение V[G], включающее V и сам G․ Для описания элементов V[G] внутри V используются имена․ Отношение форсинга связывает условия из P с истинностью высказываний в V[G]․ Таким образом, V[G] становится минимальной моделью ZFC, содержащей V и G, что позволяет гибко управлять её свойствами, не нарушая базовых аксиом теории множеств, обеспечивая полную, строгую и математически точную согласованность всей этой сложнейшей конструкции․

Применение форсинга для изменения мощности континуума

Для изменения мощности континуума Коэн ввёл условия как конечные функции из κ × ω в {0, 1}․ Это позволило добавить в модель κ новых вещественных чисел․ Если выбрать κ больше алеф_1, гипотеза континуума становится ложной, так как мощность континуума в V[G] будет не меньше κ․ Это доказывает, что утверждение 2^алеф_0 > алеф_1 совместимо с ZFC, что окончательно подтверждает независимость гипотезы Кантора от стандартных аксиом теории множеств․ Именно так была решена эта сложная задача․