Конструируемая вселенная

редактировать

В математике, в теории множеств, конструируемая вселенная (или конструируемая вселенная Гёделя ), обозначенная L, представляет собой особый класс из наборов, который можно полностью описать в терминах более простые наборы. L- это объединение конструируемой иерархии Lα. Его ввел Курт Гёдель в его статье 1938 года «Непротиворечивость аксиомы выбора и гипотезы обобщенного континуума». Этим он доказал, что конструируемая вселенная является внутренней моделью теории множеств ZF, а также что аксиома выбора и обобщенный континуум гипотеза верна в конструируемой вселенной. Это показывает, что оба утверждения согласованы с основными аксиомами теории множеств, если сам ZF согласован. Поскольку многие другие теоремы верны только в системах, в которых верно одно или оба предложения, их согласованность является важным результатом.

Содержание

  • 1 Что такое L
  • 2 Дополнительные сведения о наборах L α
  • 3 L - стандартная внутренняя модель ZFC
  • 4 L - абсолютная и минимальная
    • 4,1 L и большие кардиналы
  • 5 L может быть хорошо упорядоченным
  • 6 L имеет принцип отражения
  • 7 Гипотеза обобщенного континуума верна в L
  • 8 Конструируемые множества могут быть определены по порядковым номерам
  • 9 Относительная конструктивность
  • 10 См. Также
  • 11 Примечания
  • 12 Ссылки

То, что Lпредставляет собой

L, можно рассматривать как построенное «поэтапно», напоминающее вселенную фон Неймана, V. Этапы индексируются порядковыми номерами. Во вселенной фон Неймана на этапе преемника каждый принимает Vα+1как набор всех подмножеств предыдущего этапа, Vα. Напротив, в конструируемой вселенной Гёделя Lиспользуются только те подмножества предыдущего этапа, которые:

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

Определите

Def ⁡ (X): = {{y ∣ y ∈ X и (X, ∈) ⊨ Φ (y, z 1,…, z n)} | Φ - формула первого порядка и z 1,…, z n ∈ X}. {\ displaystyle \ operatorname {Def} (X): = {\ Bigl \ {} \ {y \ mid y \ in X {\ text {and}} (X, \ in) \ models \ Phi (y, z_ { 1}, \ ldots, z_ {n}) \} ~ {\ Big |} ~ \ Phi {\ text {- формула первого порядка и}} z_ {1}, \ ldots, z_ {n} \ в X {\ Bigr \}}.}\ operatorname {Def} (X): = {\ Bigl \ {} \ {y \ mid y \ in X {\ text {and}} (X, \ in) \ models \ Phi (y, z_ {1}, \ ldots, z_ {n}) \ } ~ {\ Big |} ~ \ Phi {\ text {- формула первого порядка и}} z_ {1}, \ ldots, z_ {n} \ в X {\ Bigr \}}.

L определяется с помощью трансфинитной рекурсии следующим образом:

  • L 0: = ∅. {\ displaystyle L_ {0}: = \ varnothing.}L_ {0}: = \ varnothing.
  • L α + 1: = Def ⁡ (L α). {\ displaystyle L _ {\ alpha +1}: = \ operatorname {Def} (L _ {\ alpha}).}L _ {\ alpha +1}: = \ operatorname {Def} (L _ {\ alpha}).
  • Если λ {\ displaystyle \ lambda}\ lambda равно предельный порядковый номер, то L λ: = ⋃ α < λ L α. {\displaystyle L_{\lambda }:=\bigcup _{\alpha <\lambda }L_{\alpha }.}L _ {\ lambda}: = \ bigcup _ {\ alpha <\ lambda } L _ {\ alpha}. Здесь α<λозначает, что αпредшествует λ.
  • L: = ⋃ α ∈ O rd L α. {\ displaystyle L: = \ bigcup _ {\ alpha \ in \ mathbf {Ord}} L _ {\ alpha}.}L: = \ bigcup _ {\ alpha \ in \ mathbf {Ord}} L _ {\ alpha}. Здесь Ord обозначает класс всех ординалов.

Если zявляется элементом Lα, то z= {y| yLαи yz} ∈ Def (Lα) = Lα + 1. Итак, Lα- это подмножество Lα+1, которое является подмножеством набора мощности из Lα. Следовательно, это башня вложенных транзитивных множеств. Но Lсам по себе является надлежащим классом.

