チコノフの定理
チコノフの定理 (ちこのふのていり、'、')または、チホノフの定理 は、数学の位相幾何学 (トポロジー) における定理であり、任意個 (非可算個の場合を含む)のコンパクト空間の直積空間がやはりコンパクト空間となることを主張する。
この定理は、ソビエト連邦、後にロシア連邦の数学者である () (1906年 - 1993年)が、1930年に、最初は実数の閉区間の場合について証明し、1935年に完全な証明を与えている。
非可算個の直積について定理を証明するためには、選択公理またはこれと同値な整列可能定理の援用が不可避であり、さらには各コンパクト空間がT1分離公理を満たす場合は、チコノフの定理と選択公理が同値である (つまり、チコノフの定理から選択公理が証明可能である)ことも証明されている (英語版 に証明がある)。
以降の証明では、まず有限個の場合について証明し (2個の直積の場合の証明で十分である)、これを選択公理を援用して(本稿では実際にはこれと同値な整列可能定理とツォルンの補題も援用する) 超限帰納法により非可算個の場合を含む無限個の直積の場合まで拡張している。通常は、数学的帰納法を用いて可算無限個の直積の場合に拡張し、最後に非可算個の直積の場合まで拡張するのであるが、可算無限の場合も非可算個の場合も証明のロジックはほとんど同じになるので、可算無限個の場合は省略する。
コンパクトという概念は、現在では通常はハイネ・ボレルの被覆定理で提唱された被覆という概念を用いて次のように定義される。
"定義"：位相空間 "X" がコンパクトであるとは、 "X" が次の命題を満たすことである。
"命題 1"：位相空間 "X" の任意の開被覆 formula_1 について、 formula_1 の有限部分集合で "X" を被覆するものが存在する。
コンパクト空間の直積空間がこの命題を満たすことを直接証明することも可能であるが、この命題の対偶である次の命題を証明する方が、有限の場合の証明法をわずかに変形するだけで、非可算個の場合まで見通しよく拡張を行うことができるので、本稿の証明もその方向に沿って行う。
"命題 2"：位相空間 "X" の任意の開集合族 formula_1 について、いかなる formula_1 の有限部分集合も "X" を被覆しないのであれば、 formula_1 も "X" を被覆しない。
以降、 の方法を引用した の証明を参考にしている。
"X", "Y" をコンパクト空間とすれば、その直積空間 "X" ×"Y" もコンパクトである。
(1) "X" ×"Y" の開集合族 formula_1 が次の仮定を満たすとすれば、formula_1 は "X" ×"Y" を被覆しない、つまり"命題 2" が満たされることを示す。
"仮定" ： formula_1 のいかなる有限部分集合も "X" ×"Y" を被覆しない。
(2) "主張" ： 次のような "X" の点 "x" が存在する。"X" の任意の開集合 "U" が "x" を含めば、formula_1 の有限部分集合で "U" ×"Y" を被覆するものは存在しない。
"証明" ： "主張" が正しくないと仮定すれば、"X" の全ての点 "x" について "x" ∈ "U" で、"U" ×"Y" が formula_1 のある有限部分集合で被覆される開集合 "U" が存在する。"X" はコンパクトであるから、このような "U" の有限個を選んで "X" を被覆できる。従って、有限個の "U" ×"Y" が "X" ×"Y" を被覆できることになり、結局 "X" ×"Y" は formula_1 の有限個の要素で被覆されることになり、"仮定" に反する。
(3) "主張" ： 次のような "Y" の点 "y" が存在する。 "X" の任意の開集合 "U" が (2)の"主張" における "x" を含み、 "Y" の任意の開集合 "V" が "y" を含めば、formula_1 の有限部分集合で "U" ×"V" を被覆するものは存在しない。
"証明" ： (2)の"主張" が正しくないと仮定すれば、"Y" の全ての点 "y" について "y" を含む "Y" の開集合 "V" と、 "x" を含み "y" に依存して決まる "X" の開集合 "U" が存在して、"U" × "V" は formula_1 のある有限部分集合で被覆される。"Y" はコンパクトであるから、このような "V" の有限個を選んで "Y" を被覆できる。別の言い方をすれば、 "Y" のある有限部分集合 "F" が存在して、 formula_14 "V" = "Y" とできる。 "U" = formula_15 "U" と置けば、 "U" は "x" を含む "X" の開集合であり、 "F" に含まれる各 "y" について "U" formula_16 "U" であるから、"U" ×"V" ⊆ "U" × "V" であり、"U" ×"V" も formula_1 のある有限部分集合で被覆される。"U" ×"Y" = formula_14 "U" × "V" であるから、結局 "U" ×"Y" は formula_1 のある有限部分集合で被覆されることになるが、これは(2)の "主張" に反する。
(3) "補足" ： 直積位相の定義により "X" の全ての開集合と "Y" の全ての開集合の直積が成す集合族は "X" ×"Y" の開集合族の を成す(これを formula_20 とする)。上記の "U" ×"V" は formula_20 の要素である。 "X" ×"Y" の任意の開集合 "O" は 基底 formula_20 の適当な部分集合族の合併として定義される。つまり、"O" = formula_23 ( formula_24 ) である。これから、 "O" とそれに含まれる任意の点 "x" について、ある "B" ∈ formula_20 が存在して、 "x" ∈ "B" ⊂ "O" となることが言える。
(4) "主張" ： (2)、(3) で存在が証明された "x" 、"y" の直積は "X" ×"Y" の点 ("x" ,"y" ) であるが、この点は formula_1 で被覆されない。
"証明" ： "主張" が正しくないと仮定すれば、 ("x" ,"y" ) を含む formula_1 の要素が少なくとも1つ存在するので、そのうちの一つを "W" とすれば、"補足" から ("x" ,"y" ) ∈ "B" ⊂ "W" を満たす "B" ∈ formula_20 が存在する。一方、(3)の "主張" により、"B" が("x" ,"y" ) を含めば、 formula_1 の有限部分集合で "B" を被覆するものは存在しないので矛盾である。従って、"主張" が正しいことになる。
(5) "結論" ： 以上により "仮定" が成り立てば formula_1 は "X" ×"Y" を被覆しない。従って、"命題 2" が成立するので、"X" ×"Y" はコンパクトである。
"Λ" を任意の濃度の集合とし、{ "X" }   を任意濃度の個数のコンパクト空間の族とすれば、その直積空間 "X" = formula_31 "X"   もコンパクトである。
(1) 直積空間 "X" の開集合族 formula_1 が次の仮定を満たすとすれば、formula_1 は "X" を被覆しない、つまり"命題 2" が満たされることを示す。
"仮定" ： formula_1 のいかなる有限部分集合も "X" を被覆しない。
(2) 整列可能定理により "Λ" には整列順序 "≤" が定義されているものとする。"Λ" は "≤" に関して最小元を持つ (これを "λ" とする)。"X" = formula_31 "X"   の直積は整列順序で行われるものとする。従って、無限直積の先頭の空間は "X" となる。
(3) "Λ" の元 "λ" に応じて真偽が決まる2つの命題関数 "P" ("λ") および "P ′"("λ") を次のように定義する。
"補足" ： "x" : "Λ" → formula_36 "X"  、"x" ∈ "X" が存在することを主張するためには選択公理を援用する必要がある。 "x ′" についても同じ。
(4) "P" ("λ") と "P ′"("λ") は同値である。つまり、"Λ" の任意の元 "λ" に対して、"P" ("λ") が真であれば "P ′"("λ") も真であり、"P ′"("λ") が真であれば "P" ("λ") も真である。
(5) "P" ("λ") → "P ′"("λ") の証明
"P" ("λ") が真であれば "U" を "X" と置いても、formula_1 の有限部分集合で formula_44  を被覆するものは存在しない。従って "P ′"("λ") は真である。
(6) "P ′"("λ") → "P" ("λ") の証明
(6.1) ある "λ" について "P ′"("λ") が真であるが、"P" ("λ") は偽であると仮定する。"P" ("λ") は偽であるとは、どのように "x" : "Λ" → formula_36 "X"  、"x" ∈ "X" を選んだとしても、"x" を含む "X" の開集合 "U" が存在して、ある formula_1 の有限部分集合で formula_47  を被覆するものが存在することを意味する。
(6.2) "x ′" : "Λ" → formula_48 "X"  は命題 "P ′"("λ") で存在が保証されているものとする。"X" の点を任意に選んで "y" と置く。 "x" : "Λ" → formula_49 "X"  を、"ρ" ∈   "Λ′" → "x" = "x ′" 、"x" = "y" と定義する。このとき (6.1) から、"x" を含む "X" の開集合 "U" が存在して、ある formula_1 の有限部分集合で formula_47  を被覆するものが存在する。
(6.3) (6.2) は別の見方をすると、"X" の全ての点 "y" について、"y" を含む "X" の開集合 "U" と、"ρ" < "λ" である全ての "ρ" ∈ "Λ" について、"x′" を含み "y" に依存して決まる "X" の開集合 "U" が存在して、formula_1 の有限部分集合で formula_53  を被覆するものが存在することを意味する。
(6.4) "X" はコンパクトであるから、このような "U" の有限個を選んで "X" を被覆できる。別の言い方をすれば、 "X" のある有限部分集合 "F" が存在して、"X" = formula_14 "U" とできる。"U" = formula_15 "U" と置けば、 "U" は "x" を含む "X" の開集合であり、 "F" に含まれる各 "y" について "U" ⊆ "U" である。formula_1 の有限部分集合で formula_53  を被覆するものが存在するのであるから、formula_1 の有限部分集合で formula_59  を被覆するものが存在する。
(6.5) formula_14 formula_59  =   formula_62  であるから、formula_1 の有限部分集合で formula_41   を被覆するものが存在することになるが、これは "P ′"("λ") が偽であることを意味し、矛盾が発生する。従って、 "P ′"("λ") → "P" ("λ") である。
(7) "主張" ： 任意の "ξ" ∈ "Λ′" = { "ρ" | "ρ" < "λ" ∧ "ρ" ∈ "Λ" }  について "P" ("ξ") が真であれば、"P" ("λ") も真である。
"証明" ：
(7.1) "Λ′"は空でないと仮定する。(4)から "ξ" ∈ "Λ′" について "P ′" ("ξ") は真である。従って、ツォルンの補題から (詳細な証明は略)   "Λ′" = formula_65 "Λ′"  について次のような "x ′" : "Λ ′" → formula_39 "X"  が存在することが言える。全ての "ρ" ∈ "Λ′" について、"x ′" ∈ "X" であり、"X" の任意の開集合 "U" が "x" を含めば、formula_1 の有限部分集合で formula_41   を被覆するものは存在しない。従って、"P ′" ("λ") は真であり、(6)から "P" ("λ") も真である。
(7.2) "Λ′" が空の場合、"λ" = "λ" でければならない。この場合の証明は、有限の場合の証明の (2)とほとんど同じになるので省略する。
(8) (7) の"主張" から超限帰納法により、任意の "λ" ∈ "Λ" に対して、"P" ("λ") は真である。従って、ツォルンの補題から (詳細な証明は略) 次のような "x" : "Λ" → formula_69 "X"  が存在することが言える。全ての "ρ" ∈ "Λ" について、"x" ∈ "X" であり、"X" の任意の開集合 "U" が "x" を含めば、formula_1 の有限部分集合で formula_71   を被覆するものは存在しない。
(9) "補足" ： 直積位相の定義により { "X" }   の全ての開集合の直積が成す集合族は、直積空間 "X" = formula_72  の開集合族の基底を成す(これを formula_20 とする)。上記の formula_74"U"   は formula_20 の要素である。 "X" の任意の開集合 "O" は 基底 formula_20 の適当な部分集合族の合併として定義される。つまり、"O" = formula_77 "B" ( "B" ∈ formula_20 ) である。これから、 "O" とそれに含まれる任意の点 "x" について、ある "B" ∈ formula_20 が存在して、 "x" ∈ "B" ⊂ "O" となることが言える。
(10) "主張" ： (8) で存在が証明された "x" は、直積位相の定義により "X" の点であるが、この点は formula_1 で被覆されない。
"証明" ： "主張" が正しくないと仮定すれば、"x" を含む formula_1 の要素が少なくとも1つ存在するので、そのうちの一つを "W" とすれば、"補足" から "x" ∈ "B" ⊂ "W" を満たす "B" ∈ formula_20 が存在する。一方、(8)から、"B" が "x" を含めば、 formula_1 の有限部分集合で "B" を被覆するものは存在しないので矛盾である。従って、"主張" が正しいことになる。
(11) "結論" ： 以上により "仮定" が成り立てば formula_1 は "X" を被覆しない。従って、"命題 2" が成立するので、"X" はコンパクトである。