コンパクト空間

数学 > 位相空間 > コンパクト空間

数学において、コンパクト^{[注 1]}（英: compact, /kəmˈpækt/^[1]）は位相空間の性質であり、 $\mathbb {R} ^{n}$ 上の有界閉集合が満たす性質を抽象化する事により定義される。なおブルバキでは、本項でいうコンパクトを準コンパクト（英: quasi-compact）と呼び、準コンパクトでハウスドルフの分離公理を満たすものをコンパクトであると呼んでいるので注意が必要である。位相空間 $X$ の部分集合 $Y$ に対し、 $Y$ の $X$ における閉包がコンパクトであるとき $Y$ は $X$ で相対コンパクト（英: relatively compact）であるという。

概要

２種類の同値な定義

コンパクトの概念は以下に述べる同値な２性質の少なくとも一方（したがって両方）を満たす事により定義される。

１つ目の性質は(有向点族に対する)ボルツァーノ・ワイエルシュトラス性といい、これは $\mathbb {R} ^{n}$ の有界閉集合に対するボルツァーノ・ワイエルシュトラスの定理の結論部分を若干拡張した形で定式化したものである。この性質は直観的には点列の拡張概念である有向点族の極限が発散する事がない事を意味する。位相空間 $X$ 上の点列やその拡張概念である有向点族は極限には $X$ 内で「収束」するか「振動」するかあるいは $X$ の「外」に「発散」するかがありえるが^{[注 2]}、 $X$ がコンパクトであれば「収束」するか「振動」するかのいずれかであるのだから、任意の有向点族には収束する部分列が取れるはずであり、厳密にはこの事実を持ってコンパクト性を定義する。

コンパクトな空間は「 $X$ の外に発散する有向点族がない」という意味において、閉集合よりもさらに「閉じた」空間だと言え、実際ハウスドルフ空間においてはコンパクトな部分集合は必ず閉集合になる事が知られている。こうした事情から、コンパクトな空間には「閉」という接頭辞をつけて呼ぶ事があり、例えばコンパクトな多様体は「閉多様体」と呼ばれる^{[注 3]}。

コンパクトを特徴づける２つ目の性質（前述のようにこれはボルツァーノ・ワイエルシュトラス性と同値）はハイネ・ボレル性といい、これは $\mathbb {R} ^{n}$ の有界閉集合に対するハイネ・ボレルの被覆定理の結論部分に相当する性質である。ハイネ・ボレル性は非常に抽象的な性質なので、その詳細は後の章に譲るが、コンパクトな空間に対する定理を証明する際、無限に伴う証明の困難さを回避するのにこの性質を用いる事ができる。なお、学部レベルの教科書ではハイネ・ボレル性の方をコンパクトの定義として採用しているものが多い。

上述のようにコンパクト性を特徴づける２性質はいずれも $\mathbb {R} ^{n}$ の有界閉集合において成立している性質を一般の位相空間に拡張したものであり、この意味において、コンパクトとは「 $\mathbb {R} ^{n}$ の有界閉集合」の一般化である（詳細後述）。

距離空間における特徴づけ

$X$ が距離空間（もしくはさらに一般的に一様空間）であれば、上記２つのいずれとも異なる角度からコンパクト性を特徴づける事ができる。距離空間 $X$ がコンパクトである必要十分条件は $X$ が全有界かつ完備である事である。ここで全有界性とは、有界性を強めた条件で、任意の $ε >0$ に対し、 $X$ が有限個の $ε$ -球の和集合で書ける事を意味する。また完備性は $X$ 上のコーシー列が必ず収束する事を意味する。

距離空間においてコンパクトの概念は、点列に対するボルツァーノ・ワイエルシュトラス性、もしくは点列コンパクト性と呼ばれる性質とも同値になる。これは前述したボルツァーノ・ワイエルシュトラス性が点列に対して成立するという趣旨の概念である。この概念は一般にはコンパクト性よりも弱いが、距離空間であればコンパクト性と同値になる事が知られている。

ベクトル空間における特徴づけ

$\mathbb {R}$ もしくは $\mathbb {C}$ 上の有限次元ベクトル空間（あるいはより一般に有限次元の完備リーマン多様体）の部分集合 $X$ がコンパクトである必要十分条件は、 $X$ が有界閉集合である事である。それに対し無限次元ベクトル空間の場合は有界閉集合であってもコンパクトにならない場合がある。前述のように距離空間においてはコンパクト性は全有界かつ完備な事と同値だが、無限次元のベクトル空間の場合は全有界ではない有界閉集合が存在するからである。

