Гипотеза континуума - Continuum hypothesis

В математике , то гипотеза континуума (сокращенно СН ) гипотеза о возможных размерах бесконечных множеств . Говорится:

Не существует множества, мощность которого строго находится между целыми и действительными числами .

В теории множеств Цермело-Френкеля с аксиомой выбора (ZFC), это эквивалентно следующему уравнению алеф чисел : .

Гипотеза континуума была выдвинута Георгом Кантором в 1878 году, и установление ее истинности или ложности - первая из 23 проблем Гильберта, представленных в 1900 году. Ответ на эту проблему не зависит от ZFC, так что можно добавить либо гипотезу континуума, либо ее отрицание. в качестве аксиомы теории множеств ZFC, причем результирующая теория непротиворечива тогда и только тогда, когда ZFC непротиворечива. Эта независимость была доказана в 1963 году Полом Коэном , дополнив более раннюю работу Курта Гёделя в 1940 году.

Название гипотезы происходит от термина «континуум» для действительных чисел.

История

Кантор считал, что гипотеза континуума верна, и долгие годы тщетно пытался ее доказать. Он стал первым в списке важных открытых вопросов Давида Гильберта, который был представлен на Международном конгрессе математиков в 1900 году в Париже. Теория аксиоматических множеств на тот момент еще не была сформулирована. Курт Гёдель доказал в 1940 году, что отрицание гипотезы континуума, т. Е. Существование множества промежуточной мощности, не может быть доказано в стандартной теории множеств. Вторая половина независимости гипотезы континуума, т. Е. Недоказуемость отсутствия множества промежуточных размеров, была доказана в 1963 году Полом Коэном .

Мощность бесконечных множеств

Говорят, что два множества имеют одинаковую мощность или кардинальное число, если между ними существует взаимно однозначное соответствие ( взаимно однозначное соответствие). Интуитивно, если два множества S и T имеют одинаковую мощность, это означает, что можно «спаривать» элементы S с элементами T таким образом, чтобы каждый элемент S был спарен ровно с одним элементом T, и наоборот. наоборот. Следовательно, множество {банан, яблоко, груша} имеет ту же мощность, что и {желтый, красный, зеленый}.

С бесконечными наборами, такими как набор целых или рациональных чисел , существование биекции между двумя наборами становится труднее продемонстрировать. Рациональные числа, по-видимому, образуют контрпример к гипотезе континуума: целые числа образуют собственное подмножество рациональных чисел, которые сами образуют собственное подмножество действительных чисел, поэтому интуитивно понятно, что рациональных чисел больше, чем целых, и больше действительных чисел, чем рациональных чисел. Однако этот интуитивный анализ ошибочен; он не принимает во внимание тот факт, что все три набора бесконечны . Оказывается, рациональные числа на самом деле могут быть помещены во взаимно однозначное соответствие с целыми числами, и поэтому набор рациональных чисел имеет тот же размер ( мощность ), что и набор целых чисел: оба они являются счетными наборами .

Кантор дал два доказательства того, что мощность множества целых чисел строго меньше множества действительных чисел (см первого несчетность доказательства Кантора и диагональный аргумент Кантора ). Его доказательства, однако, не указывают на то, насколько мощность целых чисел меньше, чем мощность действительных чисел. Кантор предложил гипотезу континуума как возможное решение этого вопроса.

Гипотеза континуума утверждает, что набор действительных чисел имеет минимально возможную мощность, которая больше, чем мощность набора целых чисел. То есть, каждый набор, S , действительных чисел либо может быть сопоставлен один-к-одному в целых или действительных числа могут быть сопоставлены один-к-одному в S . Как реальные цифры equinumerous с Powerset целых чисел, и континуум - гипотеза утверждает , что не существует множество , для которого .

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

Независимость от ZFC

Независимость гипотезы континуума (CH) от теории множеств Цермело – Френкеля (ZF) следует из совместной работы Курта Гёделя и Пола Коэна .

Гёдель показал, что CH нельзя опровергнуть из ZF, даже если принять аксиому выбора (AC) (создание ZFC). Доказательство Гёделя показывает, что CH и AC имеют место в конструктивной вселенной L, внутренней модели теории множеств ZF, предполагающей только аксиомы ZF. Существование внутренней модели ZF, в которой выполняются дополнительные аксиомы, показывает, что дополнительные аксиомы согласованы с ZF, при условии, что сама ZF согласована. Последнее условие не может быть доказано в самой ZF из-за теорем Гёделя о неполноте , но широко считается верным и может быть доказано в более сильных теориях множеств.

Коэн показал, что CH не может быть доказан с помощью аксиом ZFC, завершив полное доказательство независимости. Чтобы доказать свой результат, Коэн разработал метод принуждения , который стал стандартным инструментом в теории множеств. По сути, этот метод начинается с модели ZF, в которой выполняется CH, и строится другая модель, которая содержит больше множеств, чем исходная, таким образом, что CH не выполняется в новой модели. За доказательство Коэн был награжден медалью Филдса в 1966 году.

