局所コンパクト空間

提供: miniwiki
2018/8/19/ (日) 17:20時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
移動先:案内検索

数学において、位相空間 X局所コンパクト(きょくしょコンパクト、: locally compact[1])というのは、雑に言って、X の各点の近傍ではコンパクトであるという性質をもつことである。位相空間がコンパクトであるための条件は非常に厳しく、コンパクトな空間が数学において特殊な位置を占めているのに対して、数学で扱う重要な位相空間の多くが局所コンパクトである。特に局所コンパクトなハウスドルフ空間は数学の中で重要な位置を占める。

定義

位相空間 X が局所コンパクトであるとは、任意の点 xX に対して、x の近傍 U でコンパクトなものが存在することである。

これと類似した以下の様な定義が採用されることもある。

0. 任意の点 xX に対して、x の近傍 U でコンパクトなものが存在する。
1. 任意の点 xX に対して、x の閉近傍 U でコンパクトなものが存在する。
2. 任意の点 xX に対して、x のコンパクトな近傍が x近傍基をなす。
3. 任意の点 xX に対して、x のコンパクトな閉近傍が x の近傍基をなす。

ハウスドルフ空間ではこれらは全て同値になる。

(0) はここでの定義であり、この中で一番弱く (1)、(2)、(3) は (0) を含意している。 (3) はこの中で一番強く (0)、(1)、(2) を含意している。

無限集合に補有限位相を入れたものは (0)、(1)、(2) を満たすが (3) を満たさない。

有理数体 テンプレート:Mathbf一点コンパクト化English版は (0)、(1) を満たすが (2)、(3) を満たさない。

自然数全体 N0 に「開 ⇔ 0を含む又は空」となる位相を入れた空間は (0)、(2) を満たすが (1)、(3) を満たさない。

前述の例の2つ目と3つ目の空間の直和は (0) を満たすが (1)、(2)、(3) を満たさない。

例とそうでない例

コンパクトハウスドルフな例

任意のコンパクトハウスドルフ空間はもちろん局所コンパクトであり、コンパクト空間の例はコンパクト空間の項目へ詳細を譲るがここでは

などを挙げておこう。

コンパクトでない局所コンパクトハウスドルフ空間の例

ハウスドルフだが局所コンパクトにならない例

後の節において述べるとおり、ハウスドルフ空間が局所コンパクトならば、それは必ずチホノフEnglish版 である(チホノフでないハウスドルフ空間の例については該当の項を参照のこと)が、逆に局所コンパクトでないようなチホノフ空間の例は存在する。

前二者は局所コンパクト空間の部分集合が必ずしも局所コンパクトではないことを示すもので、開または閉な部分集合を考えて前節での例と対照的である。後者は前節のユークリッド空間との対照であり、これははっきりと、ハウスドルフ位相線型空間が局所コンパクトであるための必要十分条件はそれが有限次元(つまりユークリッド空間の場合)であることであると述べられる。あるいはまた、コンパクト空間の例としてのヒルベルト立方体との対比と見れば、この超立方体がヒルベルト空間のどの点の近傍ともならないことから、矛盾しない。

ハウスドルフでない局所コンパクト空間の例

  • 有理数の空間 テンプレート:Mathbf一点コンパクト化English版はコンパクトゆえ、各点が(閉)近傍を持つという意味では局所コンパクトだが、コンパクト近傍からなる近傍基を持つという意味での局所コンパクト性は持たない。
  • 任意の無限集合に特定点位相English版を入れたものは、コンパクト近傍からなる近傍基を持つという意味では局所コンパクトだが、特定点を含む空でない閉コンパクト部分空間は存在しないから各点が閉近傍を持つという意味での局所コンパクト性は持たない。同じことは実数直線に上方位相English版を入れたものについても言える。

性質

任意の局所コンパクト前正則空間English版は、実は完全正則English版である。この事実から、任意の局所コンパクトハウスドルフ空間がチホノフ (T) であることが従う。通常の正則性のほうが、前正則性(ふつうはより弱い条件)や完全正則性(普通はより強い条件)よりも馴染みがあるから、局所コンパクト前正則空間のことは「局所コンパクト正則空間」という言い回しで言及されるのが通例である。同様に、局所コンパクトチホノフ空間は普通は単に「局所コンパクトハウスドルフ空間」と呼ぶ。

任意の局所コンパクトハウスドルフ空間はベール空間である。つまりベールの範疇定理の結論「 (nowhere dense) な部分集合からなる任意の可算合併は空でない」が成立する。