なお、 $\mathbb {R}$ もしくは $\mathbb {C}$ 上のノルム空間 $V$ の閉単位球がコンパクトである必要十分条件は $V$ が有限次元である事である（リースの補題から直接従う）。ただし以上の議論は $V$ にノルムから定まる位相を入れた場合の話であり、それ以外の位相を入れた場合はこの限りではない。例えば $V$ の双対空間 $V *$ に＊弱位相を入れた場合、 $V *$ の閉単位球は（たとえ $V *$ が無限次元であっても）コンパクトである（バナッハ・アラオグルの定理）。

ボルツァーノ・ワイエルシュトラス性によるコンパクトの定義

すでに述べたようにコンパクト性には２種類の同値な定義がある。本章ではこの２つの定義のうち、ボルツァーノ・ワイエルシュトラス性による定義について述べる。

有向点族

→詳細は「有向集合」および「有向点族」を参照

本節ではボルツァーノ・ワイエルシュトラス性の定式化に必要な概念である有向点族の概念を導入する。有向点族とは有向集合を添え字とする族である：

定義 (有向集合・有向点族) ― 空でない集合 $Λ$ と $Λ$ 上の二項関係「≤ 」の組 $(Λ, \leq)$ が有向集合（ゆうこうしゅうごう、英: directed set）であるとは、「≤ 」が以下の性質を全て満たす事を言う^[2]:

（反射律） $\forallλ\inΛ : λ \leqλ$
（推移律） $\forallλ,μ,ν\inΛ : λ \leq μ, μ \leqν \Rightarrow λ \leq ν$
$Λ$ の任意の二元が上界を持つ。すなわち $\forallλ,μ\inΛ\existsν\inΛ : λ \leq ν, μ \leqν$

集合 $X$ 上の有向点族とは、 $X$ 上の族 $(x λ) λ \in Λ$ で添字集合 $Λ$ が有向集合であるものを指す^[2]^{[注 4]}。有向点族はネット (英: net)、 Moore-Smith 列(英: Moore-Smith sequence^[3])、generalized sequence^[3]などとも呼ばれる。

なお、有向集合の二項関係「≤ 」は、反射律と推移律を満たすのものの反対称律は満たす必要がないので、前順序ではあるものの順序の定義は満たしていない。

点列と同様、有向点族に対して収束概念や部分有向点族の概念を定義する事ができる。詳細は有向点族の項目を参照されたい。

有向点族の概念は、点列概念と違い、添字が可算である事も全順序である事も要求しない。この事が有向点族に点列にはない優位性をもたらしており、例えば有向点族の収束の概念を用いれば、閉集合など位相空間の諸概念を特徴づける事ができる事が知られているが、点列の場合はそうではない。なぜなら点列概念は添字が可算である事が原因となり、点列で閉集合を特徴づけるには位相空間の方にも何らかの可算性を要求する必要が生じてしまうからである。詳細は列型空間を参照。

定義

定義 (ボルツァーノ・ワイエルシュトラス性によるコンパクトの定義) ― 位相空間 $(X,{\mathcal {O}})$ が以下の性質を満たすとき、 $(X,{\mathcal {O}})$ はコンパクトであるという^[4]：

(有向点族に対するボルツァーノ・ワイエルシュトラス性) $X$ 上の任意の有向点族 $(x_{\lambda })_{\lambda \in \Lambda }$ に対し、 $(x_{\lambda })_{\lambda \in \Lambda }$ のある部分有向点族 $(x_{\lambda _{\gamma }})_{\gamma \in \Gamma }$ と $x \in X$ が存在し、 $(x_{\lambda _{\gamma }})_{\gamma \in \Gamma }$ は $x \in X$ に収束する

上記の定義は、 $\mathbf {R} ^{n}$ 上の有界閉集合に関するボルツァーノ・ワイエルシュトラスの定理の結論部分を有向点族に自然に拡張したものである：

定理 (ボルツァーノ・ワイエルシュトラスの定理) ― $X\subset \mathbf {R} ^{n}$ が有界閉集合であるとき、 $X$ 上の任意の点列は収束する部分列を持つ。

なお、コンパクトの定義において、元々のボルツァーノ・ワイエルシュトラスの定理と同様、有向点族ではなく点列に対してのみ収束部分列を要求したものを点列コンパクト性と呼ぶが、点列コンパクト性は距離空間においてはコンパクト性と同値（より一般的に擬距離空間でも同値）であるものの、無条件にはこの同値性は成立しない。点列コンパクト性に関する詳細は後述する。

ハイネ・ボレル性によるコンパクト性の定義

