一様収束

数学の一分野である解析学において、一様収束とは、各点収束よりも強い関数列の収束概念である。関数列  とは、//fsub が //f//}} へ収束する速さが x}} に依らないということである。

連続性やリーマン可積分性といった性質は、一様収束極限には引き継がれるが、各点収束極限に引き継がれるとは限らない。これは一様収束の重要性を浮かび上がらせている。

1. 定義
-----

S}} を集合とし、各自然数 n}} に対し //fsub を実数値関数とする。関数列 (//fsub が極限 //f//: //S// → R}} に一様収束するとは、任意の //ε// > 0}} に対し、ある自然数 N}} が存在して、すべての //x// ∈ //S//}} とすべての //n// ≥ //N//}} に対して abs が成り立つことである。

一様ノルム を考えると、fsub が f}} に一様収束することと は同値である。

関数列  ∩ //S//}} 上一様収束することをいう。

1.1. 注意
-------

上記定義において「ある N}} が存在して」と「すべての x}} に対して」の順序を入れ替えると、列の各点収束  に同値な主張となることに注意しよう。各点収束の概念は次のように定義できる。関数列 (//fsub が極限 //f// : //S// → R}} に各点収束するとは、//

すべての //x// ∈ //S//}} と全ての //ε// > 0}} に対して、ある自然数 N}} が存在して、すべての //n// ≥ //N//}} に対して、abs が成り立つことをいう。ここで x}} と ε}} の普遍量化子の順序は重要でないが、x}} の普遍量化子と N}} の存在量化子の順序は重要である。

一様収束の場合には、N}} は ε}} のみにしか依存してはいけないが、各点収束の場合には、N}} は ε}} と x}} の両方に依存してもよい。したがって一様収束ならば各点収束であることは平易である。逆は以下の例が示すように正しくない。S}} を単位区間 [0, 1]}} とし、各自然数 n}} に対して //fsub と定義する。すると  =}} 0, //f// =}} 1}} によって定義される関数 f}} に各点収束する。この収束は一様ではない。なぜならば、例えば、//ε// =}} sfrac に対し、定義で要求されるような N}} は存在しない。n}} について abs を解くと //n// > log ε / log //x// となるからである。これは ε}} だけでなく x}} にも依存している。また、x}} に依存しない n}} の上界を見つけることも不可能であることに注意しよう。任意の //ε// > 0}} に対し、log ε / log //x// は x}} が 1}} に近づくとき限りなく増大するからである。

1.2. 一般化
--------

一様収束の概念をすぐに関数 //S// → //M//}}, ここで }} は距離空間、に拡張できる。abs を //d//(//fsub に置き換えればよい。//

最も一般的な設定は関数 //S// → //X//}} のネットの一様収束である。ここで X}} は一様空間である。ネット  V}} に対し、ある //α//sub が存在して、全ての //x// ∈ //S//}} とすべての //α// ≥ //α//sub に対して、(//fsub が V}} に入っていることをいう。上に述べた定理、連続関数の一様極限は連続、はこの設定においてもなお正しい。

1.3. 超実数の設定における定義
-----------------

一様収束は超実数の設定において簡易化された定義を持つ。関数列 fsub が f}} に一様収束するとは、//f//sup の定義域のすべての x}} と、すべての無限大超自然数 n}} に対して、SubSup が //f//sup に無限に近いことをいう。

2. 性質
-----

すべての一様収束列はコンパクト収束である。
すべての局所一様収束列はコンパクト収束である。
局所コンパクト空間に対して局所一様収束とコンパクト収束は同値である。
距離空間上の連続関数の列は、終域の距離空間が完備であれば、一様収束であることと一様コーシー列であることは同値である。

3. 応用
-----

3.1. 連続性
--------

もし S}} が実数における区間ならば、関数 fsub や f}} の連続性を考えることができる。次は一様収束に関する重要な結果である。

定理 区間 S}} 上の連続関数列 fsub が関数 f}} に一様収束するならば、関数 f}} も S}} 上で連続である。この定理の証明は " trick" の典型例である：目的の不等式  を証明するために、連続性や一様収束の定義から3つの不等式  を導き、それらを三角不等式により組合せることで、求める不等式を得る。