Только что описанное доказательство независимости показывает, что CH не зависит от ZFC. Дальнейшие исследования показали, что CH не зависит от всех известных больших кардинальных аксиом в контексте ZFC. Более того, было показано, что мощность континуума может быть любой кардинальной, согласованной с теоремой Кенига . Результат Соловея, доказанный вскоре после результата Коэна о независимости гипотезы континуума, показывает, что в любой модели ZFC, если - кардинал несчетной конфинальности , то существует принудительное расширение, в котором . Однако, согласно теореме Кенига, не соответствует предположить это или или любой кардинал с конфинальностью .

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

Независимость от ZFC означает, что подтверждение или опровержение CH в ZFC невозможно. Однако отрицательные результаты Гёделя и Коэна не повсеместно признаются как устранение всякого интереса к гипотезе континуума. Проблема Гильберта остается активной темой исследований; см. Woodin и Peter Koellner для обзора текущего состояния исследований.

Гипотеза континуума была не первым утверждением, независимым от ZFC. Непосредственным следствием теоремы Гёделя о неполноте , которая была опубликована в 1931 году, является то, что существует формальное утверждение (по одному для каждой подходящей схемы нумерации Гёделя ), выражающее непротиворечивость ZFC, которая не зависит от ZFC, при условии, что ZFC непротиворечива. Гипотеза континуума и выбранная аксиома были одними из первых математических утверждений, которые оказались независимыми от теории множеств ZF.

Аргументы за и против гипотезы континуума

Гёдель считал, что CH ложно, и что его доказательство того, что CH согласуется с ZFC, только показывает, что аксиомы Цермело – Френкеля неадекватно характеризуют универсум множеств. Гёдель был платоником и поэтому не имел проблем с утверждением истинности или ложности утверждений независимо от их доказуемости. Коэн, хотя и был формалистом , также был склонен отвергать CH.

Исторически сложилось так, что математики, которые отдавали предпочтение «богатой» и «большой» вселенной множеств, были против CH, в то время как те, кто предпочитал «аккуратную» и «управляемую» вселенную, выступали за CH. Параллельные аргументы были сделаны за и против аксиомы конструктивности , из которой следует CH. Совсем недавно Мэтью Форман указал, что онтологический максимализм на самом деле может использоваться для аргументации в пользу CH, потому что среди моделей, которые имеют одинаковые действительные числа, модели с «большим количеством» наборов действительных чисел имеют больше шансов удовлетворить CH.

Другая точка зрения состоит в том, что концепция множества недостаточно конкретна, чтобы определить, является ли CH истинным или ложным. Эта точка зрения была выдвинута еще в 1923 году Сколемом , еще до первой теоремы Гёделя о неполноте. Сколем спорил на основе того, что сейчас известно как парадокс Сколема , и позже он был поддержан независимостью CH от аксиом ZFC, поскольку этих аксиом достаточно, чтобы установить элементарные свойства множеств и мощностей. Чтобы возразить против этой точки зрения, было бы достаточно продемонстрировать новые аксиомы, поддерживаемые интуицией, и разрешить СН в том или ином направлении. Хотя аксиома конструктивности действительно разрешает CH, она обычно не считается интуитивно истинной, как и CH обычно считается ложной.

Были предложены по крайней мере две другие аксиомы, которые имеют значение для гипотезы континуума, хотя в настоящее время эти аксиомы не нашли широкого признания в математическом сообществе. В 1986 году Крис Фрейлинг представил аргумент против CH, показав, что отрицание CH эквивалентно аксиоме симметрии Фрейлинга , утверждению, основанному на доводах определенных интуиций о вероятностях . Фрейлинг считает, что эта аксиома «интуитивно верна», но другие не согласны. Сложный аргумент против СН, разработанный У. Хью Вудином , привлек значительное внимание с 2000 года. Форман не отвергает аргумент Вудина сразу, но призывает к осторожности.

Соломон Феферман утверждал, что CH не является определенной математической проблемой. Он предлагает теорию «определенности», используя полуинтуиционистскую подсистему ZF, которая принимает классическую логику для ограниченных кванторов, но использует интуиционистскую логику для неограниченных, и предполагает, что предложение является математически «определенным», если полуинтуиционистская теория может быть доказана . Он предполагает, что CH не определен в соответствии с этим понятием, и предлагает, следовательно, считать, что CH не имеет истинностного значения. Питер Кёлльнер написал критический комментарий к статье Фефермана.

Не Джоэл Дэвид Хамкинс предлагает мультивселенную подход к теории множеств и утверждает , что «континуум гипотеза осела на мультивселенном зрении нашего обширного знания о том , как он ведет себя в мультивселенном, и, как следствие, она больше не может быть решена в порядке раньше надеялись на ". В том же ключе Сахарон Шелах написал, что он «не согласен с чисто платонической точкой зрения, что интересные проблемы теории множеств могут быть решены, что нам просто нужно открыть дополнительную аксиому. Я мысленно представляю, что у нас есть много возможных множеств. теории, все соответствующие ZFC ».