次にコンパクトの概念を全く違う角度から特徴づける。この特徴付けの基盤となるのは $\mathbf {R} ^{n}$ の有界閉集合に対するハイネ・ボレルの被覆定理である。そこでまず、この定理の記述に必要な概念を定義する。

定義 (開被覆) ― $(X,{\mathcal {O}})$ を位相空間とし、 ${\mathcal {S}}$ を $X$ の部分集合の集合とする。

\cup _{O\in {\mathcal {S}}}O=X

が成立するとき、 ${\mathcal {S}}$ は $X$ を被覆するといい、特に ${\mathcal {S}}$ の元が全て開集合であるとき、 ${\mathcal {S}}$ を $X$ の開被覆(英: open cover)という。

定義

コンパクト性の概念は以下のように特徴づける事ができる：

定義 (ハイネ・ボレル性によるコンパクトの定義) ― 位相空間 $(X,{\mathcal {O}})$ が以下の性質を満たすとき $(X,{\mathcal {O}})$ はコンパクトであるという^[4]：

(ハイネ・ボレル性) $X$ の任意の開被覆 ${\mathcal {S}}$ に対し、 ${\mathcal {S}}$ のある有限部分集合 ${\mathcal {T}}$ が存在し、 ${\mathcal {T}}$ は $X$ を被覆する^[4]。

定理 (２つの定義が同値であること) ― ハイネ・ボレル性によるコンパクトの定義はボルツァーノ・ワイエルシュトラス性によるコンパクトの定義と同値である^[4]。

上述の定義における ${\mathcal {T}}$ の事を ${\mathcal {S}}$ の有限部分被覆という。

もともとのハイネ・ボレルの定理は以下のように記述できる：

定理 (ハイネ・ボレルの被覆定理) ― $\mathbb {R} ^{n}$ の部分集合 $X$ が有界閉集合であれば、（ $\mathbb {R} ^{n}$ から誘導される部分位相に関して）ハイネ・ボレル性によるコンパクトの定義を満たす。

なお、実は逆向きも成立する事が知られているので、 $\mathbb {R} ^{n}$ においてはコンパクト性は有界閉集合である事と同値である。後述するように一般の距離空間では「コンパクト部分集合⇒有界閉集合」は言えるが逆向きは常に成立するとは限らない。

ハイネ・ボレル性による定義における「開集合」の補集合を取って「閉集合」とし、さらに対偶を取る事で、コンパクト性の以下の特徴づけが得られる：

定義 ― $(X,{\mathcal {O}})$ を位相空間とし、 $X$ の閉集合の任意の集合 ${\mathcal {F}}$ が以下の性質を満たすとき、 ${\mathcal {F}}$ は有限交差性を満たすという：

${\mathcal {F}}$ の任意の有限部分集合 ${\mathcal {F}}'$ が、 $\cap _{F\in {\mathcal {F}}'}F\neq \emptyset$ を満たす。

定理 (有限交差性によるコンパクトの特徴づけ) ― $(X,{\mathcal {O}})$ がコンパクトである必要十分条件は以下の性質が成立する事である^[4]：

$X$ の閉集合の任意の集合 ${\mathcal {F}}$ が有限交差性を満たせば $\cap _{F\in {\mathcal {F}}}F\neq \emptyset$ が成立する。

この条件は区間縮小法の一般化になっているとみなすことができ、位相空間における存在証明に重要な役割を果たす。

利用例

ハイネ・ボレル性は定理の証明などで $X$ の各点 $x$ の近傍 $O_{x}$ 上で局所的に示されている性質を $X$ 全体に広げる際に用いられる。この場合、ハイネ・ボレル性でいう開被覆 ${\mathcal {S}}$ は典型的には各点の近傍の集合 ${\mathcal {S}}=\{O_{x}\mid x\in X\}$ であり、ハイネ・ボレル性はこの無限個の開集合からなる開被覆から有限部分被覆 ${\mathcal {T}}$ を抽出して、無限に伴う証明の困難さを回避する事を可能にする。

具体的には以下の定理の証明をもとに、ハイネ・ボレル性の使い方を説明する：

定理 ― 距離空間 $X$ 、 $Y$ に対し、 $X$ がコンパクトであれば、 $X$ 上定義された任意の連続関数 $f~:~X\to Y$ は一様連続である

この定理は、ハイネ・ボレル性を利用して以下のように証明する。まず $f$ の連続性により、任意に $ε >0$ を固定するとき、 $X$ の各点 $x$ の、ある $δ x$ -近傍が $f(B_{\delta _{x}}(x))\subset B_{\varepsilon }(f(x))$ を満たす。ここで $B_{\varepsilon }(y)$ は点 $y$ のε-近傍を表す。