連続関数列の各点収束極限は連続とは限らないので、この定理は重要である。

より精密にはこの定理は、一様連続関数列の一様収束極限は一様連続であると述べている。局所コンパクト空間において連続性は局所一様連続性と同値なので、連続関数列の一様収束極限は連続である。

3.2. 微分
-------

区間 S}} 上の関数列 fsub が微分可能で関数 f}} に収束するとき、f}} の導関数を関数列 fsub の導関数の極限として得たい。ところが、これは一般には不可能である。たとえ収束が一様であったとしても、極限関数は微分可能とは限らない。さらに微分可能であったとしても、極限関数の微分が関数列の微分の極限と一致するとも限らない。例えば は一様極限が 0}} であるが、その微分は 0}} に収束しない。関数列の極限と関数列の微分の極限の関係を保証するには、関数列の微分の一様収束に加えて、 少なくとも一点での収束が必要となる。厳密な主張は次のようになる。

定理 区間 [//a//, //b//]}} 上で微分可能な関数列 fsub に対し、区間 [//a//, //b//]}} 上のある点 //x//sub において //fsub は収束し、関数列 (//fsub は区間 [//a//, //b//]}} 上で一様収束すると仮定する。このとき関数列 fsub は関数 f}} に一様収束し、//x// ∈ [//a//, //b//]}} に対して が成り立つ。

3.3. 積分
-------

微分の場合と同様に、積分と極限の交換をしたいことがある。リーマン積分に対しては、一様収束を仮定すればよい：

定理 コンパクトな区間 I}} 上で定義されたリーマン可積分関数列 fsub が極限 f}} に一様収束するならば、f}} もリーマン可積分であり が成り立つ。系として、特にコンパクトな区間 I}} 上で定義されたリーマン可積分関数列 fsub に対して、部分和が級数 に一様収束しているならば と項別積分できる。

3.4. 解析性
--------

複素平面の領域 S}} 上で定義された解析関数列の一様収束極限もまた S}} 上で解析的である。実数における区間上で定義された解析関数列の一様収束極限は微分可能とさえ限らないので、これは複素関数は実関数よりも良い振る舞いをすることを示している。

3.5. 級数
-------

date=2019-07-14}}

4. 概一様収束
--------

関数の定義域が測度空間 E}} であれば、関連概念である概一様収束  が定義できる。関数列 (//fsub が E}} 上概一様収束するとは、すべての //δ// > 0}} に対して、測度が δ}} よりも小さい可測集合 Esub が存在して、関数列 (//fsub が //E// − //Esub 上一様収束することである。言い換えれば、概一様収束は、補集合上関数列が一様収束になるようないくらでも小さい測度の集合が存在することを意味する。//

列の概一様収束は、名前から誤って予想されるかもしれないが、列がほとんどいたるところ一様収束することを意味するわけではないことに注意する。

エゴロフの定理は測度有限の空間上各点収束#ほとんどいたるところ収束関数列は同じ集合上概一様収束もすることを保証する。

概一様収束ならばほとんどいたるところ収束および測度収束である。

5. 関連項目
-------

ディニの定理

6. 脚注
-----

7. 参考文献
-------

Konrad Knopp, Theory and Application of Infinite Series; Blackie and Son, London, 1954, reprinted by Dover Publications, ISBN 0-486-66165-2.
G. H. Hardy, Sir George Stokes and the concept of uniform convergence; Proceedings of the Cambridge Philosophical Society, 19, pp.   148–156 
Bourbaki; Elements of Mathematics: General Topology. Chapters 5–10 ; ISBN 0-387-19374-X
Walter Rudin, Principles of Mathematical Analysis, 3rd ed., McGraw–Hill, 1976.
Gerald Folland, Real Analysis: Modern Techniques and Their Applications, Second Edition, John Wiley & Sons, Inc., 1999, ISBN 0-471-31716-0.
William Wade, An Introduction to Analysis , 3rd ed., Pearson, 2005

8. 外部リンク
--------

[1] from the University of Colorado