集合論への招待*〜実数直線の集合論〜

石井大海†

Saturday 4th June, 20161

はじめに：公理的集合論の概要
現代の集合論は，粗く見積っても五つの分野から成る大きな分野になっています．ひとことで集合論を要約してしまえば，「集合論の公理のモデルの研究」という事になります．しかし，これでは群論が群＝群の公理のモデルを，微分幾何が多様体＝多様体の公理のモデルの研究をするのと同じことで，余りわかったような気分にならないかもしれません．
帰納法が使える “無限” の公理的集合論 ：世界の秩序の数学的研究

巨大基数

強制法

内部モデル理論

無限組合せ論

記述集合論

集合論の人間は，つまるところ何を知りたいと思って研究しているのか？という問題意識には，勿論研究者によって異なります．それでも最大限公約数を取れば，それは「“無限” の世界の秩序の数学的探求」である，と大雑把に纏める事が出来るでしょう．ばくぜんと「無限」といっても定義をしない事には数学にはなりません．
特に，現代で「集合論の公理系」といった際にまず意識される *1) Zermelo–Fraenkel の集合論（ZF）ないし，
特に「帰納法が使えるボトムアップに創り上げられた無限」について考えています．
こうした無限の世界の秩序について，どの定理が ZFC から導かれ，どの定理は導かれないのかといった事に興味を持って研究しているのが集合論者です．この事を説明するために，まずは有名な連続体仮説を巡る集合論の発展の歴史について見ていましょう．

2

連続体仮説
集合論の成立は 19 世紀末のことですが，その契機となったのは，Cantor による Fourier 級数展開の研究でした．Cantor は，「不連続点が “幾つ” までなら Fourier 級数展開が可能なのか？」という問題に取り組み，その過程で集合の濃度（基数）や順序数といった概念を定式化する必要に迫られたのです．集合論創始者の称号* This resume is available on http://konn-san.com/math/freshman-2016-resume.pdf† 筑波大学数理物質科学研究科数学専攻博士後期課程 1 年*1) 他にも ZFC とは異なる発想に基づいた集合論の体系もありますが，筆者も専門ではないので本講演では扱いません．

1

は，その提唱者である Cantor と Dedekind に帰せられますが，Cantor はこうした基数や順序数の概念そのものの研究に向かっていったのに対し，Dedekind はそれを数学の基礎付けに応用したり，数論に応用してみせるなど数学の「基礎言語」としての研究を積極的に行いました．こうした二人の問題意識は，形を変えて現代の集合論にも受け継がれています．
ひとまず，まずは基本的な定義と順序数について定義しましょう：

Def. 1.

• V により集合全体の成すクラスを表す．V を宇宙と呼ぶ．
def• 関係 R が A 上で整礎 ⇐==⇒ 任意の A の空でない部分集合が R-極小元を持つ．
def• (A, R) が整列集合 ⇐==⇒ R は A 上の整礎な全順序．
• 整列集合の順序型を順序数と呼び，全体を On で表し，以下変数 α, β, γ, . . . は特に断わらない限り
順序数表す物とする．otp(A, R) = otp(B, R′ ) なら (A, R) ≃ (B, R′ ) を満たすようなもののこと．
特に，順序数は「それ未満の順序数」全体になっており，otp(A, R) = α の時，(A, R) ≃ (α, ∈) とdef

なる（所属関係 ∈ が整列順序となっている）．以下，順序数 α, β に対し α < β ⇐==⇒ α ∈ β と書く．

• 任意の順序数 α ∈ On に対し，α + 1 := α ∪ { α } を α の後続順序数 と呼ぶ．何らかの β について
α = β + 1 と表せる順序数を後続順序数と呼び，0 でも後続順序数でもないものを極限順序数と呼ぶ．極限順序数は γ, ξ, η などで表す場合が多い．

• N の順序型を ω で表す．最小の無限順序数で，N そのものと同一視できる．
• 集合 x に対してその冪集合 を P(x) で表す：y ∈ P(x) ⇐⇒ y ⊆ x.

実は，集合の宇宙はこの順序数に沿ってボトムアップに構成されている，ということがわかります *2) ：定理 1. 各順序数 α ∈ On に対して，Vα を次で定義する：

V0 := ∅,

Vα+1 := P(Vα ),

Vγ :=

∪

Vβ

(γ : 極限順序数).

On

V

β<γ

このとき，V =∪α∈On Vα .

そこで，各集合 x ∈ V に対して，x ∈ Vα+1 となる最小 α ∈ On を x のランクとω1いい，rank(x) で表す．

ω
0

順序数の理論は非常に簡明ですので，Cantor は基数の理論をこれに帰着させたい，と考えました．この要求の結果として出て来たのが，今日では選択公理と同値である事で有名な次の整列定理です．
*2) これは実際には von Neumann による基礎の公理のお陰で証明出来るので，Cantor らの頃の公理化されていない集合論の定理ではありません．しかし，こうした生成的な集合観は基礎の公理が提案される以前から集合論者の脳裡にあったものです．

2

定理 2 (整列定理). 任意の集合について，その上の整列順序が存在する．

さて，全単射が存在するなら，二つの集合の濃度は等しいといっていいだろう，というのが Cantor の着想でした．順序数を用いれば，以下のようにして濃度の等しい集合の代表元としての基数を定義出来ます：

Def. 2.

• 集合 A の濃度 |A| を次で定義する：|A| := min { otp(A, R) | R : A 上の整列順序 } .

• 順序数 κ が基数 であるとは，|A| = κ を満たす A が存在すること．特に，これは「κ 未満の順序数から全射が存在しないこと」と同値．
基数の全体を Cd で表し，以下 κ, λ, θ, . . . などは基数を亘る変数とする．

• ℵ0 = ω は自然数全体の濃度であり、選択公理の下で最小の無限基数である．
• 基数 κ に対し，2κ := |P(κ)| を κ の冪と呼ぶ．

Cantor の初期集合論における華々しい成果として，対角線論法の発明と，それによる |N| < |R| の証明が挙げられるでしょう．

定理 3. ℵ0 < 2ℵ0 .

同様の論法によって，一般の基数 κ について次が示せます：