Элементы Lназываются «конструктивными» наборами; и Lсам по себе является «конструируемой вселенной». «аксиома конструктивности », также известная как «V= L», гласит, что каждый набор (из V) является конструктивным, т.е. в L.

Дополнительные сведения о наборах Lα

Эквивалентное определение для Lα:

Для любого порядкового номера α, L α = ⋃ β < α Def ⁡ ( L β) {\displaystyle L_{\alpha }=\bigcup _{\beta <\alpha }\operatorname {Def} (L_{\beta })\!}L_ {\ alpha} = \ bigcup _ {\ beta <\ alpha} \ operatorname {Def} (L _ {\ beta}) \! .

Для любого конечного порядкового номера 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 α ∪ {L α} {\ displaystyle L _ {\ alpha } \ cup \ {L _ {\ alpha} \}}L _ {\ alpha} \ cup \ {L _ {\ alpha} \} под набором из девяти явных функций, аналогичных операциям Гёделя. Это определение не ссылается на определимость.

Все арифметические подмножества ωи отношения на ωпринадлежат Lω+1(поскольку арифметическое определение дает единицу в Lω+1). И наоборот, любое подмножество ω, принадлежащее Lω+1, является арифметическим (поскольку элементы Lωмогут быть закодированы натуральными числами таким образом, что ∈ определимо, то есть арифметически). С другой стороны, Lω+2уже содержит некоторые неарифметические подмножества ω, такие как набор (кодирование натуральных чисел) истинных арифметических утверждений (это можно определить из Lω+1, поэтому он находится в Lω+2).

Все гиперарифметические подмножества ωи отношения на ωпринадлежат L ω 1 CK {\ displaystyle L _ {\ omega _ {1} ^ {\ mathrm {CK}}}}L _ {\ omega _ {1} ^ {\ mathrm {CK}}} (где ω 1 CK {\ displaystyle \ omega _ {1} ^ {\ mathrm {CK}}}\ omega _ {1} ^ {\ mathrm {CK}} обозначает порядковый номер Чёрча – Клини ) и, наоборот, любое подмножество ω, принадлежащее L ω 1 CK {\ displaystyle L _ {\ omega _ {1} ^ {\ mathrm {CK}}}}L _ {\ omega _ {1} ^ {\ mathrm {CK}}} является гиперарифметическим.

L- это стандартная внутренняя модель ZFC

L- это стандартная модель, т.е. это транзитивный класс, и он использует реальную взаимосвязь элементов, поэтому она хорошо обоснована.. L- это внутренняя модель, т.е. она содержит все порядковые номера Vи не имеет дополнительных наборов, кроме тех, что в V, но это может быть надлежащий подкласс V. L, является моделью ZFC, что означает, что он удовлетворяет следующим аксиомам :

  • Аксиома регулярности : Каждый непустой набор xсодержит некоторый элемент yтакой, что xи yявляются несвязанными nt sets.
(L, ∈) является подструктурой (V, ∈), что хорошо обосновано, поэтому Lхорошо обосновано. В частности, если yxL, то по транзитивности L, yL. Если мы используем тот же y, что и в V, тогда он все еще не пересекается с x, потому что мы используем то же отношение элементов и не добавлялись новые наборы.
Если xи yнаходятся в Lи они имеют одинаковые элементы в L, то по транзитивности Lони имеют одинаковые элементы (в V). Таким образом, они равны (в Vи, следовательно, в L).
{} = L0= {y| yLy=y} ∈ L1. Итак, {} ∈ L. Поскольку отношение элементов такое же и новые элементы не были добавлены, это пустой набор L.
Если xLи yL, то существует некоторый порядковый номер αтакой, что xLαи yLα. Тогда {x,y} = {s| sLαи (s= xили s= y)} ∈ Lα+1. Таким образом, {x,y} ∈ Lи он имеет то же значение для Lкак для V.
  • Аксиома объединения : для любого набора xсуществует набор y, элементы которого в точности являются элементами элементов x.
Если xLα, то его элементы находятся в Lα, а их элементы также находятся в Lα. Итак, yявляется подмножеством Lα. y= {s| sLαи существует zxтакое, что sz} ∈ Lα+1. Таким образом, yL.
  • Аксиома бесконечности : существует набор xтакой, что {} находится в xи всякий раз, когда yнаходится в x, как и объединение y ∪ {y} {\ displaystyle y \ чашка \ {y \}}{\ displaystyle y \ cup \ {y \}} .
