コンパクト空間

数学において、コンパクト（, ）は位相空間の性質であり、formula_1上の有界閉集合が満たす性質を抽象化する事により定義される。なおブルバキでは、本項でいうコンパクトを準コンパクト（）と呼び、準コンパクトでハウスドルフの分離公理を満たすものをコンパクトであると呼んでいるので注意が必要である。位相空間の部分集合に対し、のにおける閉包がコンパクトであるときはで相対コンパクト（）であるという。
概要.
動機.
formula_1の有界閉集合は位相空間論的に「性質の良い」空間でをformula_1の有界閉集合とすると、例えば以下が成立する事が知られている：
このような「性質の良い」空間を一般の位相空間に拡張して定義したものがコンパクトの概念である。
ただし、「formula_1の有界閉集合」という概念自身は、「有界」という距離に依存した概念に基づいているため、一般の位相空間では定義できず、別の角度からコンパクトの概念を定義する必要がある。
そのために用いるのがボルツァーノ・ワイエルシュトラスの定理とハイネ・ボレルの被覆定理である。これらの定理はいずれも「formula_1の有界閉集合であれば◯◯」という形の定理であるが、実は逆も成立する事が知られており、formula_1においては
の３つは同値となる。しかも上記の２，３はいずれも位相構造のみを使って記述可能である。
したがって２もしくは３の一方を満たす（同値なので実は２，３の両方を満たす）事をもってコンパクト性を定義する。ただしテクニカルな理由により、上記の２に関しては若干の補正が必要になるが、これについては後述する。
２種類の同値な定義.
コンパクトの概念は以下に述べる同値な２性質の少なくとも一方（したがって両方）を満たす事により定義される。
ボルツァーノ・ワイエルシュトラス性による定式化.
１つ目の性質は(有向点族に対する)ボルツァーノ・ワイエルシュトラス性といい、これはformula_1の有界閉集合に対するボルツァーノ・ワイエルシュトラスの定理の結論部分を若干拡張した形で定式化したものである。この性質は直観的には点列の拡張概念である有向点族の極限が発散する事がない事を意味する。
コンパクトな空間では有向点族がの「外」に「発散」する事がないので、内で「収束」するか「振動」するかのいずれかとなる。よって任意の有向点族には収束する部分列が取れるはずであり、厳密にはこの事実を持ってコンパクト性を定義する。
コンパクトな空間は「の外に発散する有向点族がない」という意味において、閉集合よりもさらに「閉じた」空間だと言え、実際ハウスドルフ空間においてはコンパクトな部分集合は必ず閉集合になる事が知られている。こうした事情から、コンパクトな空間には「閉」という接頭辞をつけて呼ぶ事があり、例えばコンパクトな多様体は「閉多様体」と呼ばれる。
ハイネ・ボレル性による定式化.
コンパクトを特徴づける２つ目の性質（前述のようにこれはボルツァーノ・ワイエルシュトラス性と同値）はハイネ・ボレル性といい、これはformula_1の有界閉集合に対するハイネ・ボレルの被覆定理の結論部分に相当する性質である。
ハイネ・ボレル性は非常に抽象的な性質なので、その詳細は後の章に譲るが、コンパクトな空間に対する定理を証明する際、無限に伴う証明の困難さを回避するのにこの性質を用いる事ができる。なお、学部レベルの教科書ではハイネ・ボレル性の方をコンパクトの定義として採用しているものが多い。
距離空間における特徴づけ.
が距離空間（もしくはさらに一般的に一様空間）であれば、上記２つのいずれとも異なる角度からコンパクト性を特徴づける事ができる。距離空間がコンパクトである必要十分条件はが全有界かつ完備である事である。ここで全有界性とは、有界性を強めた条件で、任意のに対し、が有限個の-球の和集合で書ける事を意味する。また完備性は上のコーシー列が必ず収束する事を意味する。
距離空間においてコンパクトの概念は、点列コンパクト性と呼ばれる性質とも同値になる。これは前述したボルツァーノ・ワイエルシュトラス性が点列に対して成立するという趣旨の概念である。この概念は一般にはコンパクト性よりも弱いが、距離空間であればコンパクト性と同値になる事が知られている。
ベクトル空間における特徴づけ.
formula_4もしくはformula_14上の有限次元ベクトル空間（あるいはより一般に有限次元の完備リーマン多様体）の部分集合がコンパクトである必要十分条件は、が有界閉集合である事である。それに対し無限次元ベクトル空間の場合は有界閉集合であってもコンパクトにならない場合がある。前述のように距離空間においてはコンパクト性は全有界かつ完備な事と同値だが、無限次元のベクトル空間の場合は全有界ではない有界閉集合が存在するからである。
なお、formula_4もしくはformula_14上のノルム空間の閉単位球がコンパクトである必要十分条件はが有限次元である事である（リースの補題から直接従う）。ただし以上の議論はにノルムから定まる位相を入れた場合の話であり、それ以外の位相を入れた場合はこの限りではない。例えばの双対空間に＊弱位相を入れた場合、の閉単位球は（たとえが無限次元であっても）コンパクトである（バナッハ・アラオグルの定理）。
ボルツァーノ・ワイエルシュトラス性によるコンパクトの定義.
すでに述べたようにコンパクト性には２種類の同値な定義がある。本章ではこの２つの定義のうち、ボルツァーノ・ワイエルシュトラス性による定義について述べる。
有向点族.
本節ではボルツァーノ・ワイエルシュトラス性の定式化に必要な概念である有向点族の概念を導入する。有向点族とは有向集合を添え字とする族である：
なお、有向集合の二項関係「≤ 」は、反射律と推移律を満たすのものの反対称律は満たす必要がないので、前順序ではあるものの順序の定義は満たしていない。
点列と同様、有向点族に対して収束概念や部分有向点族の概念を定義する事ができる。詳細は有向点族の項目を参照されたい。
有向点族の概念は、点列概念と違い、添字が可算である事も全順序である事も要求しない。この事が有向点族に点列にはない優位性をもたらしており、例えば有向点族の収束の概念を用いれば、閉集合など位相空間の諸概念を特徴づける事ができる事が知られているが、点列の場合はそうではない。なぜなら点列概念は添字が可算である事が原因となり、点列で閉集合を特徴づけるには位相空間の方にも何らかの可算性を要求する必要が生じてしまうからである。詳細は列型空間を参照。
定義.
)_{\gamma\in\Gamma}</math>とが存在し、formula_17はに収束する
上記の定義は、formula_18上の有界閉集合に関するボルツァーノ・ワイエルシュトラスの定理の結論部分を有向点族に自然に拡張したものである：
なお、コンパクトの定義において、元々のボルツァーノ・ワイエルシュトラスの定理と同様、有向点族ではなく点列に対してのみ収束部分列を要求したものを点列コンパクト性と呼ぶが、点列コンパクト性は距離空間においてはコンパクト性と同値（より一般的に擬距離空間でも同値）であるものの、無条件にはこの同値性は成立しない。点列コンパクト性に関する詳細は後述する。
ハイネ・ボレル性によるコンパクト性の定義.
次にコンパクトの概念を全く違う角度から特徴づける。この特徴付けの基盤となるのはformula_18の有界閉集合に対するハイネ・ボレルの被覆定理である。そこでまず、この定理の記述に必要な概念を定義する。
O =X</math> 
が成立するとき、formula_20はを被覆するといい、特にformula_20の元が全て開集合であるとき、formula_20をの開被覆()という。
定義.
コンパクト性の概念は以下のように特徴づける事ができる：
上述の定義におけるformula_23の事をformula_20の有限部分被覆という。
もともとのハイネ・ボレルの定理は以下のように記述できる：
後述するように、実は逆向きも成立する事が知られているので、formula_1においてはコンパクト性は有界閉集合である事と同値である。なお、一般の距離空間では「コンパクト部分集合⇒有界閉集合」は言えるが逆向きは成立するとは限らない。
有限交差性.
ハイネ・ボレル性による定義における「開集合」の補集合を取って「閉集合」とし、さらに対偶を取る事で、コンパクト性の以下の特徴づけが得られる：
F\neq\emptyset</math>が成立する。|note=有限交差性によるコンパクトの特徴づけ}}この条件は区間縮小法の一般化になっているとみなすことができ、位相空間における存在証明に重要な役割を果たす。
利用例.
ハイネ・ボレル性は定理の証明などでの各点の近傍formula_26上で局所的に示されている性質を全体に広げる際に用いられる。この場合、ハイネ・ボレル性でいう開被覆formula_20は典型的には各点の近傍の集合formula_28であり、ハイネ・ボレル性はこの無限個の開集合からなる開被覆から有限部分被覆formula_23を抽出して、無限に伴う証明の困難さを回避する事を可能にする。
具体的には以下の定理の証明をもとに、ハイネ・ボレル性の使い方を説明する：
この定理は、ハイネ・ボレル性を利用して以下のように証明する。まずの連続性により、任意にを固定するとき、の各点の、ある-近傍がformula_30を満たす。ここでformula_31は点の"ε"-近傍を表す。
このformula_32はに依存しているが、もしも正数formula_33を与えたときにformula_34を満たす正数が点に依らずに選べるのであればformula_35のformula_36における一様連続性が言える。そのようなを見つける単純な方法は
とする事だが、の選択は無限にあるので、は0になる可能性があるからうまくいかない。
そこでハイネ・ボレル性を使って開被覆formula_38の有限部分被覆formula_39を選び、
とすればformula_41の個数は有限個なのでであることが保証される。
しかもformula_23がを被覆している事から、任意のに対し、formula_43となるが存在して、
となることからformula_35のformula_36における一様連続性が言える。
それ以外の特徴づけ.
コンパクト性は、有向点族と本質的に同値な概念であるフィルターの収束によっても特徴づけられる。また普遍有向点族やその対応概念である超フィルターを用いても特徴づける事ができる。これまでに述べて特徴づけも含め、こうしたコンパクト性の様々な特徴づけを列挙する
性質.
閉集合.
コンパクトな位相空間の部分集合に関し、以下が言える：
したがってコンパクトかつハウスドルフな位相空間（コンパクトハウスドルフ空間）では部分集合Aが閉集合である事とAがコンパクトである事は同値である。
距離空間におけるコンパクトの特徴づけ.
"X" が距離空間であれば、コンパクト性をまた別の方法で特徴づける事ができる。まずは結論となる定理を提示し、それから定理の記述に必要な概念を順に導入する。
定理の記述に必要な諸概念.
全有界性.
距離空間が全有界であるとは任意の "ε" > 0 に対し、"X" を半径 "ε" の有限個の開球で被覆する事ができる事を指す：
全有界性は以下のようにも特徴づけられる事が知られている：
完備性.
詳細は完備距離空間の項目を参照されたい。
点列コンパクト.
位相空間が点列コンパクトとは、一般の有向集合ではなく点列に対してのみボルツァーノ・ワイエルシュトラス性が保証される事を意味する：
</math> に対し適当な部分列 formula_47 を取れば formula_47 は "X" 上のいずれかの点に収束する事を指す。
点列コンパクト性の事を点列に対するボルツァーノ・ワイエルシュトラス性とも言う。}}コンパクトと点列コンパクトの同値性は擬距離空間でも成立するが、無条件には成立しない。点列コンパクト性に関する詳細は後述する。
有限次元ベクトル空間におけるコンパクト性.
距離空間においてはコンパクト性と「全有界かつ完備」が同値になる事をユークリッド空間に適用すると、以下の系が従う：
より正確に言うと有限次元のユークリッド空間や完備リーマン多様体の部分集合に対しては、有界性と全有界性が同値であり、完備性と閉集合である事が同値である。これらの事実は簡単に証明できる。
一様空間への一般化.
コンパクト性と「全有界かつ完備」が同値になる事は距離空間よりも一般的な一様空間でも成立する：
一様空間の定義は当該項目を参照されたい。一様空間における全有界性と完備性は以下のように定義される：
上で「少なくとも１つ極限を持つ」という言い方をしているのは、formula_49が定める位相構造がハウスドルフでない限り、有向点族の収束の一意性は保証されないからである。
Niemytzki-Tychonovの定理.
擬距離化可能空間においてコンパクト性は以下のようにも特徴づける事ができる：
無限次元空間におけるコンパクト性.
すでに述べたように、有限次元ベクトル空間やより一般に有限次元の完備リーマン多様体の部分集合に対してはコンパクト性は有界閉集合と等しい。一方無限次元の空間の場合は、どのような空間にどのような位相を入れるかにより結論が異なる。
無限次元ベクトル空間.
ノルムから位相を入れた場合.
ノルムから位相を入れたベクトル空間（ノルム空間）に対してはリースの補題から直接的に次の事実が従う：
この定理を具体例を通して説明すると、例えばℓ2空間
にℓ2ノルム
から定まる距離を入れた空間の閉単位球
はコンパクトではない。
実際、
とすると（ここではクロネッカーのデルタ）、
であるので、formula_55のいかなる部分列formula_56もコーシー列の条件
を満たしえず、したがってformula_55は収束部分列を持たない為点列コンパクトではなく、よってコンパクトでもない。
ℓ2空間の閉単位球がコンパクトにならない原因は、は有界であっても全有界ではないからである。実際、formula_54 for であるので、formula_60を満たす正数に対しては、各formula_61を覆うために一つずつ-球を用いる必要があるので、可算無限個の-球が必要となり、全有界ではない。
＊弱位相の場合.
一方、無限次元空間であってもノルムから定まる位相以外の位相に関しては閉単位球がコンパクトになる事もある：ここでノルム空間の双対空間は上の値連続線形写像全体を関数としての和と定数倍によりベクトル空間とみなしたものであり、＊弱位相とはに対し、
とするとき、が全て連続になる上の最弱の位相の事である。なおは作用素ノルムによりノルム空間とみなせ、上記の定理で言う「閉単位球」はこのノルムに関する閉単位球の事である。
＊弱位相はハウスドルフ性を満たす事が知られており、コンパクトな空間の閉部分集合はコンパクトなので、以下の系が成立する：なお、が再帰的であれば上の弱位相に関しても同様な事が成立する事が知られているが、再帰的でない場合には反例がある事が知られている。
注意しなければならないのは、＊弱位相における有界閉集合には内点が無く、有界閉集合上の点は必ず境界点になる事である。これはすなわち、たとえ閉単位球がコンパクトであっても＊弱位相をいれたが後述する局所コンパクトにはなっていない事を意味する。
コンパクト空間の直積.
本節では位相空間の（有限個または無限個の）直積には２種類の位相が入り、コンパクト空間の無限個の直積に前者の位相を入れた場合はコンパクトになるが、後者の位相を入れた場合はそうなるとは限らない事を見る。
直積位相と箱型積位相.
formula_63を位相空間の族するとき、formula_64には以下の２種類の位相が入る。
これら２つの位相は有限個の直積formula_65を考えている場合は同一であるが、無限積を考えた場合には箱型積位相のほうが直積位相よりも強い（弱くない）位相になる。これを見るために直積位相を具体的に書き表すと、以下のようになる事が知られている：Λが無限集合のときは、「有限個のλを除いて…」という条件が原因で、箱型積位相と差が生じる。例えばformula_66をformula_4の(可算)無限個のコピーとし、formula_68をformula_69の無限個のコピーとするとき、直積
は直積位相に関して
の開集合ではない。実際、前述の「有限個を除いて…」という条件を満たしておらず、条件をみたすものの和集合としても書けないからである。
チコノフの定理.
コンパクト空間の（有限個または無限個の）直積に直積位相位相を入れたものはコンパクトである：
なおチコノフの定理は(ZF公理系を仮定した上で)選択公理と同値である事が知られている。
チコノフの定理より例えばformula_4上の単位区間formula_73の無限個のコピーformula_74の直積formula_75に直積位相を入れたものはコンパクトである。
一方formula_75に箱型積位相を入れたものはコンパクトではない。実際、formula_77に対し、ノルムを
と定義すると、箱型積位相はこのノルムから定まる位相と一致する事を簡単に確かめる事ができる。そこでformula_53として無限次元ノルム空間の場合と同様の議論でコンパクトでない事を示せる。
コンパクト化.
位相空間"X" のコンパクト化とは "X" をコンパクトな位相空間に稠密に埋め込む操作を指す。コンパクトな空間は数学的に取り扱いやすい為、"X" をそのような空間に埋め込む事で "X" の性質を調べやすくする事ができる。コンパクトでない位相空間に一点付け加えるだけでコンパクト化する方法が必ず存在する(アレクサンドロフの一点コンパクト化)他、いくつかのコンパクト化の方法が知られている。実用上は "X" の構造を保つなど、"X" の性質が調べやすくなるコンパクト化の方法を選ぶ必要がある（例えば "X" が多様体であるときにコンパクト化 "K" として多様体になるものを選ぶ等）。
関連概念とその関係性.
コンパクト性は位相空間論における重要概念の一つなので、コンパクト性の定義を拡張したり修正したりした概念が複数存在する。本節ではこうした概念を紹介し、それらの関係性を述べる。
可算コンパクト、点列コンパクト、擬コンパクト.
これらの概念は以下のように定義される。点列コンパクトの定義は前の章ですでに述べたがが再掲している：
擬距離化可能な空間ではこれら４つの概念は同値である：が擬距離化可能とは限らない場合はこれらは同値とは限らないが、以下のような関係を満たす：
局所コンパクト、σ-コンパクト、リンデレーフ、パラコンパクト、メタコンパクト.
これらは以下のように定義される：
σ-コンパクトの定義に関して留意点を述べる。σ-コンパクトは局所コンパクトと違い、コンパクトな近傍（すなわち内点を持つ集合）である事を要求されていない。これが原因でσ-コンパクトであっても局所コンパクトではない事があり得る。例えば有理数の集合formula_83は一点集合（これはコンパクトである）の可算和で書けるのでσ-コンパクトだが、formula_83の各点のいかなる近傍も距離空間として完備でないのでコンパクトではなく、よってformula_83は局所コンパクトではない。
関係性.
以上の概念は以下の関係性を満たす：
パラコンパクト.
以上で述べた概念の中で重要なものの一つにパラコンパクトがある。本節ではパラコンパクトの性質について述べる。なおパラコンパクトの定義において我々は文献Kellyに従い、ハウスドルフ性を条件として課したが、書籍によってはハウスドルフ性を仮定していないので、注意が必要である。
パラコンパクトに関しては以下のようにも特徴づけられる。なお（ハウスドルフ性を満たす）パラコンパクトな空間は必ず正規空間になる事が知られている。
ここで細分が開であるとは細分が開被覆になっている事を意味する。同様に細分が閉であるとは細分が被覆になっている事を意味する。上記の定理はパラコンパクトな空間において開被覆が単に局所有限な細分を持つだけでなく、局所有限でしかも開な細分や閉な細分を持つ事を保証している。
コンパクト性は開被覆が、（開な）部分被覆を持つ事を保証しているので、パラコンパクトな空間において開で局所有限な細分が保証される事は、コンパクト性において成り立っている議論をパラコンパクト性に拡張する際に有益である。
パラコンパクトな空間の重要な性質の一つとして、開被覆に従属する１の分割の存在が保証されるというものがある。この事実を述べるためにまず１の分割の定義、およびそれが開被覆と両立する事の定義を述べる：
なお上述の条件1に対する関連概念として関数の台()
が存在するが、1の分割の定義では関数の台と違い閉包を取っていない事に注意されたい。また条件2において和を取っているが、この和は条件1より各に対して有限和である事が保証されているので、族が仮に非可算無限個の元を持っていても和は意味を持つ。
パラコンパクトな空間は開被覆に従属する1の分割で特徴づけられる：