定理 4. 任意の基数 κ に対し，κ < 2κ .

これによって，いくらでも大きな無限基数が存在するという事が明らかになりました．そこで，以下のようにして無限基数の ℵ-系列を定義することが出来ます：

Def. 3. κ を基数とする．この時，κ より大きな最小の基数を κ の後続基数と呼び，κ+ := min { λ | κ < λ }で表す．順序数 α ∈ On に対し，無限基数のℵ-系列を次で定義する：ℵ0 := ω = |N|,

ℵα+1 := ωα+1 := (ℵα )+ ,3

ℵγ := ωγ := sup ℵα .
α<γしかし，上の定理は単に「自然数全体より実数全体の方が真に大きい」という情報しか与えてくれず，両者の中間の濃度が存在するのか？ということは一切わかりません．Cantor は「ℵ0 と 2ℵ0 の間の濃度は存在しな
い」，つまり実数の無限集合の濃度はキッカリ ℵ0 か 2ℵ0 しかないと予想しました．これが連続体仮説（CH）
です．

連続体仮説. 2ℵ0 = ℵ1 .

これを一般化したのが，一般連続体仮説（GCH）です：

一般連続体仮説. 任意の無限基数 κ に対し 2κ = κ+ .

いいかえれば，「ある無限基数よりも大きな最小の無限基数を得る方法は冪集合を取るしかない」という予想です．

19 世紀末に提唱されて以来，多くの人々がこの証明を試みました．しかし，その解決には 20 世紀半ばまで待つ必要がありました．

2.1 無矛盾性，独立性，不完全性定理
しかし，良く知られているように，連続体仮説はZFC からは証明出来ないことがわかっています．このことを説明するために，ロジックの初歩知識を簡単に説明しましょう．

Def. 4. 公理の集合 T で，与えられた論理式が公理かどうか「機械的に」判定出来るものを理論と呼ぶ．
特に，PA により自然数論のペアノ算術の公理系を表す．

•「理論 T が無矛盾である」ことを主張する命題を Con(T ) と書く．以下，各理論の中で Con(T ) は適切に表現出来るものとする．

• 理論 T の無矛盾性から S の無矛盾性を証明出来るとき（つまり Con(T ) =⇒ Con(S) が成り立つ
とき），T は S より無矛盾性の意味で強いと言い，S ≤ T と書く．

• S ≤ T かつ T ≤ S が成り立つ時，S と T は無矛盾性等価であるといい，S ∼ T と書く．
def

• 命題 φ が T と無矛盾 ⇐==⇒ Con(T + φ)def

• 命題 φ が T から独立 ⇐==⇒ Con(T + φ) ∧ Con(T + ¬φ).

じゃっかん判りづらいと思うので，簡単に説明しておきましょう．たとえば，「任意の群は可換か？」つまり「群の公理系 Group から可換性の公理 Comm は出てくるか？」という問題を考えてみましょう．まず，(Z, +)は群の公理を満たし，更に可換です．いいかえれば，(Z, +) は Group + Comm のモデルになっています．し4

たがって，少なくとも「群の公理系に可換性の公理を付け加えても無矛盾」という事がわかります．このように，（哲学的な議論を気にしなければ）「無矛盾である」ことは「モデルが存在する」ことと同値だと考えて問題ありません．
さて，可換性の公理は群の公理系と無矛盾であることがわかりました．では，群の公理系から可換性が示せるのではないか？という気がしますが（しない人が殆んどだと思いますけど，気がしてください），良
く知られているように乗法群 GLn (R) を考えれば，これは一般には可換ではありません．つまり，GLn (R)は Group + ¬Comm のモデルになっている訳です．Comm の否定が成り立つモデルがある以上，Group からComm は証明出来ないという事がわかります．つまり，「命題 P の否定が無矛盾（モデルを持つ）なら，P は証明不可能」ということになります．これまでの議論は，群の公理系 Group から可換性の公理 Comm は独立であるということです．
以上を踏まえると，有名な Gödel の不完全性定理は，次を主張するものです：

第一不完全性定理. T を PA を含む無矛盾な理論とするとき，Con(T + φ) および Con(T + ¬φ) を満たす命題 φ が必ず存在する．

第二不完全性定理. 上と同じ仮定のもとで，特に Con(T ) は φ の例．特に，T から自身の無矛盾性 Con(T )を証明することは出来ない．

この系として，上で定義した順序 ≤ について，次が成り立つことがわかります：系 1. T  T + Con(T ).

Proof. T ≤ T + Con(T ) は自明．そこで T ≥ T + Con(T ) を仮定して矛盾を導く（背理法）．この背理法の仮定は，定義に戻れば Con(T ) =⇒ Con(T + Con(T )) ということである．ところで，当然のことながらCon(T ) は T + Con(T ) の「公理」であり，証明可能．すると，仮定から Con(T + Con(T )) も T + Con(T )で証明可能となるが，これは第二完全性定理に矛盾する．

□

要は，「ある体系にその無矛盾性を付け加えると無矛盾性は真に強くなる」という事で，これさえ抑えておけば十分です．そして，現代集合論の主要なテーマの一つは，ZF を含む理論に関して順序 ≤ の構造の解明と分類にあるといっても過言ではありません．

2.2 連続体仮説の「解決」：内部モデル理論と強制法
以上を踏まえて連続体仮説の解決について説明しましょう．

5

2.2.1

GCH の肯定の無矛盾性：内部モデル理論

時は下って 20 世紀半ば，まず Gödel は ZF に AC と GCH を付け加えた体系の無矛盾性を示しました：

定理 5 (Gödel, 1938). ZF で考える．構成可能宇宙 L において，ZFC + GCH が成り立つ．特に，選択公理 AC および一般連続体仮説 GCH は ZF と無矛盾．

以下，構成可能宇宙 L について解説していきます．Gödel の基本的な考え方は，集合の宇宙 V を内側に削っていくことでした．具体的には，L は論理式を用いてボトムアップに定義出来る集合全体だと思うことが出来ます．

