コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

一様連続

出典: フリー百科事典『ウィキペディア(Wikipedia)』
一様連続性から転送)
一様連続性の定義のアニメーション。ε-δ論法における δa に依存せず(=「一様に」)定められなければならないという点で通常の連続性よりも強い定義である。

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

大雑把に言って、関数の一様連続性とは、引数 x の変化が小さいと関数値 f(x) の変化も一様に小さいことを指す。このとき、f(x) の変化の度合いは x の変化の度合いにのみ依存し、x の値にはよらない。つまり、f の定義域で x1x2 が十分に近ければ(x の値によらず)、f(x1)f(x2) は近くなることである。

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

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

定義

[編集]

以下では距離空間における定義を述べるが、ユークリッド空間における定義は、以下の X, Y をそれぞれ Rm, Rn とし、距離関数 dX, dY をそれぞれ Rm, Rn 上のユークリッド距離で与えればよい。

定義

距離空間とするとき、関数 一様連続であるとは、次を満たすことである:

実数上で定義された2次関数 f: xx2一様連続ではない。実際、関数の値の変化は、どれほど変数の値の変化が小さくとも、変数が原点から遠ざかればいくらでも大きくなる。
性質
  • 関数が連続であるからといって一様連続とは限らない。例えば、二乗する演算 や逆数を取る演算 は定義域で連続であるが、一様連続ではない。
  • f : XY, g : YZ が共に一様連続ならば、その合成写像 gf : XZ も一様連続である。

一様空間

[編集]

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

定義

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

特に f が全単射で f, f−1 がいずれも一様連続であるとき、f一様同型 であるという。

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

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

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

[編集]

定理 ― f: XYコンパクトな一様空間 X から一様空間 Y への写像とする。このときf が連続なら一様連続である。

定理で XY距離空間である場合の証明はコンパクト空間の項目に記載されている。

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

近縁VY × Y を任意に固定する。 すると一様空間の性質より、以下の性質を満たす近縁が存在する:

任意のy1, y2, y3Y に対し、 ...(1)

一様空間Y 上の位相の定義より、Y の開集合なので、f の連続性により、任意のxXに対しx のある近傍Wが存在し、が成立する。 一様空間X 上の位相の定義より、(x に依存した)X のある近縁が存在し、 が成立する。したがって

...(2)

が成立する。

再び一様空間の性質より、各xX に対し以下の性質を満たす近縁が存在する:

任意のw 1w 2w 3X に対し、 ...(3)

は明らかにX を被覆するので、X のコンパクト性より、

有限部分族X を被覆するものがある...(4)

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

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

...(*)

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

そこで最後に(*)を示す。 任意に を選び固定する。(4)より、を満たすj が存在する。すなわち

W の定義よりを満たすので(3)より、すなわちが成立する。

以上で が示されたので、(2)より。したがって(1)より。すなわち(*)が示され、その結果としてf の一様連続性が示された。□

脚注

[編集]
  1. ^ 橋本義武 (1999年4月24日). “橋本 義武 Yoshitake Hashimoto さらに以前の雑文集”. 2021年2月7日閲覧。
  2. ^ a b 『集合と位相空間』柴田敏男著、共立出版。p.240

参考文献

[編集]