6

Hilbertの逆理のーと

341
3

Hilbertの逆理

本稿では次の二つの条件について考察する.

  1. (P1)Xは冪集合について閉じている.即ちxXならばP(x)Xが成立する.
  2. (P2)Xは合併について閉じている.即ちYXならばYXが成立する.

まずこれらの性質それぞれを満たす集合は存在することに注意しよう:

  • 条件(1)については極限順序数γに対して定まるγ-階の累積階層Vγはこの条件を満たす.ここで累積階層は0-階を空集合としていたが,より一般に0-階は如何なる集合を用いても同様の性質を満たすことが示される.
  • 条件(2)については集合Xに対して定まる冪集合P(X)がこの条件を満たす.

一方でこれら両方を満たす集合は存在しない.これがHilbertの逆理である.以下では斯かる二条件を満たすクラスをHilbertクラスと呼ぶことにする(ここだけの用語である).

Hilbertの逆理

集合であるようなHilbertクラスは存在しない.

背理法で示す.即ち二条件を満たす集合Xが存在すると仮定する.仮定より斯かる集合Xを取ると,XXの部分集合であるから条件(P2)よりXXが成立する.よって条件(P1)よりP(X)Xが成立する.ここでxP(X)なるxを任意にとると,xXXなるXが存在し,よってxXが成立する.xの取り方より
P(X)X
が得られる().ここでP(X)は空でないのでその元aを一つ選んでおき,
f:XP(X)
xP(X)ならばf(x)=xとし,xP(X)ならばf(x)=aとおく.
既に示している()に留意するとfは全射であると分かり,これはCantorの定理に矛盾している.以上より示された.

Hilbertの逆理に関する注意
  • Hilbertの逆理が最初に明示的に指摘されたのはHilbertによる1905年の講義らしい.詳細については, このあたりのpdf を参照されたい.

Hilbertの逆理はHilbertクラスは真クラスであることを述べているので,「どのような真クラスがHilbertクラスであるか??」と問うことは自然である.この問について考えると,次に観察する通り一意には定まらないことが分かる.

自明なHilbertクラス:V

集合全体の為すクラスV:={xx=x}はHilbertクラスである.実際,Vの元xは定義より集合であり,冪集合公理よりP(x)が集合であることが分かり,合併公理よりxが集合であることが分かる.よってP(x)VかつxVである.

非自明なHilbertクラス:累積階層の為すクラス

累積階層の為すクラスHmin:={xα[x=Vα]}はHilbertクラスである.これを示す上で,先ず次の事実に注意する:xHminを任意にとるとき順序数αであってx=Vαを満たすものが一意に存在する.Hminの元xに対して定まる斯かる順序数をαxと書くと約束する.では(P1)を示そう.Hminの元xを任意にとると
P(x)=P(Vαx)=Vαx+1
が成立する.よってP(x)Hminが得られる.次にHminの部分集合Xを任意にとると,累積階層の基本性質「α<βVαVβ」に留意すれば
X=Vsup{αxxX}
が得られる.ここでXは集合より{αxxX}も集合であり,順序数の為す集合の上限は順序数であるからXHminの元である.

非自明なHilbertクラス:推移閉包を用いて定義されるクラス

推移閉包を用いて定義されるクラスH:={xy[ytrcl(x)card(y)card(x)]}はHilbertクラスである.推移閉包に関する事実を認めれば証明は容易であるが,推移閉包を知っている者に対しては説明するほどの事実ではない.一方で推移閉包に関する事実を示すのは面倒である.よってここでは一旦省略する(ごめんなさい).

最大のHilbertクラスと最小のHilbertクラス

前節まででHilbertクラスは真クラスであることが分かり,非自明な例が存在することが分かった.Hilbertクラスは真クラスであるから「Hilbertクラス全体」を考えることはできないが,「Hilbertクラス全体」の中で普遍的なもの,すなわち最大であるものと最小であるものについては考えることはできる.そして実際にそのようなHilbertクラスが存在することが分かる.

Hminの最小性,Vの最大性

XがHilbertクラスであるならば,HminXVが成立する.

VαXを超限帰納法で示す.即ちVαXが成り立たない順序数αの存在を仮定し,斯かる順序数の中で最小のものをαと置く.α=0の場合についてはXXより条件(P2)を適用すれば=Xが成立するので矛盾する.αが後続順序数の場合については,αの最小性よりVα1Xであり,これに条件(P1)を適用すればVα=P(Vα1)Xが得られるので矛盾する.αが極限順序数の場合については,αの最小性より{Vββ<α}Xの部分集合であり,条件(P1)を適用すればVα=β<αVβ={Vββ<α}Xが得られるので矛盾する.以上より如何なる場合についても矛盾が導出されたので仮定は誤りであり,証明できた.

ここでHminの最小性を用いれば,Hilbertクラスが最大になる条件を次のように書ける.

XをHilbertクラスとするとき,次は同値である.

  1. Xは自明である.即ちX=Vが成立する.
  2. X-推移的クラスである.即ちxXXならばxXが成立する.

(1)ならば(2)は明白であるので逆を示す.先ずXはHilbertクラスより
HminX
が成立する.よって順序数αを任意にとるときVαXが成立し,ここで(2)を仮定していることに留意するとVαXが従う.よってαの任意性よりVXが得られる.逆の包含は明白であるから証明できた.

結び

本稿は書きかけの記事 Grothendieck宇宙のーと からの抜粋で,元々はこの文脈に合わせて書いていました.今回抜粋したのはGrothendieck宇宙のーとの完成の見込みが薄いこと,Hilbertの逆理自体はあまり知られていなさそうなことの二点が理由です.現時点で分かっていないささやかな問題として,Hilbertクラスの生成の明示的な表示があります.後はもっと病的な例がたくさん欲しいですね.もし何か分かった人がいたら教えて頂けると嬉しいです.

参考文献

・渕野昌,数学ノート(2018-), https://fuchino.ddo.jp/notes/math-notes-18.pdf(リンク切れ)

追記

  • 2020/12/02 めいぜんおーえす氏の指摘を受けて命題1(Hilbertの逆理)の証明を修正した.特に余計な合併を除去した.
  • 2020/12/19 でぃぐ氏の指摘を受けて例3の誤植を訂正した.
投稿日:2020121
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

サクラ
サクラ
84
6167
関東で一般大学院生をしています.多元環の表現論が専門です. Mathtodon:https://mathtod.online/web/accounts/1573

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. Hilbertの逆理
  2. 最大のHilbertクラスと最小のHilbertクラス
  3. 結び
  4. 参考文献
  5. 追記