• Def(A) により，A の元をパラメータに使った論理式で定義出来る
A の部分集合全体を表{}す．つまり，S ∈ Def(A) ⇐⇒ ∃ φ[⃗x, ⃗y ] ∃⃗a ∈ A s.t. S = ⃗b ∈ M M |= φ[⃗a, ⃗b] .

Def. 5.

• 順序数 α について，Lα を次で定める：
L0 := ∅,

Lα+1 := Def(Lα ),

Lγ :=

∪

Lβ (γ : 極限).

β<γ

L :=

∪

α∈On Lα とおき，L を構成可能宇宙と呼ぶ．

x ∈ L に対し，x ∈ Lα+1 を満たす最小の α を x のL-ランクと呼び，ρ(x) で表す．

Lα や L の定義が，Vα による V の分類に似ている事に気付いたでしょう．

On

L V

つまり，Vα+1 を創る際にはどんなものであれ，Vα の部分集合を全部持ってきたのに対し，Lα+1 を創る際には，論理式で定義出来るいうなれば「素性のハッキリした」部分集合だけを持ってきた訳です．
これは，群でいえば交換子群を取ったようなもので，与えられたモデルから
ω1「素性のよい元」だけ集めた内側の世界を創っているのだと考えられます．
そして，Gödel はこの L が ZFC + GCH のモデルになっていることを示し

ωました．しかし，ここでアレ？と思った人が出て来たかもしれません．なぜなら，Gödel の不完全性定理により「ZF から ZF の無矛盾性は示せない」はず0

なのに，ここでは ZF の下で ZF + AC + GCH のモデルを構成したことになっています．ZF より大きな理論が無矛盾なんですから，結局そこから ZF の無矛盾性が出て来る筈で，となると結局 ZF から ZF 自身の無矛
盾性を示してしまったように見えます．
メタレベル

実は，実際に Gödel が示したことは，「この L を 外 側 から眺めると，あたかも ZFC + GCH のモデルであるかのように見える」ということです．より厳密には，次のメタ定理を示したのです：6

定理 6 (Gödel). φ を ZFC + GCH の公理とすると，φL は ZF で証明可能．ここで，φL は φ の L への相対化であり，φ に現れる量化子 ∃x, ∀x を全て ∃x ∈ L, ∀x ∈ L で置き換えたもの．

これはつまり，ZFC + GCH の公理 φ が一つ与えられるたびに，ZF ⊢ φL が成り立つ，という事です．L
は集合ではなく論理式で定義される真のクラスで，つまり V そのものの元ではありません．従って，ZF から

ZFC + GCH のモデルの存在が示された訳ではない訳です．寧ろ，メタレベルで ZF のモデル V をとって，それを変形して ZFC + GCH のモデル L を創った，と考えるのがよいでしょう．
とはいえ，集合論の人間も普段は V も L も単なるモデルとして扱っていますので，以下では必要な場合いがいそんなに煩くいわないことにします．
実は，L は ZF の最小のモデルであることがわかります：

定理 7.

(1) L は推移的である．即ち x ∈ y ∈ L =⇒ x ∈ L.

(2) L ∩ On = V ∩ On. 即ち L は V と同じ順序数を持つ．
(3) On ⊆ M ⊆ V を推移的な ZF のモデルとすると，LM = LV ．特に L ⊆ M .

L で GCH が成り立つことの証明はちょっと大変なのでやりませんが，代わりに選択公理の無矛盾性証明をしておきましょう．より強く，L の中ではL 全体の大域整列順序が <L 存在します：

定理 8. L の全体の整列順序 <L で，任意の x ∈ L に対し { y ∈ L | y <L x } が集合を成すようなものが存在する．

Proof. L は空集合から初めて，論理式で定義可能な部分集合全体を取っていって得られたことに注意しましょう．特に，x ∈ L は必ずどこかの Lα+1 で追加され，それは，論理式 φ(⃗x, ⃗y ) とパラメータ ⃗a ∈ Lα を用いて定義されていました．
そこで，max { ρ(a), ρ(b) } についての帰納法により，a, b ∈ L を次のように比較すればよさそうです：(a) 先に作られた方が小さい．つまり ρ(a) < ρ(b) ならば a <L b.
(b) ρ(a) = ρ(b) の時を考える．論理式は何らかの自然数でコードされていると考えれば，それを比べることで a, b それぞれを定義する最小の論理式 φa , φb が取れ，それらは整列出来る．もし φa < φb ならば

a <L b とする．
(c) α = ρ(a) = ρ(b), φa = φb の時は，パラメータを比べるしかない．これらは Lα の元なので，帰納法の仮定から既に整列順序が入っているから，このパラメータの辞書式順序で比べる．
こうすれば，<L が整列順序になっていることは明らかでしょう．

7□

V と同じ順序数を持つ推移的な ZF のモデルのことを内部モデルと呼びます．特に，条件 (3)は「L は ZFの最小の内部モデルである」と言い換えることが出来ます．ゲーデルが示したことを要約すれば，「集合の宇宙には核のような部分があり，そこではあたかも ZFC + GCH が成り立っているかのように見える」ということになります．
さて，こうして Gödel は ZF のモデルから，ZFC + GCH のモデルを構成した訳です．したがって，前節の記号法を使えば，次の無矛盾性の結果が得られたことになります：

系 2. ZF ∼ ZFC ∼ ZFC + GCH.

このように，与えられた集合の宇宙の内側に潜っていって，ある命題の独立性を確立しようとするのが，冒頭に触れた内部モデル理論です．

2.2.2

GCH の否定の無矛盾性：強制法

一方，ZF + ¬GCH の無矛盾性が示されるのは，20 世紀半ばのことで，Gödel の結果から四半世紀以上待たなければなりませんでした：

定理 9 (Cohen, 1963). Con(ZFC) =⇒ Con(ZFC + ¬GCH).

Gödel の結果と合わせれば，GCH は ZFC から独立．また，ZF ∼ ZFC ∼ ZFC + GCH ∼ ZFC + ¬GCH.

Cohen はこんにち強制法と呼ばれる手法を編み出し，この定理を証明しました．Gödel の L が宇宙 V を内側に削っていくものであったのに対し，強制法は逆に V を外側へと拡張していくもので，有理数体 Q に超越
数 α を添加した Q(α) を考えるようなものです．

