コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

コンパクト空間

出典: フリー百科事典『ウィキペディア(Wikipedia)』
準コンパクトから転送)
数学 > 位相空間 > コンパクト空間

位相空間がコンパクト: compact, /kəmˈpækt/[1])であるとは、後述する所定の性質を満たす「性質の良い」空間であり、上の有界閉集合の性質を抽象化したもの。

「完閉」という訳語もあるが、ほとんど使われていない。

位相空間Xの部分集合Yに対し、YXにおける閉包がコンパクトであるときYX相対コンパクト: relatively compact)であるという。

なおブルバキなどでは、本項でいうコンパクトを準コンパクト(: quasi-compact)、準コンパクトでハウスドルフの分離公理を満たすものをコンパクトと定義することもある。これは現代でも代数幾何学においては慣習的にそうである。

概要

[編集]

動機

[編集]

の有界閉集合Xは位相空間として「性質が良く」、例えば以下が成立する事が知られている:

  • Xからへの連続写像は必ず最大値・最小値を持つ
  • Xからへの連続写像は必ず一様連続である
  • Xからへの単射fが連続なら、逆写像も連続である。

このような「性質の良い」空間を一般の位相空間に拡張して定義したものがコンパクトの概念である。


ただし、「の有界閉集合」という概念自身は、「有界」という距離に依存した概念に基づいているため、一般の位相空間では定義できず、別の角度からコンパクトの概念を定義する必要がある。


そのために用いるのがボルツァーノ・ワイエルシュトラスの定理ハイネ・ボレルの被覆定理である。これらの定理はいずれも「の有界閉集合であれば◯◯」という形の定理であるが、実は逆も成立する事が知られており、においては

  1. 有界閉集合である事
  2. ボルツァーノ・ワイエルシュトラスの定理の結論部分
  3. ハイネ・ボレルの定理の結論部分

の3つは同値となる。しかも上記の2,3はいずれも位相構造のみを使って記述可能である。


したがって2もしくは3の一方を満たす(同値なので実は2,3の両方を満たす)事をもってコンパクト性を定義する。ただしテクニカルな理由により、上記の2に関しては若干の補正が必要になるが、これについては後述する。

2種類の同値な定義

[編集]

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

ボルツァーノ・ワイエルシュトラス性による定式化

[編集]

1つ目の性質は(有向点族に対する)ボルツァーノ・ワイエルシュトラス性といい、これはの有界閉集合に対するボルツァーノ・ワイエルシュトラスの定理の結論部分を若干拡張した形で定式化したものである。この性質は直観的には点列の拡張概念である有向点族の極限が発散する事がない事を意味する。

コンパクトな空間では有向点族がXの「外」に「発散」する事がないので、X内で「収束」するか「振動」するかのいずれかとなる[注 1]。よって任意の有向点族には収束する部分列が取れるはずであり、厳密にはこの事実を持ってコンパクト性を定義する。

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

ハイネ・ボレル性による定式化

[編集]

コンパクトを特徴づける2つ目の性質(前述のようにこれはボルツァーノ・ワイエルシュトラス性と同値)はハイネ・ボレル性といい、これはの有界閉集合に対するハイネ・ボレルの被覆定理の結論部分に相当する性質である。

ハイネ・ボレル性は非常に抽象的な性質なので、その詳細は後の章に譲るが、コンパクトな空間に対する定理を証明する際、無限に伴う証明の困難さを回避するのにこの性質を用いる事ができる。なお、学部レベルの教科書ではハイネ・ボレル性の方をコンパクトの定義として採用しているものが多い。

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

[編集]

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

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

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

[編集]

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

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

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

[編集]

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

有向点族

[編集]

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

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

  • 反射律∀λ∈Λ : λ ≤λ
  • 推移律∀λ,μ,ν∈Λ : λ ≤ μ, μ ≤ν ⇒ λ ≤ ν
  • Λの任意の二元が上界を持つ。すなわち∀λ,μ∈Λ∃ν∈Λ : λ ≤ ν, μ ≤ν

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

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

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

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

定義

[編集]

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

  • (有向点族に対するボルツァーノ・ワイエルシュトラス性) X上の任意の有向点族に対し、のある部分有向点族xXが存在し、xXに収束する

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

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

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

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

[編集]

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

定義 (開被覆) ―  を位相空間とし、Xの部分集合の集合とする。

が成立するとき、X被覆するといい、特にの元が全て開集合であるとき、X開被覆(: open cover)という。

