コンパクト空間
数学において、コンパクト(compact, /kəmˈpækt/)は位相空間の性質であり、\mathbb{R}^n上の有界閉集合が満たす性質を抽象化する事により定義される。なおブルバキでは、本項でいうコンパクトを準コンパクト(quasi-compact)と呼び、準コンパクトでハウスドルフの分離公理を満たすものをコンパクトであると呼んでいるので注意が必要である。位相空間Xの部分集合Yに対し、YのXにおける閉包がコンパクトであるときYはXで相対コンパクト(relatively compact)であるという。
コンパクトの概念は以下に述べる同値な2性質の少なくとも一方(したがって両方)を満たす事により定義される。
1つ目の性質は(有向点族に対する)ボルツァーノ・ワイエルシュトラス性といい、これは\mathbb{R}^nの有界閉集合に対するボルツァーノ・ワイエルシュトラスの定理の結論部分を若干拡張した形で定式化したものである。この性質は直観的には点列の拡張概念である有向点族の極限が発散する事がない事を意味する。位相空間X上の点列やその拡張概念である有向点族は極限にはX内で「収束」するか「振動」するかあるいはXの「外」に「発散」するかがありえるが、Xがコンパクトであれば「収束」するか「振動」するかのいずれかであるのだから、任意の有向点族には収束する部分列が取れるはずであり、厳密にはこの事実を持ってコンパクト性を定義する。
コンパクトな空間は「Xの外に発散する有向点族がない」という意味において、閉集合よりもさらに「閉じた」空間だと言え、実際ハウスドルフ空間においてはコンパクトな部分集合は必ず閉集合になる事が知られている。こうした事情から、コンパクトな空間には「閉」という接頭辞をつけて呼ぶ事があり、例えばコンパクトな多様体は「閉多様体」と呼ばれる。
コンパクトを特徴づける2つ目の性質(前述のようにこれはボルツァーノ・ワイエルシュトラス性と同値)はハイネ・ボレル性といい、これは\mathbb{R}^nの有界閉集合に対するハイネ・ボレルの被覆定理の結論部分に相当する性質である。ハイネ・ボレル性は非常に抽象的な性質なので、その詳細は後の章に譲るが、コンパクトな空間に対する定理を証明する際、無限に伴う証明の困難さを回避するのにこの性質を用いる事ができる。なお、学部レベルの教科書ではハイネ・ボレル性の方をコンパクトの定義として採用しているものが多い。
上述のようにコンパクト性を特徴づける2性質はいずれも\mathbb{R}^nの有界閉集合において成立している性質を一般の位相空間に拡張したものであり、この意味において、コンパクトとは「\mathbb{R}^nの有界閉集合」の一般化である(詳細後述)。
Xが距離空間(もしくはさらに一般的に一様空間)であれば、上記2つのいずれとも異なる角度からコンパクト性を特徴づける事ができる。距離空間Xがコンパクトである必要十分条件はXが全有界かつ完備である事である。ここで全有界性とは、有界性を強めた条件で、任意のε>0に対し、Xが有限個のε-球の和集合で書ける事を意味する。また完備性はX上のコーシー列が必ず収束する事を意味する。
距離空間においてコンパクトの概念は、点列に対するボルツァーノ・ワイエルシュトラス性、もしくは点列コンパクト性と呼ばれる性質とも同値になる。これは前述したボルツァーノ・ワイエルシュトラス性が点列に対して成立するという趣旨の概念である。この概念は一般にはコンパクト性よりも弱いが、距離空間であればコンパクト性と同値になる事が知られている。
\mathbb{R}もしくは\mathbb{C}上の有限次元ベクトル空間(あるいはより一般に有限次元の完備リーマン多様体)の部分集合Xがコンパクトである必要十分条件は、Xが有界閉集合である事である。それに対し無限次元ベクトル空間の場合は有界閉集合であってもコンパクトにならない場合がある。前述のように距離空間においてはコンパクト性は全有界かつ完備な事と同値だが、無限次元のベクトル空間の場合は全有界ではない有界閉集合が存在するからである。
なお、\mathbb{R}もしくは\mathbb{C}上のノルム空間Vの閉単位球がコンパクトである必要十分条件はVが有限次元である事である(リースの補題から直接従う)。ただし以上の議論はVにノルムから定まる位相を入れた場合の話であり、それ以外の位相を入れた場合はこの限りではない。例えばVの双対空間V*に*弱位相を入れた場合、V*の閉単位球は(たとえV*が無限次元であっても)コンパクトである(バナッハ・アラオグルの定理)。
すでに述べたようにコンパクト性には2種類の同値な定義がある。本章ではこの2つの定義のうち、ボルツァーノ・ワイエルシュトラス性による定義について述べる。
有向集合本節ではボルツァーノ・ワイエルシュトラス性の定式化に必要な概念である有向点族の概念を導入する。有向点族とは有向集合を添え字とする族である:
なお、有向集合の二項関係「≤ 」は、反射律と推移律を満たすのものの反対称律は満たす必要がないので、前順序ではあるものの順序の定義は満たしていない。
点列と同様、有向点族に対して収束概念や部分有向点族の概念を定義する事ができる。詳細は有向点族の項目を参照されたい。
有向点族の概念は、点列概念と違い、添字が可算である事も全順序である事も要求しない。この事が有向点族に点列にはない優位性をもたらしており、例えば有向点族の収束の概念を用いれば、閉集合など位相空間の諸概念を特徴づける事ができる事が知られているが、点列の場合はそうではない。なぜなら点列概念は添字が可算である事が原因となり、点列で閉集合を特徴づけるには位相空間の方にも何らかの可算性を要求する必要が生じてしまうからである。詳細は列型空間を参照。
定義)_{\gamma\in\Gamma}とx∈Xが存在し、(x_{\lambda_{\gamma})_{\gamma\in\Gamma}はx∈Xに収束する
|note=ボルツァーノ・ワイエルシュトラス性によるコンパクトの定義ボルツァーノ・ワイエルシュトラス性によるコンパクトの定義}
上記の定義は、\mathbf{R}^n上の有界閉集合に関するボルツァーノ・ワイエルシュトラスの定理の結論部分を有向点族に自然に拡張したものである:
定理なお、コンパクトの定義において、元々のボルツァーノ・ワイエルシュトラスの定理と同様、有向点族ではなく点列に対してのみ収束部分列を要求したものを点列コンパクト性と呼ぶが、点列コンパクト性は距離空間においてはコンパクト性と同値(より一般的に擬距離空間でも同値)であるものの、無条件にはこの同値性は成立しない。点列コンパクト性に関する詳細は後述する。
次にコンパクトの概念を全く違う角度から特徴づける。この特徴付けの基盤となるのは\mathbf{R}^nの有界閉集合に対するハイネ・ボレルの被覆定理である。そこでまず、この定理の記述に必要な概念を定義する。
定義O =X
が成立するとき、\mathcal{S}はXを被覆するといい、特に\mathcal{S}の元が全て開集合であるとき、\mathcal{S}をXの開被覆(open cover)という。
|note=開被覆}
コンパクト性の概念は以下のように特徴づける事ができる:定義
上述の定義における\mathcal{T}の事を\mathcal{S}の有限部分被覆という。
もともとのハイネ・ボレルの定理は以下のように記述できる:定理
なお、実は逆向きも成立する事が知られているので、\mathbb{R}^nにおいてはコンパクト性は有界閉集合である事と同値である。後述するように一般の距離空間では「コンパクト部分集合⇒有界閉集合」は言えるが逆向きは常に成立するとは限らない。
ハイネ・ボレル性による定義における「開集合」の補集合を取って「閉集合」とし、さらに対偶を取る事で、コンパクト性の以下の特徴づけが得られる:定義
定理F\neq\emptysetが成立する。|note=有限交差性によるコンパクトの特徴づけ有限交差性によるコンパクト性の特徴づけ}この条件は区間縮小法の一般化になっているとみなすことができ、位相空間における存在証明に重要な役割を果たす。
ハイネ・ボレル性は定理の証明などでXの各点xの近傍O_x上で局所的に示されている性質をX全体に広げる際に用いられる。この場合、ハイネ・ボレル性でいう開被覆\mathcal{S}は典型的には各点の近傍の集合\mathcal{S}=\{O_x \mid x\in X\}であり、ハイネ・ボレル性はこの無限個の開集合からなる開被覆から有限部分被覆\mathcal{T}を抽出して、無限に伴う証明の困難さを回避する事を可能にする。
具体的には以下の定理の証明をもとに、ハイネ・ボレル性の使い方を説明する:定理
この定理は、ハイネ・ボレル性を利用して以下のように証明する。まずfの連続性により、任意にε>0を固定するとき、Xの各点xの、あるδx-近傍がf(B_{\delta_x}(x))\subset B_{\varepsilon}(f(x))を満たす。ここでB_{\varepsilon}(y)は点yのε-近傍を表す。
この\delta_xはxに依存しているが、どのxに対してもf(B_{\delta}(x))\subset B_{\varepsilon}(x)を満たすくらい小さなδをxに依存しないよう取れれば一様連続性が言える。そのようなδを見つける単純な方法は
\delta=\inf_{x\in X}\delta_x
とする事だが、xの取りうる範囲が無限にあるので、この方法だとδは0になってしまうかもしれない。
そこでハイネ・ボレル性を使って開被覆\mathcal{S}=\{B_{\delta_x/2}(x)|x\in X\}の有限部分被覆\mathcal{T}=\{B_{\delta_{x_i}/2}(x_i)|i=1,\ldots,n\}を選び、
\delta=\min_{i}\delta_{x_i}/4
とすれば\delta_{x_i}の個数は有限個なのでδ>0が保証される。
しかも\mathcal{T}がXを被覆している事から、任意のx ∈ Xに対し、x\in B_{\delta_{x_i}(x_i)となるxiが存在し、
f(B_{\delta}(x))\subset f(B_{\delta_i}(x))\subset B_{\varepsilon}(f(x))
なので一様連続性が言える。
コンパクト性は、有向点族と本質的に同値な概念であるフィルターの収束によっても特徴づけられる。また普遍有向点族やその対応概念である超フィルターを用いても特徴づける事ができる。これまでに述べて特徴づけも含め、こうしたコンパクト性の様々な特徴づけを列挙する定理 を取れば \{x_{n_i}\}_{i\in\mathbb{N} は X 上のいずれかの点に収束する事を指す。
点列コンパクト性の事を点列に対するボルツァーノ・ワイエルシュトラス性とも言う。}コンパクトと点列コンパクトの同値性は擬距離空間でも成立するが、無条件には成立しない。点列コンパクト性に関する詳細は後述する。
有限次元空間におけるコンパクト性距離空間においてはコンパクト性と「全有界かつ完備」が同値になる事をユークリッド空間に適用すると、以下の系が従う:系
より正確に言うと有限次元のユークリッド空間や完備リーマン多様体の部分集合に対しては、有界性と全有界性が同値であり、完備性と閉集合である事が同値である。これらの事実は簡単に証明できる。
コンパクト性と「全有界かつ完備」が同値になる事は距離空間よりも一般的な一様空間でも成立する:
一様空間の定義は当該項目を参照されたい。一様空間における全有界性と完備性は以下のように定義される:定義・定理定義
上で「少なくとも1つ極限を持つ」という言い方をしているのは、\mathcal{U}が定める位相構造がハウスドルフでない限り、有向点族の収束の一意性は保証されないからである。
擬距離化可能空間においてコンパクト性は以下のようにも特徴づける事ができる:定理
すでに述べたように、有限次元ベクトル空間やより一般に有限次元の完備リーマン多様体の部分集合に対してはコンパクト性は有界閉集合と等しい。一方無限次元の空間の場合は、どのような空間にどのような位相を入れるかにより結論が異なる。
ノルムから位相を入れたベクトル空間(ノルム空間)に対してはリースの補題から直接的に次の事実が従う:
この定理を具体例を通して説明すると、例えばℓ2空間
\ell^2=\{x=(x_n)_{n\in\mathbb{N}\mid \sum_nx_n{}^2<\infty\}
にℓ2ノルム
\|x\|=\left(\sum_{n\in\mathbb{N}x_n{}^2\right)^{1 \over 2}
B=\{x\in \ell^2\mid \|x\|\le 1\}
はコンパクトではない。
実際、
\mathbb{e}_n=(\delta_{n,k})_{k\in\mathbb{N}
とすると(ここでδn,kはクロネッカーのデルタ)、
\|\mathbb{e}_n-\mathbb{e}_m\|=\sqrt{2} for n≠m
であるので、(\mathbb{e}_n)_{n\in\mathbb{N}\subset Bのいかなる部分列(\mathbb{e}_{n_i})_{i\in\mathbb{N}もコーシー列の条件
\lim_{i,j\to \infty}\|\mathbb{e}_{n_i}-\mathbb{e}_{n_j}\|=0
を満たしえず、したがって(\mathbb{e}_n)_{n\in\mathbb{N}\subset Bは収束部分列を持たない為点列コンパクトではなく、よってコンパクトでもない。
ℓ2空間の閉単位球Bがコンパクトにならない原因は、Bは有界であっても全有界ではないからである。実際、\|\mathbb{e}_n-\mathbb{e}_m\|=\sqrt{2} for n≠mであるので、\varepsilon<\sqrt{2}/2を満たす正数εに対しては、各\mathbb{e}_1,\mathbb{e}_2,\ldotsを覆うために一つずつε-球を用いる必要があるので、可算無限個のε-球が必要となり、全有界ではない。
一方、無限次元空間であってもノルムから定まる位相以外の位相に関しては閉単位球がコンパクトになる事もある:定理ここでノルム空間Vの双対空間V*はV上のK値連続線形写像全体を関数としての和と定数倍によりベクトル空間とみなしたものであり、*弱位相とはx ∈ Vに対し、
\mu_x\colon\alpha\in V^* \mapsto \alpha(x)\in K
とするとき、μxが全て連続になるV*上の最弱の位相の事である。なおV*は作用素ノルムによりノルム空間とみなせ、上記の定理で言う「閉単位球」はこのノルムに関する閉単位球の事である。
*弱位相はハウスドルフ性を満たす事が知られており、コンパクトな空間の閉部分集合はコンパクトなので、以下の系が成立する:系なお、Vが再帰的であればV上の弱位相に関しても同様な事が成立する事が知られているが、再帰的でない場合には反例がある事が知られている。
注意しなければならないのは、*弱位相における有界閉集合には内点が無く、有界閉集合上の点は必ず境界点になる事である。これはすなわち、たとえ閉単位球がコンパクトであっても*弱位相をいれたV*が後述する局所コンパクトにはなっていない事を意味する。
本節では位相空間の(有限個または無限個の)直積には2種類の位相が入り、コンパクト空間の無限個の直積に前者の位相を入れた場合はコンパクトになるが、後者の位相を入れた場合はそうなるとは限らない事を見る。
(X_{\lambda})_{\lambda\in\Lambda}を位相空間の族するとき、\prod_{\lambda\in\Lambda}X_{\lambda}には以下の2種類の位相が入る。
定義これら2つの位相は有限個の直積X_1\times\cdots\times X_nを考えている場合は同一であるが、無限積を考えた場合には箱型積位相のほうが直積位相よりも強い(弱くない)位相になる。これを見るために直積位相を具体的に書き表すと、以下のようになる事が知られている:定理Λが無限集合のときは、「有限個のλを除いて…」という条件が原因で、箱型積位相と差が生じる。例えば\mathbb{R}_1,\mathbb{R}_2,\ldotsを\mathbb{R}の(可算)無限個のコピーとし、U_1,U_2,\ldotsをU=(0,1)の無限個のコピーとするとき、直積
\prod_{i\in\mathbb{N}U_i
\prod_{i\in\mathbb{N}\mathbb{R}_i
の開集合ではない。実際、前述の「有限個を除いて…」という条件を満たしておらず、条件をみたすものの和集合としても書けないからである。
コンパクト空間の(有限個または無限個)の直積に直積位相位相を入れたものはコンパクトである:定理
なおチコノフの定理は(ZF公理系を仮定した上で)選択公理と同値である事が知られている。
チコノフの定理より例えば\mathbb{R}上の単位区間I=[0,1]の無限個のコピーI_1,I_2,\ldotsの直積\prod_{i\in\mathbb{N}I_iに直積位相を入れたものはコンパクトである。
一方\prod_{i\in\mathbb{N}I_iに箱型積位相を入れたものはコンパクトではない。実際、x=(x_i)_{i\in\mathbb{N}\in\prod_{i\in\mathbb{N}I_iに対し、ノルムを
\|x\|_{\infty}=\sup_i|x_i|
と定義すると、箱型積位相はこのノルムから定まる位相と一致する事を簡単に確かめる事ができる。そこで\mathbb{e}_n=(\delta_{n,k})_{k\in\mathbb{N}として無限次元ノルム空間の場合と同様の議論でコンパクトでない事を示せる。
位相空間X のコンパクト化とは X をコンパクトな位相空間に稠密に埋め込む操作を指す。コンパクトな空間は数学的に取り扱いやすい為、X をそのような空間に埋め込む事で X の性質を調べやすくする事ができる。コンパクトでない位相空間に一点付け加えるだけでコンパクト化する方法が必ず存在する(アレクサンドロフの一点コンパクト化)他、いくつかのコンパクト化の方法が知られている。実用上は X の構造を保つなど、X の性質が調べやすくなるコンパクト化の方法を選ぶ必要がある(例えば X が多様体であるときにコンパクト化 K として多様体になるものを選ぶ等)。
コンパクト性は位相空間論における重要概念の一つなので、コンパクト性の定義を拡張したり修正したりした概念が複数存在する。本節ではこうした概念を紹介し、それらの関係性を述べる。
点列コンパクトの性質これらの概念は以下のように定義される。点列コンパクトの定義は前の章ですでに述べたがが再掲している:
これらの概念は以下の関係性を満たす:定理の元を一つずつ選ぶことでxに収束する部分列を取れるが(具体的には\mathcal{B}=(B_m)_{m\in\mathbb{N}とするとき、n_m:=\min \{n\in\mathbb{N} \mid x_n\in \cap_{k\le m}B_m\} とすれば、部分列(x_{n_m})_{m\in\mathbb{N} はxに収束する)、Xが第一可算公理を満たさない場合はこのような手法でxに収束する部分列を作る事ができないからである。|group="注"}。}。}
擬距離化可能な空間ではこれら4つの概念は同値である:定理Xが擬距離化可能とは限らない場合はこれらは同値とは限らないが、以下のような関係を満たす:{math theorem|定理|(X,\mathcal{O})を位相空間とする。
Xが第一可算公理を満せば、Xの点列コンパクト性と可算コンパクト性は同値。
これらは以下のように定義される:
σ-コンパクトの定義に関して留意点を述べる。σ-コンパクトは局所コンパクトと違い、コンパクトな近傍(すなわち内点を持つ集合)である事を要求されていない。これが原因でσ-コンパクトであっても局所コンパクトではない事があり得る。例えば有理数の集合\mathbb{Q}は一点集合(これはコンパクトである)の可算和で書けるのでσ-コンパクトだが、\mathbb{Q}の各点のいかなる近傍も距離空間として完備でないのでコンパクトではなく、よって\mathbb{Q}は局所コンパクトではない。
以上の概念は以下の関係性を満たす:定理
が存在するが、1の分割の定義では関数の台と違い閉包を取っていない事に注意されたい。また条件2において和を取っているが、この和は条件1より各x∈Xに対して有限和である事が保証されているので、族(fα)α∈Aが仮に非可算無限個の元を持っていても和は意味を持つ。
{math theorem|定義|(X,\mathcal{O})を位相空間とし、(O_{\tau})_{\tau\in T}をXの開被覆とし、(fα)α∈AをXの1の分割とする。
任意のα∈Aに対し、あるτ∈Bが存在し、\{x\in X \mid f_{\alpha}(x)\neq 0\}\subset O_{\tau}が成立するとき、(fα)α∈Aは(O_{\tau})_{\tau\in T}に従属する(subordinate)という。
パラコンパクトな空間は開被覆に従属する1の分割で特徴づけられる:
{math theorem|定理|(X,\mathcal{O})がハウスドルフ空間であるとき、下記の条件は全て同値である:
Xの任意の開被覆\mathcal{S}に対し、\mathcal{S}に従属する1の分割が存在する。