この $\delta _{x}$ は $x$ に依存しているが、もしも正数 $\varepsilon$ を与えたときに $f(B_{\delta }(x))\subset B_{\varepsilon }(f(x))$ を満たす正数 $δ$ が点 $x$ に依らずに選べるのであれば $f$ の $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 \in X$ に対し、 $x\in B_{\delta _{x_{i}}}(x_{i})$ となる $x i$ が存在して、

f(B_{\delta }(x))\subset f(B_{\delta _{i}}(x))\subset B_{\varepsilon }(f(x))

となることから $f$ の $X$ における一様連続性が言える。

それ以外の特徴づけ

コンパクト性は、有向点族と本質的に同値な概念であるフィルターの収束によっても特徴づけられる。また普遍有向点族やその対応概念である超フィルターを用いても特徴づける事ができる。これまでに述べて特徴づけも含め、こうしたコンパクト性の様々な特徴づけを列挙する

定理 (コンパクトの特徴づけ) ― 位相空間 $(X,{\mathcal {O}})$ に対し、以下は全て同値である。

$X$ はハイネ・ボレル性によるコンパクトの定義を満たす。
$X$ は有限交差性によるコンパクトの定義を満たす。
$X$ はボルツァーノ・ワイエルシュトラス性によるコンパクトの定義を満たす
$X$ 上の任意のフィルターは収束する細分を持つ
$X$ 上の任意の有向点族は集積点を持つ
$X$ 上の任意のフィルターは集積点を持つ
$X$ 上の任意の普遍有向点族は収束する
$X$ 上の任意の超フィルターは収束する

性質

閉集合

コンパクトな位相空間の部分集合に関し、以下が言える：

コンパクト空間の部分集合が閉集合ならコンパクトである。
ハウスドルフの分離公理を満たす位相空間のコンパクト部分集合は閉集合である。

したがってコンパクトかつハウスドルフな位相空間（コンパクトハウスドルフ空間）では部分集合Aが閉集合である事とAがコンパクトである事は同値である。

コンパクト性の遺伝

コンパクト空間から位相空間への連続写像の像はコンパクト集合である。
（有限個または無限個の）コンパクト空間の直積はコンパクトである。（チコノフの定理。この定理はZF のもとで選択公理と同値である^[5]）

その他

コンパクト空間からハウスドルフ空間への連続な全単射写像は同相写像である。
コンパクト空間から実数体への連続関数は一様連続である。（ここから連続関数がリーマン可積分であることが言える）
コンパクトハウスドルフなら正規^[6]

距離空間におけるコンパクトの特徴づけ

X が距離空間であれば、コンパクト性をまた別の方法で特徴づける事ができる。まずは結論となる定理を提示し、それから定理の記述に必要な概念を順に導入する。

定理 (距離空間におけるコンパクト性の特徴づけ^[7]) ― X を距離空間とするとき以下の3つは同値である。

X はコンパクトである。
X は全有界かつ完備である。
X は点列コンパクトである。

定理の記述に必要な諸概念

全有界性

距離空間 $X$ が全有界であるとは任意の ε > 0 に対し、X を半径 ε の有限個の開球で被覆する事ができる事を指す：

定義 (全有界性) ― 距離空間 $X$ が全有界（ぜんゆうかい、英: totally bounded）もしくはプレコンパクト（英: precompact）であるとは任意の $ε > 0$ に対し、 $X$ の有限部分集合 $F\subset X$ が存在し、

X=\bigcup _{x\in F}B_{\varepsilon }(x)

となる事を指す。（ここで $B_{\varepsilon }(x)$ は点 $x$ の $ε$ -近傍 $B_{\varepsilon }(x)=\{y\in X\mid d(x,y)<\varepsilon \}$ を表す。）

全有界性は以下のようにも特徴づけられる事が知られている：

定理2 ― 距離空間 $X$ が全有界である必要十分条件は以下を満たす事である： $X$ 上の任意の点列に対しある部分列が存在し、その部分列はコーシー列である^[8]。

完備性

定義 ― 距離空間 X が完備であるとは X 上のコーシー列は必ず収束する事を指す。

詳細は完備距離空間の項目を参照されたい。

点列コンパクト

位相空間が点列コンパクトとは、一般の有向集合ではなく点列に対してのみボルツァーノ・ワイエルシュトラス性が保証される事を意味する^{[注 5]}：