Cohen は，集合論の宇宙 V をとって，その外側から新たな実数を ℵ2 個付け加えることによって連続体仮説を破ったのです．
しかし，厳密には V の「外側」の元など存在しません．ではどのようにこれを実現したのかといえば，集合の概念を，所属確率付きの集合に拡張する，というのが強制法の核となる考え方です．確率といっても，実数値の確率ではなく，付け加えたい元の近似条件をその代わりに用います．より詳しく，添加したい「理想元」を自由度で並べた擬順序集合を用います：

defDef. 6. (P, ≤P , 1P ) が擬順序集合 （poset）⇐==⇒ ≤P は P 上の反射的（x ≤ x）かつ推移的（x ≤ y ≤z =⇒ x ≤ z ）な二項関係で，1P はその最大元．
各 poset P を強制概念，P の各元を強制条件と呼び，p ≤ q は「p は q を拡張する (p extends q)」と読む．

8

ここで，≤P に反対称性を仮定しない（つまり x ≤ y ≤ x でも x = y とは限らない）ことに注意しましょう．
この定義だけ見せられてもよくわからないと思うので，例として新たな実数を一つ付け加える強制概念を考えましょう．

Def. 7. Add(α) := (<α 2, ⊇, ∅) をα の部分集合を付け加える強制概念と呼ぶ．特に Add(ω) を実数を付け加える強制概念と言う．

Add(ω) の各強制条件は 0, 1 の有限列で，二進小数展開を考えれば実数の有限桁近似と見ることが出来ます．
p ≤ q, つまり p が q よりも情報を持っているということは，つまり桁数が多い，ということですから，自然な順序が入っていると思うことが出来ます．
この poset と実数の関係をもう少し観察してみましょう．以下，実数といったら 0, 1 の無限列 x : ω → 2 だとします．こういう関数の全体を ω 2 と書くことにします．各 x ∈ ω 2 に対して，その有限桁近似全体 Gx を考えてみましょう：

Gx := { x ↾ n := ⟨x(0), x(1), . . . , x(n − 1)⟩ | n < ω } .
この時，ちょっとした観察で次がわかります：(1) Gx ⊊ Add(ω).
(2) t ⊆ s ∈ Gx なら t ∈ Gx . Add(ω) の順序は逆向きの包含で入れていたので，つまり Gx は順序 ≤ について上に閉じている．

(3) s, t ∈ Gx なら，u ⊃ s, t を満たす u ∈ Gx が存在する（特に s ∪ t ∈ Gx ）．つまり，Gx の任意の二元はGx の中に共通の拡張を持つ．
(4) Gx はこれらの条件を満たす Add(ω) の部分集合の中で極大である．つまり，s ∈ Add(ω) \ Gx を取れ
ば，{ s } ∪ Gx は上の三条件のいずれか一つを満たさなくなる．

∪

逆に，こうした G が与えられた時，s∈G s は一つの実数を定めることがすぐにわかります．実は，上のような性質を満たす poset の部分集合には名前がついています：Def. 8. P を poset とする．
def

• G ⊆ P がフィルター ⇐==⇒ G は上記条件 (1)(2)(3) を満たす．
def• G が超フィルター ⇐==⇒ G はフィルターでなおかつ極大．

上の議論を要するに，Add(ω) の超フィルターと実数は一対一に対応している，という訳です．これらの条件はある種の拡張可能性の条件だと思えるので，超フィルターは coherent に「貼り合わせ」る事の出来る近似条件の集合だと思えます．したがって，我々の目標は「特別な超フィルター」を追加することになります．
「この宇宙にない」超フィルターが欲しいので，それは V 上「超越的」なものであってほしいでしょう．つまり，V から見るとまるっきり識別できないような，普遍的な性質を持つようなフィルターが欲しい訳です．

9

この「普遍的な」という性質が問題になりますが，それは次のように定義されます：Def. 9.

def• D ⊆ P が稠密 ⇐==⇒ ∀p ∈ P ∃d ∈ D d ≤P p.
def• D を適当な集合族とする．フィルター G ⊆ P が D 上 P-ジェネリック ⇐==⇒ P の任意の稠密集合
D ∈ D に対し D ∩ G ̸= ∅.

稠密集合というのは，「どの近似も，その性質満たすように拡張出来る」という，ある意味で普遍的な性質であると見做すことが出来ます．ジェネリックフィルターは，「 D でキャッチされているような普遍的な性質を全て満たす」理想元だと思うことが出来ます．
例を見てみましょう．

例 1. x ∈ ω 2 を実数とする時，

Dx := { s ∈ Add(ω) | ∃n < lh(s) s(n) ̸= x(n) }は Add(ω) で稠密．実際，s ∈ Add(ω) に対して，s ⌢ (1 − x(lh(s))) ∈ Dx .
そこで，G ∩ Dx ̸= ∅ を満たす超フィルター G があれば，∪

G ̸= x.

上の例から，もし V 上 Add(ω)-ジェネリックなフィルター G が取れれば，xG :=∪G は V に属するどんな実数とも異なる，即ち新しい実数だ，という事になります．もちろん，V の中にそんな実数が存在する筈もありません．
ではどうするか？そこで冒頭に予告した通り，単なる集合の代わりに Add(ω)-値所属確率付きの集合を考えてやればいい訳です．基本的なアイデアはこうです．集合 x は，特性関数と同一視すれば，部分関数 x : V → 2
だと思うことが出来ます．そこで，真偽値 2 = { 0, 1 } を Add(ω) に置き換えてしまって「集合」の定義を書き換えようというのが強制法の基本的なアイデアです．但し，一般の P に対しては真偽値が一意に決まるとは限らないので，ちょっと定義は違うものになっています．

Def. 10. Poset P に対し，P-名称の全体 V P を次のように定義する：∪
P
V0P := ∅,Vα+1:= P(VαP × P),
VγP :=VβP (γ : 極限順序数),
V P :=

∪

β<γ

VαP .

α∈On

x ∈ V に対し，x̌ ∈ V P を次で定める：
x̌ := { (y̌, 1) | y ∈ x } .