定義

[編集]

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

定義 (ハイネ・ボレル性によるコンパクトの定義) ― 位相空間が以下の性質を満たすときコンパクトであるという[4]

  • (ハイネ・ボレル性) Xの任意の開被覆に対し、のある有限部分集合が存在し、Xを被覆する[4]

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

上述の定義におけるの事を有限部分被覆という。

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

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

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

有限交差性

[編集]

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

定義 ― を位相空間とし、Xの閉集合の任意の集合が以下の性質を満たすとき、有限交差性を満たすという:

  • の任意の有限部分集合が、を満たす。

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

  • Xの閉集合の任意の集合が有限交差性を満たせばが成立する。

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

利用例

[編集]

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

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

定理 (ハイネ・カントールの定理) ― 距離空間XYに対し、Xがコンパクトであれば、X上定義された任意の連続関数は一様連続である

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

このxに依存しているが、もしも正数を与えたときにを満たす正数δが点xに依らずに選べるのであればにおける一様連続性が言える。そのようなδを見つける単純な方法は

とする事だが、xの選択は無限にあるので、δは0になる可能性があるからうまくいかない。

そこでハイネ・ボレル性を使って開被覆の有限部分被覆を選び、

とすれば個数は有限個なのでδ>0であることが保証される。

しかもXを被覆している事から、任意のxXに対し、となるxiが存在して、

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

それ以外の特徴づけ

[編集]

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

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

性質

[編集]

閉集合

[編集]

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

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

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

コンパクト性の遺伝

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

その他

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

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

[編集]

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

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

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

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

[編集]

全有界性

[編集]

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

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

となる事を指す。(ここでは点xε-近傍を表す。)

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

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

完備性

[編集]

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

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

点列コンパクト

[編集]

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

定義 ―  位相空間 X点列コンパクトであるとは、X 上の任意の点列は収束部分列を持つ事を指す。すなわち X 上の任意の点列 に対し適当な部分列 を取れば X 上のいずれかの点に収束する事を指す。

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

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

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

[編集]

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

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

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

一様空間への一般化

[編集]

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

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

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

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

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

このとき以下の条件は全て同値である。これらの条件の少なくとも1つ(したがって全て)を満たすとき、全有界(: totally bounded)もしくはプレコンパクト(: precompact)であるという[9][10]

  • 任意の近縁に対し、ある有限集合FXが存在し、である。
  • 任意の擬距離dDと任意の実数ε>0に対し、Xの有限部分集合Fが存在し、が成立する。
  • X上の任意の有向点族は部分有向点族でコーシーなものを持つ。

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

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

Niemytzki-Tychonovの定理

[編集]

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

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

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

[編集]

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

無限次元ベクトル空間

[編集]

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

[編集]

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

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

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

にℓ2ノルム

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

はコンパクトではない

実際、

とすると(ここでδn,kクロネッカーのデルタ)、

for nm

であるので、のいかなる部分列もコーシー列の条件

を満たしえず、したがっては収束部分列を持たない為点列コンパクトではなく、よってコンパクトでもない。

2空間の閉単位球Bがコンパクトにならない原因は、Bは有界であっても全有界ではないからである。実際、 for nmであるので、を満たす正数εに対しては、各を覆うために一つずつε-球を用いる必要があるので、可算無限個のε-球が必要となり、全有界ではない。

*弱位相の場合

[編集]

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

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

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

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

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

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

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

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

コンパクト空間の直積

[編集]

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

直積位相と箱型積位相

[編集]

を位相空間の族するとき、には以下の2種類の位相が入る。

定義 (直積位相、箱型積位相) ― を位相空間の族とする。このとき、

  • 全ての射影を連続にする最弱の位相を直積位相もしくはチコノフ位相という。
  • を開基とする位相を箱型積位相英語版という[13]

これら2つの位相は有限個の直積を考えている場合は同一であるが、無限積を考えた場合には箱型積位相のほうが直積位相よりも強い(弱くない)位相になる。これを見るために直積位相を具体的に書き表すと、以下のようになる事が知られている:

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

, 有限個のλを除いて

を開基とする。

Λが無限集合のときは、「有限個のλを除いて…」という条件が原因で、箱型積位相と差が生じる。例えばの(可算)無限個のコピーとし、の無限個のコピーとするとき、直積

は直積位相に関して

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

チコノフの定理

[編集]

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