定義 ― 位相空間 X が点列コンパクトであるとは、X 上の任意の点列は収束部分列を持つ事を指す。すなわち X 上の任意の点列 $\{x_{n}\}_{n\in \mathbb {N} }$ に対し適当な部分列 $\{x_{n_{i}}\}_{i\in \mathbb {N} }$ を取れば $\{x_{n_{i}}\}_{i\in \mathbb {N} }$ は X 上のいずれかの点に収束する事を指す。

点列コンパクト性の事を点列に対するボルツァーノ・ワイエルシュトラス性とも言う。

コンパクトと点列コンパクトの同値性は擬距離空間でも成立するが、無条件には成立しない。点列コンパクト性に関する詳細は後述する。

有限次元ベクトル空間におけるコンパクト性

距離空間においてはコンパクト性と「全有界かつ完備」が同値になる事をユークリッド空間に適用すると、以下の系が従う：

系 ― 有限次元のユークリッド空間（あるいはより一般に完備リーマン多様体）の部分集合 A がコンパクトである必要十分条件は A が有界閉集合である事である。

より正確に言うと有限次元のユークリッド空間や完備リーマン多様体の部分集合に対しては、有界性と全有界性が同値であり、完備性と閉集合である事が同値である。これらの事実は簡単に証明できる。

一様空間への一般化

コンパクト性と「全有界かつ完備」が同値になる事は距離空間よりも一般的な一様空間でも成立する：

定理 (一様空間におけるコンパクト性の特徴づけ) ― X を一様空間とするとき以下の3つは同値である。

X はコンパクトである。
X は全有界かつ完備である。

一様空間の定義は当該項目を参照されたい。一様空間における全有界性と完備性は以下のように定義される：

定義・定理 (一様空間における全有界性) ― $(X,{\mathcal {U}})$ を一様空間とし、 $D$ を $X$ 上の擬距離の集合で $D$ が定める一様構造が ${\mathcal {U}}$ と一致するものとする。

このとき以下の条件は全て同値である。これらの条件の少なくとも１つ（したがって全て）を満たすとき、 $(X,{\mathcal {U}})$ は全有界(英: totally bounded)もしくはプレコンパクト(英: precompact)であるという^[9]^[10]。

任意の近縁 $U\in {\mathcal {U}}$ に対し、ある有限集合 $F \in X$ が存在し、 $\cup _{x\in F}U[x]=X$ である。
任意の擬距離 $d \in D$ と任意の実数 $ε >0$ に対し、 $X$ の有限部分集合 $F$ が存在し、 $\cup _{x\in F}\{y\mid d(x,y)<\varepsilon \}=X$ が成立する。
$X$ 上の任意の有向点族は部分有向点族でコーシーなものを持つ。

定義 (一様空間の完備性) ― 距離空間 X が完備であるとは X 上の任意のコーシー有向点族が少なくとも１つ極限を持つ事をいう。

上で「少なくとも１つ極限を持つ」という言い方をしているのは、 ${\mathcal {U}}$ が定める位相構造がハウスドルフでない限り、有向点族の収束の一意性は保証されないからである。

Niemytzki-Tychonovの定理

擬距離化可能空間においてコンパクト性は以下のようにも特徴づける事ができる：

定理 (Niemytzki-Tychonovの定理) ― $X$ を擬距離化可能な位相空間とするこのとき $X$ がコンパクトである必要十分条件は、 $X$ 上の任意の擬距離 $d$ （でその擬距離の定める位相が $X$ の位相と一致するもの）に対し、擬距離空間 $(X,d)$ が完備である事である^[11]。

無限次元空間におけるコンパクト性

すでに述べたように、有限次元ベクトル空間やより一般に有限次元の完備リーマン多様体の部分集合に対してはコンパクト性は有界閉集合と等しい。一方無限次元の空間の場合は、どのような空間にどのような位相を入れるかにより結論が異なる。

無限次元ベクトル空間

ノルムから位相を入れた場合

ノルムから位相を入れたベクトル空間（ノルム空間）に対してはリースの補題から直接的に次の事実が従う：

命題 ― $\mathbb {R}$ もしくは $\mathbb {C}$ 上のノルム空間 $V$ の閉単位球がコンパクトである必要十分条件は $V$ が有限次元である事である。

この定理を具体例を通して説明すると、例えばℓ²空間

\ell ^{2}=\{x=(x_{n})_{n\in \mathbb {N} }\mid \sum _{n}x_{n}{}^{2}<\infty \}

にℓ²ノルム

\|x\|=\left(\sum _{n\in \mathbb {N} }x_{n}{}^{2}\right)^{1 \over 2}

