Hilbertの逆理
本稿では次の二つの条件について考察する.
- :は冪集合について閉じている.即ちならばが成立する.
- :は合併について閉じている.即ちならばが成立する.
まずこれらの性質それぞれを満たす集合は存在することに注意しよう:
- 条件(1)については極限順序数に対して定まる-階の累積階層はこの条件を満たす.ここで累積階層は-階を空集合としていたが,より一般に-階は如何なる集合を用いても同様の性質を満たすことが示される.
- 条件(2)については集合に対して定まる冪集合がこの条件を満たす.
一方でこれら両方を満たす集合は存在しない.これがHilbertの逆理である.以下では斯かる二条件を満たすクラスをHilbertクラスと呼ぶことにする(ここだけの用語である).
Hilbertの逆理
集合であるようなHilbertクラスは存在しない.
背理法で示す.即ち二条件を満たす集合が存在すると仮定する.仮定より斯かる集合を取ると,はの部分集合であるから条件よりが成立する.よって条件よりが成立する.ここでなるを任意にとると,なるが存在し,よってが成立する.の取り方より
が得られる().ここでは空でないのでその元を一つ選んでおき,
をならばとし,ならばとおく.
既に示している()に留意するとは全射であると分かり,これはCantorの定理に矛盾している.以上より示された.
Hilbertの逆理に関する注意
- Hilbertの逆理が最初に明示的に指摘されたのはHilbertによる1905年の講義らしい.詳細については,
このあたりのpdf
を参照されたい.
Hilbertの逆理はHilbertクラスは真クラスであることを述べているので,「どのような真クラスがHilbertクラスであるか??」と問うことは自然である.この問について考えると,次に観察する通り一意には定まらないことが分かる.
自明なHilbertクラス:
集合全体の為すクラスはHilbertクラスである.実際,の元は定義より集合であり,冪集合公理よりが集合であることが分かり,合併公理よりが集合であることが分かる.よってかつである.
非自明なHilbertクラス:累積階層の為すクラス
累積階層の為すクラスはHilbertクラスである.これを示す上で,先ず次の事実に注意する:を任意にとるとき順序数であってを満たすものが一意に存在する.の元に対して定まる斯かる順序数をと書くと約束する.ではを示そう.の元を任意にとると
が成立する.よってが得られる.次にの部分集合を任意にとると,累積階層の基本性質「」に留意すれば
が得られる.ここでは集合よりも集合であり,順序数の為す集合の上限は順序数であるからはの元である.
非自明なHilbertクラス:推移閉包を用いて定義されるクラス
推移閉包を用いて定義されるクラスはHilbertクラスである.推移閉包に関する事実を認めれば証明は容易であるが,推移閉包を知っている者に対しては説明するほどの事実ではない.一方で推移閉包に関する事実を示すのは面倒である.よってここでは一旦省略する(ごめんなさい).
最大のHilbertクラスと最小のHilbertクラス
前節まででHilbertクラスは真クラスであることが分かり,非自明な例が存在することが分かった.Hilbertクラスは真クラスであるから「Hilbertクラス全体」を考えることはできないが,「Hilbertクラス全体」の中で普遍的なもの,すなわち最大であるものと最小であるものについては考えることはできる.そして実際にそのようなHilbertクラスが存在することが分かる.
を超限帰納法で示す.即ちが成り立たない順序数の存在を仮定し,斯かる順序数の中で最小のものをと置く.の場合についてはより条件を適用すればが成立するので矛盾する.が後続順序数の場合については,の最小性よりであり,これに条件を適用すればが得られるので矛盾する.が極限順序数の場合については,の最小性よりはの部分集合であり,条件を適用すればが得られるので矛盾する.以上より如何なる場合についても矛盾が導出されたので仮定は誤りであり,証明できた.
ここでの最小性を用いれば,Hilbertクラスが最大になる条件を次のように書ける.
をHilbertクラスとするとき,次は同値である.
- は自明である.即ちが成立する.
- は-推移的クラスである.即ちならばが成立する.
(1)ならば(2)は明白であるので逆を示す.先ずはHilbertクラスより
が成立する.よって順序数を任意にとるときが成立し,ここで(2)を仮定していることに留意するとが従う.よっての任意性よりが得られる.逆の包含は明白であるから証明できた.
結び
本稿は書きかけの記事
Grothendieck宇宙のーと
からの抜粋で,元々はこの文脈に合わせて書いていました.今回抜粋したのはGrothendieck宇宙のーとの完成の見込みが薄いこと,Hilbertの逆理自体はあまり知られていなさそうなことの二点が理由です.現時点で分かっていないささやかな問題として,Hilbertクラスの生成の明示的な表示があります.後はもっと病的な例がたくさん欲しいですね.もし何か分かった人がいたら教えて頂けると嬉しいです.
参考文献
・渕野昌,数学ノート(2018-),
https://fuchino.ddo.jp/notes/math-notes-18.pdf(リンク切れ)
追記
- 2020/12/02 めいぜんおーえす氏の指摘を受けて命題1(Hilbertの逆理)の証明を修正した.特に余計な合併を除去した.
- 2020/12/19 でぃぐ氏の指摘を受けて例3の誤植を訂正した.