各点収束

ウィキペディア

各点収束

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/12/25 10:13 UTC 版)

数学において、各点収束 (英: pointwise convergence) は、関数列の収束の概念の1つである^[1][2]。

定義

{ f_n } を定義域と終域の等しい関数の列とする。（さしあたり終域は指定しないが実数と考えてもらってよい。）列 { f_n } が f に各点収束する (converge pointwise) とは、定義域のすべての点 x に対して

${\displaystyle \lim _{n\rightarrow \infty }f_{n}(x)=f(x)}$

が成り立つことをいう。

${\displaystyle \lim _{n\rightarrow \infty }f_{n}=f\ {\mbox{pointwise}}}$

と書くことがある。

論理記号で書けば、

　　${\displaystyle \forall x,\forall \epsilon >0,\exists N\in \mathbb {N} \ ;\ n\geqq N\Rightarrow |f_{n}(x)-f(x)|<\epsilon }$

となる。

性質

この概念はしばしば一様収束 (uniform convergent) と比較される。

${\displaystyle \lim _{n\rightarrow \infty }f_{n}=f\ {\mbox{uniformly}}}$

とは

${\displaystyle \lim _{n\rightarrow \infty }\,\sup\{\,\left|f_{n}(x)-f(x)\right|:x\in {\mbox{the domain}}\,\}=0}$

を意味する。一様収束は各点収束よりも強いものである。つまり、一様収束列は同じ極限関数への各点収束列であるのだが、一様収束しない各点収束列が存在する。例えば、半開区間 [0, 1) において、${\displaystyle f_{n}(x)=x^{n}}$ は ${\displaystyle f(x)=0}$ に各点収束するが、これは一様収束ではない。

連続関数列の極限関数が連続とは限らないが、一様収束であれば連続である。例えば、

${\displaystyle f(x)=\lim _{n\rightarrow \infty }\cos ^{2n}(\pi x)}$

は x が整数のとき 1 でそうでないとき 0 を取り、すべての整数で不連続である。

関数 f_n の値は実数でなくてもよく、各点収束の概念が意味を持つためには、位相空間であればよい。一方、一様収束は、一般の位相空間に値を取る関数に対しては意味をなさないが、距離空間や、より一般に一様空間であれば意味を持つ。

位相

各点収束は空間 Y^X 上の積位相における収束と同じである。ここで X は始域で Y は終域である。終域 Y がコンパクトであれば、チコノフの定理より、空間 Y^X もコンパクトである。

ほとんどいたるところ収束

測度論では可測空間上定義された可測関数列についてほとんどいたるところ収束するというものがある。これはほとんどいたるところ（英語版）各点収束することを意味する。エゴロフの定理（英語版）は、測度有限の集合上ほとんどいたるところ各点収束する列はそれよりわずかに小さい集合上一様収束するという定理である。

関連項目

• en:Modes of convergence (annotated index)

参考文献

1. ^ Rudin, Walter (1976). Principles of Mathematical Analysis. McGraw-Hill. ISBN 0-07-054235-X 
2. ^ Munkres, James R. (2000). Topology (2nd ed.). Prentice Hall. ISBN 0-13-181629-2 

ウィキペディア小見出し辞書

各点収束

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/24 03:03 UTC 版)

「ファトゥの補題」の記事における「各点収束」の解説

上と同じ設定のもとで、関数列 f1, f2, . . . が S 上で μ に関してほとんど至る所で関数 f へと各点収束するなら、 ∫ S f d μ ≤ lim inf n → ∞ ∫ S f n d μ が成立する。