から定まる距離を入れた空間の閉単位球

B=\{x\in \ell ^{2}\mid \|x\|\leq 1\}

はコンパクトではない。

実際、

\mathbb {e} _{n}=(\delta _{n,k})_{k\in \mathbb {N} }

とすると（ここで $δ n,k$ はクロネッカーのデルタ）、

\|\mathbb {e} _{n}-\mathbb {e} _{m}\|={\sqrt {2}}

for

n \neq 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$ は収束部分列を持たない為点列コンパクトではなく、よってコンパクトでもない。

ℓ²空間の閉単位球 $B$ がコンパクトにならない原因は、 $B$ は有界であっても全有界ではないからである。実際、 $\|\mathbb {e} _{n}-\mathbb {e} _{m}\|={\sqrt {2}}$ for $n \neq m$ であるので、 $\varepsilon <{\sqrt {2}}/2$ を満たす正数 $ε$ に対しては、各 $\mathbb {e} _{1},\mathbb {e} _{2},\ldots$ を覆うために一つずつ $ε$ -球を用いる必要があるので、可算無限個の $ε$ -球が必要となり、全有界ではない。

＊弱位相の場合

一方、無限次元空間であってもノルムから定まる位相以外の位相に関しては閉単位球がコンパクトになる事もある：

定理 (バナッハ・アラオグルの定理) ― $K$ を $\mathbb {R}$ もしくは $\mathbb {C}$ とする。このとき $K$ 上のノルム空間 $V$ の双対空間 $V *$ に＊弱位相を入れると、( $V$ が無限次元であっても) $V *$ の閉単位球はコンパクトである。

ここでノルム空間 $V$ の双対空間 $V *$ は $V$ 上の $K$ 値連続線形写像全体を関数としての和と定数倍によりベクトル空間とみなしたものであり、＊弱位相とは $x \in V$ に対し、

\mu _{x}\colon \alpha \in V^{*}\mapsto \alpha (x)\in K

とするとき、 $μ x$ が全て連続になる $V *$ 上の最弱の位相の事である。なお $V *$ は作用素ノルムによりノルム空間とみなせ、上記の定理で言う「閉単位球」はこのノルムに関する閉単位球の事である。

＊弱位相はハウスドルフ性を満たす事が知られており、コンパクトな空間の閉部分集合はコンパクトなので、以下の系が成立する：

系 ― $V*$ に＊弱位相を入れた空間の有界閉集合はコンパクト

なお、 $V$ が再帰的であれば $V$ 上の弱位相に関しても同様な事が成立する事が知られているが、再帰的でない場合には反例がある事が知られている^[12]。

注意しなければならないのは、＊弱位相における有界閉集合には内点が無く、有界閉集合上の点は必ず境界点になる事である。これはすなわち、たとえ閉単位球がコンパクトであっても＊弱位相をいれた $V *$ が後述する局所コンパクトにはなっていない事を意味する。

コンパクト空間の直積

本節では位相空間の（有限個または無限個の）直積には２種類の位相が入り、コンパクト空間の無限個の直積に前者の位相を入れた場合はコンパクトになるが、後者の位相を入れた場合はそうなるとは限らない事を見る。

直積位相と箱型積位相

$(X_{\lambda })_{\lambda \in \Lambda }$ を位相空間の族するとき、 $\prod _{\lambda \in \Lambda }X_{\lambda }$ には以下の２種類の位相が入る。

定義 (直積位相、箱型積位相) ― $(X_{\lambda })_{\lambda \in \Lambda }$ を位相空間の族とする。このとき、

全ての射影 $p_{\lambda }\colon \prod _{\lambda \in \Lambda }X_{\lambda }\to X_{\lambda }$ を連続にする最弱の位相を直積位相もしくはチコノフ位相という。
$\{\prod _{\lambda \in \Lambda }O_{\lambda }\mid \forall \lambda \in \Lambda ~:~O_{\lambda }\in {\mathcal {O}}_{\lambda }\}$ を開基とする位相を箱型積位相（英語版）という^[13]。

これら２つの位相は有限個の直積 $X_{1}\times \cdots \times X_{n}$ を考えている場合は同一であるが、無限積を考えた場合には箱型積位相のほうが直積位相よりも強い（弱くない）位相になる。これを見るために直積位相を具体的に書き表すと、以下のようになる事が知られている：

定理 ― 上の定義と同様に記号を定義するとき、直積位相は