10この時，V̌ := { x̌ | x ∈ V } とおけば，V と V̌ は同一視でき，V “⊆” V P と見做せる．更に，ジェネリッ
クフィルターの標準的名称 Ġ を次で定める：

Ġ := { (p̌, p) | p ∈ P } .

この V P が，あたかも V に「理想的な元を追加した」宇宙のように振舞い，その中で Ġ が V 上のジェネリ
ックフィルターのように振舞います．実際には，Ġ の近似 p が与えられた時に，どういった命題が成り立つのかを調べることしか出来ません．

定理 10. VP にパラメータを持つ任意の論理式 φ に対して，p ⊩V
P φ（p forces φ）が定義され，次を満たす．

(1) p ≤ q ⊩ φ =⇒ p ⊩ φ,(2) 1 ⊩ ZFC,
(3) 1 ⊩ “Ġ : V̌ 上 P-ジェネリックフィルター”,(4) p ⊩ p̌ ∈ Ġ,(5) { p ∈ P | p ⊩ φ } が P で稠密なら 1 ⊩ φ,
ˇ = On.
(6) p ⊩ On
(7) ...

「p ⊩ φ」は，「p が G の “近似” なら G を V に付け加えた最小の宇宙 V [G] で φ が成り立つ」という意味です．P の元は自由度で並べられていた訳ですから，近似を精しくした所で成り立つ命題は増えこそすれ減りはしない，というのが条件 (1) の言っていることです．そして，この関係によって実際に Ġ が V 上の求めるジェネリックフィルターになっている，ということが条件 (3) の主張です．
これらの性質を使えば，実質的には V B をあたかも本物の，V の「外側にある」宇宙 V [G] だと思うことが出来ます．なので，集合論者は V B と書く代わりに V [G] と書いて，あたかも本物の V -ジェネリックフィルタ
ー G が取れているかのような記法を用いて議論をします．
では実際に，V [G] において実数 xG :=∪G が V の実数と異なることを見ましょう．といっても，上の例で挙げた Dx を考えれば，V [G] では G が V 上の Add(ω)-ジェネリックフィルターとして機能していますから，x ∈ V ∩ ω 2 に対して，Dx = { s ∈ Add(ω) | ∃n < lh(s) s(n) ̸= x(n) } は V の中で定義出来るので，G ∩ Dx ̸= ∅ となり，やはり同じ議論で ∀x ∈ V x ̸= xG が言えます．
さて，あとは同時に ℵ2 個の実数を付け加えてやることが出来れば，V [G] で CH を破ることが出来ます．直感的には，単純に Add(ω) を ℵ2 個直積とってやれば良さそうです．だいたいそれでよいのですが，実際には次のものを使います：11

Def. 11. Add(ω, κ) を次で定める：
Add(ω, κ) :=

<ℵ
∏0

{
Add(ω) =p : 関数α<κ

dom(p) ⊆ κ, |κ| < ℵ0ran(p) ⊆ Add(ω)

}
,

def

p ≤ q ⇐==⇒Add(ω,κ) dom(p) ⊇ dom(q) ∧ ∀α ∈ dom(q) p(α) ≤Add(ω) q(α).

実際の直積と違うのは，直積因子のうち有限個しか値をとらないことです．この形の直積は，有限台直積と言います．これは通常の直積位相の生成元と似たような構成になっていますね．なぜでしょうか？実は，そうしないとℵ2 が V [G] では潰れてしまうかもしれないからです．どういうことでしょう？まず，「基数である」というのは，「それ未満の順序数から全単射がないこと」でした．なので，ℵ2 個の実数を足す際に，余計な全射が付け加わらないように気にしてやる必要があるのです．
このように，「基数が潰れない」という事は，poset の組合せ論的性質を基に示すことが出来ます．たとえば，
次のように：

Def. 12.

def• A ⊆ P が反鎖 ⇐==⇒ 任意の p, q ∈ A に対し，r ≤ p, q となるような r ∈ P は存在しな

い．
def• P が可算鎖条件 (c.c.c.) を満たす ⇐==⇒ P の反鎖の濃度は全て可算．

Fact 1. P が可算鎖条件を満たすなら，
P は全ての基数を保つ．
即ち，任意の基数 κ に対し，
1P ⊩ “κ̌ : 基数”.

Fact 2. 可算鎖条件を満たす posets の有限台直積は c.c.c. を満たす．

Fact 3. Add(ω) は可算鎖条件を満たす．

以上の事から，Add(ω, ℵ2 ) が可算鎖条件を満たすことがわかり，従って基数を壊さないことがわかる訳です．さて，では G を Add(ω, ℵ2 )-ジェネリックとする時，ちゃんと ℵ2 -個の実数が付け加わっている事を見ま
しょう．

12

Dα,β := { p ∈ Add(ω, κ) | α, β ∈ dom(p), ∃n ∈ dom(p(α)) ∩ dom(p(α)) p(α)(n) ≠ p(β)(n) } (α < β < κ)
En := { p ∈ Add(ω, κ) | ∀α ∈ dom(p) dom(p(α)) ≥ n } (n < ω).
Dα,β は，「α, β が p のドメインに入っており，それらはどこかの桁で異なっている」という条件で，En は，「各 p(α) は n 桁以上ある」です．いずれも稠密であることは，定義域が有限であることからすぐにわかります．
すると，V [G] では G ∩ Dα,β ̸= ∅, G ∩ En ̸= ∅ となるので，

fα :=

∪

{ q(α) | q ∈ G } (α < κ)とおけば，fα ∈ ω 2 が成り立ち，しかも α < β なら fα ̸= fβ となります．よって，ℵV
2 -個の実数が V [G] では付け加わっていることになり，Add(ω, κ) が基数を保存する事から，V [G] でも実数が ℵ2 個増えている事がわ
かります．
よって，

定理 11. G を Add(ω, ℵ2 )-ジェネリックとすると，V [G] |= 2ℵ0 ≥ ℵ2 . よって特に V [G] |= ¬GCH.

実はここでは = が成り立つのですが，面倒くさいのでやりません．

2.3 GCH を巡るその後の展開：連続体濃度は幾つか？
こうして GCH や CH は ZFC から独立だということがわかりました．この結果を巡って，二つの立場があり得ます．

