この記事は(検証可能)な(参考文献や出典)が全く示されていないか、不十分です。(2010年1月) |
数学においてコンパクト一様収束あるいはコンパクト収束、あるいは広義一様収束 (compact convergence, uniform convergence on compact sets) とは、一様収束の概念を一般化した(収束)のタイプである。コンパクト開位相と関係する。
定義
- ,
が のとき関数 にコンパクト収束するとは、すべてのコンパクト集合 に対して が のとき 上 に一様収束することをいう。これはすべてのコンパクトな に対して
が成り立つことを意味する。
例
- および (通常の位相)とし、 とすれば、 は定数関数 0 にコンパクト収束するが、一様収束ではない。
- とし、 とすれば、 は 上 で0の値を, 上で 1の値を取る関数に各点収束するが、コンパクト収束しない。
- コンパクト収束を示す非常に強力な道具はアスコリ・アルツェラの定理である。この定理にはいくつかのバージョンがあるが、おおまかに言えば、同程度連続かつ一様有界な写像の列は連続写像にコンパクト収束する部分列を持つ、というものである。
性質
関連項目
- (Modes of convergence (annotated index))
- モンテルの定理
参考文献
- R. Remmert Theory of complex functions (1991 Springer) p. 95