Из трансфинитной индукции мы получаем каждый порядковый номер αLα+1. В частности, ωLω+1и, следовательно, ωL.
  • Аксиома разделения : Для любого множества Sи любого предложения P(x,z1,..., zn), {x| xSи P(x,z1,..., zn)} - это множество.
Путем индукции по подформулам Pможно показать, что существует αтакое, что Lαсодержит Sи z1,..., znи (Pистинно в Lαтогда и только тогда, когда Pистинно в L(это называется «принцип отражения »)). Таким образом, {x| xSи P(x,z1,..., zn) содержится в L} = {x| xLαи xSи P(x,z1,..., zn) выполняется в Lα} ∈ Lα+1. Таким образом, подмножество находится в L.
  • Аксиоме замены : для любого набора Sи любого отображения (формально определенного как предложение P(x,y), где P(x,y) и P (x,z) означает y= z), {y| существует xSтакой, что P(x,y)} является набором.
Пусть Q(x,y) будет формулой, которая относит Pк L, т.е. все кванторы в Pограничены L. Q- это гораздо более сложная формула, чем P, но это все еще конечная формула, и поскольку Pбыло отображением более L, Qдолжно быть отображением на V; таким образом, мы можем применить замену в Vна Q. Итак, {y| yLи существует xSтакой, что P(x,y) выполняется в L} = {y| существует xSтакой, что Q(x,y)} является набором в Vи подклассом L. Снова используя аксиому замены в V, мы можем показать, что должно быть αтакое, что этот набор является подмножеством LαLα+1. Затем можно использовать аксиому разделения в L, чтобы закончить показ, что это элемент L.
. В общем, некоторые подмножества набора в Lне будут в L. Таким образом, весь набор мощности набора в Lобычно не будет в L. Здесь нам нужно показать, что пересечение набора мощности с Lнаходится в L. Используйте замену в V, чтобы показать, что существует такое α, что пересечение является подмножеством Lα. Тогда пересечение равно {z| zLα, а zявляется подмножеством x} ∈ Lα+1. Таким образом, требуемый набор находится в L.
  • Аксиоме выбора : Для данного набора xвзаимно непересекающихся непустых наборов существует набор y(набор выбора для x), содержащий ровно один элемент из каждого члена x.
. Можно показать, что существует определимая упорядоченность L, определение которой работает таким же образом в Lсам. Таким образом, каждый выбирает наименьший элемент каждого члена xдля формирования y, используя аксиомы объединения и разделения в L.

. Обратите внимание, что доказательство того, что Lявляется модель ZFC требует только, чтобы Vбыл моделью ZF, т.е. мы не предполагаем, что аксиома выбора в V.

Lявляется абсолютной и минимальной

Если 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.

Lи большие кардиналы

