コンテンツにスキップ

コンパクト開位相

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

コンパクト開位相(コンパクトかいいそう、: compact-open topology)とは連続写像のなす空間上の位相構造の一つで、定義域のコンパクト部分集合値域開集合内に移す写像全体が開集合となる最弱の位相の事である。特に定義域が局所コンパクトハウスドルフである場合は連続写像空間上のきわめて自然な位相概念となり、コンパクト開位相は が連続となる最弱な位相と一致する。また値域が距離空間(あるいはより一般に一様空間)であれば、コンパクト開位相で収束する必要十分条件は、定義域の各コンパクト部分集合上で一様収束する事(これを広義一様収束あるいはコンパクト収束という)である。

定義

[編集]

位相空間 X から位相空間 Y への連続写像全体の集合を C(XY) とし、さらに K ⊂ X, O ⊂ Y に対し、W(KO) を

により定義する。

{W(K, O) | KX のコンパクトな部分集合、OY の開集合}

準開基とする位相をC(XY ) 上のコンパクト開位相という[1]

またコンパクト開位相を C(XY ) の部分集合 H に制限したものを H 上のコンパクト開位相と呼ぶ。

性質

[編集]

定義域 X が局所コンパクトな場合、コンパクト開位相は が連続となる最弱な位相として特徴づけられる[2]

定理 ― X, Y を位相空間とし、H ⊂ C(XY) とし、さらに

により定義する。このとき、

  • X が局所コンパクトハウスドルフである場合、H にコンパクト開位相をいれたときに連続となる。
  • H 上の位相 に関して連続であれば はコンパクト開位相より強い[3]

値域が距離空間の場合、コンパクト開位相が定める収束概念は以下のように特徴づけられる:

定理 ― X を位相空間、Y を距離空間(あるいはより一般に一様空間)とする。 このとき C(XY ) の列(あるいはより一般にネットf ∈ C(XY) にコンパクト開位相で収束する必要十分条件は f に以下の意味で収束(コンパクト収束という)する事である:

  • X の任意のコンパクト部分集合 K に対し、 に一様収束する。

特に、X にさらなる条件をおいた場合、コンパクト開位相の収束概念は以下に一致する

  • X が局所コンパクトであれば以下の意味での収束概念(局所一様収束という)と一致する:任意の x ∈ X に対しx のある開近傍 V が存在し、 に一様収束する。
  • X がコンパクトであれば一様収束と一致する

アスコリ・アルツェラの定理の拡張

[編集]

アスコリ・アルツェラの定理を一般化する事で以下を示す事ができる(Kelley & Namioka (1982, §8), Kelley (1991, Chapter 7)):

定理 ― X がコンパクトハウスドルフ空間、Y が距離空間であるとき、C(XY) の部分集合 H がコンパクト開位相に関しコンパクトである必要十分条件は H が下記の3条件をすべて満たす事である:

  • HC(XY) の閉集合である
  • (同程度連続性) 任意の x ∈ X と任意の ε > 0 に対しある δ > 0 が存在し、全ての f ∈ H と全ての y ∈ Y に対し d(xy ) < δ なら d(f(x), f(y)) < ε である。
  • (各点相対コンパクト性) 任意の x ∈ X に対し、Y において相対コンパクトである。

その他の性質

[編集]
  • X, Z を位相空間、Y を局所コンパクトな位相空間とする時、写像 はコンパクト開位相に関して連続である[4]
  • X, Y を位相空間とする時、Y がハウスドルフ(resp. 正則)空間であれば C(XY) はハウスドルフ(resp. 正則)である[5]
  • X をコンパクトハウスドルフ空間とし、X からそれ自身への同相写像全体の集合を H(X) とすると、写像 はコンパクト開位相に関して連続である[6]。写像の合成も前述のように連続であるので、H(X) は関数合成に関して位相群をなす。

注釈

[編集]
  1. ^ 内田伏一 1986, p. 168.
  2. ^ 内田伏一 1986, p. 169.
  3. ^ こちらのステートメントは X が局所コンパクトハウスドルフでなくとも成り立つ。
  4. ^ 内田伏一 1986, p. 171.
  5. ^ 内田伏一 1986, p. 170.
  6. ^ 内田伏一 1986, p. 173.

参考文献

[編集]
  • 内田伏一『数学シリーズ 集合と位相』裳華房、1986年。ISBN 978-4-7853-1401-9 
  • Kelley, J. L. (1991), General topology, Springer-Verlag, ISBN 978-0-387-90125-1 
  • Kelley, J. L.; Namioka, I. (1982), Linear Topological Spaces, Springer-Verlag, ISBN 978-0-387-90169-5