ZF 集合論上での基数についての基本的性質 (1)
記事の趣旨
ZFC 集合論と ZF 集合論のあいだのもっとも大きな相違点は、まさしく選択公理の存在にある。選択公理は ZF 集合論の視点に立てば、非常に強力な主張として観察される。実際的に我々がしばしば数学を行うにあたって、ZF 集合論上選択公理と同値な命題(Zorn's lemma, 整列可能定理などが有名である)を援用して議論を展開することが多々ある以上、ZFC 集合論に習熟してしまい、逆説的に、選択公理を排除した状況でどの程度までの主張が成立するのかということについて不明になってしまうこともある。そこで ZF 集合論上での基数の基本的性質を調べていきたいと思う。
本記事においては散発的に簡単な結果をいくつか紹介する。
注意
この記事においては、基本的に ZF 公理系を採用する。またこの記事は Loren J. Halbeisen "Combinatorial Set Theory - With a Gentle Introduction to Forcing" の 4 章を大きく参考にしている。
準備
定義 1 (順序数) 集合 が順序数であるとは、次の性質をみたすことをいう。
- ならば
- ならば または または
定義 2 (-階層) 順序数 について、 とは次のように帰納的に定義される集合のことをいう。
- 極限順序数 について
定義 3 (基数) 集合 について の基数 とは、次で定義される集合のことである。
- と との全単射が存在するような最小の について
このような形で基数を定義することによって、整列不能な集合に関してもその基数を調べることができる。
定義 4 (有限集合) 集合 が有限集合であるとは、ある について なる全単射が存在することをいう。
定義 5 (D-有限集合) 集合 が D-有限であるとは、 なる単射が存在しないことをいう。
有限集合は D-有限集合である。しかし選択公理のない状況では D-有限集合であるからといって有限集合であるとは限らない。
いくつかの基本的関係
以下散発的な主張を紹介する。
定理 6 (Cantor) 基数 について、 が成立する。
証明 まず を示す。このためには濃度 の集合 について から への単射を作ればよい。これは、 について を充てる対応を考えればよい。
次に なる全射があったとして矛盾を導く。このとき次の集合 を とおく。 は全射であるため、 なる が存在する。従って の取り方より ならば であり、逆に ならば となってしまう。これは矛盾である。従って が成り立つ。Q.E.D.
命題 7 ならば .
証明 濃度 の集合 をとると、仮定より単射 が取れる。このとき、 の可算無限個の非空な部分集合であって、互いに交わらないものを取れれば、それらを とおくと として に対して を充てる対応がとれ、これは単射となる。よって以下このような部分集合族を構成することを目標とする。
を次のようにしてとる:
- .
このとき 上に次のような関係をいれる:
- について .
また を なる集合とする。
ここで、すべての について が上で作った関係のもとで整列順序付けられていたとき は整列可能集合である。このとき であるため、 が有限ならば の像は有限となる。像が 点集合であったならば の像は高々 点集合であるため矛盾する。よって は無限集合となる。 は整列可能な無限集合であるため なる集合が取れる。このとき とおくと、これは非空な の部分集合であり、いずれも互いに交わらない。
また、いずれかの について が整列順序付けられていないとする。このような で最小のものを固定しておく。このとき であって最小元を持たないものをとる。このとき、 とすると となるような は無限個存在する。ここで、 なる について , なる について とおくと は減少列となる。これは真に減少する無限列を部分列として含む。この部分列を としてとると、 とすればこれは非空な集合族であり互いに交わらない。よって命題が証明された。Q.E.D.
命題 8 基数 について が成り立つ。
証明 濃度 の集合 を任意に取る。このとき について を充てる対応は単射である。Q.E.D.
定義 9 () 基数 について、 とは濃度 の集合 について の有限部分集合全体の集合 の濃度のことをいう。
命題 10 無限基数 について が成り立つ。
証明 を濃度 の集合とする。このとき とおくと、これらは の相異なる元となるため、 が言える。よって命題 7 より が成り立つ。Q.E.D.
系 11 無限基数 について は D-無限である。
証明 命題 10 と同様の証明により の相違なる可算無限個の元を取れるため。Q.E.D.
系 12 無限基数 について が成り立つ。
証明 系 11 より が成り立つ。従って が成り立つ。Q.E.D.
参考文献
- Loren J. Halbeisen, "Combinatorial Set Theory - With a Gentle Introduction to Forcing", 2012.
- alg-d, "有限集合・無限集合の定義", http://alg-d.com/math/ac/def_of_finite.html .