В математике, в теории множеств, конструируемая вселенная (или конструируемая вселенная Гёделя ), обозначенная L, представляет собой особый класс из наборов, который можно полностью описать в терминах более простые наборы. L- это объединение конструируемой иерархии Lα. Его ввел Курт Гёдель в его статье 1938 года «Непротиворечивость аксиомы выбора и гипотезы обобщенного континуума». Этим он доказал, что конструируемая вселенная является внутренней моделью теории множеств ZF, а также что аксиома выбора и обобщенный континуум гипотеза верна в конструируемой вселенной. Это показывает, что оба утверждения согласованы с основными аксиомами теории множеств, если сам ZF согласован. Поскольку многие другие теоремы верны только в системах, в которых верно одно или оба предложения, их согласованность является важным результатом.
L, можно рассматривать как построенное «поэтапно», напоминающее вселенную фон Неймана, V. Этапы индексируются порядковыми номерами. Во вселенной фон Неймана на этапе преемника каждый принимает Vα+1как набор всех подмножеств предыдущего этапа, Vα. Напротив, в конструируемой вселенной Гёделя Lиспользуются только те подмножества предыдущего этапа, которые:
Ограничивая себя наборами, определенными только в терминах того, что уже было построено, можно гарантировать, что результирующие наборы будут построены таким образом, который не зависит от особенностей окружающей модели теории множеств и содержится в любой такой модели.
Определите
L определяется с помощью трансфинитной рекурсии следующим образом:
Если zявляется элементом Lα, то z= {y| y∈ Lαи y∈ z} ∈ Def (Lα) = Lα + 1. Итак, Lα- это подмножество Lα+1, которое является подмножеством набора мощности из Lα. Следовательно, это башня вложенных транзитивных множеств. Но Lсам по себе является надлежащим классом.
Элементы Lназываются «конструктивными» наборами; и Lсам по себе является «конструируемой вселенной». «аксиома конструктивности », также известная как «V= L», гласит, что каждый набор (из V) является конструктивным, т.е. в L.
Эквивалентное определение для Lα:
Для любого порядкового номера α, .Для любого конечного порядкового номера n, наборы Lnи Vnодинаковы (независимо от того, равно ли VLили нет), и, следовательно, Lω= Vω: их элементы в точности совпадают. Равенство за пределами этой точки не выполняется. Даже в моделях ZFC, в которых Vравно L, Lω+1, является правильным подмножеством Vω+1, и после этого Lα+1является правильным подмножеством набора мощности Lαдля всех α>ω. С другой стороны, V= Lдействительно означает, что Vαравно Lα, если α= ωα, например, если αнедоступен. В более общем смысле, V= Lподразумевает = Lαдля всех бесконечных кардиналов α.
Если α- бесконечный порядковый номер, тогда существует биекция между Lαи α, и биекция конструктивна. Таким образом, эти множества равноправны в любой модели теории множеств, которая их включает.
Как определено выше, Def (X) - это набор подмножеств X, определенных Δ 0 формулами (то есть формулами теория множеств, содержащая только ограниченные кванторы ), которые используют в качестве параметров только Xи его элементы.
Другое определение, данное Гёделем, характеризует каждый Lα+1как пересечение набора степеней Lαс замыканием под набором из девяти явных функций, аналогичных операциям Гёделя. Это определение не ссылается на определимость.
Все арифметические подмножества ωи отношения на ωпринадлежат Lω+1(поскольку арифметическое определение дает единицу в Lω+1). И наоборот, любое подмножество ω, принадлежащее Lω+1, является арифметическим (поскольку элементы Lωмогут быть закодированы натуральными числами таким образом, что ∈ определимо, то есть арифметически). С другой стороны, Lω+2уже содержит некоторые неарифметические подмножества ω, такие как набор (кодирование натуральных чисел) истинных арифметических утверждений (это можно определить из Lω+1, поэтому он находится в Lω+2).
Все гиперарифметические подмножества ωи отношения на ωпринадлежат (где обозначает порядковый номер Чёрча – Клини ) и, наоборот, любое подмножество ω, принадлежащее является гиперарифметическим.
L- это стандартная модель, т.е. это транзитивный класс, и он использует реальную взаимосвязь элементов, поэтому она хорошо обоснована.. L- это внутренняя модель, т.е. она содержит все порядковые номера Vи не имеет дополнительных наборов, кроме тех, что в V, но это может быть надлежащий подкласс V. L, является моделью ZFC, что означает, что он удовлетворяет следующим аксиомам :
. Обратите внимание, что доказательство того, что Lявляется модель ZFC требует только, чтобы Vбыл моделью ZF, т.е. мы не предполагаем, что аксиома выбора в V.
Если W- любая стандартная модель ZF с теми же порядковыми номерами, что и V, тогда L, определенный в W, совпадает с Lопределено в V. В частности, Lαявляется одним и тем же в Wи Vдля любого порядкового номера α. Те же формулы и параметры в Def (Lα) создают те же конструктивные наборы в Lα+1.
Более того, поскольку Lявляется подклассом Vи, аналогично, Lявляется подклассом W, L- наименьшего класса, содержащего все порядковые номера, который является стандартной моделью ZF. Действительно, L- пересечение всех таких классов.
Если есть набор Wв V, это стандартная модель ZF, и порядковый номер κ- это набор порядковых номеров, которые встречаются в W, тогда Lκ- это Lиз W. Если есть набор, который является стандартной моделью ZF, то самый маленький такой набор - это Lκ. Этот набор называется минимальной моделью ZFC. Используя нисходящую теорему Левенгейма – Сколема, можно показать, что минимальная модель (если она существует) является счетным множеством.
Конечно, любая последовательная теория должна иметь модель, поэтому даже в минимальной модели теории множеств есть множества, которые являются моделями ZF (при условии, что ZF непротиворечива). Однако эти установленные модели нестандартны. В частности, они не используют нормальное отношение элементов и не имеют достаточного обоснования.
Поскольку как Lиз L, так и Vиз Lявляются реальными Lи как Lиз Lκ, и Vиз Lκявляются реальными Lκ, мы получаем, что V= Lистинно в Lи в любом Lκто есть модели ZF. Однако V= Lне выполняется ни в одной другой стандартной модели ZF.
Начиная с Ord ⊂ L⊆ V, свойства порядковых чисел, которые зависят от отсутствия функции или другой структуры (например, Π 1 формулы), сохраняются при спуске от Vдо L. Следовательно, начальные порядковые числа кардиналов остаются начальными в L. Обычные порядковые числа остаются обычными в L. Слабые предельные кардиналы становятся сильными предельными кардиналами в L, потому что обобщенная гипотеза континуума выполняется в L. Слабо недоступные кардиналы становятся сильно недоступными. Слабо Мало кардиналов становится сильно Мало. И вообще, любое свойство с большим кардиналом слабее, чем 0 (см. список свойств с большим кардиналом ), будет сохранено в L.
. Однако 0 является ложным в L, даже если истинно в V. Таким образом, все большие кардиналы, существование которых подразумевает 0, перестают обладать этими большими кардинальными свойствами, но сохраняют свойства более слабые, чем 0 #, которыми они также обладают. Например, измеримые кардиналы перестают быть измеримыми, но остаются Mahlo в L.
Если 0 выполняется в V, то существует замкнутый неограниченный класс ординалов, который неразличимы в L. Хотя некоторые из них даже не являются начальными порядковыми числами в V, они имеют все большие кардинальные свойства, более слабые, чем 0 в L. Кроме того, любая строго возрастающая функция класса от класса неразличимых элементов до самой себя может быть расширена уникальным способом до элементарного вложения из Lв L. Это дает Lкрасивую структуру повторяющихся сегментов.
Существуют различные способы упорядочения L. Некоторые из них связаны с «тонкой структурой» L, которая была впервые описана Рональдом Бьорном Йенсеном в его статье 1972 года, озаглавленной «Тонкая структура конструируемой иерархии». Вместо объяснения тонкой структуры мы дадим схему того, как Lможет быть хорошо упорядочен, используя только определение, данное выше.
Предположим, что xи y- два разных набора в L, и мы хотим определить, x< yили x>y. Если xвпервые появляется в Lα+1, а yвпервые появляется в Lβ+1и βотличается от α, тогда пусть x< yтогда и только тогда, когда α< β. В дальнейшем мы предполагаем, что β= α.
Этап Lα+1= Def (Lα) использует формулы с параметрами из Lαдля определения наборов xи y. Если не учитывать (на данный момент) параметры, формулам можно присвоить стандартную гёделевскую нумерацию натуральными числами. Если Φ- это формула с наименьшим числом Гёделя, которое можно использовать для определения x, а Ψ- это формула с наименьшим числом Гёделя, которое можно использовать для определения y, а Ψотличается от Φ, тогда пусть x< yтогда и только тогда, когда Φ< Ψв нумерации Гёделя. В дальнейшем мы предполагаем, что Ψ= Φ.
Предположим, что Φиспользует nпараметров из Lα. Предположим, z1,..., zn- это последовательность параметров, которые могут использоваться с Φдля определения xи w1,..., wnделает то же самое для y. Затем позвольте x< yтогда и только тогда, когда либо zn< wn, либо (zn= wnи zn- 1 < wn- 1), либо (z n=wnи zn- 1 = wn- 1 и zn- 2 < wn- 2) и т.д. Это называется обратным лексикографическим упорядочением ; если есть несколько последовательностей параметров, которые определяют один из наборов, мы выбираем наименьший из них в этом порядке. Понятно, что возможные значения каждого параметра упорядочены в соответствии с ограничением упорядочения от Lдо Lα, поэтому это определение включает трансфинитную рекурсию на α.
. Хороший порядок значений отдельных параметров. дается индуктивной гипотезой трансфинитной индукции. Значения nнаборов параметров хорошо упорядочены при заказе продукта. Формулы с параметрами хорошо упорядочены по упорядоченной сумме (по числам Гёделя) упорядоченных состояний. И Lхорошо упорядочен по упорядоченной сумме (индексированной α) порядков на Lα+1.
. Обратите внимание, что этот хороший порядок может быть определен в пределах Lпо формуле теории множеств без параметров, только со свободными переменными xи y. И эта формула дает одно и то же значение истинности независимо от того, оценивается ли оно в L, Vили W(какая-то другая стандартная модель ZF с такими же порядковыми номерами), и мы предположим, что формула неверна, если либо x, либо yне входит в L.
. Хорошо известно, что аксиома выбора эквивалентна способности хорошо упорядочить каждый набор. Возможность правильно упорядочить правильный класс V(как мы сделали здесь с L) эквивалентна аксиоме глобального выбора, которая является более мощной. чем обычная аксиома выбора, потому что она также охватывает собственные классы непустых множеств.
Доказательство того, что аксиома разделения, аксиома замены и аксиома выбора верны в Lтребует (по крайней мере, как показано выше) использования принципа отражения для L. Здесь мы описываем такой принцип.
Путем индукции по n< ωмы можем использовать ZF в V, чтобы доказать, что для любого порядкового номера αсуществует порядковый номер β>αтакой, что для любого предложение P(z1,..., zk) с z1,..., zkв Lβи содержащее менее nсимволов (считая постоянный символ для элемента Lβкак один символ) мы получаем, что P(z1,..., zk) выполняется в Lβтогда и только тогда, когда оно выполняется в L.
Пусть , и пусть Tбудет любым конструктивным подмножеством S. Тогда есть некоторый βс , поэтому для некоторой формулы Φи некоторые элементы взяты из . По нисходящей теореме Лёвенгейма – Сколема и коллапсу Мостовского должно существовать некоторое транзитивное множество K, содержащее и некоторые , имеющие ту же теорию первого порядка, что и с , замененным на ; и этот Kбудет иметь тот же кардинал, что и . Поскольку верно в , это также верно в K, поэтому для некоторого γ, имеющего тот же кардинал, что и α. И потому что и придерживаются той же теории. Итак, Tфактически находится в .
Итак, все конструктивные подмножества бесконечного множества Sимеют занимает (самое большее) такое же кардинальное число κ, что и ранг S; отсюда следует, что если δявляется начальным порядковым номером для κ, то служит «набором мощности» для Sв пределах L. Таким образом, этот «набор мощности» . А это, в свою очередь, означает, что «набор мощности» Sимеет кардинал не более || δ||. Предполагая, что Sсам имеет кардинал κ, тогда "набор мощности" должен иметь кардинал точно κ. Но это как раз и есть обобщенная гипотеза континуума, относящаяся к L.
Существует формула теории множеств, которая выражает идею, что X= Lα. В нем есть только свободные переменные для Xи α. Используя это, мы можем расширить определение каждого конструктивного множества. Если s∈ Lα+1, то s= {y| y∈ Lαи Φ(y,z1,..., zn) выполняется в (Lα, ∈)} для некоторой формулы Φи некоторые z1,..., znв Lα. Это эквивалентно заявлению: для всех y, y∈ sтогда и только тогда, когда [существует Xтакое, что X=Lαи y∈ Xи Ψ(X,y,z1,..., zn)] где Ψ(X,...) является результатом ограничения каждого квантификатора в Φ(...) до X. Обратите внимание, что каждый zk∈ Lβ+1для некоторого β< α. Объедините формулы для zс формулой для sи примените экзистенциальные квантификаторы к zснаружи, и вы получите формулу, определяющую конструктивный набор sс использованием только порядковых номеров α, которые появляются в таких выражениях, как X= Lαв качестве параметров.
Пример: набор {5, ω} является конструктивным. Единственное множество sудовлетворяет формуле:
,где является сокращением от:
На самом деле, даже эта сложная формула была упрощенный из того, что дали бы инструкции, данные в первом абзаце. Но суть в том, что существует формула теории множеств, которая верна только для желаемого конструктивного множества sи содержит параметры только для порядковых чисел.
Иногда желательно найти такую узкую модель теории множеств, как L, но которая включает или находится под влиянием набора, который не является конструктивным.. Это порождает концепцию относительной конструктивности, из которой существует две разновидности, обозначенные L(A) и L[A].
Класс L(A) для неконструируемого множества Aявляется пересечением всех классов, которые являются стандартными моделями теории множеств и содержат Aи все порядковые числительные.
L(A) определяется трансфинитной рекурсией следующим образом:
Если L(A) содержит хорошо упорядоченное транзитивное замыкание A, то это может быть расширенным до хорошего порядка L(A). В противном случае аксиома выбора потерпит неудачу в L(A).
Типичный пример - , самая маленькая модель, содержащая все действительные числа, которая широко используется в современной теории описательных множеств.
Класс L[A] - это класс множеств, на построение которых влияет A, где Aможет быть (предположительно не- конструктивный) набор или собственный класс. В определении этого класса используется Def A(X), который аналогичен Def (X), за исключением того, что вместо оценки истинности формул Φв модели (X, ∈), используется модель (X, ∈, A), где A- унарный предикат. Предполагаемая интерпретация A(y) - y∈ A. Тогда определение L[A] в точности соответствует определению . Lтолько с Def, замененным на Def A.
L[A] всегда является моделью аксиомы выбора. Даже если Aявляется набором, Aне обязательно сам является членом L[A], хотя всегда так, если Aявляется набором порядковых номеров.
Наборы в L(A) или L[A] обычно не являются конструктивными, и свойства этих моделей могут сильно отличаться от свойств самого L.