(i) ZFC から独立なのだから，GCH や CH は真偽が決まらず，好きな時に好きな方を研究すれば良い．
(ii) ZFC から独立だが，我々の「無限」観を反映した何らかの自然な仮定から CH の真偽が決定出来る筈
だ．

Cohen はその後集合論以外の分野に未解決問題を求めて旅立ってしまいましたが，Gödel は(ii)の立場を取っていたことが知られています．特に，Gödel は 2ℵ0 = ℵ2 であろう，と予想していました．そして，それが正しいにせよ間違っているにせよ，巨大基数と呼ばれる，ZFC からは存在を証明出来ない非常に大きな無限について分析していくことで，連続体濃度 2ℵ0 の大きさを決定出来る筈だ，と提唱しました．これは Gödel のプログラムと呼ばれています．
そういったものの中で最弱のものが到達不能基数です：

Def. 13.

• 基数 κ に対し，κ の共終数 cf(κ) を次で定義する：{}
κ = min γ ≤ κ ∃ { ξα }α<γ ⊆ κ sup ξα = κ .
α<γ

直感的には，κ の近似列の最小の長さが cf κ である．

13

• cf(κ) = κ を満たす基数 κ を正則基数，そうでない基数を特異基数と呼ぶ．
ω や後続基数 κ+ は正則基数である．一方，supn<ω ℵn = ℵω となるので，ℵω は特異基数である．
def• 基数 κ が強極限 ⇐==⇒ ∀λ < κ 2λ < κ.
ω は強極限であり，連続体仮説の下で ℵω も強極限である．後続基数は強極限基数ではない．
def• 基数 κ が到達不能基数 ⇐==⇒ κ は非可算で，正則かつ強極限基数．

この到達不能基数が，巨大基数の中で最小のものである．直感的に説明すれば，κ よりも下の部分が集合論的な操作により閉じている，という事である．実際，次の定理が示すように，Vκ は ZFC のモデルとなる：

Fact 4. κ を到達不能基数とするとき，Vκ |= ZFC. 特に，ZFC + ∃到達不能基数 から Con(ZFC) が証明出来る．従って ZFC  ZFC + IC.

圏論的には，到達不能基数の存在は Grothendieck 宇宙の存在と同値であるそうな．
ところで，到達不能基数の性質の「非可算」の条件を落とI0–I3

せば，ω も同じ性質を満たす．更に，Vω は ZFC から「無限超コンパクト集合の存在」を除いた集合論のモデルになっている．
つまり，到達不能基数は ω に非常によく似ているのである．

強

0=1

超強

強コンパクト

巨大基数には厳密に定義がある訳ではないが，こうした ω とWoodin

良く似た性質を持ち，ZFC（やそれよりも強い集合論）の無可測

矛盾性を導くような無限基数の事を指すことが多い．右図は，巨大基数の階層からの抜粋です．途中で分岐している部分が弱コンパクト

ありますが，これは「まだどっちが強いのかわかっていない」

Mahlo

部分であり，基本的には線型にならぶだろうと予想されています．「全体を反映した部分が欲しい」というのは自然な欲求

到達不能

弱

だし，ω に似た無限はないか？と考えるのも自然である，という意味で，巨大基数公理は自然な存在だと言える（実際にはもう少し条件を課すこともあり，そっちが中心なんだけど）．
なぜ巨大基数公理を考えるのかというと，それは独立命題の強さを測る指標として機能するからです．無矛
盾性に関する順序  で並べた巨大基数の階層を考え，独立命題をそのものさしの中で分類することは，現代集合論でも主要な研究分野の一つです．
特に，連続体仮説もそうした分析の対象になっています．たとえば，「ある性質を満たす poset についての，十分小さなジェネリックフィルターは元々の宇宙 V に存在する」という事を主張する公理を強制法公理と呼びます．これは創りたいものが手許にあるという要請で，いわば自然な公理と言えます．その中でも適正強制
公理（Proper Forcing Axiom; PFA）と呼ばれるものは，2ℵ0 = ℵ2 を導くことがわかっています．PFA の無矛盾性は，超コンパクト基数と呼ばれる基数の存在から導かれることがわかっており，この前提を何処まで押し下げられるか，というのは重要な未解決問題の一つです．つまり，連続体濃度を「自然に決定」するには，

14どのくらいの巨大基数が必要なのか？どのくらいの無矛盾性が要るのか？という事は，まだわかっていない訳
です．
この方向性以外にも，連続体濃度を決定する「自然な仮定」を研究しようとする動きはあり，Woodin のΩ-論理などがその中では有名ですが，筆者はよく知らないので，この辺りにしておきます．

3実数の集合論

測度の問題を例に集合論の勃興が Fourier 解析からであったように，実数の集合の性質に関する集合論的な研究は現代でも盛んに行われており，集合論の各分野が交差する場所でもあります．そうした，実数の集合の性質について研究
する集合論の分野を記述集合論といいます．
そこで，この分野から特に測度の問題について採り上げたいと思います．

Lebesgue 測度は解析学や関数解析で重要な概念ですが，よく知られているように，選択公理の下では非可測な集合が存在することは良く知られています．

定理 12 (Vitali). R/Q の完全代表系は Lebesgue 非可測である．

この証明は，次のように行われます：(1) 選択公理を使って R/Q の完全代表系 S を取る．
(2) S が可測だとすると，零集合となる事を示す．
(3) 一方，R は S の可算個の平行移動で覆える．
(4) よって Lebesgue 測度の平行移動不変性から µ(R) = 0 となり矛盾．
この証明を眺めていて，以下のような疑問が沸いてきます：(A) 平行移動不変性を外せば，全ての部分集合に測度を定義出来ないか？
(B) 選択公理を使って作られる集合は具体的に書き下せない．では，具体的に論理式で定義される集合は，どの程度複雑な集合までなら可測であり得るか？

(C) 完全代表系は取れないが，測度論の初歩くらいなら展開出来る程度に選択公理を弱めたらどうか？
それぞれ，順に見ていきましょう．

(A)「平行移動不変性を外す」
並行移動不変性を外した場合については，実は巨大基数公理と無矛盾性等価であることがわかっています．

