ケーニヒの定理 (集合論)のソースを表示

{{脚注の不足|date=2020年1月}}
[[集合論]]において、'''ケーニヒの定理'''（ケーニヒのていり）
<ref>ハンガリー人数学者 Gyula Kőnig に由来する。ケーニヒは[[Julius König]]の名前で発表していた。</ref>
とは[[選択公理]]の下で成り立つ命題で、
''I'' が[[集合]]で、全ての ''I'' の要素 ''i'' について ''m<sub>i</sub>'' と ''n<sub>i</sub>'' は
それぞれ[[基数]]であり、<math>m_i < n_i \!</math>であるなら 
:<math>\sum_{i\in I}m_i<\prod_{i\in I}n_i.</math>
となる。というものである。

ここでの ''和'' は集合''m<sub>i</sub>''達の[[直和]]の濃度で、 ''積'' は[[直積集合|直積]]の濃度である。
しかしながら、選択公理を仮定しない場合は、この和と積は基数として定義できないので、
その場合にこの定理を考慮するにはこの不等式の意味は明らかにされる必要がある。

== 詳細 ==

定理の正確な内容は以下のようになる: ''I'' を[[集合]] ,その任意の要素 ''i'' に対して ''A<sub>i</sub>'' と ''B<sub>i</sub>'' を
集合で、<math>A_i<B_i\!</math>であるものとすると、
:<math>\sum_{i\in I}A_i<\prod_{i\in I}B_i,</math>
となる。ここで '''<''' は ''[[基数]]の意味で真に小さい'' ことを意味する。
言い換えると、''A<sub>i</sub>'' から ''B<sub>i</sub>''への[[単射]]があるが、逆方向には単射がない。
この和は直和でなくてもよい([[選択公理]]の有無に関わらず、単なる集合和は直和より決して大きくはならない)。
ここでの'''ケーニヒの定理'''は[[選択公理]]と同値である。
<ref Name="Rubin 1985">{{cite book|last=Rubin|first=H.|coauthors=Rubin, J.E.|title=Equivalents of the Axiom of Choice, II|publisher=[[North-Holland Publishing Company|North Holland]]|place=New York, NY|year=1985|pages=185|isbn=0-444-87708-8}}</ref>

(もちろん、ケーニヒの定理は添え字集合 ''I'' が無限で''m<sub>i</sub>'' と ''n<sub>i</sub>''が[[有限集合|有限]]基数なら自明である。
''I'' が[[空集合]]なら、左辺の和は0になり、右辺の積は1となる。)

ケーニヒの定理は結論が狭義の不等式になっていることが注目すべき点である。
基数の無限和と無限積の演算に関する広義不等号 ≤ を結論に持つ簡単なルールはたくさんある。
例えば、''I'' の要素 ''i'' に対して<math>m_i < n_i \!</math>ならば、 
:<math>\sum_{i\in I} m_i \le \sum_{i\in I} n_i </math>
とまでしか言えない。例として、<math>m_i = 1 </math> & <math>n_i = 2</math>で添え字集合 ''I'' は自然数全体とすれば
両辺の和は<math>\aleph_0</math>となり、等号が成立することになる。

==ケーニヒの定理の系==
* <math>\kappa\,</math> が基数なら <math>\kappa < 2^{\kappa}.\!</math>
κの要素''i''に対して''m<sub>i</sub>'' = 1,''n<sub>i</sub>'' = 2とすると、
ケーニヒの定理の不等式の左辺はちょうどκになり、
右辺はκから{0,1}への関数全体の集合の濃度である2<sup>κ</sup>となる。
これはκの冪集合の濃度であり、ケーニヒの定理は[[カントールの定理]]の別証明を与える。
(歴史的にはカントールの定理の方が先に証明されている。)

===選択公理===
選択公理は"任意の空でない集合の直積は空でない"という命題とも言える。
''I'' の要素''i'' に対し
''B<sub>i</sub>''を空でない集合、''A<sub>i</sub>'' = {}とする。
ケーニヒの定理から、:
*<math>\forall i\in I(\{\}<B_i)</math>ならば<math>\{\}<\prod_{i\in I}B_i.</math>
となる。すなわち、与えられた空でない集合''B<sub>i</sub>''の直積は空集合の和より大きい濃度を持ち、空でないから、これは選択公理の主張に他ならない。
つまり、ケーニヒの定理から選択公理が導かれる。ケーニヒの定理からの帰結について議論するときは暗黙の内に、選択公理を仮定することになる。

===ケーニヒの定理と共終数===
ケーニヒの定理は基数の[[共終数]]に関する重要な帰結も持つ。

