ケーニヒの定理 (集合論)

集合論において、ケーニヒの定理（ケーニヒのていり）
とは選択公理の下で成り立つ命題で、
"I" が集合で、全ての "I" の要素 "i" について "mi" と "ni" は
それぞれ基数であり、formula_1であるなら 
となる。というものである。
ここでの "和" は集合"mi"達の直和の濃度で、 "積" は直積の濃度である。
しかしながら、選択公理を仮定しない場合は、この和と積は基数として定義できないので、
その場合にこの定理を考慮するにはこの不等式の意味は明らかにされる必要がある。
詳細.
定理の正確な内容は以下のようになる: "I" を集合 ,その任意の要素 "i" に対して "Ai" と "Bi" を
集合で、formula_3であるものとすると、
となる。ここで < は "基数の意味で真に小さい" ことを意味する。
言い換えると、"Ai" から "Bi"への単射があるが、逆方向には単射がない。
この和は直和でなくてもよい(選択公理の有無に関わらず、単なる集合和は直和より決して大きくはならない)。
ここでのケーニヒの定理は選択公理と同値である。
(もちろん、ケーニヒの定理は添え字集合 "I" が無限で"mi" と "ni"が有限基数なら自明である。
"I" が空集合なら、左辺の和は0になり、右辺の積は1となる。)
ケーニヒの定理は結論が狭義の不等式になっていることが注目すべき点である。
基数の無限和と無限積の演算に関する広義不等号 ≤ を結論に持つ簡単なルールはたくさんある。
例えば、"I" の要素 "i" に対してformula_1ならば、 
とまでしか言えない。例として、formula_7 & formula_8で添え字集合 "I" は自然数全体とすれば
両辺の和はformula_9となり、等号が成立することになる。
ケーニヒの定理の系.
κの要素"i"に対して"mi" = 1,"ni" = 2とすると、
ケーニヒの定理の不等式の左辺はちょうどκになり、
右辺はκから{0,1}への関数全体の集合の濃度である2κとなる。
これはκの冪集合の濃度であり、ケーニヒの定理はカントールの定理の別証明を与える。
選択公理.
選択公理は"任意の空でない集合の直積は空でない"という命題とも言える。
"I" の要素"i" に対し
"Bi"を空でない集合、"Ai" = {}とする。
ケーニヒの定理から、:
となる。すなわち、与えられた空でない集合"Bi"の直積は空集合の和より大きい濃度を持ち、空でないから、これは選択公理の主張に他ならない。
つまり、ケーニヒの定理から選択公理が導かれる。ケーニヒの定理からの帰結について議論するときは暗黙の内に、選択公理を仮定することになる。
ケーニヒの定理と共終数.
ケーニヒの定理は基数の共終数に関する重要な帰結も持つ。
κに到達する基数の狭義増加なcf(κ)-列をとる
この列の要素はどれもκ未満であり、
それらの和はκで、積はκのcf(κ)個のコピーの直積である。
イーストンの定理によると、次の帰結は正則基数のcontinuum functionに対する唯一の非自明な制限である。
formula_19としよう。
この系の結論に反して、formula_20であったとしよう。
先に挙げた系により、formula_21となり、これは矛盾である。よって、この系の結論は成立しなければならない。
ケーニヒの定理の証明.
ZFC公理系を仮定して証明する。
formula_22 が与えられたとして formula_23 を示す。
最初に、和から積への単射があることを証明する。選択公理により、
全ての "i" について "Ai" から "Bi" への
単射 "fi" を選ぶ。
ここで、 "fi" は全射にはならない。
なので、各 "i" に対して "fi" の値域の外にある "Bi" の要素が存在する。
それらを "xi" として、選択公理を再度用いて取り出す。和の上の関数 "g" を
"j" = "i" で "a" が "Ai" の要素なら "g" ( "i,a" ) ( "j" ) = "fi" ( "a" )
かつ
"j" ≠ "i" で "a" が "Ai" の要素なら "g" ( "i,a" ) ( "j" ) = "xj" 
とすることによって定義する。
各 "i" に対して "fi"("a") ≠ "xi" であるので、 "g" は和から積への単射である。
次に、和から積への関数 "f" が全射ではないことを示す。
関数 "f" に対し、カントールの対角線論法と同様の議論によって "f" の値になりえない
積の要素 "e" を構成する。"I" の各要素 "i" に対し、
"Ai" から "Bi" への関数 "fi" を
"fi" ( "a" ) = ("f" ( "a" )) ( "i" ) で定義する。
仮定により "fi" は "Ai" から "Bi" への全射ではないので、"I" の各要素 "i" に対して、"Bi" の要素で "fi" の像に入らないものがある。
選択公理により、"B" の要素 "e" であって "e" ( "i" ) が "fi" の値にならないものが存在する。
もし "f" が全射ならば、ある "Ai" と "Ai" の要素 "c" があり "f" ( "c" ) = "e" を満たす。
しかし、"fi" ( "c" ) = "e" ( "i" ) となるので、これは "e" ( "i" ) の取り方に矛盾する。よって "f" は全射ではない。
よって、積の濃度は和の濃度より真に大きい。