Def. 14.

• 基数 κ 上の（超）フィルターとは，擬順序集合 (P(κ), ⊆) の（超）フィルターの事とする．

• フィルター F に対して，その双対イデアル F ∗ := { A ⊆ κ | κ \ A ∈ F } のこと．

15

def

• A ⊆ κ が F-正集合 ⇐==⇒ κ \ A ∈ F + .
F-正集合の全体を F + で表す．
def ∩• フィルター F が非単項 ⇐==⇒ F = ∅.
def• フィルター F が λ-完備，あるいは F が λ-フィルター ⇐==⇒ 任意の ξ < λ と { Aα | α < ξ } ⊆ F∩に対し， α<ξ Aλ ∈ F .
• イデアルについても，同様に飽和性と完備性が定義される．
def• 基数 κ が可測基数 ⇐==⇒ κ は非可算であり，κ 上に非単項 κ-完備超フィルターが存在する．

集合論の伝統的な分野である無限組合せ論では，こうした集合上のフィルターやイデアルの完備性や飽和性を調べることが大きな興味の一つになっています．
「ω-完備」は，結局有限個の共通部分について閉じているということですから，これは結局フィルターの定義に入っています．なので，「ω 上の非単項 ω-完備超フィルターの存在」は結局「ω 上の非単項超フィルターの存在」と同値で，これは選択公理があれば常に言えることです *3) ．したがって，「ω の性質を非可算に一般化した」という意味でも，これは「自然な」物でもある訳です．
可測基数は，次の補題が示すように到達不能基数に比べても「馬鹿デカい」ですが，だいたい現代の集合論
者は可測基数くらいはあるだろうと（経験的に）思っています：

補題 1. κ が可測基数なら，κ は κ 番目の到達不能基数 *4) ．

こうした組合せ論的文脈で自然に現れるこの定義が，実は測度の拡張可能性，という実数に関わる問題と関連しているのです．

定理 13 (Solovay, 1971). 次は無矛盾性等価：• ZFC + 平行移動不変性を外せば，Lebesgue 測度を全ての実数の部分集合に拡張出来る.
• ZFC + ∃可測基数.

実は，可測基数は初等埋め込みという集合論（やもともとはモデル理論の）手法と深い関りがあり，可測基
数よりも上の巨大基数は扱いのいい初等埋め込みの存在という形で定義されることが多いです．
*3) というか，「ω 上の非単項超フィルターの存在」は弱い選択公理の一種としてよく扱われます．
*4) 実際には，Mahlo 基数と呼ばれる可測基数より弱い巨大基数がこの性質を持つ．

16

def

Def. 15. M を内部モデルとする．j : V → M が初等埋め込み ⇐==⇒ j ̸= id であり，任意の論理式 φ(x)と任意のパラメータ a1 , . . . , an ∈ V に対して，V |= φ(a1 , . . . , an ) ⇐⇒ M |= φ(j(a1 ), . . . , j(an )).

つまり，初等埋め込みとは，V の各元を，論理式で識別出来る性質は保ちつつ内部モデル M の中に並び換
えて埋め込むようなものです．

定理 14. κ が可測基数 ⇐⇒ 次を満たす初等埋め込み j が存在する：• j(κ) > κ, ∀α < κ j(α) = α.
• A ⊆ M かつ |A| < κ ならば A ∈ M .
さらにこの M の各元は関数 f : κ → V を用いて [f ] の形で表現出来る．ここで，[−] は κ 上の「いい感じ」な非単項 κ-超フィルターの元上で一致する物を同一視する同値関係で割った同値類．とくに [id] = κにできる．

(B) どの程度まで複雑な集合なら Lebesgue 可測になれるか？
「どの程度複雑な集合」と書いていますが，具体的には定義論理式の複雑さで分類をします：Def. 16.

• 量化子が ∀x ∈ N, ∃x ∈ N の形で，実数をパラメータとする論理式を ∆11 -論理式と呼ぶ．

• φ を ∆11 -論理式とする．∃x1 ∈ R . . . ∃xn ∈ R φ の形の論理式を Σ11 -論理式と呼ぶ．
∀x1 ∈ R . . . ∀xn ∈ R φ の形の論理式を Π11 -論理式と呼ぶ．
• Π1n -論理式 φ に対し，∃x1 ∈ R . . . ∃xn ∈ R φ の形の論理式を Σ1n+1 -論理式と呼ぶ．
Σ1n -論理式 φ に対し，∃x1 ∈ R . . . ∃xn ∈ R φ の形の論理式を Π1n+1 -論理式と呼ぶ．
• 論理式 φ が ∆1n であるとは，同値な Π1n -論理式と Σ1n -論理式を持つことである．
• 実数の集合 A ⊆ R が Σ1n （または Π1n , ∆1n ）であるとは，そういう論理式で定義される事．
• いずれかの Σ1n -集合に属する集合を射影集合と呼ぶ．

この階層は，次のような真の包含関係を満たします：

Borel 集合全体

17

⊊

Π12

⊊

∆13

⊊

⊊

Π11

⊊

∆12

⊊

Σ13
⊊

∆11

⊊

Σ12
⊊

⊊

Σ11

Π13

..

.

..

.

射影集合は、実は Borel 集合から射影と補集合を取って得られる集合のクラスに等しいです：

補題 2.

• A が ∆11 -集合 ⇐⇒ A は Borel 集合• A が Σ1n+1 -集合 ⇐⇒ A は Π1n -集合 B ⊆ R×R の射影（i.e. A = ∃R B := { x ∈ R | (x, y) ∈ B }）．
• A が Π1n -集合 ⇐⇒ Σ1n -集合の補集合．

では射影集合の可測性について見ていきましょう．次の定理は ZFC で示せます：

定理 15. 任意の Σ11 -集合は Lebesgue 可測．従って Π11 と ∆11 もそう．

ではこの先はどうか？というと，∆13 -集合までは，ZFC からはみ出ないことが知られています．以下，射影集合のクラス Γ に対し，「任意の Γ-集合か可測」であることを Γ(N ) と略記します：

