1. konn-san.com 建設予定地
  2. 数学関係をまとめておくばしょ
  3. 集合論の地質学1：概観と基礎モデルの定義可能性

集合論の地質学1：概観と基礎モデルの定義可能性 konn-san.com

  • このエントリーをはてなブックマークに追加
posted on 2017/11/09 20:05:31 JST

概要

強制法は集合論において様々な命題の無矛盾性を示すのに用いられる強力なツールです． 近年では強制法によってどんな宇宙を創り出せるのか？という集合論的多宇宙（set-theoretic multiverse）や，逆に与えられた宇宙が，何らかの内部モデルの強制拡大になっているかを調べる集合論の地質学(set-theoretic geology)の研究が盛んになってきています．

このシリーズでは，後者の分野について基本定理を二つ紹介します．一つはLaver, Woodinらによって独立に証明され，Hamkinsら [1]が強化した基礎モデルの定義可能性定理であり，もう一つはつい最近薄葉さん  [2]によって証明された基礎モデルの下方有向性原理です．

シリーズ一覧はこちら：

  1. 概観と基礎モデルの定義可能性（今回）

  2. マントルの構造と下方有向性原理

  3. Bukovskýの定理──強制拡大の特徴付け

  4. 下方有向性原理の証明

[PDF版 ]

概観・集合論の地質学

Fuchs–Hamkins–Reitz  [1]で提案された集合論の地質学（set-theoretic geology）は，与えられた集合論の宇宙VVがどんな内部モデルの強制拡大として得られるかを研究する分野である． 標語的ないいかたをすれば，

集合論の宇宙VVの基礎モデル全体は，強制拡大についてどんな順序構造を持ち得るか？

を研究するのが集合論の地質学である． 強制法の基礎については後ほど軽く復習するが，一応「基礎モデル」の定義を与えておく：

VVをZF\mathrm{ZF}の推移的モデルとする．

  • M⊆VM \subseteq VがVVの内部モデル⇔def\xLeftrightarrow{\mathrm{def}} MMはVVの順序数を全て含む推移的モデルでM⊨ZFM \models \mathrm{ZF}.

  • M⊆VM \subseteq VがVVの基礎モデル⇔def\xLeftrightarrow{\mathrm{def}} MMはVVの内部モデルで，擬順序P∈M\mathbb{P} \in Mと(M,P)(M, \mathbb{P})-生成フィルターG∈VG \in Vが存在してV=M[G]V = M[G]となる． このときV=M[G]V = M[G]と書き，VVをMMのGGによる強制拡大と呼ぶ．

直感的にいえば，MMがVVの基礎モデルである，あるいはVVがMMの強制拡大である，といのは，VVがP∈M\mathbb{P} \in Mが近似しているMM上の超越的なオブジェクトGGを持ちVVを含む最小の推移的モデルになっている事を意味する． 無矛盾性証明においてはVVを外側に拡張していく事を考えるが，集合論の地質学においては，「この宇宙はどんな基礎モデルの強制拡大になっているのか？」という問題からVVそのもの性質を探っていくことになる．

この問題を探るに当たり，最初に考えなくてはならないのは，基礎モデルは定義可能か？という事である． 実際，集合論の地質学の出発点となったのは，LaverとWoodinによって独立に示された次の定理である：

VVをZFC\mathrm{ZFC}の推移的モデル，P∈V\mathbb{P} \in Vを擬順序，GGを(V,P)(V, \mathbb{P})-生成フィルターとする． この時，V[G]V[G]においてVVに属するパラメータを使ってVVは一階の論理式で定義可能． 即ち，次を満たす論理式φ(x,y)\varphi(x, y)とr∈Vr \in Vが存在： V[G]⊨V={ x  |  φ(x,r) }.V[G] \models V = \left\{\: x \;\middle|\; \varphi(x, r) \:\right\}.

この結果は単に一つの強制拡大について述べているだけだが，後にFuchs–Hamkins–Reitzらによって全ての基礎モデルが一様に定義出来ることが明らかにされた：

VVをZFC\mathrm{ZFC}のモデルとする． 次を満たす一階論理式φ(x,v)\varphi(x, v)が存在する：

  1. 任意のr∈Vr \in Vの対し，Wr:={ x∈V  |  φ(x,r) }W_r \mathrel{:=} \left\{\: x \in V \;\middle|\; \varphi(x, r) \:\right\}はZFC\mathrm{ZFC}を満たすVVの基礎モデルでr∈Wrr \in W_r．

  2. 任意のZFC\mathrm{ZFC}を満たす基礎モデルW⊆VW \subseteq Vに対し，r∈Wr \in WでW=WrW = W_rとなる物が存在．

  3. “VVはP∈Wr\mathbb{P} \in W_rなる(P,Wr)(\mathbb{P}, W_r)-生成フィルターGGによる強制拡大Wr[G]W_r[G]である”は(r,P,G)(r, \mathbb{P}, G)をパラメータとして定義可能．

  4. WrW_rの定義は下方絶対的：Wr⊆U⊆VW_r \subseteq U \subseteq Vなる推移的モデルU⊨ZFCU \models \mathrm{ZFC}に対し，WrU=WrVW_r^U = W_r^V.

  5. WrW_rの定義は上方絶対的：r∈V⊆V[G]r \in V \subseteq V[G]に対し，s∈Vs \in VでWr=WsV=WsV[G]W_r = W_s^V = W_s^{V[G]}となる物が存在．