{\Bigg \{}\prod _{\lambda \in \Lambda }O_{\lambda }\ {\Bigg |}\ O_{\lambda }\in {\mathcal {O}}_{\lambda }

, 有限個のλを除いて

O_{\lambda }=X_{\lambda }{\Bigg \}}

を開基とする。

Λが無限集合のときは、「有限個のλを除いて…」という条件が原因で、箱型積位相と差が生じる。例えば $\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}

の開集合ではない。実際、前述の「有限個を除いて…」という条件を満たしておらず、条件をみたすものの和集合としても書けないからである。

チコノフの定理

コンパクト空間の（有限個または無限個）の直積に直積位相位相を入れたものはコンパクトである：

定理 (チコノフの定理) ― $(X_{\lambda })_{\lambda \in \Lambda }$ をコンパクトな位相空間の族とする。このとき直積 $\prod _{\lambda \in \Lambda }X_{\lambda }$ に直積位相を入れたものはコンパクトである。

なおチコノフの定理は(ZF公理系を仮定した上で)選択公理と同値である事が知られている^[14]。

チコノフの定理より例えば $\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 として多様体になるものを選ぶ等）。

→「コンパクト化」も参照

脚注

[脚注の使い方]

注釈

^ 「完閉」という訳語も作られたが、ほとんど使われていない。
^ この部分の議論はコンパクト化の概念を定義する事により、厳密化する事ができる
^ なお、閉多様体という言葉は書籍により意味の違いがあり、コンパクトな多様体を閉多様体と呼ぶものと、コンパクトで縁のない多様体を閉多様体と呼ぶものが有る
^ より厳密に言うと、有向集合 $(Λ,\leq)$ と、 $Λ$ から $X$ への写像 $x : Λ \to X$ の組の事を $Λ$ を添字集合とする有向点族と呼ぶ
^ 単に「ボルツァーノ・ワイエルシュトラス性」といったとき有向点族に対するものを指すのか点列に対するものを指すのかは書籍により異なるので注意が必要である。
^ なお、任意の点列が収束部分列を持つこと（すなわち点列コンパクトである事）と集積点を持つ事とは一見同値にみえるが、 $X$ が第一可算公理を満たさない場合は前者のほうが後者よりも一般には強い条件である。 $X$ が第一可算公理を満たしさえすれば、点列 $(x_{n})_{n\in \mathbb {N} }$ の集積点 $x \in X$ の加算近傍系 ${\mathcal {B}}$ に属する各近傍から $(x_{n})_{n\in \mathbb {N} }$ の元を一つずつ選ぶことで $x$ に収束する部分列を取れるが（具体的には ${\mathcal {B}}=(B_{m})_{m\in \mathbb {N} }$ とするとき、 $n_{m}:=\min\{n\in \mathbb {N} \mid x_{n}\in \cap _{k\leq m}B_{m}\}$ とすれば、部分列 $(x_{n_{m}})_{m\in \mathbb {N} }$ は $x$ に収束する）、 $X$ が第一可算公理を満たさない場合はこのような手法で $x$ に収束する部分列を作る事ができないからである。
^ #Schechter p.449ではパラコンパクト性質の条件としてハウスドルフではなくそれより弱い「preregular」を課しているが、この意味でのパラコンパクト性を満たせばハウスドルフになる事が示されているので定義は同値である
^ なお#Schechter p.449.ではハウスドルフではなくそれより弱い「preregular」(同文献p.439-440参照)をこの定理に課しているが別の注釈ですでに述べたようにパラコンパクトな空間ではpreregularならハウスドルフである

出典

^ “Cambridge English Dictionary”. 2021年1月19日閲覧。
^ ^a ^b #Kelly pp.65-66.
^ ^a ^b #Schechter 7.6
^ ^a ^b ^c ^d ^e #Kelly pp.135-136.
^ #Schechter p.461.
^ #Kelly p.141.
^ #内田 p.146
^ #内田 pp.145-146.なお、この文献では必要性しか示されていないが、十分性に関しても以下のアイデアで示せる： ${\bar {X}}$ を $X$ の完備化とすると、仮定より ${\bar {X}}$ 上の点列はコーシー列を部分列に持ち、 ${\bar {X}}$ は完備なのでこのコーシー列は収束する。すなわち ${\bar {X}}$ は点列コンパクトである。点列コンパクトは全有界かつ完備である事と同値なので、 ${\bar {X}}$ は全有界であり、したがって $X$ も全有界である。
^ #Kelly p.198.
^ #Schechter pp.505-506.
^ #Schechter p.507
^ #Heil p.3.
^ #内田 p.95
^ #内田 p.118.
^ 「コンパクト⇒点列コンパクト」は定義より明らか。「可算コンパクト⇒擬コンパクト」は#Schechter p.468より。「点列コンパクト⇒可算コンパクト」は#Kelly p.162より可算コンパクト性は任意の点列が集積点を持つ事と同値なので。ここで点 $x \in X$ が点列 $(x_{n})_{n\in \mathbb {N} }$ の集積点であるとは、 $x$ の任意の近傍 $N$ に対し、 $x_{n}\in N$ となる $n$ が無限個ある事をいう（#Kelly p.71）^{[注 6]}。
^ #Schechter p.470
^ #Kelly p.162.
^ #Schechter p.468
^ ^a ^b ^c ^d #Kelly pp.156-161.
^ ^a ^b #Kelly pp.126,128.
^ #Kelly p.171.
^ #Willard、Theorem 16.9, p. 111
^ #Willard、Theorem 16.11, p. 112
^ #松島，p. 86.
^ ^a ^b #Kelly p.172.
^ Kelly p.171.
^ ^a ^b ^c #Schechter p.445.
^ #Schechter p.449.

