1 定義
一様連続性は、入力の近さが出力の近さを全域でそろえて制御できる性質である。通常の連続性では、点ごとに許容範囲が変わりうるのに対し、一様連続性では定義域のどの位置でも同じしきい値を用いる。解析学では、極限操作や近似の安定性を扱う基礎概念として位置づけられる。
1.1 距離空間における定義
距離空間 \(X, Y\) の間の写像 \(f: X \to Y\) が一様連続であるとは、任意の \(\varepsilon > 0\) に対して、ある \(\delta > 0\) が存在し、すべての \(x, x' \in X\) について \(d_X(x, x') < \delta\) ならば \(d_Y(f(x), f(x')) < \varepsilon\) が成り立つことをいう。ここで重要なのは、\(\delta\) が点 \(x\) に依存しない点である。
1.2 位相空間における定義
一般の位相空間では、距離を直接使えないため、一様構造を通して定義するのが自然である。一様連続写像は、一様空間の基本近傍を保つ写像として定式化される。これにより、位相的な連続性よりも強い整合的な近さの保存が表現される。
1.3 連続性との違い
連続性は各点で局所的に成り立つのに対し、一様連続性は全体に共通する尺度を要求する。このため、連続であっても一様連続とは限らない。定義域が広い場合や端点付近で振る舞いが変化する場合、この差が明確になる。
1.3.1 点ごとの連続性
点 \(a\) における連続性は、任意の \(\varepsilon > 0\) に対し、ある \(\delta > 0\) が存在して、\(x\) が \(a\) に十分近ければ \(f(x)\) が \(f(a)\) に近いという性質である。ここでの \(\delta\) は、基準点 \(a\) に応じて変化してよい。
1.3.2 一様な条件
一様連続性では、どの点を基準にしても同じ \(\delta\) が通用する。したがって、局所的な連続性を全域で均一化した形とみなせる。定義域がコンパクトな場合には、この要請が自動的に満たされることが多い。
1.4 同値な表現
一様連続性には、距離による定義以外にもいくつかの同値な言い換えがある。これらは、近傍、列、あるいはフィルターやネットを用いて表されることがあり、文脈に応じて使い分けられる。
1.4.1 近傍を用いる定義
一様連続写像は、出力側の近傍に対応する入力側の一様近傍を選べる写像として記述できる。これは、点を固定せずに近さの伝搬を扱う枠組みであり、位相空間論において扱いやすい。
1.4.2 列を用いる定義
距離空間では、\(x_n\) と \(y_n\) が互いに近づき、\(d(x_n, y_n) \to 0\) ならば、\(d(f(x_n), f(y_n)) \to 0\) となることが一様連続性と同値である。これは、点列のふるまいから全体の均質性を検出する方法である。
2 基本性質
一様連続性は、合成や代数的操作に対して比較的よく保存される。特に、適切な条件のもとで連続写像の組み合わせに関する性質が整理しやすく、関数解析や実解析での利用価値が高い。
2.1 合成に関する性質
\(f: X \to Y\) と \(g: Y \to Z\) があり、\(f\) が一様連続で \(g\) が連続であるとき、\(g \circ f\) が一様連続となる条件は追加の仮定を要する。いっぽう、\(g\) が一様連続で \(f\) が任意の写像なら、\(f\) が一様連続であるとは限らない。合成に関しては、両者の一様性が鍵になる。
2.2 演算に関する性質
実数値関数や複素数値関数では、加法、減法、乗法、除法が一様連続性とどのように相互作用するかが重要である。値域の有界性や、分母が 0 から離れていることなどが、安定性を左右する。
2.2.1 和と差
\(f\) と \(g\) が一様連続なら、和 \(f+g\) と差 \(f-g\) も一様連続である。これは、差の評価がそれぞれの変動の和で抑えられるためである。線形な演算は、この性質と相性がよい。
2.2.2 積と商
積 \(fg\) の一様連続性は、少なくとも片方が有界である場合に得やすい。商 \(f/g\) については、\(g\) が 0 から十分離れていることが必要になる。こうした条件がないと、局所的な小変化が大きな誤差に増幅されうる。
2.3 制限と拡張
関数を部分集合に制限したり、より大きな空間へ拡張したりする際、一様連続性は重要な判定基準となる。特に、定義域の完備化や閉包への延長では、もとの振る舞いがどれだけ均一かが決定的である。
2.3.1 部分集合への制限
一様連続な関数の定義域を部分集合に制限すると、その制限も一様連続である。逆に、部分集合上で一様連続でも、元の集合へそのまま延長できるとは限らない。延長可能性は、空間の構造に依存する。
2.3.2 完備化との関係
一様連続写像は、完備化に自然に延長できることが多い。これは、コーシー列をコーシー列へ写す性質と密接に関係する。したがって、一様連続性は、完備空間を用いた解析的議論と相性がよい。
3 代表的な例
一様連続性の理解には、具体例と反例が有効である。定数関数や多項式のように明らかに安定なものもあれば、開区間上で端に向かって挙動が急変する関数のように、連続でも一様連続でないものもある。
3.1 一様連続な関数
多くの滑らかな関数は、適切な定義域では一様連続である。とくに、定義域が有界で閉じていると、連続性から一様連続性が導かれる場合が多い。
3.1.1 定数関数
定数関数は最も単純な例であり、入力がどれほど変化しても出力は変わらない。したがって、任意の \(\delta\) が使え、極端に強い意味で一様連続である。
3.1.2 多項式関数
実数全体上の多項式は連続だが、次数が高いと無限遠で増大するため、一般には一様連続ではない。いっぽう、閉区間に制限すればコンパクト性により一様連続になる。定義域の広さが結論を左右する典型例である。
3.1.3 有界な連続関数
コンパクト集合上の有界な連続関数は一様連続である。さらに、ある種の有界性と滑らかさを兼ね備えた関数は、実数全体でも一様連続になることがある。値の増大が抑えられていると、変動の制御が容易になる。
3.2 一様連続でない関数
連続でありながら一様連続でない例は、定義域の端や無限遠での挙動を示す。これらは、一様連続性が単なる局所的連続とは異なることを明確にする。
3.2.1 開区間上の例
\(f(x)=1/x\) は \((0,1)\) 上で連続だが、一様連続ではない。0 に近づくにつれて変化率が大きくなり、固定した \(\delta\) では全域を通して誤差を抑えきれない。端点を欠く開区間では、この種の失敗が起こりやすい。
3.2.2 急激に変化する関数
\(f(x)=x^2\) は実数全体上で連続だが、一様連続ではない。大きな \(x\) では少しの入力差が大きな出力差につながるため、全体を通じて共通の制御量を選べない。変化率の増大が、均一性を破る原因となる。
4 重要な定理
一様連続性に関する基本定理は、コンパクト性やコーシー性と深く結びついている。これらの結果は、抽象的な概念を具体的な判定や延長の手段に変える。
4.1 コンパクト集合上の連続関数
コンパクト集合上の連続関数は一様連続である。これは、局所的な連続性を有限個の近傍で統一できるためで、位相空間論と解析学の接点をなす基本定理である。閉区間上の連続関数が一様連続である事実は、その代表例である。
4.2 コーシーの判定法
距離空間での写像が一様連続であることは、コーシー列をコーシー列に写す性質と関連づけられる。すなわち、入力列の互いの距離が次第に小さくなるなら、像の列も同様にまとまる。これは、極限を含む議論で非常に有用である。
4.3 ヘイネ・カントールの定理
ヘイネ・カントールの定理は、コンパクト空間上の連続関数が一様連続であることを述べる。実解析では、閉区間上の連続関数に対する定理として広く知られる。コンパクト性が、点ごとの連続を全体的な一様性へ押し上げる。
4.4 リプシッツ連続との関係
リプシッツ連続は、一様連続より強い条件である。ある定数 \(L\) により \(d_Y(f(x), f(y)) \le L d_X(x, y)\) が成り立つとき、\(f\) はリプシッツ連続と呼ばれる。この条件を満たせば必ず一様連続だが、逆は一般に成り立たない。
5 応用
一様連続性は、関数の近似や誤差評価、極限交換の妥当性を支える。数値計算、微分積分、関数列の収束など、幅広い分野で基盤的な役割を果たす。
5.1 解析学での利用
解析学では、一様連続性により、積分や極限の操作が安定化する。特に、定義域全体で誤差を一括管理できるため、連続性だけでは扱いにくい議論を整理しやすい。関数の近似論でも、誤差の均一評価が重要である。
5.2 数値解析への応用
数値解析では、離散化や丸め誤差が入力から出力へどの程度伝播するかが問題となる。一様連続な関数は、微小な数値誤差が局所的に暴走しにくい。これにより、計算手順の安定性を評価しやすくなる。
5.3 関数列の収束との関係
関数列が一様収束する場合、一様連続性は極限関数の性質を保つうえで有効である。各関数が一様連続で、しかも収束が適切に制御されると、極限操作と連続性の交換が可能になることがある。これは、解析の基本技法の一つである。
5.4 微分積分学における役割
微分積分学では、導関数の有界性や平均値の定理と組み合わせて、一様連続性がしばしば現れる。可微分関数が有界な導関数をもつとき、一様連続であることが導かれる。こうした結果は、変化率の評価と密接につながる。
6 関連概念
一様連続性は、連続性を強化した概念であり、さらにリプシッツ連続や等連続性と比較される。完全有界性とも自然な関係を持ち、空間の大域的な性質と結びつく。
6.1 連続性
連続性は、各点で入力の小変化が出力の小変化に対応する性質である。一様連続性はその上位概念で、同じ基準を全体に適用する。したがって、連続だが一様連続でない関数が存在する。
6.2 リプシッツ連続
リプシッツ連続は、差の大きさが入力差に比例して抑えられるより強い条件である。定数が明示されるため、誤差評価が簡明になる。多くの場面で、一様連続性を保証する実用的な十分条件として用いられる。
6.3 等連続性
等連続性は、関数族全体に対して同一の \(\delta\) を選べる性質である。単一の関数に対する一様連続性の、族への拡張版と考えられる。関数列や作用素族を扱うときに重要である。
6.4 完全有界性
完全有界性は、任意の精度で空間を有限個の小部分に分割できる性質である。距離空間では、コンパクト性と強く関係し、一様連続性の議論にしばしば現れる。空間の細かな散らばり具合を抑える概念として有用である。