一様連続

一様連続性の定義のアニメーション。ε-δ論法における テンプレート:Mvar が点 テンプレート:Mvar に依存せず（＝「一様に」）定められなければならないという点で通常の連続性よりも強い定義である。

一様連続（いちようれんぞく、テンプレート:Lang-en-short）とは、数学における関数の連続性を強めたもので、イプシロン-デルタ論法によって定式化される。直観的には「グラフを横に少しずらしても縦のずれが一様に小さいこと」とも言える。

大雑把に言って、関数の一様連続性とは、引数 テンプレート:Mvar の変化が小さいと関数値 テンプレート:Math の変化も一様に小さいことを指す。このとき、テンプレート:Math の変化の度合いは テンプレート:Mvar の変化の度合いにのみ依存し、テンプレート:Mvar の値にはよらない。つまり、テンプレート:Mvar の定義域で テンプレート:Math と テンプレート:Math が十分に近ければ（テンプレート:Mvar の値によらず）、テンプレート:Math と テンプレート:Math は近くなることである。

一様連続ならば連続であるが、逆は一般には成り立たない。しかし定義域が有界閉区間であれば、その区間上連続な関数は一様連続であることが知られている（ハイネ・カントールの定理）。

一様連続性の定義はユークリッド空間や、それを一般化した概念である距離空間において定義される。さらに一般に一様空間上でも定義可能である。

定義

以下では距離空間における定義を述べるが、ユークリッド空間における定義は、以下の X, Y をそれぞれ Rテンプレート:Sup, Rテンプレート:Sup とし、距離関数 テンプレート:Math2 をそれぞれ Rテンプレート:Sup, Rテンプレート:Sup 上のユークリッド距離で与えればよい。

定義

$(X,d_X),(Y,d_Y)$ を距離空間とするとき、関数 $f:X\to Y$ が一様連続であるとは、次を満たすことである：

${}^{\mathrm{\forall }}\epsilon >0,{}^{\mathrm{\exists }}\delta >0;({}^{\mathrm{\forall }}p,q\in X;d_X(p,q)<\delta ),d_Y(f(p),f(q))<\epsilon$

実数上で定義された2次関数 テンプレート:Math は一様連続ではない。実際、関数の値の変化は、どれほど変数の値の変化が小さくとも、変数が原点から遠ざかればいくらでも大きくなる。

性質

• 関数が連続であるからといって一様連続とは限らない。例えば、二乗する演算 $x\in ℝ\mapsto x^2\in ℝ$ や逆数を取る演算 $x\in (0,\mathrm{\infty })\mapsto \frac{1}{x}\in ℝ$ は定義域で連続であるが、一様連続ではない。
• テンプレート:Math2 が共に一様連続ならば、その合成写像 テンプレート:Math2 も一様連続である。

一様空間

位相空間の間の連続写像が位相的性質を保つように、一様空間の間の一様的性質を保つ写像は一様連続写像と呼ばれる。一様連続性は厳密には次のように定義される：

定義

f を一様空間X から一様空間Y への写像とする時、f が一様連続 であるとは以下の性質を満たすことをいう：Y の任意の近縁 V に対しX の適切な近縁U を取れば全ての x, y ∈X に対し、

$(x,y)\in U\Rightarrow (f(x),f(y))\in V$。

特に f が全単射で f, fテンプレート:Sup がいずれも一様連続であるとき、f は一様同型 であるという。

任意の一様連続写像は、一様性から誘導される位相に関して、必ず連続である。

一様空間と一様連続写像の全体は1つの圏を成す。一様空間の間の同型射は一様同型と呼ばれる。

コンパクト空間における一様連続性

テンプレート:See also テンプレート:Math theorem 定理で X も Y も距離空間である場合の証明はコンパクト空間の項目に記載されている。

一般の場合の証明は以下のとおりである。（証明中で使われている用語や記号の説明は一様空間の項目を参照。）なお基本的なアイデアは距離空間の場合の証明と同一である。

近縁V∈Y × Y を任意に固定する。 すると一様空間の性質より、以下の性質を満たす近縁$\tilde{V}$が存在する：

任意のyテンプレート:Sub, yテンプレート:Sub, yテンプレート:Sub ∈ Y に対し、$(y_1,y_2),(y_2,y_3)\in \tilde{V}\Rightarrow (y_1,y_3)\in V$ ...(1)

一様空間Y 上の位相の定義より、$\tilde{V}[f(x)]\cap {\tilde{V}}^{-1}[f(x)]$はY の開集合なので、f の連続性により、任意のx ∈ Xに対しx のある近傍Wが存在し、$f(W)\subset \tilde{V}[f(x)]\cap {\tilde{V}}^{-1}[f(x)]$が成立する。 一様空間X 上の位相の定義より、(x に依存した)X のある近縁$U_x$が存在し、$U_x[x]\subset W$ が成立する。したがって

$f(U_x[x])\subset f(\tilde{V}[f(y)]\cap {\tilde{V}}^{-1}[f(x)])$ ...(2)

が成立する。

再び一様空間の性質より、各x ∈X に対し以下の性質を満たす近縁${\tilde{U}}_x$が存在する：

任意のw ₁、w ₂、w ₃∈X に対し、$(w_1,w_2),(w_2,w_3)\in \tilde{V}\Rightarrow (w_1,w_3)\in V$ ...(3)

$\{{\tilde{U}}_x[x]{\}}_{x\in X}$は明らかにX を被覆するので、X のコンパクト性より、

有限部分族$\{{\tilde{U}}_{x_i}[x_i]{\}}_{i=1,\dots ,n}$でX を被覆するものがある...(4)

一様空間の定義より有限個の近縁のUNIONは近縁なので、

$W\underset{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\bigcap _{i=1,\dots ,n}{\tilde{U}}_{x_i}$

はX の近縁である。この近縁W が性質

$f(W)\subset V$ ...(*)

を満たしていれば、V の任意性によりf の一様連続性が言える。

そこで最後に(*)を示す。 任意に$(z,w)\in W$ を選び固定する。(4)より、$w\in {\tilde{U}}_{x_j}[x_j]$を満たすj が存在する。すなわち$(w,x_j)\in {\tilde{U}}_{x_j}$。

W の定義より$(z,w)\in {\tilde{U}}_{x_j}$を満たすので(3)より$(z,x_j)\in U_{x_j}$、すなわち$z\in U_{x_j}[x_j]$が成立する。

以上で$z\in U_{x_j}[x_j]$、$w\in {\tilde{U}}_{x_j}[x_j]\subset U_{x_j}[x_j]$ が示されたので、(2)より$f(z),f(w)\in \tilde{V}[f(x_j)]\cap {\tilde{V}}^{-1}[f(x_j)]$。したがって(1)より$(f(z),f(w))\in V$。すなわち(*)が示され、その結果としてf の一様連続性が示された。□

参考文献

• ジョン・L.ケリー、児玉之宏訳 (1979)、位相空間、吉岡書店、ISBN 978-4-8427-0131-8