Начиная с Ord ⊂ LV, свойства порядковых чисел, которые зависят от отсутствия функции или другой структуры (например, Π 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. Некоторые из них связаны с «тонкой структурой» 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требует (по крайней мере, как показано выше) использования принципа отражения для L. Здесь мы описываем такой принцип.

Путем индукции по n< ωмы можем использовать ZF в V, чтобы доказать, что для любого порядкового номера αсуществует порядковый номер β>αтакой, что для любого предложение P(z1,..., zk) с z1,..., zkв Lβи содержащее менее nсимволов (считая постоянный символ для элемента Lβкак один символ) мы получаем, что P(z1,..., zk) выполняется в Lβтогда и только тогда, когда оно выполняется в L.

. Обобщенная гипотеза континуума верна в L

Пусть S ∈ L α {\ displaystyle S \ in L _ {\ alpha}}S \ in L _ {\ alpha} , и пусть Tбудет любым конструктивным подмножеством S. Тогда есть некоторый βс T ∈ L β + 1 {\ displaystyle T \ in L _ {\ beta +1}}T \ in L _ {\ beta +1} , поэтому T = {x ∈ L β: x ∈ S ∧ Φ (x, zi)} = {x ∈ S: Φ (x, zi)} {\ displaystyle T = \ {x \ in L _ {\ beta}: x \ in S \ клин \ Phi (x, z_ {i}) \} = \ {x \ in S: \ Phi (x, z_ {i}) \}}T = \ {x \ in L _ {\ beta}: x \ in S \ wedge \ Phi (x, z_ {i}) \} = \ {x \ in S: \ Phi (x, z_ {i}) \} для некоторой формулы Φи некоторые элементы zi {\ displaystyle z_ {i}}z_ {i} взяты из L β {\ displaystyle L _ {\ beta}}L_ {\ beta} . По нисходящей теореме Лёвенгейма – Сколема и коллапсу Мостовского должно существовать некоторое транзитивное множество K, содержащее L α {\ displaystyle L _ {\ alpha} }L _ {\ alpha} и некоторые wi {\ displaystyle w_ {i}}w_ {i} , имеющие ту же теорию первого порядка, что и L β {\ displaystyle L _ {\ beta} }L_ {\ beta} с wi {\ displaystyle w_ {i}}w_ {i} , замененным на zi {\ displaystyle z_ {i}}z_ {i} ; и этот Kбудет иметь тот же кардинал, что и L α {\ displaystyle L _ {\ alpha}}L _ {\ alpha} . Поскольку V = L {\ displaystyle V = L}V = L верно в L β {\ displaystyle L _ {\ beta}}L_ {\ beta} , это также верно в K, поэтому K = L γ {\ displaystyle K = L _ {\ gamma}}K = L _ {\ gamma} для некоторого γ, имеющего тот же кардинал, что и α. И T = {x ∈ L β: x ∈ S ∧ Φ (x, zi)} = {x ∈ L γ: x ∈ S ∧ Φ (x, wi)} {\ displaystyle T = \ {x \ в L _ {\ beta}: x \ in S \ wedge \ Phi (x, z_ {i}) \} = \ {x \ in L _ {\ gamma}: x \ in S \ wedge \ Phi (x, w_ { i}) \}}T = \ {x \ in L _ {\ beta}: x \ in S \ wedge \ Phi (x, z_ {i}) \} = \ {x \ in L _ {\ gamma}: x \ in S \ wedge \ Phi (x, w_ {i}) \} потому что L β {\ displaystyle L _ {\ beta}}L_ {\ beta} и L γ {\ displaystyle L _ {\ gamma}}L _ {\ gamma} придерживаются той же теории. Итак, Tфактически находится в L γ + 1 {\ displaystyle L _ {\ gamma +1}}L _ {\ gamma +1} .

Итак, все конструктивные подмножества бесконечного множества Sимеют занимает (самое большее) такое же кардинальное число κ, что и ранг S; отсюда следует, что если δявляется начальным порядковым номером для κ, то L ∩ P (S) ⊆ L δ {\ displaystyle L \ cap {\ mathcal {P}} (S) \ substeq L _ {\ delta}}{\ displaystyle L \ cap {\ mathcal {P}} (S) \ substeq L _ {\ delta}} служит «набором мощности» для Sв пределах L. Таким образом, этот «набор мощности» L ∩ P (S) ∈ L δ + 1 {\ displaystyle L \ cap {\ mathcal {P}} (S) \ in L _ {\ delta +1}}{\ displaystyle L \ cap {\ mathcal {P}} (S) \ in L _ {\ delta +1}} . А это, в свою очередь, означает, что «набор мощности» Sимеет кардинал не более || δ||. Предполагая, что Sсам имеет кардинал κ, тогда "набор мощности" должен иметь кардинал точно κ. Но это как раз и есть обобщенная гипотеза континуума, относящаяся к L.

Конструируемые множества можно определить с помощью ординалов

Существует формула теории множеств, которая выражает идею, что X= Lα. В нем есть только свободные переменные для Xи α. Используя это, мы можем расширить определение каждого конструктивного множества. Если sLα+1, то s= {y| yLαи Φ(y,z1,..., zn) выполняется в (Lα, ∈)} для некоторой формулы Φи некоторые z1,..., znв Lα. Это эквивалентно заявлению: для всех y, ysтогда и только тогда, когда [существует Xтакое, что X=Lαи yXи Ψ(X,y,z1,..., zn)] где Ψ(X,...) является результатом ограничения каждого квантификатора в Φ(...) до X. Обратите внимание, что каждый zkLβ+1для некоторого β< α. Объедините формулы для zс формулой для sи примените экзистенциальные квантификаторы к zснаружи, и вы получите формулу, определяющую конструктивный набор sс использованием только порядковых номеров α, которые появляются в таких выражениях, как X= Lαв качестве параметров.

Пример: набор {5, ω} является конструктивным. Единственное множество sудовлетворяет формуле:

∀ y (y ∈ s ⟺ (y ∈ L ω + 1 ∧ (∀ a (a ∈ y ⟺ a ∈ L 5 ∧ O rd (а)) ∨ ∀ б (б ∈ у ⟺ б ∈ L ω ∧ O rd (б))))) {\ Displaystyle \ forall y (у \ в s \ iff (у \ в L _ {\ омега +1}) \ land (\ forall a (a \ in y \ iff a \ in L_ {5} \ land Ord (a)) \ lor \ forall b (b \ in y \ iff b \ in L _ {\ omega} \ land Ord (b)))))}{\ displaystyle \ forall y (y \ in s \ iff (y \ in L _ {\ omega +1} \ land (\ forall a (a \ in y \ iff a \ in L_ {5} \ land Ord (a)) \ lor \ forall b (b \ in y \ iff b \ in L _ {\ omega} \ land Ord (b)))))} ,

