距離空間における連続関数

実解析の分野、特に距離空間の研究において、本質的な概念は連続関数の概念です。距離空間の文脈で連続関数を理解することは、微積分学や実解析において重要な多くのアイデアを一般化する距離空間を理解するために重要です。この議論は、大学院生のために距離空間における連続関数を詳細に探求します。

はじめに

距離空間における連続関数の概念を理解するためには、まずよりなじみのある実数の設定において連続性が何を意味するかを見ることが有益です。関数f: mathbb{R} rightarrow mathbb{R}について、任意のepsilon > 0に対してdelta > 0が存在し、|x - x_0| < deltaであれば|f(x) - f(x_0)| < epsilonが成り立つとき、fは点xで連続だと言います。このepsilon-deltaの定義は距離空間に一般化できます。

距離空間

距離空間は、集合XとX times X rightarrow mathbb{R}である関数d、すなわち2つの要素間の距離を測る距離、によって与えられます。関数dは、すべてのx, y, z in Xに対して次の特性を満たさなければなりません。

• 非負性: d(x, y) ge 0であり、d(x, y) = 0はx = yの時に限る。
• 対称性: d(x, y) = d(y, x)
• 三角不等式: d(x, z) le d(x, y) + d(y, z)。

距離空間の一般的な例には次のものがあります。

• 通常の距離計量d(x, y) = |x - y|を持つ実数の集合mathbb{R}。
• 距離計量d(x, y) = sqrt{(x_1 - y_1)^2 + cdots + (x_n - y_n)^2}を持つユークリッド空間mathbb{R}^n。
• 離散距離空間でx neq yの場合にd(x, y) = 1、x = yの場合にd(x, y) = 0。

距離空間における連続関数

距離空間(X, d_X)および(Y, d_Y)を考えます。関数f: X rightarrow Yが点x_0 in Xで連続だというのは、任意のepsilon > 0に対してdelta > 0が存在し、d_X(x, x_0) < deltaであればd_Y(f(x), f(x_0)) < epsilonが成り立つことです。

関数fがX上で連続しているというのは、すべてのx in Xで連続していることを意味します。

視覚的例: ユークリッド空間での連続性

上のイラストでは、左の円はx_0の周りのdelta-近傍を表し、右の円はf(x_0)の周りのepsilon-近傍を表します。関数fは、ドメインXのdelta-ボール内の点を共域Yのepsilon-ボール内の点にマッピングします。

連続関数の主な特性

連続関数の合成

関数f: (X, d_X) rightarrow (Y, d_Y)およびg: (Y, d_Y) rightarrow (Z, d_Z)が連続関数である場合、組み合わせg circ f: (X, d_X) rightarrow (Z, d_Z)も連続です。

連続関数と閉集合

関数f: (X, d_X) rightarrow (Y, d_Y)が連続であるというのは、すべての閉集合C subseteq Yに対して、逆像f^{-1}(C)がXで閉であることと同値です。

連続関数と開集合

同様に、関数f: (X, d_X) rightarrow (Y, d_Y)が連続であるというのは、すべての開集合U subseteq Yに対して、逆像f^{-1}(U)がXで開であることと同値です。

例と非例

例1: 恒等関数

恒等関数id: (X, d) rightarrow (X, d)を考えます。これはすべてのx in Xに対してid(x) = xで定義されています。この関数は連続です。なぜならxとx_0の距離が直接id(x)とid(x_0)の同じ距離に変換されるからです。

例2: 定数関数

たとえば、関数f: (X, d_X) rightarrow (Y, d_Y)が定数関数、すなわちf(x) = cであるとします。この関数は連続です。なぜなら任意のepsilon > 0に対してdeltaを任意に選べるからです。f(x)の像が常にcであるためです。

例3: 距離関数

関数f: mathbb{R}^2 rightarrow mathbb{R}はf(x, y) = sqrt{x^2 + y^2}で与えられ、これは原点からのユークリッド距離を示します。この関数は連続です。幾何学的な観点からすれば、(x, y)の小さな変化は原点からの距離の小さな変化をもたらします。

非例: ステップ関数

関数f: mathbb{R} rightarrow mathbb{R}を次のように定義します。

f(x) = { 
    1, if x > 0;
    0, if x ≤ 0.
,

このステップ関数はx = 0で連続ではありません。この点で、どんなに小さくdeltaを選んでも、連続性の条件が成り立たず、fは0から1に飛びます。

連続関数に関連する定理

ボレルの定理

関数f: mathbb{R} rightarrow mathbb{R}が連続である場合、fの下でコンパクト集合の像もコンパクトである。このことは連続関数がコンパクト性を保存する一般的な挙動に暗黙的に示されています。

一様連続性

より強い連続性の形式として、一様連続性があります。関数f: X rightarrow Yは一様連続であるというのは、任意のepsilon > 0に対してdelta > 0が存在し、任意のx_1, x_2 in Xに対してd_X(x_1, x_2) < deltaがd_Y(f(x_1), f(x_2)) < epsilonを意味することです。ここでdeltaはX内の点に依存しません。

コンパクトな空間Xから距離空間Yへ行く連続関数に対して、定義域がコンパクトであることは一様連続性を意味します。

結論

1次元の設定で学ぶ微積分を一般化する枠組みとして、距離空間における連続関数の性質を理解することは重要です。これは、距離制約の下で関数がどのように動作するかについての微妙な視点を提供するだけでなく、実解析および抽象解析の他の高度なトピックにもつながります。

コメント