これによって，「VVはいくつ基礎モデルを持つか？」といったような問題が考えられるようになる． 分析上自然に持ち上がる概念を次に定義する：

  1. W⊆VW \subseteq Vが岩盤(bedrock) ⇔def\xLeftrightarrow{\mathrm{def}} WWはVVの極小基礎モデル．

  2. W⊆VW \subseteq Vが堅い岩盤(solid bedrock) ⇔def\xLeftrightarrow{\mathrm{def}} WWはVVの最小の基礎モデル．

  3. VVの基礎モデル全体の共通部分をVVのマントル(mantle)と呼びM\mathbb{M}で表す： M:=⋂rWr.\mathbb{M} \mathrel{:=} \bigcap_r W_r.

  4. VVの全ての強制拡大の基礎モデルの共通部分gMg\mathbb{M}をVVの生成マントル(generic mantle)と呼ぶ： x∈gM⇔def∀P∈V 1P⊩“xˇ∈M˙V[G]”.x \in g\mathbb{M} \xLeftrightarrow{\mathrm{def}} \forall \mathbb{P} \in V \: \mathbb{1}_{\mathbb{P}} \Vdash\text{“}\check{x} \in \dot{\mathbb{M}}^{V[G]}\text{”}.

  5. VVは集合個しか基礎モデルを持たない⇔def\xLeftrightarrow{\mathrm{def}} ある集合XXがあって，任意のr∈Vr \in Vに対しr′∈Xr' \in XでWr=Wr′W_r = W_{r'}となるものが存在する．

  6. VVは真クラス個の基礎モデルを持つ⇔def\xLeftrightarrow{\mathrm{def}} 上が不成立．

極端な仮説として次の公理を考えることが出来る：

基礎モデル公理GA\mathrm{GA}は次の主張である：

VVは真の基礎モデルを持たない．即ち，任意のr∈Vr \in Vに対しWr=VW_r = V．

特にGA  ⟺  “V\mathrm{GA} \iff \mathopen{\text{``}}VはVVの（堅い）岩盤”   ⟺  V=M\iff V = \mathbb{M}．

直感的には，基礎モデル公理は，VVが極端に小さいか極端に大きいかのどちらかであることを意味している． 例えば，LLを最小のZF(C)\mathrm{ZF}(\mathrm{C})のモデルとすれば，当然L⊨GAL \models \mathrm{GA} が成り立つ． しかし，宇宙の構造は豊かであればあるほどよい，という立場に立てば，VVはLLから離れているほどよく，GA\mathrm{GA}はむしろ「VVは内部モデルから強制法で到達出来ないほど極端に離れている」という事を意図したものだと思える． たとえば，LLの情報をコードした0♯0^\sharpという集合の存在を仮定すると，L[0♯]L[0^\sharp]はGA\mathrm{GA}を満たすモデルになっている． これは直感的には，0♯0^\sharpの持つ情報がLLからの強制拡大では得られないほど超越的なものであることによる．

上記で色々な定義をしたが，幾つか自然と湧き上がってくる疑問がある．

マントルM\mathbb{M}はZF\mathrm{ZF}ないしZFC\mathrm{ZFC}のモデルになるか？

生成マントルgMg\mathbb{M}とマントルM\mathbb{M}は一致するか？

VVは複数の岩盤を持ち得るか？

こうした問題は，次に掲げる基礎モデルの下方有向性仮説DDG\mathrm{DDG}および強い有向性仮説から解決出来ることはHamkinsら [1]によって指摘されていた：

VVをZFC\mathrm{ZFC}のモデルとする．

  1. 基礎モデルの下方有向性仮説（The Downward Directed Grounds hypothesis, DDG\mathrm{DDG}）は次の主張：

    任意の基礎モデルW,W′⊂VW, W' \subset Vに対し，U⊆W∩W′U \subseteq W \cap W'となる基礎モデルU⊆VU \subseteq Vが存在する．

  2. 強い下方有向性仮説（strong DDG\mathrm{DDG}, sDDG\mathrm{sDDG}）とは次の主張である：

    任意の集合XXに対し，{ Wr  |  r∈X }\left\{\: W_r \;\middle|\; r \in X \:\right\}の共通の基礎モデルが存在する．

  1. DDG\mathrm{DDG}が成り立つならM⊨ZF\mathbb{M} \models \mathrm{ZF}. sDDG\mathrm{sDDG}が成り立つならM⊨ZFC\mathbb{M} \models \mathrm{ZFC}.

  2. gMg\mathbb{M}は強制法で不変のクラス．

  3. VVの全ての強制拡大でDDG\mathrm{DDG}が成り立つならM=gM\mathbb{M} = g\mathbb{M}.

知られている内部モデルはDDG\mathrm{DDG}を満たすらしい事はFHRで指摘されていたが，流石にZFC\mathrm{ZFC}では証明出来ないだろうと考えられ，反例のモデルの研究がされていた． しかし，薄葉 [2]は強いDDG\mathrm{DDG}はZFC\mathrm{ZFC}の定理であることを示した：

ZFC⊢sDDG\mathrm{ZFC} \vdash \mathrm{sDDG}.