где O rd (a) {\ displaystyle Ord (a)}Ord(a)является сокращением от:

∀ c ∈ a (∀ d ∈ c (d ∈ a ∧ ∀ e ∈ d (e ∈ c))). {\ displaystyle \ forall c \ in a (\ forall d \ in c (d \ in a \ land \ forall e \ in d (e \ in c))).}{\ displaystyle \ forall c \ in a (\ forall d \ in c (d \ in a \ land \ forall e \ in d (e \ in c))).}

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

Относительная конструктивность

Иногда желательно найти такую ​​узкую модель теории множеств, как L, но которая включает или находится под влиянием набора, который не является конструктивным.. Это порождает концепцию относительной конструктивности, из которой существует две разновидности, обозначенные L(A) и L[A].

Класс L(A) для неконструируемого множества Aявляется пересечением всех классов, которые являются стандартными моделями теории множеств и содержат Aи все порядковые числительные.

L(A) определяется трансфинитной рекурсией следующим образом:

  • L0(A) = наименьшее транзитивное множество, содержащее Aв качестве элемента, то есть транзитивное замыкание {A}.
  • Lα+1(A) = Def (Lα(A))
  • Если λ- предельный порядковый номер, то L λ (A) = ⋃ α < λ L α ( A) {\displaystyle L_{\lambda }(A)=\bigcup _{\alpha <\lambda }L_{\alpha }(A)\!}L _ {{\ lambda}} (A) = \ bigcup _ {{\ alpha <\ lambda}} L _ {{\ alpha}} (A) \! .
  • L (A) = ⋃ α L α (A) {\ displaystyle L (A) = \ bigcup _ {\ alpha} L _ {\ alpha} (A) \!}L (A) = \ bigcup _ {{\ alpha}} L _ {{\ alpha}} (A) \! .

Если L(A) содержит хорошо упорядоченное транзитивное замыкание A, то это может быть расширенным до хорошего порядка L(A). В противном случае аксиома выбора потерпит неудачу в L(A).

Типичный пример - L (R) {\ displaystyle L (\ mathbb {R})}{\ displaystyle L (\ mathbb {R})} , самая маленькая модель, содержащая все действительные числа, которая широко используется в современной теории описательных множеств.

Класс L[A] - это класс множеств, на построение которых влияет A, где Aможет быть (предположительно не- конструктивный) набор или собственный класс. В определении этого класса используется Def A(X), который аналогичен Def (X), за исключением того, что вместо оценки истинности формул Φв модели (X, ∈), используется модель (X, ∈, A), где A- унарный предикат. Предполагаемая интерпретация A(y) - yA. Тогда определение L[A] в точности соответствует определению . Lтолько с Def, замененным на Def A.

L[A] всегда является моделью аксиомы выбора. Даже если Aявляется набором, Aне обязательно сам является членом L[A], хотя всегда так, если Aявляется набором порядковых номеров.

Наборы в L(A) или L[A] обычно не являются конструктивными, и свойства этих моделей могут сильно отличаться от свойств самого L.

См. Также

Примечания

  1. ^Gödel 1938.
  2. ^Барвайз 1975, стр. 60 (комментарий после доказательства теоремы 5.9)

Ссылки

Последняя правка сделана 2021-05-15 10:39:19
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте