コンパクト開位相

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

定義

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

$W(K,O)=\{f\in C(X,Y)\mid f(K)\subset O\}$

により定義する。

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

を準開基とする位相をC(X, Y ) 上のコンパクト開位相というテンプレート:Sfn。

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

性質

定義域 X が局所コンパクトな場合、コンパクト開位相は $(f,x)\mapsto f(x)$ が連続となる最弱な位相として特徴づけられるテンプレート:Sfn：

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

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

• X が局所コンパクトであれば以下の意味での収束概念（局所一様収束という）と一致する：任意の x ∈ X に対しx のある開近傍 V が存在し、$(f_n{|}_V{)}_{n\in \mathbb{N}}$ は $f{|}_V$ に一様収束する。
• X がコンパクトであれば一様収束と一致する

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

アスコリ・アルツェラの定理を一般化する事で以下を示す事ができる(テンプレート:Harvtxt, テンプレート:Harvtxt)：

その他の性質

• X, Z を位相空間、Y を局所コンパクトな位相空間とする時、写像 $C(X,Y)\times C(Y,Z)\to C(X,Z),(f,g)\mapsto g\circ f$ はコンパクト開位相に関して連続であるテンプレート:Sfn。
• X, Y を位相空間とする時、Y がハウスドルフ(resp. 正則)空間であれば C(X, Y) はハウスドルフ(resp. 正則)であるテンプレート:Sfn。
• X をコンパクトハウスドルフ空間とし、X からそれ自身への同相写像全体の集合を H(X) とすると、写像 $H(X)\to H(X),f\mapsto f^{-1}$ はコンパクト開位相に関して連続であるテンプレート:Sfn。写像の合成も前述のように連続であるので、H(X) は関数合成に関して位相群をなす。

参考文献

• テンプレート:Cite book
• テンプレート:Citation
• テンプレート:Citation