Гипотеза обобщенного континуума

Обобщенная гипотеза континуума (ОСИ) утверждает , что если мощностные лежит бесконечное множество в том , что между бесконечным множеством S , и что из множества мощности из S , то она имеет ту же мощность , как либо S или . То есть для любого бесконечного кардинала не существует такого кардинала , что . GCH эквивалентен:

для каждого порядкового номера (иногда называемого гипотезой алеф Кантора ).

В числе Beth обеспечивает альтернативную запись для этого условия: для каждого порядкового . Гипотеза континуума - это частный случай порядкового номера . GCH был впервые предложен Филипом Журденом . О ранней истории GCH см. Мур.

Подобно CH, GCH также не зависит от ZFC, но Серпинский доказал, что ZF + GCH подразумевает аксиому выбора (AC) (и, следовательно, отрицание аксиомы детерминированности , AD), поэтому выбор и GCH не независимы в ZF; нет моделей ZF, в которых GCH держится, а AC выходит из строя. Чтобы доказать это, Серпинский показал, что GCH подразумевает, что каждая мощность n меньше некоторого числа алефов и, следовательно, может быть упорядочена. Это делается путем демонстрации того, что n меньше, чем его собственное число Хартогса - при этом используется равенство ; для полного доказательства см. Gillman.

Курт Гёдель показал, что GCH является следствием ZF + V = L (аксиома о том, что каждое множество конструктивно относительно ординалов) и, следовательно, согласуется с ZFC. Поскольку GCH подразумевает CH, модель Коэна, в которой CH выходит из строя, является моделью, в которой GCH выходит из строя, и, таким образом, GCH не может быть доказан с помощью ZFC. В. Б. Истон использовал метод принуждения, разработанный Коэном, чтобы доказать теорему Истона , которая показывает, что она совместима с ZFC для произвольно больших кардиналов, которые не могут удовлетворить . Много позже Форман и Вудин доказали, что (в предположении согласованности очень больших кардиналов) оно непротиворечиво и справедливо для любого бесконечного кардинала . Позже Вудин расширил это, показав постоянство для каждого . Карми Меримович показал, что для каждого n  ≥ 1 согласно ZFC, для каждого κ, 2 κ является n- м преемником κ. С другой стороны, Ласло Патай доказал, что если γ - ординал и для каждого бесконечного кардинала κ, 2 κ является γ-м преемником κ, то γ конечно.

Для любых бесконечных множеств А и В, если существует инъекция от А до В , то существует инъекция из подмножеств А до подмножеств В. Таким образом для любых бесконечных кардиналов А и В, . Если A и B конечны, выполняется более сильное неравенство . Из GCH следует, что это строгое более сильное неравенство выполняется как для бесконечных кардиналов, так и для конечных кардиналов.

Значение GCH для кардинального возведения в степень

Хотя обобщенная гипотеза континуума относится непосредственно только к кардинальному возведению в степень с базой 2, из нее можно вывести значения кардинального возведения в степень во всех случаях. GCH подразумевает, что:

когда αβ +1;
когда β +1 < α и , где cf - операция конфинальности ; а также
когда β +1 < α и .

Первое равенство (при αβ +1) следует из:

, в то время как:
 ;

Третье равенство (при β +1 < α и ) следует из:

, по теореме Кенига , а:

Где для каждого γ GCH используется для приравнивания и ; используется как эквивалент аксиомы выбора .

Смотрите также

использованная литература

  • Мэдди, Пенелопа (июнь 1988). «Веря аксиомам, [часть I]». Журнал символической логики . Ассоциация символической логики. 53 (2): 481–511. DOI : 10.2307 / 2274520 . JSTOR  2274520 .

Источники

дальнейшее чтение

  • Коэн, Пол Джозеф (2008) [1966]. Теория множеств и гипотеза континуума . Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-46921-8.
  • Dales, HG; Вудин, WH (1987). Введение в независимость для аналитиков . Кембридж.
  • Эндертон, Герберт (1977). Элементы теории множеств . Академическая пресса.
  • Гёдель, К .: Что такое проблема континуума Кантора? , перепечатано в сборнике Бенасеррафа и Патнэма « Философия математики» , 2-е изд., Cambridge University Press, 1983. Обзор аргументов Гёделя против CH.
  • Мартин, Д. (1976). «Первая проблема Гильберта: гипотеза континуума», в « Математические разработки, вытекающие из проблем Гильберта», Труды симпозиумов по чистой математике XXVIII, Ф. Браудер, редактор. Американское математическое общество, 1976, стр. 81–92. ISBN  0-8218-1428-1
  • Макгоф, Нэнси. «Гипотеза континуума» .
  • Вулховер, Натали. «Сколько существует чисел? Доказательство бесконечности приближает математику к ответу» .

внешние ссылки