定理 (チコノフの定理) ― をコンパクトな位相空間の族とする。このとき直積に直積位相を入れたものはコンパクトである。

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

チコノフの定理より例えば上の単位区間の無限個のコピーの直積に直積位相を入れたものはコンパクトである。

一方に箱型積位相を入れたものはコンパクトではない。実際、に対し、ノルムを

と定義すると、箱型積位相はこのノルムから定まる位相と一致する事を簡単に確かめる事ができる。そこでとして無限次元ノルム空間の場合と同様の議論でコンパクトでない事を示せる。

コンパクト化

[編集]

位相空間Xコンパクト化とは X をコンパクトな位相空間に稠密に埋め込む操作を指す。コンパクトな空間は数学的に取り扱いやすい為、X をそのような空間に埋め込む事で X の性質を調べやすくする事ができる。コンパクトでない位相空間に一点付け加えるだけでコンパクト化する方法が必ず存在する(アレクサンドロフの一点コンパクト化)他、いくつかのコンパクト化の方法が知られている。実用上は X の構造を保つなど、X の性質が調べやすくなるコンパクト化の方法を選ぶ必要がある(例えば X が多様体であるときにコンパクト化 K として多様体になるものを選ぶ等)。

関連概念とその関係性

[編集]

コンパクト性は位相空間論における重要概念の一つなので、コンパクト性の定義を拡張したり修正したりした概念が複数存在する。本節ではこうした概念を紹介し、それらの関係性を述べる。

可算コンパクト、点列コンパクト、擬コンパクト

[編集]

これらの概念は以下のように定義される。点列コンパクトの定義は前の章ですでに述べたがが再掲している:

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

これらの概念は以下の関係性を満たす:

定理 ― コンパクト⇒点列コンパクト⇒可算コンパクト⇒擬コンパクト[15]

擬距離化可能な空間ではこれら4つの概念は同値である:

定理 (擬距離化可能空間における同値性) ― を位相空間とする。 Xが擬距離化可能空間であれば、コンパクト、可算コンパクト、点列コンパクト、擬コンパクトは同値[16]

Xが擬距離化可能とは限らない場合はこれらは同値とは限らないが、以下のような関係を満たす:

定理 ― を位相空間とする。

  • Xが第一可算公理を満せば、Xの点列コンパクト性と可算コンパクト性は同値[17]
  • Xがパラコンパクト(後述)で擬コンパクトならコンパクト[18]

局所コンパクト、σ-コンパクト、リンデレーフ、パラコンパクト、メタコンパクト

[編集]

これらは以下のように定義される:

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

σ-コンパクトの定義に関して留意点を述べる。σ-コンパクトは局所コンパクトと違い、コンパクトな近傍(すなわち内点を持つ集合)である事を要求されていない。これが原因でσ-コンパクトであっても局所コンパクトではない事があり得る。例えば有理数の集合は一点集合(これはコンパクトである)の可算和で書けるのでσ-コンパクトだが、の各点のいかなる近傍も距離空間として完備でないのでコンパクトではなく、よっては局所コンパクトではない。

関係性

[編集]

以上の概念は以下の関係性を満たす:

定理 (各種概念の関係性) ― を位相空間とする。

  • X第二可算公理を満たせばリンデレーフ[22]
  • Xが距離化可能空間であれば、リンデレーフ性と第二可算公理と可分性は同値[23]
  • Xがσコンパクトかつ局所コンパクトならパラコンパクトである[24]
  • Xがσ-コンパクトならリンデレーフ空間[25]
  • X正則リンデレーフ空間であればパラコンパクト[25]
  • Xが擬距離化可能ならパラコンパクト[19]
  • XがメタコンパクトなT1空間であれば、可算コンパクト性とコンパクト性は同値[26]

パラコンパクト

[編集]

以上で述べた概念の中で重要なものの一つにパラコンパクトがある。本節ではパラコンパクトの性質について述べる。なおパラコンパクトの定義において我々は文献Kellyに従い、ハウスドルフ性を条件として課したが、書籍によってはハウスドルフ性を仮定していないので、注意が必要である。

パラコンパクトに関しては以下のようにも特徴づけられる。なお(ハウスドルフ性を満たす)パラコンパクトな空間は必ず正規空間になる事が知られている[19]

定理 (パラコンパクトの特徴づけ) ― を正則な位相空間とするとき、下記の条件は全て同値である[19][注 6]

  • Xはパラコンパクト
  • Xの任意の開被覆は局所有限で開な細分を持つ
  • Xの任意の開被覆は局所有限で閉な細分を持つ

