一様収束

数学の一分野である解析学において、一様収束（いちようしゅうそく、）とは、各点収束よりも強い概念である。関数列 が極限関数 に一様収束する (converge uniformly) とは、 が へ収束する速さが に依らないということである。
連続性やリーマン可積分性といった性質は、一様収束極限には引き継がれるが、各点収束極限に引き継がれるとは限らない。これは一様収束の重要性を浮かび上がらせている。
定義.
 を集合とし、各自然数 に対し を実数値関数とする。関数列 が極限 に一様収束するとは、任意の に対し、ある自然数 が存在して、すべての とすべての に対して が成り立つことである。
一様ノルム formula_1 を考えると、 が に一様収束することと formula_2 は同値である。
関数列 が に局所一様収束するとは、距離空間 のすべての点 に対して、ある が存在して、 が 上一様収束することをいう。
注意.
上記定義において「ある が存在して」と「すべての に対して」の順序を入れ替えると、列の各点収束 (pointwise convergence) に同値な主張となることに注意しよう。各点収束の概念は次のように定義できる。関数列 が極限 に各点収束するとは、
ことをいう。ここで と の普遍量化子の順序は重要でないが、 の普遍量化子と の存在量化子の順序は重要である。
一様収束の場合には、 は のみにしか依存してはいけないが、各点収束の場合には、 は と の両方に依存してもよい。したがって一様収束ならば各点収束であることは平易である。逆は以下の例が示すように正しくない。 を単位区間 とし、各自然数 に対して と定義する。すると は、 のとき によって定義される関数 に各点収束する。この収束は一様ではない。なぜならば、例えば、 に対し、定義で要求されるような は存在しない。 について を解くと "n" > log ε / log "x" となるからである。これは だけでなく にも依存している。また、 に依存しない の上界を見つけることも不可能であることに注意しよう。任意の に対し、log ε / log "x" は が に近づくとき限りなく増大するからである。
一般化.
一様収束の概念をすぐに関数 , ここで は距離空間、に拡張できる。 を に置き換えればよい。
最も一般的な設定は関数 のネットの一様収束である。ここで は一様空間である。ネット が極限 に"一様収束"するとは、 のすべての近縁 (entourage) に対し、ある が存在して、全ての とすべての に対して、 が に入っていることをいう。上に述べた定理、連続関数の一様極限は連続、はこの設定においてもなお正しい。
超実数の設定における定義.
一様収束は超実数の設定において簡易化された定義を持つ。関数列 が に一様収束するとは、 の定義域のすべての と、すべての無限大超自然数 に対して、 が に無限に近いことをいう（一様連続性の類似の定義はを参照）。
応用.
連続性.
もし が実数における区間（より一般に位相空間）ならば、関数 や の連続性を考えることができる。次は一様収束に関する重要な結果である。
この定理の証明は "formula_3 trick" の典型例である：目的の不等式 (formula_4) を証明するために、連続性や一様収束の定義から3つの不等式 (formula_5) を導き、それらを三角不等式により組合せることで、求める不等式を得る。
連続関数列の各点収束極限は連続とは限らないので（右図）、この定理は重要である。
より精密にはこの定理は、一様連続関数列の一様収束極限は一様連続であると述べている。局所コンパクト空間において連続性は局所一様連続性と同値なので、連続関数列の一様収束極限は連続である。
微分.
区間 上の関数列 が微分可能で関数 に収束するとき、 の導関数を関数列 の導関数の極限として得たい。ところが、これは一般には不可能である。たとえ収束が一様であったとしても、極限関数は微分可能とは限らない。さらに微分可能であったとしても、極限関数の微分が関数列の微分の極限と一致するとも限らない。例えば formula_6 は一様極限が であるが、その微分は に収束しない。関数列の極限と関数列の微分の極限の関係を保証するには、関数列の微分の一様収束に加えて、 少なくとも一点での収束が必要となる。厳密な主張は次のようになる。
積分.
微分の場合と同様に、積分と極限の交換をしたいことがある。リーマン積分に対しては、一様収束を仮定すればよい：
系として、特にコンパクトな区間 上で定義されたリーマン可積分関数列 に対して、部分和が級数 formula_9 に一様収束しているならば formula_10 と項別積分できる。
解析性.
複素平面の領域 上で定義された解析関数列の一様収束極限もまた 上で解析的である。実数における区間上で定義された解析関数列の一様収束極限は微分可能とさえ限らないので、これは複素関数は実関数よりも良い振る舞いをすることを示している。
概一様収束.
関数の定義域が測度空間 であれば、関連概念である概一様収束 (almost uniform convergence) が定義できる。関数列 が 上概一様収束するとは、すべての に対して、測度が よりも小さい可測集合 が存在して、関数列 が 上一様収束することである。言い換えれば、概一様収束は、補集合上関数列が一様収束になるようないくらでも小さい測度の集合が存在することを意味する。
列の概一様収束は、名前から誤って予想されるかもしれないが、列がほとんどいたるところ一様収束することを意味するわけではないことに注意する。
は測度有限の空間上関数列は同じ集合上概一様収束もすることを保証する。
概一様収束ならばおよび測度収束である。