コンパクト開位相のソースを表示

{{Pathnav|[[数学]]|[[位相空間]]、[[関数空間]]|frame=1}}
'''コンパクト開位相'''（コンパクトかいいそう、{{lang-en-short|compact-open topology}}）とは[[連続写像]]のなす空間上の[[位相]]構造の一つで、定義域の[[コンパクト集合|コンパクト部分集合]]を[[値域]]の[[開集合]]内に移す写像全体が開集合となる最弱の位相の事である。特に定義域が[[局所コンパクト]][[ハウスドルフ空間|ハウスドルフ]]である場合は連続写像空間上のきわめて自然な位相概念となり、コンパクト開位相は <math>(f,x) \mapsto f(x)</math> が連続となる最弱な位相と一致する。また値域が[[距離空間]]（あるいはより一般に[[一様空間]]）であれば、コンパクト開位相で収束する必要十分条件は、定義域の各コンパクト部分集合上で一様収束する事（これを広義一様収束あるいはコンパクト収束という）である。

== 定義 ==

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

: <math>W(K,O)=\{f\in C(X,Y) \mid f(K) \subset O\}</math>

により定義する。

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

を[[開基 (位相空間論)|準開基]]とする位相を''C''(''X'',&nbsp;''Y'' ) 上の'''コンパクト開位相'''という{{sfn|内田伏一|1986|p=168}}。

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

== 性質 ==

定義域 ''X'' が局所コンパクトな場合、コンパクト開位相は <math>(f,x) \mapsto f(x)</math> が連続となる最弱な位相として特徴づけられる{{sfn|内田伏一|1986|p=169}}：

{{math theorem|1=
''X'', ''Y'' を位相空間とし、''H''&nbsp;⊂&nbsp;''C''(''X'',&nbsp;''Y'') とし、さらに <math>\phi_H \colon H \times X \to Y</math> を

:<math>\phi_H \colon (f,x) \mapsto f(x)</math>

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

* ''X'' が局所コンパクトハウスドルフである場合、<math>\phi_H</math> は ''H'' にコンパクト開位相をいれたときに連続となる。
* <math>\phi_H</math> が ''H'' 上の位相 <math>\mathcal{O}</math> に関して連続であれば <math>\mathcal{O}</math> はコンパクト開位相より強い<ref>こちらのステートメントは ''X'' が局所コンパクトハウスドルフでなくとも成り立つ。</ref>。
}}

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

{{math theorem|1=
''X'' を位相空間、''Y'' を距離空間（あるいはより一般に[[一様空間]]）とする。
このとき ''C''(''X'',&nbsp;''Y'' )  の列（あるいはより一般に[[有向点族|ネット]]）<math>(f_n)_{n}</math> が ''f''&nbsp;∈&nbsp;''C''(''X'',&nbsp;''Y'') にコンパクト開位相で収束する必要十分条件は <math>(f_n)_{n}</math> が ''f'' に以下の意味で収束（'''コンパクト収束'''という）する事である：

* ''X'' の任意のコンパクト部分集合 ''K'' に対し、<math>(f_n|_K)_{n\in \mathbb{N}}</math> は <math>f|_K</math> に一様収束する。
}}

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

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

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

[[アスコリ・アルツェラの定理]]を一般化する事で以下を示す事ができる({{harvtxt|Kelley|Namioka|1982|loc=§8}}, {{harvtxt|Kelley|1991|loc=Chapter 7}})：

{{math theorem|1=
''X'' がコンパクトハウスドルフ空間、''Y'' が距離空間であるとき、''C''(''X'',&nbsp;''Y'') の部分集合 ''H'' がコンパクト開位相に関しコンパクトである必要十分条件は ''H'' が下記の3条件をすべて満たす事である：
* ''H'' は ''C''(''X'',&nbsp;''Y'') の閉集合である
* ('''[[同程度連続|同程度連続性]]''') 任意の ''x''&nbsp;∈&nbsp;''X'' と任意の ''ε''&nbsp;>&nbsp;0 に対しある ''δ''&nbsp;>&nbsp;0 が存在し、全ての ''f''&nbsp;∈&nbsp;''H'' と全ての ''y''&nbsp;∈&nbsp;''Y'' に対し ''d''(''x'',&nbsp;''y'' )&nbsp;<&nbsp;''δ'' なら ''d''(''f''(''x''),&nbsp;''f''(''y''))&nbsp;<&nbsp;''ε'' である。
* ('''各点相対コンパクト性''') 任意の ''x''&nbsp;∈&nbsp;''X'' に対し、<math>\{f(x) \mid f\in H\}</math> は ''Y'' において相対コンパクトである。
}}

==その他の性質==

* ''X'', ''Z'' を位相空間、''Y'' を局所コンパクトな位相空間とする時、写像 <math>C(X,Y) \times C(Y,Z) \to C(X,Z),\;(f,g)\mapsto g\circ f</math> はコンパクト開位相に関して連続である{{sfn|内田伏一|1986|p=171}}。
* ''X'', ''Y'' を位相空間とする時、''Y'' がハウスドルフ(resp. 正則)空間であれば ''C''(''X'',&nbsp;''Y'') はハウスドルフ(resp. 正則)である{{sfn|内田伏一|1986|p=170}}。
* ''X'' をコンパクトハウスドルフ空間とし、''X'' からそれ自身への同相写像全体の集合を ''H''(''X'') とすると、写像 <math>H(X) \to H(X),\;f\mapsto f^{-1}</math> はコンパクト開位相に関して連続である{{sfn|内田伏一|1986|p=173}}。写像の合成も前述のように連続であるので、''H''(''X'') は関数合成に関して位相群をなす。

==注釈==
<references />

==参考文献==

*{{cite book|和書|author=内田伏一|title=数学シリーズ　集合と位相|publisher=裳華房|isbn=978-4-7853-1401-9|year=1986|harv=ref}}
*{{citation|first1=J. L.|last1=Kelley|title=General topology|isbn=978-0-387-90125-1|year=1991|publisher=Springer-Verlag}}
*{{citation|first1=J. L.|last1=Kelley|first2=I.|last2=Namioka|title=Linear Topological Spaces|publisher=Springer-Verlag|year=1982|isbn=978-0-387-90169-5}}

{{DEFAULTSORT:こんはくとかいいそう}}
[[Category:位相空間論]]
[[Category:解析学]]
[[Category:数学に関する記事]]