チコノフの定理のソースを表示
←
チコノフの定理
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
{{otheruses}} '''チコノフの定理''' (ちこのふのていり、'''{{lang-ru-short|Теорема Тихонова}}'''、'''{{lang-en-short|Tychonoff's theorem}}''')または、'''チホノフの定理''' は、数学の[[位相幾何学]] (トポロジー) における定理であり、任意個 ([[非可算]]個の場合を含む)の[[コンパクト空間]]の[[位相空間#位相空間の導出|直積空間]]がやはりコンパクト空間となることを主張する。 この定理は、[[ソビエト連邦]]、後に[[ロシア連邦]]の数学者である '''[[:en:Andrey Nikolayevich Tikhonov|Andrey Nikolayevich Tikhonov]]''' ('''{{lang-ru-short|Андре́й Никола́евич Ти́хонов}}''') (1906年 - 1993年)が、1930年に、最初は実数の[[閉区間]]の場合について証明し、1935年に完全な証明を与えている。 非可算個の直積について定理を証明するためには、[[選択公理]]またはこれと同値な[[整列可能定理]]の援用が不可避であるが、逆も成立し、チコノフの定理と選択公理は同値であることが証明されている 。さらに、各コンパクト空間がT1[[分離公理]]を満たす場合に限定した、より弱いチコノフの定理も選択公理と同値である(英語版 [[:en:Tychonoff's theorem#Proof of the axiom of choice from Tychonoff's theorem|Tychonoff's theorem]]に証明がある)。 ==証明の流れ== 以降の証明では、まず有限個の場合について証明し (2個の直積の場合の証明で十分である)、これを選択公理を援用して(本稿では実際にはこれと同値な整列可能定理と[[ツォルンの補題]]も援用する) [[数学的帰納法#超限帰納法|超限帰納法]]により非可算個の場合を含む無限個の直積の場合まで拡張している。通常は、[[数学的帰納法]]を用いて可算無限個の直積の場合に拡張し、最後に非可算個の直積の場合まで拡張するのであるが、可算無限の場合も非可算個の場合も証明のロジックはほとんど同じになるので、可算無限個の場合は省略する。 コンパクトという概念は、現在では通常は[[ハイネ・ボレルの被覆定理]]で提唱された[[集合の被覆|被覆]]という概念を用いて次のように定義される。 ''定義''：位相空間 ''X'' がコンパクトであるとは、 ''X'' が次の命題を満たすことである。 ''命題 1''：位相空間 ''X'' の任意の開被覆 <math>\mathcal{W}</math> について、 <math>\mathcal{W}</math> の有限部分集合で ''X'' を被覆するものが存在する。 コンパクト空間の直積空間がこの命題を満たすことを直接証明することも可能であるが、この命題の[[対偶 (論理学)|対偶]]である次の命題を証明する方が、有限の場合の証明法をわずかに変形するだけで、非可算個の場合まで見通しよく拡張を行うことができるので、本稿の証明もその方向に沿って行う。 ''命題 2''：位相空間 ''X'' の任意の[[開集合]]族 <math>\mathcal{W}</math> について、いかなる <math>\mathcal{W}</math> の有限部分集合も ''X'' を被覆しないのであれば、 <math>\mathcal{W}</math> も ''X'' を被覆しない。 以降、<ref>David Wright, Proceedings of the American Mathematical Society 120 (1994), pp985-987</ref> の方法を引用した <ref>[http://www.math.cornell.edu/~kbrown/4530/tychonoff.pdf Tychono's Theorem Ken Brown, Cornell University, October 2008]</ref> の証明を参考にしている。 ==有限個の直積の場合== ===定理=== ''X'', ''Y'' をコンパクト空間とすれば、その直積空間 ''X'' ×''Y'' もコンパクトである。 ===証明=== (1) ''X'' ×''Y'' の[[開集合]]族 <math>\mathcal{W}</math> が次の仮定を満たすとすれば、<math>\mathcal{W}</math> は ''X'' ×''Y'' を被覆しない、つまり''命題 2'' が満たされることを示す。 ''仮定'' ： <math>\mathcal{W}</math> のいかなる有限部分集合も ''X'' ×''Y'' を被覆しない。 (2) ''主張'' ： 次のような ''X'' の点 ''x<sub>0</sub>'' が存在する。''X'' の任意の開集合 ''U'' が ''x<sub>0</sub>'' を含めば、<math>\mathcal{W}</math> の有限部分集合で ''U'' ×''Y'' を被覆するものは存在しない。 ''証明'' ： ''主張'' が正しくないと仮定すれば、''X'' の全ての点 ''x'' について ''x'' ∈ ''U<sub>x</sub>'' で、''U<sub>x</sub>'' ×''Y'' が <math>\mathcal{W}</math> のある有限部分集合で被覆される開集合 ''U<sub>x</sub>'' が存在する。''X'' はコンパクトであるから、このような ''U<sub>x</sub>'' の有限個を選んで ''X'' を被覆できる。従って、有限個の ''U<sub>x</sub>'' ×''Y'' が ''X'' ×''Y'' を被覆できることになり、結局 ''X'' ×''Y'' は <math>\mathcal{W}</math> の有限個の要素で被覆されることになり、''仮定'' に反する。 (3) ''主張'' ： 次のような ''Y'' の点 ''y<sub>0</sub>'' が存在する。 ''X'' の任意の開集合 ''U'' が (2)の''主張'' における ''x<sub>0</sub>'' を含み、 ''Y'' の任意の開集合 ''V'' が ''y<sub>0</sub>'' を含めば、<math>\mathcal{W}</math> の有限部分集合で ''U'' ×''V'' を被覆するものは存在しない。 ''証明'' ： (2)の''主張'' が正しくないと仮定すれば、''Y'' の全ての点 ''y'' について ''y'' を含む ''Y'' の開集合 ''V<sub>y</sub>'' と、 ''x<sub>0</sub>'' を含み ''y'' に依存して決まる ''X'' の開集合 ''U<sub>y</sub>'' が存在して、''U<sub>y</sub>'' × ''V<sub>y</sub>'' は <math>\mathcal{W}</math> のある有限部分集合で被覆される。''Y'' はコンパクトであるから、このような ''V<sub>y</sub>'' の有限個を選んで ''Y'' を被覆できる。別の言い方をすれば、 ''Y'' のある有限部分集合 ''F'' が存在して、 <math>\bigcup_{y \in F}</math> ''V<sub>y</sub>'' = ''Y'' とできる。 ''U'' = <math>\bigcap_{y \in F}</math> ''U<sub>y</sub>'' と置けば、 ''U'' は ''x<sub>0</sub>'' を含む ''X'' の開集合であり、 ''F'' に含まれる各 ''y'' について ''U'' <math>\subseteq</math> ''U<sub>y</sub>'' であるから、''U'' ×''V<sub>y</sub>'' ⊆ ''U<sub>y</sub>'' × ''V<sub>y</sub>'' であり、''U'' ×''V<sub>y</sub>'' も <math>\mathcal{W}</math> のある有限部分集合で被覆される。''U'' ×''Y'' = <math>\bigcup_{y \in F}</math> ''U'' × ''V''<sub>y</sub> であるから、結局 ''U'' ×''Y'' は <math>\mathcal{W}</math> のある有限部分集合で被覆されることになるが、これは(2)の ''主張'' に反する。 (3) ''補足'' ： 直積位相の定義により ''X'' の全ての開集合と ''Y'' の全ての開集合の直積が成す集合族は ''X'' ×''Y'' の開集合族の[[:en:Base (topology)|基底]] を成す(これを <math>\mathcal{B}</math> とする)。上記の ''U'' ×''V'' は <math>\mathcal{B}</math> の要素である。 ''X'' ×''Y'' の任意の開集合 ''O'' は 基底 <math>\mathcal{B}</math> の適当な部分集合族の合併として定義される。つまり、''O'' = <math>\bigcup_{\lambda \in \Lambda} B_\lambda</math> ( <math>B_\lambda \in \mathcal{B}</math> ) である。これから、 ''O'' とそれに含まれる任意の点 ''x'' について、ある ''B'' ∈ <math>\mathcal{B}</math> が存在して、 ''x'' ∈ ''B'' ⊂ ''O'' となることが言える。 (4) ''主張'' ： (2)、(3) で存在が証明された ''x<sub>0</sub>'' 、''y<sub>0</sub>'' の直積は ''X'' ×''Y'' の点 (''x<sub>0</sub>'' ,''y<sub>0</sub>'' ) であるが、この点は <math>\mathcal{W}</math> で被覆されない。 ''証明'' ： ''主張'' が正しくないと仮定すれば、 (''x<sub>0</sub>'' ,''y<sub>0</sub>'' ) を含む <math>\mathcal{W}</math> の要素が少なくとも1つ存在するので、そのうちの一つを ''W'' とすれば、''補足'' から (''x<sub>0</sub>'' ,''y<sub>0</sub>'' ) ∈ ''B'' ⊂ ''W'' を満たす ''B'' ∈ <math>\mathcal{B}</math> が存在する。一方、(3)の ''主張'' により、''B'' が(''x<sub>0</sub>'' ,''y<sub>0</sub>'' ) を含めば、 <math>\mathcal{W}</math> の有限部分集合で ''B'' を被覆するものは存在しないので矛盾である。従って、''主張'' が正しいことになる。 (5) ''結論'' ： 以上により ''仮定'' が成り立てば <math>\mathcal{W}</math> は ''X'' ×''Y'' を被覆しない。従って、''命題 2'' が成立するので、''X'' ×''Y'' はコンパクトである。 ==非可算無限個を含む任意濃度の直積の場合== ===定理=== ''Λ'' を任意の[[濃度 (数学)|濃度]]の集合とし、{ ''X<sub>λ</sub>'' }<sub>''λ ∈ Λ''</sub> を任意濃度の個数のコンパクト空間の族とすれば、その直積空間 ''X'' = <math>\prod_{\lambda \in \Lambda}</math> ''X<sub>λ</sub>'' もコンパクトである。 ===証明=== (1) 直積空間 ''X'' の開集合族 <math>\mathcal{W}</math> が次の仮定を満たすとすれば、<math>\mathcal{W}</math> は ''X'' を被覆しない、つまり''命題 2'' が満たされることを示す。 ''仮定'' ： <math>\mathcal{W}</math> のいかなる有限部分集合も ''X'' を被覆しない。 (2) 整列可能定理により ''Λ'' には[[整列順序]] "≤" が定義されているものとする。''Λ'' は "≤" に関して最小元を持つ (これを ''λ<sub>0</sub>'' とする)。''X'' = <math>\prod_{\lambda \in \Lambda}</math> ''X<sub>λ</sub>'' の直積は整列順序で行われるものとする。従って、無限直積の先頭の空間は ''X<sub>λ<sub>0</sub></sub>'' となる。 (3) ''Λ'' の元 ''λ'' に応じて真偽が決まる2つの命題関数 ''P'' (''λ'') および ''P ′''(''λ'') を次のように定義する。 :''P'' (''λ'') ： ''Λ<sub>λ</sub>'' = { ''ρ'' | ''ρ'' ≤ ''λ'' ∧ ''ρ'' ∈ ''Λ'' } と置く。次のような ''x'' : ''Λ<sub>λ</sub>'' → <math>\bigcup_{\rho \in \Lambda_\lambda}</math> ''X<sub>ρ</sub>'' が存在する( ''x'' (''ρ'') を ''x<sub>ρ</sub>'' と書くことにする)。全ての ''ρ'' ∈ ''Λ<sub>λ</sub>'' について、''x<sub>ρ</sub>'' ∈ ''X<sub>ρ</sub>'' であり、''X<sub>ρ</sub>'' の任意の開集合 ''U<sub>ρ</sub>'' が ''x<sub>ρ</sub>'' を含めば、<math>\mathcal{W}</math> の有限部分集合で <math>(\prod_{\rho \le \lambda} U_\rho ) \times (\prod_{\lambda < \sigma} X_\sigma )</math> を被覆するものは存在しない。 :''P ′''(''λ'') ： ''Λ′<sub>λ</sub>'' = { ''ρ'' | ''ρ'' < ''λ'' ∧ ''ρ'' ∈ ''Λ'' } と置く。次のような ''x ′'' : ''Λ ′<sub>λ</sub>'' → <math>\bigcup_{\rho \in \Lambda^\prime_\lambda}</math> ''X<sub>ρ</sub>'' が存在する。全ての ''ρ'' ∈ ''Λ′<sub>λ</sub>'' について、''x ′<sub>ρ</sub>'' ∈ ''X<sub>ρ</sub>'' であり、''X<sub>ρ</sub>'' の任意の開集合 ''U<sub>ρ</sub>'' が ''x ′<sub>ρ</sub>'' を含めば、<math>\mathcal{W}</math> の有限部分集合で <math>(\prod_{\rho < \lambda} U_\rho ) \times (\prod_{\lambda \le \sigma} X_\sigma )</math> を被覆するものは存在しない。 ''補足'' ： ''x'' : ''Λ<sub>λ</sub>'' → <math>\bigcup_{\rho \in \Lambda_\lambda}</math> ''X<sub>ρ</sub>'' 、''x<sub>ρ</sub>'' ∈ ''X<sub>ρ</sub>'' が存在することを主張するためには選択公理を援用する必要がある。 ''x ′'' についても同じ。 (4) ''P'' (''λ'') と ''P ′''(''λ'') は同値である。つまり、''Λ'' の任意の元 ''λ'' に対して、''P'' (''λ'') が真であれば ''P ′''(''λ'') も真であり、''P ′''(''λ'') が真であれば ''P'' (''λ'') も真である。 (5) ''P'' (''λ'') → ''P ′''(''λ'') の証明 ''P'' (''λ'') が真であれば ''U<sub>λ</sub>'' を ''X<sub>λ</sub>'' と置いても、<math>\mathcal{W}</math> の有限部分集合で <math>(\prod_{\rho < \lambda} U_\rho) \times X_\lambda \times (\prod_{\lambda < \sigma} X_\sigma)</math> を被覆するものは存在しない。従って ''P ′''(''λ'') は真である。 (6) ''P ′''(''λ'') → ''P'' (''λ'') の証明 (6.1) ある ''λ'' について ''P ′''(''λ'') が真であるが、''P'' (''λ'') は偽であると仮定する。''P'' (''λ'') は偽であるとは、どのように ''x'' : ''Λ<sub>λ</sub>'' → <math>\bigcup_{\rho \in \Lambda_\lambda}</math> ''X<sub>ρ</sub>'' 、''x<sub>ρ</sub>'' ∈ ''X<sub>ρ</sub>'' を選んだとしても、''x<sub>ρ</sub>'' を含む ''X<sub>ρ</sub>'' の開集合 ''U<sub>ρ</sub>'' が存在して、ある <math>\mathcal{W}</math> の有限部分集合で <math>(\prod_{\rho \le \lambda} U_\rho) \times (\prod_{\lambda < \sigma} X_\sigma)</math> を被覆するものが存在することを意味する。 (6.2) ''x ′'' : ''Λ<sub>λ</sub>'' → <math>\bigcup_{\rho < \lambda}</math> ''X<sub>ρ</sub>'' は命題 ''P ′''(''λ'') で存在が保証されているものとする。''X<sub>λ</sub>'' の点を任意に選んで ''y'' と置く。 ''x'' : ''Λ<sub>λ</sub>'' → <math>\bigcup_{\rho \le \lambda}</math> ''X<sub>ρ</sub>'' を、''ρ'' ∈ ''Λ′<sub>λ</sub>'' → ''x<sub>ρ</sub>'' = ''x ′<sub>ρ</sub>'' 、''x<sub>λ</sub>'' = ''y'' と定義する。このとき (6.1) から、''x<sub>ρ</sub>'' を含む ''X<sub>ρ</sub>'' の開集合 ''U<sub>ρ</sub>'' が存在して、ある <math>\mathcal{W}</math> の有限部分集合で <math>(\prod_{\rho \le \lambda} U_\rho) \times (\prod_{\lambda < \sigma} X_\sigma)</math> を被覆するものが存在する。 (6.3) (6.2) は別の見方をすると、''X<sub>λ</sub>'' の全ての点 ''y'' について、''y'' を含む ''X<sub>λ</sub>'' の開集合 ''U<sub>λ, y</sub>'' と、''ρ'' < ''λ'' である全ての ''ρ'' ∈ ''Λ'' について、''x′<sub>ρ</sub>'' を含み ''y'' に依存して決まる ''X<sub>ρ</sub>'' の開集合 ''U<sub>ρ, y</sub>'' が存在して、<math>\mathcal{W}</math> の有限部分集合で <math>(\prod_{\rho < \lambda} U_{\rho, y}) \times U_{\lambda, y} \times (\prod_{\lambda < \sigma} X_\sigma)</math> を被覆するものが存在することを意味する。 (6.4) ''X<sub>λ</sub>'' はコンパクトであるから、このような ''U<sub>λ, y</sub>'' の有限個を選んで ''X<sub>λ</sub>'' を被覆できる。別の言い方をすれば、 ''X<sub>λ</sub>'' のある有限部分集合 ''F'' が存在して、''X<sub>λ</sub>'' = <math>\bigcup_{y \in F}</math> ''U<sub>λ, y</sub>'' とできる。''U<sub>ρ</sub>'' = <math>\bigcap_{y \in F}</math> ''U<sub>ρ, y</sub>'' と置けば、 ''U<sub>ρ</sub>'' は ''x<sub>ρ</sub>'' を含む ''X<sub>ρ</sub>'' の開集合であり、 ''F'' に含まれる各 ''y'' について ''U<sub>ρ</sub>'' ⊆ ''U<sub>ρ, y</sub>'' である。<math>\mathcal{W}</math> の有限部分集合で <math>(\prod_{\rho < \lambda} U_{\rho, y}) \times U_{\lambda, y} \times (\prod_{\lambda < \sigma} X_\sigma)</math> を被覆するものが存在するのであるから、<math>\mathcal{W}</math> の有限部分集合で <math>(\prod_{\rho < \lambda} U_{\rho}) \times U_{\lambda, y} \times (\prod_{\lambda < \sigma} X_\sigma)</math> を被覆するものが存在する。 (6.5) <math>\bigcup_{y \in F}</math> <math>(\prod_{\rho < \lambda} U_{\rho}) \times U_{\lambda, y} \times (\prod_{\lambda < \sigma} X_\sigma)</math> = <math>(\prod_{\rho < \lambda} U_{\rho}) \times X_{\lambda} \times (\prod_{\lambda < \sigma} X_\sigma)</math> であるから、<math>\mathcal{W}</math> の有限部分集合で <math>(\prod_{\rho < \lambda} U_\rho ) \times (\prod_{\lambda \le \sigma} X_\sigma )</math> を被覆するものが存在することになるが、これは ''P ′''(''λ'') が偽であることを意味し、矛盾が発生する。従って、 ''P ′''(''λ'') → ''P'' (''λ'') である。 (7) ''主張'' ： 任意の ''ξ'' ∈ ''Λ′<sub>λ</sub>'' = { ''ρ'' | ''ρ'' < ''λ'' ∧ ''ρ'' ∈ ''Λ'' } について ''P'' (''ξ'') が真であれば、''P'' (''λ'') も真である。 ''証明'' ： (7.1) ''Λ′<sub>λ</sub>''は空でないと仮定する。(4)から ''ξ'' ∈ ''Λ′<sub>λ</sub>'' について ''P ′'' (''ξ'') は真である。従って、ツォルンの補題から (詳細な証明は略) ''Λ′<sub>λ</sub>'' = <math>\bigcup_{\xi \in \Lambda^\prime_\lambda}</math> ''Λ′<sub>ξ</sub>'' について次のような ''x ′'' : ''Λ ′<sub>λ</sub>'' → <math>\bigcup_{\rho \in \Lambda^\prime_\lambda}</math> ''X<sub>ρ</sub>'' が存在することが言える。全ての ''ρ'' ∈ ''Λ′<sub>λ</sub>'' について、''x ′<sub>ρ</sub>'' ∈ ''X<sub>ρ</sub>'' であり、''X<sub>ρ</sub>'' の任意の開集合 ''U<sub>ρ</sub>'' が ''x<sub>ρ</sub>'' を含めば、<math>\mathcal{W}</math> の有限部分集合で <math>(\prod_{\rho < \lambda} U_\rho ) \times (\prod_{\lambda \le \sigma} X_\sigma )</math> を被覆するものは存在しない。従って、''P ′'' (''λ'') は真であり、(6)から ''P'' (''λ'') も真である。 (7.2) ''Λ′<sub>λ</sub>'' が空の場合、''λ'' = ''λ<sub>0</sub>'' でければならない。この場合の証明は、有限の場合の証明の (2)とほとんど同じになるので省略する。 (8) (7) の''主張'' から超限帰納法により、任意の ''λ'' ∈ ''Λ'' に対して、''P'' (''λ'') は真である。従って、ツォルンの補題から (詳細な証明は略) 次のような ''x'' : ''Λ'' → <math>\bigcup_{\rho \in \Lambda}</math> ''X<sub>ρ</sub>'' が存在することが言える。全ての ''ρ'' ∈ ''Λ'' について、''x<sub>ρ</sub>'' ∈ ''X<sub>ρ</sub>'' であり、''X<sub>ρ</sub>'' の任意の開集合 ''U<sub>ρ</sub>'' が ''x<sub>ρ</sub>'' を含めば、<math>\mathcal{W}</math> の有限部分集合で <math>\prod_{\rho \in \Lambda} U_\rho</math> を被覆するものは存在しない。 (9) ''補足'' ： 直積位相の定義により { ''X<sub>λ</sub>'' }<sub>''λ ∈ Λ''</sub> の全ての開集合の直積が成す集合族は、直積空間 ''X'' = <math>\prod_{\lambda \in \Lambda} X_\lambda</math> の開集合族の基底を成す(これを <math>\mathcal{B}</math> とする)。上記の <math>\prod_{\rho \in \Lambda} </math>''U<sub>ρ</sub>'' は <math>\mathcal{B}</math> の要素である。 ''X'' の任意の開集合 ''O'' は 基底 <math>\mathcal{B}</math> の適当な部分集合族の合併として定義される。つまり、''O'' = <math>\bigcup_{\lambda \in \Lambda}</math> ''B<sub>λ</sub>'' ( ''B<sub>λ</sub>'' ∈ <math>\mathcal{B}</math> ) である。これから、 ''O'' とそれに含まれる任意の点 ''x'' について、ある ''B'' ∈ <math>\mathcal{B}</math> が存在して、 ''x'' ∈ ''B'' ⊂ ''O'' となることが言える。 (10) ''主張'' ： (8) で存在が証明された ''x'' は、直積位相の定義により ''X'' の点であるが、この点は <math>\mathcal{W}</math> で被覆されない。 ''証明'' ： ''主張'' が正しくないと仮定すれば、''x'' を含む <math>\mathcal{W}</math> の要素が少なくとも1つ存在するので、そのうちの一つを ''W'' とすれば、''補足'' から ''x'' ∈ ''B'' ⊂ ''W'' を満たす ''B'' ∈ <math>\mathcal{B}</math> が存在する。一方、(8)から、''B'' が ''x'' を含めば、 <math>\mathcal{W}</math> の有限部分集合で ''B'' を被覆するものは存在しないので矛盾である。従って、''主張'' が正しいことになる。 (11) ''結論'' ： 以上により ''仮定'' が成り立てば <math>\mathcal{W}</math> は ''X'' を被覆しない。従って、''命題 2'' が成立するので、''X'' はコンパクトである。 ==脚注== <references/> ==参考文献== * 森田紀一 『位相空間論』 岩波書店〈岩波全書>、1981年 * 静馬良次 『位相』 サイエンス社、1975年 * 森毅 「チホノフの定理」『数学100の定理』、1999年、126頁。 {{DEFAULTSORT:ちこのふのていり}} [[Category:位相幾何学の定理]] [[Category:選択公理]] [[Category:数学に関する記事]] [[Category:数学のエポニム]]
このページで使用されているテンプレート:
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:Lang-ru-short
(
ソースを閲覧
)
テンプレート:Otheruses
(
ソースを閲覧
)
チコノフの定理
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報