これが集合論の地質学における二つめの基本定理である． この事から，上に掲げた問題は次のようにして解決されることになる：

  1. M⊨ZFC\mathbb{M} \models \mathrm{ZFC}, gM=Mg\mathbb{M} = \mathbb{M}.

  2. M\mathbb{M}は強制法で不変のクラス．

  3. VVは高々一つの岩盤しか持たない． より詳しく，次は全て同値になる：

    1. VVの任意の強制拡大V[G]V[G]に対し，V[G]V[G]の基礎モデルは「集合個」しかない．

    2. VVは集合個しか基礎モデルを持たない．

    3. M\mathbb{M}はVVの任意の強制拡大の堅い岩盤．

    4. M\mathbb{M}はVVの堅い岩盤．

    5. M\mathbb{M}はVVの基礎モデル．

    6. VVは岩盤を持つ．

次の補題が必要になる：

GGをVV上のB\mathbb{B}-生成フィルター，W⊨ZFCW \models \mathrm{ZFC}を推移的モデル，V⊆W⊆V[G]V \subseteq W \subseteq V[G]とする． このときB\mathbb{B}の完備部分Boole代数B0\mathbb{B}_0でW=V[G∩B0]W = V[G \cap \mathbb{B}_0]となる物が存在し，更にV[G]V[G]はWWの生成拡大となる．

Proof. (1), (2): 補題 1より．