参考文献

John L. Kelly (1975/6/27). General Topology. Graduate Texts in Mathematics (27). Springer-Verlag. ISBN 978-0387901251
- Kindle版：ASIN : B06XGRCCJ3
- 翻訳版：ジョン・L.ケリー著、児玉之宏訳『位相空間論』吉岡書店〈数学叢書〉、1979年7月1日。ISBN 978-4842701318。
内田伏一『集合と位相』裳華房〈数学シリーズ〉、1986年11月5日。ISBN 978-4785314019。
Eric Schechter (1997/1/15). Handbook of Analysis and its Foundations. Academic Press. ISBN 978-0126227604
Stephen Willard『General Topology』Dover Publications、2004年。ISBN 0-486-43479-6。
松島与三 (2008). 多様体入門. 数学選書5 (37 ed.). 裳華房. ISBN 978-4-7853-1305-0
Christopher E. Heil. “Alaoglu's Theorem”. LECTURE NOTES, MATH 6338 (Real Analysis II), Summer 2008. Georgia Institute of Technology. 2021年3月22日閲覧。

名称	名称（英語）	定義
可算コンパクト	countably compact space	$X$ の任意の可算開被覆 ${\mathcal {S}}$ は有限部分開被覆 ${\mathcal {T}}\subset {\mathcal {S}}$ を持つ。ここで $X$ の可算開被覆 ${\mathcal {S}}$ とは開被覆で可算集合であるものをいう。
点列コンパクト	sequentially compact space	X 上の任意の点列は収束部分列を持つ事を指す。すなわち X 上の任意の点列 $\{x_{n}\}_{n\in \mathbb {N} }$ に対し適当な部分列 $\{x_{n_{i}}\}_{i\in \mathbb {N} }$ を取れば $\{x_{n_{i}}\}_{i\in \mathbb {N} }$ は X 上のいずれかの点に収束する事を指す。点列コンパクト性の事を点列に対するボルツァーノ・ワイエルシュトラス性とも言う。
擬コンパクト	pseudocompact	$X$ から実数体への連続関数 f が必ず有界となる

名称	名称（英語）	定義
局所コンパクト	locally compact	$X$ の任意の点がコンパクトな近傍を持つ事。
σ-コンパクト(しぐま-)	σ-compact space	$X$ は可算個のコンパクト集合の和集合として書ける
リンデレーフ	Lindelöf space	X の任意の開被覆は可算部分被覆を持つ
パラコンパクト	paracompact	$X$ はハウスドルフであり、 $X$ の任意の開被覆は局所有限な細分を持つ^[19]。ここで X の被覆 ${\mathcal {T}}$ が被覆 ${\mathcal {S}}$ の細分(英: refinement)であるとは、 ${\mathcal {T}}$ の任意の元 $T$ に対して ${\mathcal {S}}$ の元 $S$ が存在して $T \subset S$ を満たす事を言う^[20]。またX の被覆 ${\mathcal {T}}$ が局所有限(英: locally finite)であるとは、任意の $x \in X$ に対し、 $x$ の近傍 $N$ が存在し、 $N\cap T\neq \emptyset$ となる $T\in {\mathcal {T}}$ が有限個しかない事を指す^[20]。
メタコンパクト	metacompact	X の任意の開被覆はpoint finiteな細分を持つ。ここで被覆 ${\mathcal {T}}$ がpoint finiteであるとは任意の $x \in X$ に対し、 $x \in T$ となる $T\in {\mathcal {T}}$ が有限個である事を言う^[21]。

概要