定理 16. 以下の理論は矛盾性等価：• ZFC,• ZFC + ¬∆12 (N )• ZFC + ∆12 (N ) + ¬Σ12 (N ),• ZFC + Σ12 (N ) + ¬∆13 (N ),• ZFC + ∆13 (N ) + ¬Σ13 (N ).

一方，Shelah [5] は，Σ13 -集合の可測性には到達不能基数の存在が必要であることを示しました．

定理 17 (Shelah, 1984). 次の理論は無矛盾性等価：• ZFC + ∃到達不能基数,• ZFC + Σ13 (N ).
特に，任意の Σ13 -集合が Lebesgue 可測なら，V の ℵ1 を L から見ると到達不能基数に見える．

これ以上はというと，実は Shelah の論文の 10 年前に（実は永らく未発表だったので 20 年前に），Solovay [6]18が次を示していました：

定理 18 (Solovay, 1974). κ を到達不能基数とし，Col(ω, < κ) を ω と κ の間の基数すべてに全射を付け加え，V [G] |= κ = ℵ1 にしてしまう強制概念とする．G が Col(ω, < κ)-ジェネリックなら，V [G] で任意の射影集合は Lebesgue 可測となる．

系 3. 以下の理論は無矛盾性等価：• ZFC + ∃到達不能基数,• ZFC + ∀n Σ1n (N ).

実は，射影集合よりも広く，順序数の可算列を使って定義出来る集合も V [G] では全て Lebesgue 可測とな
ります．つまり，「定義可能な集合」のほとんどを可測とするには，せいぜい到達不能基数があれば十分という訳です（参照：不完全性定理）．歴史的には，Solovay はこの到達不能基数の仮定を落とせると考えていたのですが，10 年後に Shelah が上記の定理によって落とせない事を示した，というのが順番になります．
更に，ここから実数をパラメータに使って定義可能な集合だけからなる L(R) という内部モデルを考えれば，

V [G] の L(R) では，ZF + 弱い選択公理 が成り立っていて，上記の定理から「任意の実数の部分集合が可測」になっています．これにより，(C)「選択公理を弱めたら任意の集合を Lebesgue 可測にできるか？」という問題も，「到達不能基数の無矛盾性を認めるなら出来る」という答えが得られたことになります．

3.1 その先へ
実は，上記の Solovay の結果は，Lebesgue 可測性以外にも，完全集合性質や Baire の性質といった，実数の集合に関する他の性質についても取り扱っています．当時，Σ12 -集合の完全集合性質から到達不能基数の無矛盾性が出ることは知られていましたが，Baire の性質については知られていませんでした．また，Baire のカテゴリー

性質はいわゆる Baire の 範 疇 定理に出て来る第一類集合と関連が深いものです．実際，Lebesgue 可測性は「Borel 集合と測度零の差しかない」という形で特徴付けられるのに対し，Baire の性質も「Borel 集合と痩せ集
合（閉疎集合の可算和）の差しかない」という形で定義出来ます．Lebesgue 零集合全体のイデアル N も痩せ集合全体のイデアル M も，共に ω1 -完備であり，更に Fubini の定理を満たします．このようにカテゴリーとLebesgue 測度の間には非常な類似性，双対性があり，当時は両者は殆んど同じものだと考えられてきました．
なので，Solovay は Lebesgue 可測性にも Baire の性質にも，到達不能基数は要らないだろうと考えていたのです．ところが，Shelah は上の論文で，射影集合の Baire 性には到達不能基数は不要なことを示しました：19

定理 19. 次の理論は無矛盾性等価：• ZFC,• ZFC + ∀n Σ1n (M).
特に，ZFC + CH のモデルから出発して，任意の射影集合を Baire にするような強制概念が存在する．

こうして，実は Lebesgue 可測性と Baire の性質については，無矛盾性の強さという根本のところで大きな隔りがあることが明らかになった訳です．
また，近年 Khomskii [3] は，より一般の ω1 -完備イデアル I に対して，実数の集合についての I-正則性の概念を定式化しました：

def

Def. 17. S ⊆ R が I-正則 ⇐==⇒ 任意の I-正 Borel 集合 B に対し，それに含まれる I-正 Borel 集合 C
で C ∩ S = ∅ または C ⊆ S を満たすものが存在．

S

C

C

B

Baire の性質と Lebesgue 可測性以外のこの形で表現出来る正則性については，多くの場合 Σ12 での I-正則性から既に到達不能基数の無矛盾性が出ることが，個別的な各論で知られています．これらの差異の原因を組合せ論的性質に基づいて解明出来ないか？ということが，講演者の現在の研究課題の一部です．

参考文献
[1]
[2]
[3]

[4]
[5]
[6]

[7]

Thomas Jech, Set Theory: The Third Millennium Edition, revised and expanded, 3rd, Springer Monographs
in Mathematics, Springer-Verlag Berlin Heidelberg New York, 2002, isbn: 978-3-540-44085-7.
Akihiro Kanamori, The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings, Springer
Monographs in Mathematics, Springer, 2009.
Yurii Khomskii, Regularity Properties and Definability in the Real Number Continuum: Idealized forcing,polarized partitions, Hausdorff gaps and mad families in the projective hierarchy, PhD thesis, Institutefor Logic, Language and Computation, Universiteit van Amsterdam, 2012.
Kenneth Kunen, Set Theory, vol. 34, Mathematical Logic and Foundations, College Publications, 2011.
Saharon Shelah, Can You Take Solovay’s Inaccessible Away?, Israel Journal of Mathematics 48.1 (1984), pp. 1–
47, issn: 0021-2172, doi: 10.1007/BF02760522, url: http://dx.doi.org/10.1007/BF02760522.
Robert M. Solovay, A model of set theory in which every set of reals is Lebesgue measurable, The
Annals of Mathematics, 2nd ser. 92.1 (July 1970), pp. 1–56, issn: 0003486X, doi: 10 . 2307 / 1970696, url: http ://www.jstor.org/stable/1970696.
田中一之 et al., ゲーデルと 20 世紀の論理学（ロジック）４集合論とプラトニズム, ed. by 田中一之, vol. 4, ゲーデルと 20 世紀の論理学, 東京大学出版会, 2007.

20