ここで細分が開であるとは細分が開被覆になっている事を意味する。同様に細分が閉であるとは細分が被覆になっている事を意味する。上記の定理はパラコンパクトな空間において開被覆が単に局所有限な細分を持つだけでなく、局所有限でしかも開な細分や閉な細分を持つ事を保証している。

コンパクト性は開被覆が、(開な)部分被覆を持つ事を保証しているので、パラコンパクトな空間において開で局所有限な細分が保証される事は、コンパクト性において成り立っている議論をパラコンパクト性に拡張する際に有益である。

パラコンパクトな空間の重要な性質の一つとして、開被覆に従属する1の分割の存在が保証されるというものがある。この事実を述べるためにまず1の分割の定義、およびそれが開被覆と両立する事の定義を述べる:

定義 (1の分割) ― を位相空間とする。X上の1の分割(: partition of unity)とは(fα)αAXから[0,1]区間への連続関数

で、以下の2性質を満たすものを言う[27]

  1. 集合族は局所有限
  2. 任意のxXに対し、

なお上述の条件1に対する関連概念として関数の台(: support)

が存在するが、1の分割の定義では関数の台と違い閉包を取っていない事に注意されたい。また条件2において和を取っているが、この和は条件1より各xXに対して有限和である事が保証されているので、族(fα)αAが仮に非可算無限個の元を持っていても和は意味を持つ。

定義 (開被覆に従属する1の分割) ― を位相空間とし、Xの開被覆とし、(fα)αAXの1の分割とする。

  • 任意のαAに対し、あるτBが存在し、が成立するとき、(fα)αA従属する(: subordinate)という[27]
  • A=Bであり、任意のαA=Bに対し、が成立するとき、(fα)αA正確に従属する(: precisely subordinate)という[27]

パラコンパクトな空間は開被覆に従属する1の分割で特徴づけられる:

定理 (1の分割によるパラコンパクトの特徴づけ) ― がハウスドルフ空間であるとき、下記の条件は全て同値である[28][注 7]

  • Xはパラコンパクト
  • Xの任意の開被覆に対し、に従属する1の分割が存在する。
  • Xの任意の開被覆に対し、に正確に従属する1の分割が存在する。

脚注

[編集]

注釈

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

出典

[編集]
  1. ^ Cambridge English Dictionary”. 2021年1月19日閲覧。
  2. ^ a b #Kelly pp.65-66.
  3. ^ a b #Schechter 7.6
  4. ^ a b c d e #Kelly pp.135-136.
  5. ^ #Schechter p.461.
  6. ^ #Kelly p.141.
  7. ^ #内田 p.146
  8. ^ #内田 pp.145-146.なお、この文献では必要性しか示されていないが、十分性に関しても以下のアイデアで示せる:Xの完備化とすると、仮定より上の点列はコーシー列を部分列に持ち、は完備なのでこのコーシー列は収束する。すなわちは点列コンパクトである。点列コンパクトは全有界かつ完備である事と同値なので、は全有界であり、したがってXも全有界である。
  9. ^ #Kelly p.198.
  10. ^ #Schechter pp.505-506.
  11. ^ #Schechter p.507
  12. ^ #Heil p.3.
  13. ^ #内田 p.95
  14. ^ #内田 p.118.
  15. ^ 「コンパクト⇒点列コンパクト」は定義より明らか。「可算コンパクト⇒擬コンパクト」は#Schechter p.468より。「点列コンパクト⇒可算コンパクト」は#Kelly p.162より可算コンパクト性は任意の点列が集積点を持つ事と同値なので。ここで点xXが点列集積点であるとは、xの任意の近傍Nに対し、となるnが無限個ある事をいう(#Kelly p.71)[注 5]
  16. ^ #Schechter p.470
  17. ^ #Kelly p.162.
  18. ^ #Schechter p.468
  19. ^ a b c d #Kelly pp.156-161.
  20. ^ a b #Kelly pp.126,128.
  21. ^ #Kelly p.171.
  22. ^ #Willard、Theorem 16.9, p. 111
  23. ^ #Willard、Theorem 16.11, p. 112
  24. ^ #松島,p. 86.
  25. ^ a b #Kelly p.172.
  26. ^ Kelly p.171.
  27. ^ a b c #Schechter p.445.
  28. ^ #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日閲覧。

関連項目

[編集]