*<math>\kappa\ge\aleph_0</math>ならば<math>\kappa<\kappa^{cf(\kappa)}. \!</math>
κに到達する基数の狭義増加なcf(κ)-列をとる
この列の要素はどれもκ未満であり、
それらの和はκで、積はκのcf(κ)個のコピーの直積である。

[[イーストンの定理]]によると、次の帰結は[[正則基数]]のcontinuum functionに対する唯一の非自明な制限である。

* <math>\kappa\geq\aleph_0</math> かつ <math>\lambda\geq 2</math> ならば <math>\kappa<cf(\lambda^\kappa).\!</math>

<math>\mu = \lambda^\kappa \!</math>としよう。
この系の結論に反して、<math>\kappa \ge cf(\mu)</math>であったとしよう。
先に挙げた系により、<math>\mu<\mu^{cf(\mu)}\le\mu^{\kappa}=(\lambda^\kappa)^\kappa=\lambda^{\kappa\cdot\kappa}=\lambda^\kappa=\mu</math>となり、これは矛盾である。よって、この系の結論は成立しなければならない。

==ケーニヒの定理の証明==
ZFC公理系を仮定して証明する。
<math>\forall i\in I\quad A_i<B_i</math> が与えられたとして <math>\sum_{i\in I}A_i<\prod_{i\in I}B_i</math> を示す。

最初に、和から積への[[単射]]があることを証明する。選択公理により、
全ての ''i'' について ''A<sub>i</sub>'' から ''B<sub>i</sub>'' への
単射 ''f<sub>i</sub>'' を選ぶ。
ここで、 ''f<sub>i</sub>'' は全射にはならない。
なので、各 ''i'' に対して ''f<sub>i</sub>'' の値域の外にある ''B<sub>i</sub>'' の要素が存在する。
それらを ''x<sub>i</sub>'' として、選択公理を再度用いて取り出す。和の上の関数 ''g'' を
''j'' = ''i'' で ''a'' が ''A<sub>i</sub>'' の要素なら ''g'' ( ''i,a'' ) ( ''j'' ) = ''f<sub>i</sub>'' ( ''a'' )
かつ
''j'' ≠ ''i'' で ''a'' が ''A<sub>i</sub>'' の要素なら ''g'' ( ''i,a'' ) ( ''j'' ) = ''x<sub>j</sub>'' 
とすることによって定義する。
各 ''i'' に対して ''f<sub>i</sub>''(''a'') ≠ ''x<sub>i</sub>'' であるので、 ''g'' は和から積への単射である。

次に、和から積への関数 ''f'' が全射ではないことを示す。
関数 ''f'' に対し、[[カントールの対角線論法]]と同様の議論によって ''f'' の値になりえない
積の要素 ''e'' を構成する。''I'' の各要素 ''i'' に対し、
''A<sub>i</sub>'' から ''B<sub>i</sub>'' への関数 ''f<sub>i</sub>'' を
''f<sub>i</sub>'' ( ''a'' ) = (''f'' ( ''a'' )) ( ''i'' ) で定義する。
仮定により ''f<sub>i</sub>'' は ''A<sub>i</sub>'' から ''B<sub>i</sub>'' への全射ではないので、''I'' の各要素 ''i'' に対して、''B<sub>i</sub>'' の要素で ''f<sub>i</sub>'' の像に入らないものがある。
選択公理により、''B'' の要素 ''e'' であって ''e'' ( ''i'' ) が ''f<sub>i</sub>'' の値にならないものが存在する。
もし ''f'' が全射ならば、ある ''A<sub>i</sub>'' と ''A<sub>i</sub>'' の要素 ''c'' があり ''f'' ( ''c'' ) =  ''e'' を満たす。
しかし、''f<sub>i</sub>'' ( ''c'' ) = ''e'' ( ''i'' ) となるので、これは ''e'' ( ''i'' ) の取り方に矛盾する。よって ''f'' は全射ではない。
よって、積の濃度は和の濃度より真に大きい。

==脚注==
{{脚注ヘルプ}}
<references/>

==参考文献==
{{参照方法|date=2020年1月|section=1}}
*{{cite book | author=M. Holz, K. Steffens and E. Weitz | title=Introduction to Cardinal Arithmetic | publisher=Birkhäuser | year=1999 | isbn=3764361247}}

==関連項目==
*[[選択公理]]

==外部リンク==
*[http://planetmath.org/encyclopedia/KonigsTheorem.html König's theorem] article on PlanetMath, includes a proof

{{Math-stub}}
{{DEFAULTSORT:けえにひのていり}}
[[Category:基数]]
[[Category:選択公理]]
[[Category:数学基礎論の定理]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]