В математике гипотеза континуума (сокращенно CH ) - это гипотеза о возможных размерах бесконечных множеств. В нем говорится:
Не существует набора, мощность строго между целыми числами и действительными числами.
В теории множеств Цермело – Френкеля. с аксиомой выбора (ZFC), это эквивалентно следующему уравнению в числах алеф : .
Гипотеза континуума была выдвинута Георгом Кантором в 1878 году, и установление ее истинности или ложности является первым из 23 Гильберта. проблемы, представленные в 1900 году. Ответ на эту проблему - независимый от ZFC, так что либо гипотеза континуума, либо ее отрицание могут быть добавлены в качестве аксиомы к теории множеств ZFC, при этом полученная теория согласована тогда и только тогда, когда ZFC согласован. Эта независимость была доказана в 1963 году Полом Коэном, дополнив более раннюю работу Курта Гёделя в 1940 году.
Название гипотезы происходит от термина континуум для действительных чисел.
Кантор верил, что гипотеза континуума верна и в течение многих лет тщетно пыталась чтобы доказать это (Dauben 1990). Он стал первым в списке важных открытых вопросов Давида Гильберта, который был представлен на Международном конгрессе математиков в 1900 году в Париже. Аксиоматическая теория множеств на тот момент еще не была сформулирована. Курт Гёдель доказал в 1940 году, что отрицание гипотезы континуума, то есть существование множества с промежуточной мощностью, не может быть доказано в стандартной теории множеств. Вторая половина независимости гипотезы континуума - то есть недоказуемость отсутствия множества промежуточных размеров - была доказана в 1963 году Полом Коэном.
Два множества считается, что они имеют одинаковую мощность или мощность, если между ними существует биекция (взаимно однозначное соответствие). Интуитивно, если два множества S и T имеют одинаковую мощность, это означает, что можно «спаривать» элементы S с элементами T таким образом, чтобы каждый элемент S был спарен ровно с одним элементом T, и наоборот. наоборот. Следовательно, множество {банан, яблоко, груша} имеет ту же мощность, что и {желтый, красный, зеленый}.
С бесконечными наборами, такими как набор целых чисел или рациональных чисел, существование взаимного соответствия между двумя наборами становится труднее продемонстрировать. Рациональные числа, по-видимому, образуют контрпример к гипотезе континуума: целые числа образуют собственное подмножество рациональных чисел, которые сами образуют собственное подмножество действительных чисел, поэтому интуитивно понятно, что рациональных чисел больше, чем целых, и больше реальных чисел, чем рациональных чисел. Однако этот интуитивный анализ ошибочен; он не учитывает должным образом тот факт, что все три набора бесконечны. Оказывается, рациональные числа на самом деле могут быть помещены во взаимно однозначное соответствие с целыми числами, и поэтому набор рациональных чисел имеет тот же размер (мощность), что и набор целых чисел: они оба являются счетными множествами.
Кантор привел два доказательства того, что мощность множества целых строго меньше, чем мощность множества действительных чисел (см. первое доказательство несчетности Кантора и Диагональный аргумент Кантора ). Его доказательства, однако, не дают указания на то, насколько мощность целых чисел меньше мощности действительных чисел. Кантор предложил гипотезу континуума как возможное решение этого вопроса.
Гипотеза континуума утверждает, что набор действительных чисел имеет минимально возможную мощность, которая больше, чем мощность набора целых чисел. То есть каждый набор S действительных чисел может быть отображен один-к-одному в целые числа, или действительные числа могут быть однозначно отображены в S. Поскольку действительные числа равнозначны с powerset целых чисел, , а гипотеза континуума говорит, что не существует набора , для которого .
Предполагая аксиому выбора, существует наименьшее кардинальное число больше, чем , и гипотеза континуума, в свою очередь, эквивалентна равенству (Goldrei 1996).
Независимость гипотезы континуума (CH) от теории множеств Цермело – Френкеля (ZF) следует из совместной работы Курта Гёделя и Пол Коэн.
Гёдель (1940) показал, что CH не может быть опровергнуто из ZF, даже если принять аксиому выбора (AC) (создание ZFC). Доказательство Гёделя показывает, что и CH, и AC имеют место в конструируемой вселенной L, внутренней модели теории множеств ZF, предполагающей только аксиомы ZF. Существование внутренней модели ZF, в которой выполняются дополнительные аксиомы, показывает, что дополнительные аксиомы согласованы с ZF, при условии, что сам ZF согласован. Последнее условие не может быть доказано в самой ZF из-за теорем Гёделя о неполноте, но широко считается верным и может быть доказано в более сильных теориях множеств.
Коэн (1963, 1964) показал, что CH не может быть доказан с помощью аксиом ZFC, завершив общее доказательство независимости. Чтобы доказать свой результат, Коэн разработал метод принуждения, который стал стандартным инструментом в теории множеств. По сути, этот метод начинается с модели ZF, в которой выполняется CH, и создает другую модель, которая содержит больше множеств, чем исходная, таким образом, что CH не выполняется в новой модели. Коэн был награжден медалью Филдса в 1966 году за свои доказательства.
Только что описанное доказательство независимости показывает, что CH не зависит от ZFC. Дальнейшие исследования показали, что CH не зависит от всех известных больших кардинальных аксиом в контексте ZFC. (Феферман (1999)) Более того, было показано, что мощность континуума может быть любой кардинальной, согласованной с теоремой Кенига. Результат Соловея, доказанный вскоре после результата Коэна о независимости гипотезы континуума, показывает, что в любой модели ZFC, если является кардиналом несчетного числа cofinality, то есть принудительное расширение, в котором . Однако, согласно теореме Кенига, неверно предполагать, что равно или или любое кардинальное число с конфинальностью .
Гипотеза континуума тесно связана со многими утверждениями в анализе, множестве точек топологии и теории меры. В результате его независимости многие существенные гипотезы в этих областях впоследствии также оказались независимыми.
Независимость от ZFC означает, что подтверждение или опровержение CH в ZFC невозможно. Однако отрицательные результаты Гёделя и Коэна не повсеместно признаются как устранение всякого интереса к гипотезе континуума. Проблема Гильберта остается активной темой исследований; см. Woodin (2001a, 2001b) и Koellner (2011a) для обзора текущего статуса исследования.
Гипотеза континуума была не первым утверждением, независимым от ZFC. Непосредственным следствием теоремы Гёделя о неполноте, опубликованной в 1931 году, является наличие формального утверждения (по одному для каждой соответствующей схемы нумерации Гёделя ), выражающего непротиворечивость ZFC, которая является независимой ZFC, предполагая, что ZFC согласован. Гипотеза континуума и аксиома выбора были одними из первых математических утверждений, которые оказались независимыми от теории множеств ZF.
Гёдель считал, что CH ложно, и что его доказательство того, что CH согласуется с ZFC, только показывает, что аксиомы Цермело – Френкеля не адекватно характеризуют вселенную множеств. Гёдель был платоником и поэтому не имел проблем с утверждением истинности и ложности утверждений независимо от их доказуемости. Коэн, хотя и был формалистом (Goodman 1979), также был склонен отвергать CH.
Исторически математики, которые отдавали предпочтение «богатой» и «большой» вселенной множеств, были против CH, в то время как те, кто предпочитал «аккуратную» и «управляемую» вселенную, предпочитали CH. Параллельные аргументы были сделаны за и против аксиомы конструктивности, которая подразумевает CH. Совсем недавно Мэтью Форман указал, что онтологический максимализм может фактически использоваться для аргументации в пользу CH, потому что среди моделей, которые имеют одинаковые действительные числа, модели с «большим» набором у реалов больше шансов удовлетворить CH (Мэдди 1988, стр. 500).
Другая точка зрения состоит в том, что концепция множества недостаточно конкретна, чтобы определить, является ли CH истинным или ложным. Эта точка зрения была продвинута еще в 1923 году Сколемом, еще до первой теоремы Гёделя о неполноте. Сколем спорил на основе того, что сейчас известно как парадокс Сколема, и позже он был поддержан независимостью CH от аксиом ZFC, поскольку этих аксиом достаточно, чтобы установить элементарные свойства множеств и мощностей. Чтобы возразить против этой точки зрения, было бы достаточно продемонстрировать новые аксиомы, поддерживаемые интуицией, и разрешить СН в том или ином направлении. Хотя аксиома конструктивности действительно разрешает CH, она обычно не считается интуитивно верной, как и CH обычно считается ложной (Kunen 1980, p. 171).
Были предложены как минимум две другие аксиомы, которые имеют значение для гипотезы континуума, хотя в настоящее время эти аксиомы не нашли широкого признания в математическом сообществе. В 1986 году Крис Фрейлинг представил аргумент против CH, показав, что отрицание CH эквивалентно аксиоме симметрии Фрейлинга, утверждению, основанному на доводах определенной интуиции о вероятностях. Фрейлинг считает, что эта аксиома «интуитивно верна», но другие не согласны. Сложный аргумент против CH, разработанный W. Хью Вудин привлекает к себе большое внимание с 2000 года (Woodin 2001a, 2001b). Форман (2003) не отвергает аргумент Вудина полностью, но призывает к осторожности.
Соломон Феферман (2011) утверждал, что CH не является определенной математической проблемой. Он предлагает теорию «определенности», используя полуинтуиционистскую подсистему ZF, которая принимает классическую логику для ограниченных кванторов, но использует интуиционистскую логику для неограниченных, и предполагает, что утверждение математически «определен», если полуинтуиционистская теория может доказать . Он предполагает, что CH не определен в соответствии с этим понятием, и предлагает, таким образом, считать, что CH не имеет истинностного значения. Питер Кёлльнер (2011b) написал критический комментарий к статье Фефермана.
Джоэл Дэвид Хэмкинс предлагает подход мультивселенной к теории множеств и утверждает, что «гипотеза континуума основана на представлении о мультивселенной благодаря нашим обширным знаниям о том, как он ведет себя в мультивселенной, и, как в результате его уже нельзя урегулировать так, как раньше надеялись ". (Хэмкинс 2012). В аналогичном ключе Сахарон Шел написал, что он «не согласен с чисто платонической точкой зрения, что интересные проблемы теории множеств можно решить, что нам просто нужно открыть дополнительную аксиому. Моя мысленная картина такова. что у нас есть много возможных теорий множеств, и все они соответствуют ZFC ". (Шелах 2003).
Обобщенная гипотеза континуума (GCH) утверждает, что если мощность бесконечного множества находится между мощностью бесконечного множества S и мощностью набор мощности of S, то он имеет ту же мощность, что и S, или . То есть для любого бесконечного кардинального не существует кардинального такого что . GCH эквивалентен:
числа бет обеспечивают альтернативное обозначение для этого условия: для каждого порядкового номера . Гипотеза континуума является частным случаем кардинального . GCH был впервые предложен Журденом (1905). (Для ранней истории GCH см. Moore 2011)
Подобно CH, GCH также не зависит от ZFC, но Серпинский доказал, что ZF + GCH подразумевает аксиому выбора (AC) (и, следовательно, отрицание аксиомы определенности, AD), поэтому выбор и GCH не являются независимыми в ZF; нет моделей ZF, в которых GCH держится, а AC выходит из строя. Чтобы доказать это, Серпинский показал, что GCH подразумевает, что каждая мощность n меньше некоторого алефового числа, и поэтому может быть упорядочена. Это делается путем демонстрации того, что n меньше, чем , которое меньше, чем его собственный Hartogs число - здесь используется равенство ; полное доказательство см. Gillman (2002).
Курт Гёдель показал, что GCH является следствием ZF + V = L (аксиома о том, что каждый набор может быть сконструирован относительно ординалов), и, следовательно, совместим с ZFC. Поскольку GCH подразумевает CH, модель Коэна, в которой CH выходит из строя, является моделью, в которой GCH выходит из строя, и, таким образом, GCH не может быть доказан из ZFC. В. Б. Истон использовал метод принуждения, разработанный Коэном, чтобы доказать теорему Истона, которая показывает, что она совместима с ZFC для произвольно больших кардиналов не удовлетворять . Намного позже Форман и Вудин доказали, что (с учетом согласованности очень больших кардиналов) согласованно, что выполняется для каждого бесконечного кардинала . Позже Вудин расширил это, показав последовательность для каждого . Карми Меримович (2007) показал, что для каждого n ≥ 1 согласно ZFC, для каждого κ, 2 является n-м преемником κ. С другой стороны, Ласло Патай (1930) доказал, что если γ - ординал, и для каждого бесконечного кардинала κ, 2 является γ-м преемником κ, тогда γ конечно.
Для любых бесконечных множеств A и B, если существует инъекция из A в B, то существует инъекция ion от подмножеств A к подмножествам B. Таким образом, для любых бесконечных кардиналов A и B
Хотя обобщенная гипотеза континуума напрямую относится только к кардинальному возведению в степень с 2 в качестве основы, из нее можно вывести значения кардинального возведения в степень
первое равенство (когда α ≤ β + 1) следует из:
Третье равенство (когда β + 1 <α и
Где для каждого γ GCH используется для приравнивания
Такой взгляд часто называют формализмом. Posi Более или менее подобные вещи можно найти в Haskell Curry [5], Abraham Robinson [17] и Paul Cohen [4].CS1 maint: ref = harv (link )