一様連続

一様連続（いちようれんぞく、）とは、数学における関数の連続性を強めたもので、イプシロン-デルタ論法によって定式化される。直観的には「グラフを横に少しずらしても縦のずれが一様に小さいこと」とも言える。
大雑把に言って、関数の一様連続性とは、引数 の変化が小さいと関数値 の変化も一様に小さいことを指す。このとき、 の変化の度合いは の変化の度合いにのみ依存し、 の値にはよらない。つまり、 の定義域で と が十分に近ければ（ の値によらず）、 と は近くなることである。
一様連続ならば連続であるが、逆は一般には成り立たない。しかし定義域が有界閉区間であれば、その区間上連続な関数は一様連続であることが知られている（ハイネ・カントールの定理）。
一様連続性の定義はユークリッド空間や、それを一般化した概念である距離空間において定義される。さらに一般に一様空間上でも定義可能である。
定義.
以下では距離空間における定義を述べるが、ユークリッド空間における定義は、以下の "X", "Y" をそれぞれ R"n", R に読み替え、 をそれぞれ 上の距離に読み替えればよい。
formula_1 を距離空間とするとき、関数 formula_2 が一様連続であるとは、次を満たすことである：
一様空間.
位相空間の間の連続写像が位相的性質を保つように、一様空間の間の一様的性質を保つ写像は一様連続写像と呼ばれる。一様連続性は厳密には次のように定義される：
"f" を一様空間"X" から一様空間"Y" への写像とする時、"f" が一様連続 であるとは以下の性質を満たすことをいう："Y" の任意の近縁 "V" に対し"X" の適切な近縁"U" を取れば全ての "x", "y" ∈"X" に対し、
特に "f" が全単射で "f", "f" がいずれも一様連続であるとき、"f" は一様同型 であるという。
任意の一様連続写像は、一様性から誘導される位相に関して、必ず連続である。
一様空間と一様連続写像の全体は1つの圏を成す。一様空間の間の同型射は一様同型と呼ばれる。
コンパクト空間における一様連続性.
定理で "X" も "Y" も距離空間である場合の証明はコンパクト空間の項目に記載されている。
一般の場合の証明は以下のとおりである。（証明中で使われている用語や記号の説明は一様空間の項目を参照。）なお基本的なアイデアは距離空間の場合の証明と同一である。
近縁"V"∈"Y" × "Y" を任意に固定する。
すると一様空間の性質より、以下の性質を満たす近縁formula_7が存在する：
一様空間"Y" 上の位相の定義より、formula_9は"Y" の開集合なので、"f" の連続性により、任意の"x" ∈ "X"に対し"x" のある近傍Wが存在し、formula_10が成立する。
一様空間"X" 上の位相の定義より、("x" に依存した)"X" のある近縁formula_11が存在し、formula_12 が成立する。したがって
が成立する。
再び一様空間の性質より、各"x" ∈"X" に対し以下の性質を満たす近縁formula_14が存在する：
formula_16は明らかに"X" を被覆するので、"X" のコンパクト性より、
一様空間の定義より有限個の近縁のUNIONは近縁なので、
は"X" の近縁である。この近縁"W" が性質
を満たしていれば、"V" の任意性により"f" の一様連続性が言える。
そこで最後に(*)を示す。
任意にformula_20 を選び固定する。(4)より、formula_21を満たす"j" が存在する。すなわちformula_22。
"W" の定義よりformula_23を満たすので(3)よりformula_24、すなわちformula_25が成立する。
以上でformula_26、formula_27
が示されたので、(2)よりformula_28。したがって(1)よりformula_29。すなわち(*)が示され、その結果として"f" の一様連続性が示された。□