В математике , особенно в теории множеств , гипотеза континуума (сокращенно CH ) — это гипотеза о возможных размерах бесконечных множеств . В нем говорится, что
не существует множества, мощность которого находилась бы строго между мощностью целых и действительных чисел ,
или, что то же самое, что
любое подмножество действительных чисел конечно, счетно бесконечно или имеет ту же мощность, что и действительные числа.
В теории множеств Цермело–Френкеля с аксиомой выбора (ZFC) это эквивалентно следующему уравнению в числах алефа : , или даже короче с числами бет : .
Гипотеза континуума была выдвинута Георгом Кантором в 1878 году [1] , и установление ее истинности или ложности является первой из 23 проблем Гильберта , представленных в 1900 году. Ответ на эту проблему не зависит от ZFC, так что либо гипотеза континуума, либо ее отрицание может быть добавлено в качестве аксиомы к теории множеств ZFC, при этом полученная теория будет непротиворечивой тогда и только тогда, когда ZFC непротиворечива. Эта независимость была доказана в 1963 году Полом Коэном , дополняя более раннюю работу Курта Гёделя в 1940 году .[2]
Название гипотезы происходит от термина «континуум» действительных чисел.
Кантор верил в истинность гипотезы континуума и на протяжении многих лет тщетно пытался ее доказать. [3] Он стал первым в списке важных открытых вопросов Дэвида Гильберта , который был представлен на Международном конгрессе математиков в 1900 году в Париже. Аксиоматическая теория множеств на тот момент еще не была сформулирована. Курт Гёдель доказал в 1940 году, что отрицание гипотезы континуума, т. е. существование множества промежуточной мощности, не может быть доказано в стандартной теории множеств. [2] Вторая половина независимости гипотезы континуума – т.е. недоказуемость несуществования множества промежуточного размера – была доказана в 1963 году Полом Коэном . [4]
Говорят, что два множества имеют одинаковую мощность или кардинальное число , если между ними существует биекция (взаимно однозначное соответствие). Интуитивно, если два множества S и T имеют одинаковую мощность, это означает, что можно «соединить» элементы S с элементами T таким образом, что каждый элемент S будет соединен в пару ровно с одним элементом T , и наоборот . наоборот. Следовательно, множество {банан, яблоко, груша} имеет ту же мощность, что и {жёлтый, красный, зелёный}.
В случае бесконечных наборов, таких как набор целых или рациональных чисел , существование биекции между двумя наборами становится труднее продемонстрировать. Рациональные числа, по-видимому, образуют контрпример к гипотезе континуума: целые числа образуют правильное подмножество рациональных чисел, которые сами образуют правильное подмножество действительных чисел, поэтому интуитивно понятно, что рациональных чисел больше, чем целых, и больше действительных чисел, чем рациональных чисел. Однако этот интуитивный анализ ошибочен; он не учитывает должным образом тот факт, что все три множества бесконечны . Оказывается, рациональные числа на самом деле могут быть поставлены во взаимно-однозначное соответствие с целыми числами, и поэтому множество рациональных чисел имеет тот же размер ( мощность ), что и множество целых чисел: оба они являются счетными множествами .
Кантор дал два доказательства того, что мощность множества целых чисел строго меньше мощности множества действительных чисел (см. первое доказательство несчетности Кантора и диагональный аргумент Кантора ). Однако его доказательства не дают никаких указаний на то, насколько мощность целых чисел меньше мощности действительных чисел. Кантор предложил гипотезу континуума как возможное решение этого вопроса.
Гипотеза континуума утверждает, что набор действительных чисел имеет минимально возможную мощность, превышающую мощность набора целых чисел. То есть каждый набор действительных чисел S может быть либо взаимно однозначно отображен в целые числа, либо действительные числа могут быть взаимно однозначно отображены в S. Поскольку действительные числа равнозначны набору степеней целых чисел, т. е . гипотезу континуума можно переформулировать следующим образом:
Гипотеза континуума — .
Предполагая аксиому выбора , существует уникальное наименьшее кардинальное число, превышающее , а гипотеза континуума, в свою очередь, эквивалентна равенству . [5]
Независимость гипотезы континуума (CH) от теории множеств Цермело–Френкеля (ZF) следует из совместной работы Курта Гёделя и Пола Коэна .
Гёдель [6] [2] показал, что CH нельзя опровергнуть на основе ZF, даже если принять аксиому выбора (AC) (что делает ZFC). Доказательство Гёделя показывает, что CH и AC оба справедливы в конструктивной вселенной L, внутренней модели теории множеств ZF, предполагающей только аксиомы ZF. Существование внутренней модели ZF, в которой выполняются дополнительные аксиомы, показывает, что дополнительные аксиомы согласуются с ZF при условии, что сам ZF непротиворечив. Последнее условие не может быть доказано в самом ZF из-за теорем Гёделя о неполноте , но широко распространено мнение, что оно истинно и может быть доказано в более сильных теориях множеств.
Коэн [4] [7] показал, что CH нельзя доказать с помощью аксиом ZFC, завершив общее доказательство независимости. Чтобы доказать свой результат, Коэн разработал метод принуждения , который стал стандартным инструментом в теории множеств. По сути, этот метод начинается с модели ZF, в которой выполняется CH, и строит другую модель, которая содержит больше наборов, чем исходная, таким образом, что CH не выполняется в новой модели. За свои доказательства Коэн был награжден медалью Филдса в 1966 году.
Только что описанное доказательство независимости показывает, что CH не зависит от ZFC. Дальнейшие исследования показали, что CH не зависит от всех известных больших кардинальных аксиом в контексте ZFC. [8] Более того, было показано, что мощность континуума может быть любой кардинальной, согласующейся с теоремой Кенига . Результат Соловея, доказанный вскоре после результата Коэна о независимости гипотезы континуума, показывает, что в любой модели ZFC, если является кардиналом несчетной конфинальности , то существует вынуждающее расширение, в котором . Однако, согласно теореме Кенига, несовместимо предполагать, что это или любой кардинал с конфинальностью .
Гипотеза континуума тесно связана со многими утверждениями в анализе , топологии множества точек и теории меры . В результате его независимости впоследствии было показано, что многие существенные гипотезы в этих областях также независимы.
Независимость от ZFC означает, что доказать или опровергнуть CH внутри ZFC невозможно. Однако отрицательные результаты Гёделя и Коэна не общепризнаны как исключающие всякий интерес к гипотезе континуума. Гипотеза континуума остается активной темой исследований; обзор текущего статуса исследований см . Вудином [9] [10] и Питером Келлнером [11] .
Гипотеза континуума и аксиома выбора были одними из первых истинно математических утверждений, которые оказались независимыми от теории множеств ZF. Хотя существование некоторых утверждений, независимых от ZFC, было известно уже более двух десятилетий назад: например, при условии хороших свойств корректности и непротиворечивости ZFC, теоремы Гёделя о неполноте , опубликованные в 1931 году, устанавливают, что существует формальное утверждение (одно для каждой соответствующей схемы нумерации Гёделя ), выражающей непротиворечивость ZFC, которая также не зависит от нее. Последний результат независимости действительно справедлив для многих теорий.
Гёдель считал, что CH ложно, и что его доказательство того, что CH совместимо с ZFC, показывает только то, что аксиомы Цермело – Френкеля не адекватно характеризуют вселенную множеств. Гёдель был платоником и поэтому не имел проблем с утверждением истинности и ложности утверждений независимо от их доказуемости. Коэн, хотя и был формалистом , [12] также был склонен отвергать CH.
Исторически сложилось так, что математики, которые выступали за «богатую» и «большую» вселенную множеств, были против CH, в то время как те, кто выступал за «аккуратную» и «управляемую» вселенную, выступали за CH. Параллельно приводились аргументы за и против аксиомы конструктивности , из которой следует CH. Совсем недавно Мэтью Форман отметил, что онтологический максимализм на самом деле может быть использован для аргументации в пользу CH, потому что среди моделей, имеющих одинаковые действительные числа, модели с «большим» набором действительных чисел имеют больше шансов удовлетворить CH. [13]
Другая точка зрения состоит в том, что концепция множества недостаточно конкретна, чтобы определить, является ли CH истинным или ложным. Эта точка зрения была выдвинута Сколемом еще в 1923 году , еще до появления первой теоремы Гёделя о неполноте. Скулем аргументировал свою точку зрения на основе того, что сейчас известно как парадокс Скулема , и позже это было подтверждено независимостью CH от аксиом ZFC, поскольку этих аксиом достаточно, чтобы установить элементарные свойства множеств и мощностей. Чтобы опровергнуть эту точку зрения, достаточно было бы продемонстрировать новые, подкрепленные интуицией аксиомы и разрешить СН в ту или иную сторону. Хотя аксиома конструктивности действительно разрешает CH, она обычно не считается интуитивно истинной, так же как CH обычно не считается ложной. [14]
Были предложены по крайней мере две другие аксиомы, которые имеют значение для гипотезы континуума, хотя эти аксиомы в настоящее время не нашли широкого признания в математическом сообществе. В 1986 году Крис Фрейлинг [15] представил аргумент против CH, показав, что отрицание CH эквивалентно аксиоме симметрии Фрейлинга , утверждению, полученному на основе конкретных интуиций о вероятностях . Фрейлинг считает, что эта аксиома «интуитивно верна», но другие с этим не согласны.
Сложный аргумент против CH, разработанный У. Хью Вудином, привлек значительное внимание с 2000 года. [9] [10] Форман не отвергает аргумент Вудина сразу, но призывает к осторожности. [16] Вудин предложил новую гипотезу, которую он назвал « ( *)-аксиомой» или «Звездной аксиомой» . Звездная аксиома может быть получена из вариации максимума Мартина . Однако в 2010-х годах Вудин заявил, что вместо этого он теперь верит в истинность CH, основываясь на своей вере в свою новую гипотезу «окончательного L». [17] [18]
Соломон Феферман утверждал, что CH не является определенной математической проблемой. [19] Он предложил теорию «определенности», используя полуинтуиционистскую подсистему ZF, которая принимает классическую логику для ограниченных кванторов, но использует интуиционистскую логику для неограниченных, и предположил, что предложение является математически «определенным», если полуинтуиционистская теория могу доказать . Он предположил, что CH не является определенным в соответствии с этим понятием, и предположил, что поэтому следует считать, что CH не имеет истинностного значения. Питер Келлнер написал критический комментарий к статье Фефермана. [20]
Джоэл Дэвид Хэмкинс предлагает подход к теории множеств , основанный на мультивселенной, и утверждает, что «гипотеза континуума основывается на представлении о мультивселенной благодаря нашим обширным знаниям о том, как она ведет себя в мультивселенной, и, как следствие, она больше не может быть решена таким способом, как раньше надеялись». [21] В аналогичном ключе Сахарон Шелах писал, что он «не согласен с чисто платоническим взглядом на то, что интересные проблемы теории множеств могут быть решены, что нам просто нужно открыть дополнительную аксиому. Моя мысленная картина такова, что мы имеем множество возможных теорий множеств, и все они соответствуют ZFC». [22]
Обобщенная гипотеза континуума (GCH) утверждает, что если мощность бесконечного набора лежит между мощностью бесконечного набора S и мощностью набора S , то оно имеет ту же мощность, что и S или . То есть для любого бесконечного кардинала не существует такого кардинала, что . GCH эквивалентен:
Числа Бет обеспечивают альтернативное обозначение этого условия: для каждого порядкового номера . Гипотеза континуума представляет собой частный случай порядкового числа . GCH был впервые предложен Филипом Журденом . [23] О ранней истории GCH см. Moore. [24]
Как и CH, GCH также независим от ZFC, но Серпинский доказал, что ZF + GCH подразумевает аксиому выбора (AC) (и, следовательно, отрицание аксиомы детерминированности AD), поэтому выбор и GCH не независимы в ZF; нет моделей ZF, в которых ГЧ держится, а АС выходит из строя. Чтобы доказать это, Серпинский показал, что GCH подразумевает, что каждая мощность n меньше некоторого числа алефа и, следовательно, может быть упорядочена. Это делается путем демонстрации того, что n меньше, чем его собственное число Хартогса — для этого используется равенство ; полное доказательство см. у Гиллмана. [25]
Курт Гёдель показал, что GCH является следствием ZF + V=L (аксиомы, согласно которой каждое множество можно построить относительно ординалов), и, следовательно, согласуется с ZFC. Поскольку GCH подразумевает CH, модель Коэна, в которой CH терпит неудачу, является моделью, в которой GCH терпит неудачу, и, следовательно, GCH не доказуема с помощью ZFC. У. Б. Истон использовал метод принуждения, разработанный Коэном, для доказательства теоремы Истона , которая показывает, что она согласуется с ZFC для сколь угодно больших кардиналов, которые не удовлетворяют требованиям . Намного позже Форман и Вудин доказали, что (в предположении непротиворечивости очень больших кардиналов) непротиворечиво то, что верно для любого бесконечного кардинала . Позже Вудин расширил это, показав согласованность для каждого . Карми Меримович [26] показал, что для каждого n ≥ 1 согласуется с ZFC, что для каждого κ 2 κ является n-м преемником κ. С другой стороны, Ласло Патаи [27] доказал, что если γ — ординал и для каждого бесконечного кардинала κ, 2 κ является γ-м преемником κ, то γ конечен.
Для любых бесконечных множеств A и B, если существует инъекция из A в B, то существует инъекция из подмножеств A в подмножества B. Таким образом, для любых бесконечных кардиналов A и B, . Если A и B конечны, имеет место более сильное неравенство. GCH подразумевает, что это строгое и более сильное неравенство справедливо как для бесконечных, так и для конечных кардиналов.
Хотя гипотеза обобщенного континуума напрямую относится только к кардинальному возведению в степень с основанием 2, из нее можно вывести значения кардинального возведения в степень во всех случаях. GCH подразумевает, что: [28]
Первое равенство (когда α ≤ β +1) следует из:
Третье равенство (когда β +1 < α и ) следует из:
Где для каждого γ GCH используется для приравнивания и ; используется как эквивалент аксиомы выбора .
{{cite journal}}
: CS1 maint: DOI inactive as of January 2024 (link)Эту точку зрения часто называют
формализмом
.
Более или менее подобные позиции можно найти у Хаскелла Карри [5], Абрахама Робинсона [17] и Пола Коэна [4].
Цитаты, связанные с гипотезой континуума, в Wikiquote