数学において宇宙 (universe) とは議論領域を指す言葉であり、しばしば特定の集合ないしより巨大な構成物を指す。
Wikipedia:ja:宇宙 (数学) 、Wikipedia:Universe (mathematics) なども参照。
一般名詞としての宇宙、および宇宙論に関する話題は宇宙論の巨大数 を参照。
「すべての集合」の集まり [ ]
以下では「すべての集合」を例としたクラスを数学的に扱うための手法をいくつか述べる.シュールマン[ 1] なども参照.
グロタンディーク宇宙 [ ]
集合論においては、『すべての集合の集合』を筆頭として『(ある性質)を持つ集合すべての集合』を考えることはできない。これらの"集合"は、ラッセルのパラドックス 、カリーのパラドックス 、その他多数の類似のパラドックスを引き起こすためである。しかし、議論のために「集合の全体」など、様々なものの全体という概念が必要になることは多い。これを回避する方法のひとつがグロタンディーク宇宙である。
以下の定義はMac Lane[ 2] に基づいたものである[ 注 1] 。
定義 (グロタンディーク宇宙)
グロタンディーク宇宙 (Grothendieck universe)とは、以下の性質を満たす集合
U
{\displaystyle U}
である:
x
∈
u
{\displaystyle x\in u}
に対して、
u
∈
U
{\displaystyle u \in U}
ならば
x
∈
U
{\displaystyle x \in U}
。
u
,
v
∈
U
{\displaystyle u,v\in U}
に対して、対集合
{
u
,
v
}
{\displaystyle \{u, v\}}
、順序対
⟨
u
,
v
⟩
{\displaystyle \langle u,v\rangle }
、直積
u
×
v
{\displaystyle u\times v}
はすべて
U
{\displaystyle U}
に属する。
x
∈
U
{\displaystyle x \in U}
に対して、冪集合
P
x
{\displaystyle {\mathcal {P}}x}
、和集合
⋃
x
{\displaystyle \bigcup x}
は
U
{\displaystyle U}
に属する。
ω
∈
U
{\displaystyle \omega \in U}
(
ω
=
{
0
,
1
,
2
,
⋯
}
{\displaystyle \omega =\{0,1,2,\cdots \}}
は有限順序数全ての集合。)
f
:
a
→
b
{\displaystyle f:a\to b}
が全射的関数で
a
∈
U
{\displaystyle a\in U}
かつ
b
⊂
U
{\displaystyle b\subset U}
であるならば、
b
∈
U
{\displaystyle b\in U}
。
この定義により、
U
{\displaystyle U}
の要素に対して行われた数学的な操作の大抵は、ふたたび
U
{\displaystyle U}
の要素となる。特に
U
⊨
Z
F
C
{\displaystyle U\models {\mathsf {ZFC}}}
である.ここで
U
{\displaystyle U}
の要素である集合を「小さい」集合、
U
{\displaystyle U}
の部分集合である小さくない集合を「大きい」集合とすることにより、例えば「全ての小さい集合からなる圏」といった数学的構造について考えることが可能になる。しかし
U
{\displaystyle U}
と
V
{\displaystyle V}
は初等同値ではないことに注意されたい。すなわち
S
e
t
U
{\displaystyle \mathrm {Set} _{U}}
と
S
e
t
V
{\displaystyle \mathrm {Set} _{V}}
は異なる構造となる.
Z
F
C
{\displaystyle \mathsf{ZFC}}
に「全ての集合に対してそれを含むグロタンディーク宇宙が存在する」を加えた集合論をタルスキ・グロタンディーク集合論 といい,これは
Z
F
C
{\displaystyle \mathsf{ZFC}}
に「到達不能基数 が非有界に存在する」を加えたものと無矛盾同値である。
真クラスとNBG集合論 [ ]
「全ての集合」を取り扱う別の方法として、NBGの公理系 を採用し、「クラス」を導入することが挙げられる。
N
B
G
{\displaystyle {\mathsf {NBG}}}
においては、素朴な「ものの集まり」をクラスと呼び、クラスの要素であるものだけを集合と呼ぶ。すなわち、「クラス
x
{\displaystyle x}
が集合である」という文は
∃
C
.
x
∈
C
{\displaystyle \exists C.x\in C}
で定義される命題となる。
集合とクラスの区別がつく代わりに、
N
B
G
{\displaystyle {\mathsf {NBG}}}
では「(ある性質)を持つ集合すべてのクラス」が定義できる。特に「すべての集合のクラス」が定義でき、これを
V
{\displaystyle V}
で表す。もちろんZFC上での議論と同様に、「(ある性質)を持つクラスすべてのクラス」を考えることはできない。
集合でないクラスを真クラス (proper class)と言う。明らかに
V
{\displaystyle V}
は真クラスである。
Z
F
C
{\displaystyle \mathsf{ZFC}}
上で真クラスは"存在"できず、その要素の条件となる論理式(すなわち、真クラス
C
{\displaystyle C}
に対して
x
∈
C
⇔
φ
C
(
x
)
{\displaystyle x\in C\Leftrightarrow \varphi _{C}(x)}
を満たす論理式「
φ
C
(
x
)
{\displaystyle \varphi _{C}(x)}
」)としてのみ記述される。
一般に集合論の話をするときは
Z
F
C
{\displaystyle \mathsf{ZFC}}
がメタ理論であるため、真クラスはそのような個別の論理式を持った主張であることに注意すること。
真クラス
X
{\displaystyle X}
を表現する
Z
F
C
{\displaystyle \mathsf{ZFC}}
の論理式を
φ
X
(
x
)
{\displaystyle \varphi _{X}(x)}
で書いたとき、
「
X
{\displaystyle X}
は真クラスである」とは「
∃
x
.
φ
X
(
x
)
{\displaystyle \exists x.\varphi _{X}(x)}
だが,
x
∈
X
⇔
φ
X
(
x
)
{\displaystyle x\in X\Leftrightarrow \varphi _{X}(x)}
を満たす集合
X
{\displaystyle X}
は存在しない」、
「真クラス
X
{\displaystyle X}
の要素
x
{\displaystyle x}
」とは「
φ
X
(
x
)
{\displaystyle \varphi _{X}(x)}
を満たす
x
{\displaystyle x}
」を意味している。
N
B
G
{\displaystyle {\mathsf {NBG}}}
は
Z
F
C
{\displaystyle \mathsf{ZFC}}
の保存拡大である、すなわち
Z
F
C
{\displaystyle \mathsf{ZFC}}
の論理式(すなわちクラスに対する変数を持たない)
φ
{\displaystyle \varphi}
に対して
N
B
G
{\displaystyle {\mathsf {NBG}}}
で
φ
{\displaystyle \varphi}
が証明可能なら
Z
F
C
{\displaystyle \mathsf{ZFC}}
でも
φ
{\displaystyle \varphi}
が証明可能である。
φ
{\displaystyle \varphi}
を矛盾を表す論理式とすればこれは
Z
F
C
{\displaystyle \mathsf{ZFC}}
の論理式なので、
N
B
G
,
Z
F
C
{\displaystyle {\mathsf {NBG}},{\mathsf {ZFC}}}
は無矛盾同値である。保存拡大であるという事実は証明論的にはカット除去定理により部分論理式性から従い,モデル理論的には
Z
F
C
{\displaystyle \mathsf{ZFC}}
のモデルを適切に
N
B
G
{\displaystyle {\mathsf {NBG}}}
のモデルに拡大できることによる.
真クラスとフェファーマンの
Z
F
C
/
S
{\displaystyle {\mathsf {ZFC}}/\mathbb {S} }
[ ]
フェファーマンは「全ての集合」を扱う別の方法として、レヴィ・モンタギューの反映原理を元に
Z
F
C
/
S
{\displaystyle {\mathsf {ZFC}}/\mathbb {S} }
という公理系を提示した[ 3] 。
S
{\displaystyle \mathbb{S}}
はSmallnessのSであり,小さい集合全体の集まりを意図している。具体的には
Z
F
C
{\displaystyle \mathsf{ZFC}}
に定数記号
S
{\displaystyle \mathbb{S}}
を加えて、
Z
F
C
{\displaystyle \mathsf{ZFC}}
に以下の公理を加えたものが
Z
F
C
/
S
{\displaystyle {\mathsf {ZFC}}/\mathbb {S} }
である。
(
∃
x
)
[
x
∈
S
]
{\displaystyle (\exists x)[x\in \mathbb {S} ]}
。
(
∃
α
∈
O
n
)
[
S
=
V
α
]
{\displaystyle (\exists \alpha \in \mathrm {On} )[\mathbb {S} =V_{\alpha }]}
。
S
{\displaystyle \mathbb{S}}
を含まない論理式
φ
{\displaystyle \varphi}
に対する
(
∀
x
→
∈
S
)
[
φ
(
x
→
)
↔
φ
S
(
x
→
)
]
{\displaystyle (\forall {\vec {x}}\in \mathbb {S} )[\varphi ({\vec {x}})\leftrightarrow \varphi ^{\mathbb {S} }({\vec {x}})]}
、ここで、
φ
S
{\displaystyle \varphi ^{\mathbb {S} }}
は
φ
{\displaystyle \varphi}
の相対化、すなわち
φ
{\displaystyle \varphi}
に現れる量化子
∀
x
i
,
∃
x
i
{\displaystyle \forall x_{i},\exists x_{i}}
全てを
(
∀
x
i
∈
S
)
,
(
∃
x
i
∈
S
)
{\displaystyle (\forall x_{i}\in \mathbb {S} ),(\exists x_{i}\in \mathbb {S} )}
に置換したものである。
論理式は無限個あるため、3もまた無限個の公理からなる。このような
S
{\displaystyle \mathbb{S}}
はクラス
V
{\displaystyle V}
と殆ど同じ役割を果たし、
Z
F
C
/
S
{\displaystyle {\mathsf {ZFC}}/\mathbb {S} }
から
S
{\displaystyle \mathbb{S}}
に対して示せたものは
V
{\displaystyle V}
に対しても示せたことになる。すなわち
Z
F
C
{\displaystyle \mathsf{ZFC}}
の閉論理式
φ
{\displaystyle \varphi}
に対し、
Z
F
C
/
S
{\displaystyle {\mathsf {ZFC}}/\mathbb {S} }
から
φ
S
{\displaystyle \varphi ^{\mathbb {S} }}
が証明可能であることと、
Z
F
C
{\displaystyle \mathsf{ZFC}}
から
φ
{\displaystyle \varphi}
が証明可能であることは同値である。
Z
F
C
/
S
{\displaystyle {\mathsf {ZFC}}/\mathbb {S} }
も
Z
F
C
{\displaystyle \mathsf{ZFC}}
の保存拡大であり、よって無矛盾同値である。この事実は証明論的にはカット除去定理により部分論理式性、及び証明に現れる
Z
F
C
{\displaystyle \mathsf{ZFC}}
の公理は有限個であるから、それに対する反映原理でモデルを取ることで示される。
集合論における宇宙 [ ]
集合論において宇宙とは、ZFやその他の集合論のモデルを与えるために構成されたものを指すことが多い。
フォン・ノイマン宇宙 [ ]
フォン・ノイマン宇宙 とはZFCで扱うことが出来る全ての集合を漸増的に定義する真クラスである。それは集合ではないが、「全ての集合の集合」とみなすことができる。それは累積階層 という、次のように定まる超限列により定義される:
V
0
=
{
}
{\displaystyle V_{0}=\{\}}
V
α
=
⋃
β
<
α
P
(
V
β
)
{\displaystyle V_{\alpha }=\bigcup _{\beta <\alpha }{\mathcal {P}}(V_{\beta })}
(ここで
P
(
X
)
{\displaystyle \mathcal{P}(X)}
は
X
{\displaystyle X}
のべき集合である)
全ての順序数
α
{\displaystyle \alpha}
に対して
V
α
{\displaystyle V_\alpha}
を定めた上で、次のように置く:
V
=
⋃
α
∈
On
V
α
{\displaystyle V=\bigcup _{\alpha \in {\text{On}}}V_{\alpha }}
これがフォン・ノイマン宇宙である。
構成可能宇宙 [ ]
構成可能宇宙を定義するために、次のような関係を定義する必要がある:
D
e
f
(
X
)
{\displaystyle \mathrm {Def} (X)}
を
X
{\displaystyle X}
由来のパラメータを持つ一階論理式で定義される
X
{\displaystyle X}
の部分集合全てを含む集合とする。
X
{\displaystyle X}
由来のパラメータを持つ一階論理式とは、自由 変項
y
{\displaystyle y}
と
z
1
,
.
.
.
,
z
n
∈
X
{\displaystyle z_{1},...,z_{n}\in X}
を用いて
Φ
(
y
,
z
1
,
.
.
.
,
z
n
)
{\displaystyle \Phi (y,z_{1},...,z_{n})}
と表される一階論理式(記号
∃
{\displaystyle \exists}
、
∧
¯
{\displaystyle {\overline {\wedge }}}
、
∈
{\displaystyle \in}
等を含む)である。この
D
e
f
(
X
)
{\displaystyle \mathrm {Def} (X)}
を形式化するためには論理式をゲーデル数化しなければならないが省略する。
集合
Y
{\displaystyle Y}
が論理式
Φ
(
y
,
z
1
,
.
.
.
,
z
n
)
{\displaystyle \Phi (y,z_{1},...,z_{n})}
によって定義 されるとは、
Y
{\displaystyle Y}
が
Φ
(
y
,
z
1
,
.
.
.
,
z
n
)
{\displaystyle \Phi (y,z_{1},...,z_{n})}
を満たす集合
y
{\displaystyle y}
全体の集合であるということである。
与えられたクラス
A
{\displaystyle A}
に対し、構成可能閉包 (constructible closure)
L
(
A
)
{\displaystyle L(A)}
を以下のように定義することが出来る:
L
0
(
A
)
=
{\displaystyle L_{0}(A)=}
A
{\displaystyle A}
を含む最小の推移的クラス(推移的クラスとは、自身の部分クラスのみからなるクラスである)
L
α
(
A
)
=
⋃
β
<
α
D
e
f
(
L
β
(
A
)
)
{\displaystyle L_{\alpha }(A)=\bigcup _{\beta <\alpha }\mathrm {Def} (L_{\beta }(A))}
L
(
A
)
=
⋃
α
∈
O
n
L
α
(
A
)
{\displaystyle L(A)=\bigcup _{\alpha \in \mathrm {On} }L_{\alpha }(A)}
ここで
A
=
∅
{\displaystyle A=\emptyset}
のとき
L
(
∅
)
{\displaystyle L(\emptyset )}
を
L
{\displaystyle L}
と表し、構成可能集合 という。
この構成可能閉包の定義はあまり上手く振る舞わない,特に
Z
F
{\displaystyle {\mathsf {ZF}}}
において一般の
A
{\displaystyle A}
は整列順序を持たないかもしれないため
L
(
A
)
⊨
A
C
{\displaystyle L(A)\models {\mathsf {AC}}}
とは限らない。
よって以下の
A
{\displaystyle A}
に相対化した構成可能宇宙 (constructible universe relative to
A
{\displaystyle A}
) を考えることもある.まず
D
e
f
A
(
X
)
{\displaystyle \mathrm {Def} ^{A}(X)}
を構造
⟨
X
,
∈
,
A
∩
X
⟩
{\displaystyle \langle X,\in ,A\cap X\rangle }
での一階論理式で定義可能な
X
{\displaystyle X}
の部分集合全体である。ここで
A
∩
X
{\displaystyle A\cap X}
は一変数の関係とする。
A
{\displaystyle A}
に相対化した構成可能階層
L
[
A
]
{\displaystyle L[A]}
は以下のように超限再帰で定義される。
L
0
[
A
]
=
∅
{\displaystyle L_{0}[A]=\emptyset }
L
α
[
A
]
=
⋃
β
<
α
D
e
f
A
(
L
β
[
A
]
)
{\displaystyle L_{\alpha }[A]=\bigcup _{\beta <\alpha }\mathrm {Def} ^{A}(L_{\beta }[A])}
L
[
A
]
=
⋃
α
∈
O
n
L
α
[
A
]
{\displaystyle L[A]=\bigcup _{\alpha \in \mathrm {On} }L_{\alpha }[A]}
このようにすれば
L
[
A
]
⊨
A
C
{\displaystyle L[A]\models {\mathsf {AC}}}
である。
また
L
{\displaystyle L}
階層は振る舞いがよくないことから
J
{\displaystyle J}
階層というものも考えられている。
J
{\displaystyle J}
階層は
A
{\displaystyle A}
に相対化した基礎関数閉包
r
u
d
A
(
X
)
{\displaystyle \mathrm {rud} ^{A}(X)}
を用いて超限再帰で定義される.
J
0
[
A
]
=
∅
{\displaystyle J_{0}[A]=\emptyset }
J
α
+
ω
[
A
]
=
r
u
d
A
(
J
α
[
A
]
∪
{
J
α
[
A
]
}
)
{\displaystyle J_{\alpha +\omega }[A]=\mathrm {rud} ^{A}(J_{\alpha }[A]\cup \{J_{\alpha }[A]\})}
J
ω
λ
[
A
]
=
⋃
ξ
<
λ
J
ω
ξ
[
A
]
{\displaystyle J_{\omega \lambda }[A]=\bigcup _{\xi <\lambda }J_{\omega \xi }[A]}
ただし
λ
{\displaystyle \lambda}
は極限順序数である.
J
[
A
]
=
⋃
α
∈
O
n
J
ω
α
[
A
]
{\displaystyle J[A]=\bigcup _{\alpha \in \mathrm {On} }J_{\omega \alpha }[A]}
ω
α
=
α
{\displaystyle \omega \alpha =\alpha }
なる順序数
α
{\displaystyle \alpha}
に対して
L
α
[
A
]
=
J
α
[
A
]
{\displaystyle L_{\alpha }[A]=J_{\alpha }[A]}
であり,従って
L
[
A
]
=
J
[
A
]
{\displaystyle L[A]=J[A]}
である。
脚注 [ ]
↑ 例えばブルバキのテキスト ではωの存在性が課されていない.この定義の場合,遺伝的有限集合 の全体
V
ω
{\displaystyle V_{\omega }}
もグロタンディーク宇宙の要件を満たす.
参考文献 [ ]
↑ M.A. Shulman. Set theory for category theory. arXiv preprint arXiv:0810.1279 (2008).
↑ Mac Lane, Saunders (1998). Categories for the Working Mathematician (2nd ed.) Springer. (S.マックレーン. 三好博之, 高木理 (訳) (2012). 圏論の基礎. 丸善出版)
↑ Feferman, Solomon, and G. Kreisel. "Set-theoretical foundations of category theory." Reports of the midwest category seminar III. Springer, Berlin, Heidelberg, 1969. doi:10.1007/BFb0059148