(3): 1  ⟹  2\href{\#item:gen-set-many-grounds}{1} \implies \href{\#item:set-many-grounds}{2}は明らか． 2  ⟹  3\href{\#item:set-many-grounds}{2} \implies \href{\#item:gen-M-solid-ground}{3}: VVが集合個しか基礎モデルを持たないなら，sDDG\mathrm{sDDG}よりM\mathbb{M}はVVの岩盤となる． このときV⊆V[G]V \subseteq V[G]をVVの強制拡大とすると， (1)よりMV=gM⊆V⊆V[G]\mathbb{M}^V = g\mathbb{M} \subseteq V \subseteq V[G]は強制拡大なので,M\mathbb{M}はV[G]V[G]の基礎モデルである． 特にgMg\mathbb{M}の定義からM=gM\mathbb{M} = g\mathbb{M}はV[G]V[G]の全ての基礎モデルの共通部分に含まれているから，特にgMg\mathbb{M}はV[G]V[G]の堅い岩盤となる． 3  ⟹  4  ⟹  5  ⟹  6\href{\#item:gen-M-solid-ground}{3} \implies \href{\#item:M-solid-ground}{4} \implies \href{\#item:M-is-ground}{5} \implies \href{\#item:V-has-bedrock}{6}は明らか．

6  ⟹  5\href{\#item:V-has-bedrock}{6} \implies \href{\#item:M-is-ground}{5}：W⊆VW \subseteq VをVVの岩盤とする． この時M=W\mathbb{M} = Wとなる事を示せばよい． M⊆W\mathbb{M} \subseteq Wは明らかなのでW⊆MW \subseteq \mathbb{M}を示す． もしM⊊W\mathbb{M} \subsetneq Wなら，M\mathbb{M}の定義から基礎モデルW′⊆VW' \subseteq Vとx∈W∖W′x \in W \setminus W'となるものが取れる． DDG\mathrm{DDG}よりW,W′W, W'の共通の基礎モデルWˉ⊆W∩W′\bar{W} \subseteq W \cap W'が取れるが，WWの極小性よりWˉ=W\bar{W} = Wとなり，x∈W=Wˉ⊆W′x \in W = \bar{W} \subseteq W'を得るが，これはx∉W′x \notin W'に反する．

5  ⟹  3\href{\#item:M-is-ground}{5} \implies \href{\#item:gen-M-solid-ground}{3}: M\mathbb{M}がVVの基礎モデルだとする． この時V⊆V[G]V \subseteq V[G]を任意の強制拡大とすれば，MV⊆V[G]\mathbb{M}^V \subseteq V[G]はV[G]V[G]の基礎モデルとなっている． ここで任意に基礎モデルW⊆V[G]W \subseteq V[G]を取ってM⊆W\mathbb{M} \subseteq Wとなる事が言えればよい． いまV[G]V[G]でDDG\mathrm{DDG}が成り立つので，Wˉ⊆W∩M\bar{W} \subseteq W \cap \mathbb{M}となる基礎モデルが取れる． このときWˉ⊆M⊆V\bar{W} \subseteq \mathbb{M} \subseteq Vだから，特にWˉ\bar{W}はVVの基礎モデルである． するとMV\mathbb{M}^Vの定義からM⊆Wˉ⊆W\mathbb{M} \subseteq \bar{W} \subseteq Wを得る．

3  ⟹  1\href{\#item:gen-M-solid-ground}{3} \implies \href{\#item:gen-set-many-grounds}{1}：V=M[H]V = \mathbb{M}[H]となるQ∈M\mathbb{Q} \in \mathbb{M}と(M,Q)(\mathbb{M}, \mathbb{Q})-生成フィルターHHを固定しておく． 任意にP∈V\mathbb{P} \in Vによる強制拡大V⊆V[G]V \subseteq V[G]を取れば，M\mathbb{M}はV[G]V[G]の堅い岩盤になっているので，任意の基礎モデルW⊆V[G]W \subseteq V[G]についてM⊆W⊆V[G]\mathbb{M} \subseteq W \subseteq V[G]が成り立つ． 特にV[G]=M[H∗G]V[G] = \mathbb{M}[H \ast G]となっているから，M⊆W⊆M[H∗G]\mathbb{M} \subseteq W \subseteq \mathbb{M}[H \ast G]より事実 4からW=M[(H∗G)∩B0]W = \mathbb{M}[(H \ast G) \cap \mathbb{B}_0]となるようなB=B(Q∗P)\mathbb{B} = \mathbb{B}(\mathbb{Q} \ast \mathbb{P})の完備部分代数B0\mathbb{B}_0が存在する． 特に，このようなB0\mathbb{B}_0は高々22∣Q∗P∣2^{2^{\left|\mathbb{Q} \ast\mathbb{P}\right|}}-個しか存在しないので，V[G]V[G]の基礎モデルは高々集合個しか存在しない．

次回以降，最初の定義可能性の議論とsDDG\mathrm{sDDG}の証明を追い掛けていくことにする．

予備知識：5分でわかる強制法

5分ではわからない．わからないので，詳しくはKunen [3]などの教科書か，拙稿「Boole値モデルと強制法」参照のこと．

  • A⊆P\mathcal{A} \subseteq \mathbb{P}が反鎖⇔def\xLeftrightarrow{\mathrm{def}}任意のa,b∈Aa, b \in \mathcal{A}について，p≤a,bp \leq a, bとなるp∈Pp \in \mathbb{P}が存在しない．

  • 擬順序P\mathbb{P}がκ\kappa-c.c.を満たす⇔def\xLeftrightarrow{\mathrm{def}}任意の反鎖A⊆P\mathcal{A} \subseteq \mathbb{P}の濃度はκ\kappa未満．

擬順序P\mathbb{P}がκ\kappa-c.c. を持つなら，P\mathbb{P}はκ\kappa以上の基数を保つ． 特にP\mathbb{P}は∣P∣+|\mathbb{P}|^+以上の基数を全て保つ．

P\mathbb{P}がκ\kappa-c.c. を満たすなら，任意のA∈[On]<κ∩V[G]A \in [\mathord{\mathrm{On}}]^{<\kappa} \cap V[G]に対し，B∈[On]<κ∩VB \in [\mathord{\mathrm{On}}]^{<\kappa} \cap VでA⊆BA \subseteq Bを満たすものが存在する．

P∈V\mathbb{P} \in V, GG: (V,P)(V, \mathbb{P})-生成的，V⊆U⊆V[G]V \subseteq U \subseteq V[G], V,U⊨ZFCV, U \models \mathrm{ZFC}とする． このときB\mathbb{B}の完備部分代数B0⋖B\mathbb{B}_0 \lessdot \mathbb{B}でU=V[G∩B0]U = V[G \cap \mathbb{B}_0]となり，更にV[G]V[G]がUUの強制拡大となる物が存在する．

基礎モデルの定義可能性

本節では前掲の定義可能性定理を示す：

VVをZFC\mathrm{ZFC}のモデルとする． 次を満たす一階論理式φ(x,v)\varphi(x, v)が存在する：

  1. 任意のr∈Vr \in Vの対し，Wr:={ x∈V  |  φ(x,r) }W_r \mathrel{:=} \left\{\: x \in V \;\middle|\; \varphi(x, r) \:\right\}はZFC\mathrm{ZFC}を満たすVVの基礎モデルでr∈Wrr \in W_r．

  2. 任意のZFC\mathrm{ZFC}を満たす基礎モデルW⊆VW \subseteq Vに対し，r∈Wr \in WでW=WrW = W_rとなる物が存在．

  3. “VVはP∈Wr\mathbb{P} \in W_rなる(P,Wr)(\mathbb{P}, W_r)-生成フィルターGGによる強制拡大Wr[G]W_r[G]である”は(r,P,G)(r, \mathbb{P}, G)をパラメータとして定義可能．

  4. WrW_rの定義は下方絶対的：Wr⊆U⊆VW_r \subseteq U \subseteq Vなる推移的モデルU⊨ZFCU \models \mathrm{ZFC}に対し，WrU=WrVW_r^U = W_r^V.

  5. WrW_rの定義は上方絶対的：r∈V⊆V[G]r \in V \subseteq V[G]に対し，s∈Vs \in VでWr=WsV=WsV[G]W_r = W_s^V = W_s^{V[G]}となる物が存在．

これは次のような戦略で示される：

  1. V⊆V[G]V \subseteq V[G]が強制拡大の時，VVはV[G]V[G]に対して「良い性質」を持つ内部モデルとなる．

  2. 「良い性質」を持つ内部モデルには或る種の一意性が成り立つ．

  3. その一意性を使って「良い性質」を持つ内部モデルを列挙する．

  4. その中からZFC\mathrm{ZFC}を満たし基礎モデルになっている物だけを取り出す．

  5. 余ったパラメータで定義されるWrW_rはVVを返すようにしておく．

その「良い性質」は次で与えられる：

以下W⊆VW \subseteq Vを推移的モデル，κ\kappaをVVにおける正則基数とする．

  1. W⊆VW \subseteq Vがκ\kappa-被覆性質（κ\kappa-covering property; κ\kappa-CP）を満たす⇔def\xLeftrightarrow{\mathrm{def}}任意のx∈[W]<κ∩Vx \in [W]^{<\kappa} \cap Vに対し，y∈[W]<κ∩Wy \in [W]^{<\kappa} \cap Wでx⊆yx \subseteq yを満たすものが取れる．

  2. W⊆VW \subseteq Vがκ\kappa-近似性質（κ\kappa-approximation property; κ\kappa-AP）を満たす⇔def\xLeftrightarrow{\mathrm{def}}任意のx∈P(W)∩Vx \in \mathop{\mathcal{P}}(W) \cap Vに対し，x∩y∈Wx \cap y \in Wが任意のy∈[W]<κ∩Wy \in [W]^{<\kappa} \cap Wについて成り立つなら，x∈Wx \in W.

  3. 正則基数δ∈V\delta \in Vに対し，WWがVVのδ\delta-擬基礎モデル(pseudoground) ⇔def\xLeftrightarrow{\mathrm{def}} (δ+)V=(δ+)W(\delta^+)^V = (\delta^+)^WかつW⊆VW \subseteq Vがδ\delta-被覆性質およびδ\delta-近似性質を持つ．

  4. WWがVVの擬基礎モデル⇔def\xLeftrightarrow{\mathrm{def}}あるVVの正則基数δ∈V\delta \in VがあってWWはVVのδ\delta-擬基礎モデル．

次の補題より，κ\kappa-被覆性質とκ\kappa-近似性質は順序数だけ考えればよい：

  1. V⊆WV \subseteq Wがκ\kappa-被覆性質を持つ⇔def\xLeftrightarrow{\mathrm{def}}任意のx∈[On]<κ∩Vx \in [\mathord{\mathrm{On}}]^{<\kappa} \cap Vに対し，y∈[On]<κ∩Wy \in [\mathord{\mathrm{On}}]^{<\kappa} \cap Wでx⊆yx \subseteq yを満たすものが存在．

  2. V⊆WV \subseteq Wがκ\kappa-近似性質を持つ⇔def\xLeftrightarrow{\mathrm{def}}任意のx∈PV(On)x \in \mathop{\mathcal{P}}^V(\mathord{\mathrm{On}})に対し，もしx∩y∈Wx \cap y \in Wが任意のy∈[On]<κ∩Wy \in [\mathord{\mathrm{On}}]^{<\kappa} \cap Wについて成り立つなら，x∈Wx \in W.

基礎モデルは擬基礎モデルになっている事は次の定理によってわかる1：

P\mathbb{P}を擬順序，GGを(V,P)(V, \mathbb{P})-生成フィルター，∣P∣≤δ|\mathbb{P}| \leq \deltaとする． この時VVはV[G]V[G]の擬基礎モデルとなる． 特に(δ++)V=(δ++)W(\delta^{++})^V = (\delta^{++})^Wであり，V⊆WV \subseteq Wはδ+\delta^+-被覆性質およびδ+\delta^+-近似性質を満たす．

Proof. ∣P∣≤δ|\mathbb{P}| \leq \deltaより補題 2からP\mathbb{P}はδ+\delta^+以上の基数を全て保ち，特に(δ++)V=(δ++)W(\delta^{++})^V = (\delta^{++})^Wとなる． また，補題 3よりV⊆V[G]V \subseteq V[G]がδ+\delta^+-被覆性質を持つのも明らかである．

よって後はδ+\delta^+-近似性質を示せばよい． 対偶を取れば，A∈P(On)∩V[G]A \in \mathop{\mathcal{P}}(\mathord{\mathrm{On}}) \cap V[G]でA∉VA \notin Vを満たすものを取って，h∈[On]≤δ∩Vh \in [\mathord{\mathrm{On}}]^{\leq \delta} \cap VでA∩h∉VA \cap h \notin Vとなるものを探せばよい． そこで⊩“A˙∈P(On)∖V”\Vdash \text{“}\dot{A} \in \mathop{\mathcal{P}}(\mathord{\mathrm{On}}) \setminus V\text{”}かつA˙G=A\dot{A}^G = AとなるA˙∈VP\dot{A} \in V^{\mathbb{P}}を固定する． ∣P∣≤δ|\mathbb{P}| \leq \deltaなのでP={ pξ  |  ξ<δ }\mathbb{P} = \left\{\: p_\xi \;\middle|\; \xi < \delta \:\right\}によりP\mathbb{P}を列挙する． すると，各ξ\xiに対してpα⊩A˙∉Vˇp_\alpha \Vdash \dot{A} \notin \check{V}よりpξ0,pξ1≤pξp_\xi^0, p_\xi^1 \leq p_\xiとαξ∈On\alpha_\xi \in \mathord{\mathrm{On}}でpξ0⊩“αˇξ∉A˙”p_\xi^0 \Vdash\text{“} \check{\alpha}_\xi \notin \dot{A}\text{”}かつpξ1⊩“αˇξ∈A˙”p_\xi^1 \Vdash \text{“}\check{\alpha}_\xi \in \dot{A}\text{”}を満たすものが取れる． もしなければ，pξp_\xiが任意のα\alphaに対しα∈A˙\alpha \in \dot{A}の真偽を決定してしまうので，A′:={ α  |  pξ⊩“αˇ∈A˙” }A' \mathrel{:=} \left\{\: \alpha \;\middle|\; p_\xi \Vdash \text{“}\check{\alpha} \in \dot{A}\text{”} \:\right\}とおけばpξ⊩“A˙=Aˇ′∈Vˇ”p_\xi \Vdash \text{“}\dot{A} = \check{A}' \in \check{V}\text{”}となり，A˙\dot{A}の取り方に反する．

そこでh:={ αξ  |  ξ<δ }h \mathrel{:=} \left\{\: \alpha_\xi \;\middle|\; \xi < \delta \:\right\}とおけば，h∈V∩[On]≤δh \in V \cap [\mathord{\mathrm{On}}]^{\leq \delta}である． ここで，もしh∩A∈Vh \cap A \in Vとすると，pξ∈Gp_\xi \in Gとz∈Vz \in Vでpξ⊩“hˇ∩A˙=zˇ”p_\xi \Vdash \text{“}\check{h} \cap \dot{A} = \check{z}\text{”}となるものが取れる． しかし，取り方からpξ0,pξ1≤pξp_\xi^0, p_\xi^1 \leq p_\xiとαξ\alpha_\xiでpξ0⊩αξ∉A˙p_\xi^0 \Vdash \alpha_\xi \notin \dot{A}かつpξ1⊩αξ∈A˙p_\xi^1 \Vdash \alpha_\xi \in \dot{A}を満たすものが必ずあり，この時hhの定義からpξ1⊩“αˇξ∈zˇ”p_\xi^1 \Vdash \text{“}\check{\alpha}_\xi \in \check{z}\text{”}かつpξ0⊩“αˇξ∉zˇ”p_\xi^0 \Vdash \text{“}\check{\alpha}_\xi \notin \check{z}\text{”}となる． するとΔ0\Delta_0-絶対性よりαξ∈z\alpha_\xi \in zかつαξ∉z\alpha_\xi \notin zとなるが，これは矛盾．

続いてこうした擬基礎モデルがきちんと定義出来ることを見よう． 上で宣言した通り，擬基礎モデルは一つのパラメータで完全に決定することが出来る． そのための議論に十分なZFC\mathrm{ZFC}の部分理論ZFCδ≤κ\mathrm{ZFC}_\delta^{\leq \kappa}を定義する．

ZFCδ∗\mathrm{ZFC}_\delta^*の言語は述語記号∈\inに加え定数記号δ,λ\delta, \lambdaを持ち，公理は以下で与えられる．

  1. ZC−Power\mathrm{ZC}-\mathrm{Power}：内包，対，和集合，無限，基礎，整列定理，

  2. 「δ\deltaは正則基数」，

  3. ≤δ{\leq}\delta-置換公理：任意のf:δ→Vf: \delta \to Vと集合AAに対し像f[A]f[A]が存在．

  4. ≤κ{\leq}\kappa-冪集合公理：任意の集合AAに対し濃度δ\delta以下の部分集合全体からなる集合[A]≤κ[A]^{\leq\kappa}が存在．

  5. P(<κ2)\mathop{\mathcal{P}}({}^{<\kappa} {2})が存在する．

  6. 順序数コード公理：任意の集合AAは順序数α\alphaとその上の二項関係EEにより⟨trcl({A}),∈⟩≃⟨α,E⟩\left\langle \mathop{\mathrm{trcl}}(\left\{ A \right\}), {\in} \right\rangle \simeq \left\langle \alpha, E \right\rangleの形でコード出来る．

また，ZFC≤κ:≡“ZFCκ≤κ+無制限の置換公理”\mathrm{ZFC}^{\leq\kappa} \mathrel{:\equiv} \text{“}\mathrm{ZFC}^{\leq\kappa}_\kappa + \text{無制限の置換公理}\text{”}，ZFCδ:≡“ZFCδ≤δ+冪集合公理”\mathrm{ZFC}_\delta \mathrel{:\equiv} \text{“}\mathrm{ZFC}_\delta^{\leq\delta} + \text{冪集合公理}\text{”}と略記する．

  1. 「推移的集合MMはZFCδ≤κ\mathrm{ZFC}^{\leq\kappa}_\delta（またはZFC≤κ\mathrm{ZFC}^{\leq\kappa}やZFCδ\mathrm{ZFC}_\delta）を満たす」は一つの論理式で記述可能．

  2. χ\chiがχ>2<δ\chi > 2^{<\delta}を満たす強極限基数でθ:=χ+\theta \mathrel{:=} \chi^+ならHχ⊨ZFCδH_\chi \models \mathrm{ZFC}_{\delta}かつHθ⊨ZFC≤δH_\theta \models \mathrm{ZFC}^{\leq\delta}.

  3. 順序数コード公理が与える(α,E)(\alpha, E)さえあれば，どの推移的モデルにおいてもXXは最大限として一意に復元される．

ZFC\mathrm{ZFC}ではなくその部分体系ZFCδ≤κ\mathrm{ZFC}_\delta^{\leq\kappa}を考えるのは，次の一意性定理がZFC\mathrm{ZFC}で証明出来るからである：

κ>δ\kappa > \delta, W,W′,VW, W', VをZFCδ≤δ\mathrm{ZFC}_\delta^{\leq\delta}の推移的モデルとし，W,W′⊆VW, W' \subseteq Vとする． W⊆VW \subseteq V, W′⊆VW' \subseteq Vがそれぞれδ\delta-擬基礎モデルで(<δ2)W=(<δ2)W′({}^{<\delta} {2})^W = ({}^{<\delta} {2})^{W'}が成り立つなら，W=W′W = W'.

特に，ZFCδ∗\mathrm{ZFC}_\delta^*のδ\delta-擬基礎モデルは(<δ2)({}^{<\delta} {2})の値によって一意に決定される．

Proof. まず最初に，δ\delta-近似性質から，PW(δ)=PW′(δ)\mathop{\mathcal{P}}^W(\delta) = \mathop{\mathcal{P}}^{W'}(\delta)が成り立つことに注意する． また，擬基礎モデルの定義より(δ+)W=(δ+)V=(δ+)W′(\delta^+)^W = (\delta^+)^V = (\delta^+)^{W'}となるので，「∣A∣<δ|A| < \delta」という論理式には（AAを点として持っていれば）曖昧性はない． 更に，δ\delta-被覆性質より∣A∣=δ|A| = \deltaという表現も曖昧性を持たない．

上の注意より，WWとW′W'が同じ順序数の部分集合を持つことがわかれば良い． 特に，WWとW′W'が共にδ\delta-近似性質を満たすことから，[On]<δ∩W=[On]<δ∩W′[\mathord{\mathrm{On}}]^{<\delta} \cap W = [\mathord{\mathrm{On}}]^{<\delta} \cap W'が示せれば良い．

まず，W,W′W, W'両方で通用するような弱い被覆性質が成り立つ：

これを踏まえて[On]<δ∩W=[On]<δ∩W′[\mathord{\mathrm{On}}]^{<\delta} \cap W = [\mathord{\mathrm{On}}]^{<\delta} \cap W'を示す． 特に対称性から[On]<δ∩W⊆[On]<δ∩W′[\mathord{\mathrm{On}}]^{<\delta} \cap W \subseteq [\mathord{\mathrm{On}}]^{<\delta} \cap W'が言えれば逆も同様になる． そこでA∈[On]<δA \in [\mathord{\mathrm{On}}]^{<\delta}を任意に固定する． 上の主張から，B∈[On]≤δ∩W∩W′B \in [\mathord{\mathrm{On}}]^{\leq \delta} \cap W \cap W'でA⊆BA \subseteq Bとなるものが取れる． 特に，otp(B)<δ+\mathop{\mathrm{otp}}(B) < \delta^+なので，二項関係w∈Ww \in Wでotp(δ,w)=otp(B,<)\mathop{\mathrm{otp}}(\delta, w) = \mathop{\mathrm{otp}}(B, {<})となる物が取れる． いまw⊆δ×δw \subseteq \delta \times \deltaであり，δ\deltaの部分集合としてコードできるので，仮定よりPW(δ)=PW′(δ)\mathop{\mathcal{P}}^W(\delta) = \mathop{\mathcal{P}}^{W'}(\delta)に注意すれば，w∈W′w \in W'とできる． すると，wwはBBの列挙B={ bα  |  α<δ′ }B = \left\{\: b_\alpha \;\middle|\; \alpha < \delta' \:\right\}を誘導し，W′W'の≤δ\leq\delta-置換公理より⟨ bα  |  α<δ′ ⟩∈W′\left\langle\: b_\alpha \; \middle|\; \alpha < \delta' \:\right\rangle \in W'となる． 一方，A∗={ α<δ′  |  bα∈A }A^* = \left\{\: \alpha < \delta' \;\middle|\; b_\alpha \in A \:\right\}はWWで定義可能であり，再びPW(δ)=PW′(δ)\mathop{\mathcal{P}}^W(\delta) = \mathop{\mathcal{P}}^{W'}(\delta)よりA∗∈W′A^* \in W'を得る． 逆にAAはA∗A^*と⟨ bα  |  α<δ′ ⟩\left\langle\: b_\alpha \; \middle|\; \alpha < \delta' \:\right\rangleだけを用いて定義可能なので，A∈W′A \in W'を得る．

以上から擬基礎モデルの定義可能性が従う：

W⊆VW \subseteq Vがδ\delta-擬基礎モデルなら，WWはr:=(<δ2)Wr \mathrel{:=} ({}^{<\delta} {2})^Wをパラメータに使ってVVで定義可能．

Proof. x∈Wx \in Wは「十分大きなθ\thetaについてx∈Hθ∩Wx \in H_\theta \cap W」というのと同値だが，上の定理 6よりHθ∩WH_\theta \cap Wはr=(<δ2)Wr = ({}^{<\delta} {2})^Wによって一意に定まる． そこで次のように書いてやれば良い： x∈W  ⟺  ∃θ≫δ ∃M⊆Hθ{θ>2δ:正則非可算,(<δ2)M=r,(δ+)M=(δ+)V,x∈M⊨ZFCδ≤δ:transitive,M⊆Hθhasδ-AP and δ-CP.\begin{align*} x \in W \iff \exists \theta \gg \delta\: &\exists M \subseteq H_\theta\\[0em] &\begin{cases} \theta > 2^{\delta}: \text{正則非可算}, ({}^{<\delta} {2})^M = r, (\delta^+)^M = (\delta^+)^V,\\[0em] x \in M \models \mathrm{ZFC}_\delta^{\leq\delta}: \text{transitive},\\[0em] M \subseteq H_\theta \mathrel{\text{has}} \delta\text{-AP} \text{ and } \delta\text{-CP}. \end{cases} \end{align*}

論理式ψ(x,y)\psi(x, y)で，任意のクラスWWに対して次を満たすものが存在： ∃r∈V [W={ x  |  φ(x,r) }]  ⟺  W は V の擬基礎モデルで r∈W.\exists r \in V \: \left[W = \left\{\: x \;\middle|\; \varphi(x, r) \:\right\}\right] \iff W\text{ は }V\text{ の擬基礎モデルで }r \in W.

Proof. r=(<δ2)Mr = ({}^{<\delta} {2})^Mの形になっていなければVVの元にして，それ以外なら上のMMを返す．

よって，あとは{ (x,r)  |  ψ(x,r) }\left\{\: (x, r) \;\middle|\; \psi(x, r) \:\right\}の中からZFC\mathrm{ZFC}のモデルでVVの基礎モデルになっているものだけ見付けてくれば良い． それには，次の事実を使えばよい：

推移的部分モデルM⊆VM \subseteq VがGödel演算で閉じ，概宇宙的であるならMMはZF\mathrm{ZF}の内部モデルとなる． 但し，MMが概宇宙的であるとはx∈P(M)∩Vx \in \mathop{\mathcal{P}}(M) \cap Vならx⊆y∈Mx \subseteq y \in Mなるyyが取れることであり，Gödel演算は対や積，射影，順序入れ換えなどなんか良い感じの定義可能な集合演算10個のことである．

Proof. See Jech [5, Theorem 13.9].

つまり，定義可能な基本集合演算で閉じていて，内包公理の候補を絞ってくれる集合が取れるならZF\mathrm{ZF}が成り立つ，という訳である． ZFC\mathrm{ZFC}のモデルになっているかは，これに加えて選択公理が成り立つかどうかだけチェックすればよい． 基礎モデルであるかも，単にVVがMMにある擬順序による強制拡大になっているか書けばいいだけだから，これらは全て一階の論理式で書ける． よって，定義可能性定理が従う．

Proof of Uniform Definability of Grounds. 上の議論からW={ (x,r)  |  φ(x,r) }W = \left\{\: (x, r) \;\middle|\; \varphi(x, r) \:\right\}が(1)- (3)の性質を満たすように取れるのは明らか． 問題は絶対性に関する(4), (5).

まず(4)について． Wr⊊U⊊VW_r \subsetneq U \subsetneq Vの場合だけ考えればよい． この時，WrW_rにおける完備Boole代数B∈Wr\mathbb{B} \in W_rと(Wr,B)(W_r, \mathbb{B})-生成フィルターGGでWr[G]=VW_r[G] = Vとなる物を取る． δ:=∣B∣\delta \mathrel{:=} |\mathbb{B}|とおいてrrを適宜取り直せば，r=(<δ2)Wrr = ({}^{<\delta} {2})^{W_r}として良い． このとき，中間拡大補題 4よりB0⋖B\mathbb{B}_0 \lessdot \mathbb{B}でU=Wr[G∩B0]U = W_r[G \cap \mathbb{B}_0]となるものが取れる． このとき∣B0∣≤∣B∣=δ|\mathbb{B}_0| \leq |\mathbb{B}| = \deltaなのでWr⊆UW_r \subseteq Uはδ+\delta^+-擬基礎モデルになっている． よってWrV=WrUW_r^V = W_r^Uとなる．

(5)はWr⊆V⊆V[G]W_r \subseteq V \subseteq V[G]とした時にV[G]V[G]でWsV[G]=WrVW_s^{V[G]} = W_r^Vとなるs∈Wrs \in W_rを取れば，(4)から従う．

次回予告

次回はsDDG\mathrm{sDDG}からの帰結について取り扱います． 特に，sDDG\mathrm{sDDG}からマントルM\mathbb{M}がZFC\mathrm{ZFC}のモデルとなることや，生成多宇宙の構造が決まることを見ます．

参考文献

[1]
G. Fuchs, J. D. Hamkins, and J. Reitz, “Set-theoretic geology,” 18-Nov-2014. [Online]. Available: https://arxiv.org/abs/1107.4776.
[2]
T. Usuba, “The downward directed grounds hypothesis and very large cardinals,” 17-July-2017. [Online]. Available: https://arxiv.org/abs/1707.05132.
[3]
K. Kunen, Set theory, vol. 34. College Publications, 2011.
[4]
J. D. Hamkins and T. A. Johnstone, “Indestructible strong unfoldability,” Notre Dame J. Formal Logic, vol. 51, no. 3, pp. 291–321, July 2010.
[5]
T. Jech, Set theory: The third millennium edition, revised and expanded, 3rd ed. Springer-Verlag Berlin Heidelberg New York, 2002.
[6]
J. Reitz, “The ground axiom,” J. Symbolic Logic, vol. 72, no. 4, pp. 1299–1317, Dec. 2007.

  1. 実際にはより一般に戦略閉性という性質を持つ順序との反復がδ+\delta^+-擬基礎モデルになることが示せる．詳細はHamkins–Johston  [4, Lemma 2.10]の証明を参照．↩︎

Comments