局所コンパクトハウスドルフ空間 Y部分空間 X が局所コンパクトであるための必要十分条件は、XY の二つの部分集合の(集合論的)差に書けることである。その系として、局所コンパクトハウスドルフ空間の稠密部分集合 X が局所コンパクトであるための必要十分条件は、XY開部分集合となることである。さらに言えば、「任意」のハウスドルフ空間 Y の部分空間 X が局所コンパクトならばやはり Y の二つの閉部分集合の差には書けるが、この場合逆は成り立たない。

局所コンパクトハウスドルフ空間の商空間コンパクト生成English版 (compactly generated) である。逆に、任意のコンパクト生成ハウスドルフ空間は、ある局所コンパクトハウスドルフ空間の商として得られる。

局所コンパクト空間においては、局所一様収斂コンパクト収斂の概念は一致する。

無限遠点

任意の局所コンパクトハウスドルフ空間 X はチホノフであるから、ストーン-チェックコンパクト化English版を用いてコンパクトハウスドルフ空間 b(X)埋め込める。しかし実は、局所コンパクトの場合にはより単純な方法として、X にただ一点のみ余分な点を付け加えることにより X をコンパクトハウスドルフ空間 a(X) に埋め込める、一点コンパクト化English版がある(一点コンパクト化自体は他の種類の空間にも適用することができるが、a(X) がハウスドルフとなることと X が局所コンパクトハウスドルフであることは同値)。従って、局所コンパクトハウスドルフ空間は、コンパクトハウスドルフ空間の開部分集合として特徴づけられる。

直観的に言えば、a(X) において付け加えられた余分な点は無限遠点と見做せる。つまり無限遠点は X の任意のコンパクト部分集合の外側にあるものと考えることができて、無限遠に飛ばす極限を考えることに関する多くの直観的概念がこの考えの下で局所コンパクトハウスドルフ空間に対しても定式化することができる。例えば、X を定義域とする実数値や複素数値の連続函数無限遠において消えるEnglish版とは、与えられた任意の正数 ε に対して X の適当なコンパクト部分集合 Kテンプレート:Abs < εK の外側にある各点 x において成り立つものが取れるときに言う。この定義は任意の位相空間 X において意味を持つ。X が局所コンパクトハウスドルフのとき、そのような函数はちょうど X の一点コンパクト化 a(X) = X ∪ {∞} 上の連続函数 gg(∞) = 0 を満たすものに延長することができる。

無限遠点で消えている複素数値連続函数全体の成す集合 C0(X)C*-環を成す。実は任意の可換 C*-環は、ある(同相違いを除いて)一意に定まる局所コンパクトハウスドルフ空間 X 上の C0(X)同型である。より詳しく述べれば、局所コンパクトハウスドルフ空間のと可換 C*-環の圏は双対であることが、ゲルファント表現English版を用いて示される。この双対性において、X から一点コンパクト化 a(X) を作る操作は C0(X)単位元を添加 (adjoin) する操作に対応する。

局所コンパクト群

局所コンパクト性の概念は、主に任意のハウスドルフな局所コンパクト群 Gハール測度と呼ばれる自然な測度を持ち G 上の可測函数積分が定義できるという理由によって、位相群の研究において重要である。実数直線 テンプレート:Mathbf 上のルベーグ測度はこれの特別の場合である。

位相アーベル群 Aポントリャーギン双対が局所コンパクトとなる必要十分条件は、A が局所コンパクトであることである。さらにきちんと言えば、ポントリャーギン双対性は局所コンパクトアーベル群の圏における自己双対性を定める。局所コンパクトアーベル群の研究は(非可換な局所コンパクト群についても広く扱う)群上の調和解析の基礎を成すものである(非可換調和解析の項も参照)。

脚注

  1. 文部省編 『学術用語集 数学編』 大日本図書、1954年。ISBN 4-477-00170-3。

参考文献

  • Kelley, John (1975). General Topology. Springer. ISBN 0-387-90125-6. 
  • Munkres, James (1999). Topology, 2nd, Prentice Hall. ISBN 0-13-181629-2. 
  • [1978] (1995) Counterexamples in Topology, Dover reprint of 1978, Berlin, New York: Springer-Verlag. ISBN 978-0-486-68735-3. 
  • Willard, Stephen (1970). General Topology. Addison-Wesley. ISBN 0-486-43479-6 (Dover edition). 
  • 矢野公一 『距離空間と位相構造』 共立出版〈共立講座21世紀の数学〉、1997年。ISBN 4-320-01556-8。

関連項目

外部リンク

|CitationClass=citation }}