距離空間における一様連続
定義1
二つの距離空間$(X, d_{X})$、$(Y, d_{Y})$と関数列$\left\{ f_{n} : X \to Y \right\}$が与えられたとしよう。全ての$\varepsilon \gt$に対して、次を満たす$\delta (\varepsilon) \gt 0$が存在するならば、数列$\left\{ f_{n} \right\}$を等連続equicontinuousという。
$$ \forall x_{1}, x_{2} \in X \text{ and } f_{n}\quad d_{X}(x_{1}, x_{2}) \lt \delta (\varepsilon) \implies d_{Y} \big( f_{n}(x_{1}), f_{n}(x_{2}) \big) \lt \varepsilon $$
説明
簡単に言えば、等連続の$\left\{ f_{n} \right\}$は$X$における一様連続の関数の中で、同じ$\varepsilon$と$\delta (\varepsilon)$に対して連続性が成立する関数を集めた数列である。
アスコリの定理Ascoli’s theorem
有界等連続関数列$\left\{ f_{n} \right\}$は収束する部分数列を持つ。
Erwin Kreyszig, Introductory Functional Analysis with Applications (1978), p454 ↩︎