logo

距離空間における関数の極限 📂距離空間

距離空間における関数の極限

定義

(X,dX)(X,d_{X}), (Y,dY)(Y,d_{Y})距離空間としよう。EXE\subset Xで、f:EYf: E\rightarrow Yで、ppEE集積点としよう。すると、すべての正の数ε\varepsilonに対して

xE and dX(x,p)<δ    dY(f(x),q)<ε x \in E \ \text{and} \ d_{X}(x,p)<\delta \implies d_{Y}(f(x),q) <\varepsilon

を満たすδ>0\delta>0が存在するとき、

f(x)q as xp f(x)\rightarrow q\ \mathrm{as}\ x\to p

あるいは

limxpf(x)=q \lim \limits_{x\to p}f(x)=q

と表現し、ffppにおいて極限qqを持つという。

説明

今、イプシロン-デルタ論法を学んだので、距離空間における関数の極限を上記のように厳密に定義することができる。ここで重要なのは、この定義によってpXp \in XpEp \in Eである必要はないということだ。だから、あるpEp \in Eに対して

f(p)limxpf(x) f(p) \ne \lim \limits_{x\to p}f(x)

が成り立つかもしれない。

定理

XXYYEEffppが定義で説明した通りであるとしよう。すると、以下の二つの命題は等価である。

(a)

limxpf(x)=q \lim \limits_{x\to p}f(x) = q

(b)

limnpn=p\lim \limits_{n\to\infty}p_{n}=pであるすべてのEEの数列{pn}\left\{ p_{n} \right\}に対して

limnf(pn)=q \lim \limits_{n\to\infty}f(p_{n})=q


(b)(b)を解くと、「ppに収束するすべての数列{pn}\left\{ p_{n} \right\}に対して、数列{f(pn)}\left\{ f(p_{n}) \right\}qqに収束する」という意味である。

証明

(a) \Longrightarrow から(b)

**(a)**が成り立つと仮定してみよう。そして、limnpn=p\lim \limits_{n\to\infty} p_{n}=pである任意の数列{pn}\left\{ p_{n} \right\}を一つ選ぶ。そして、任意の正の数ε>0\varepsilon >0が与えられたとする。すると、仮定により、

xEanddX(x,p)<δ    dY(f(x),q)<ε \begin{equation} x \in E \quad \text{and} \quad d_{X}(x,p)<\delta \implies d_{Y}(f(x),q)<\varepsilon \label{eq1} \end{equation}

を満たすようなある正の数δ\deltaが存在する。また、{pn}\left\{ p_{n} \right\}pp収束する数列なので、前で得られた正の数δ\deltaに対して

nN    dX(pn,p)<δ \begin{equation} n\ge N \implies d_{X}(p_{n},p) <\delta \label{eq2} \end{equation}

を満たす正の数NNが存在する。したがって、(eq1)\eqref{eq1}(eq2)\eqref{eq2}により、次のことが成り立つ。

nN    dX(pn,p)<δ    dY(f(pn),q)<ε n\ge N \implies d_{X}(p_{n},p)<\delta \implies d_{Y}(f(p_{n}),q)<\varepsilon

これは数列{f(pn)}\left\{ f(p_{n}) \right\}qqに収束する条件なので、

limnf(pn)=q \lim \limits_{n\to\infty} f(p_{n})=q

証明に入る前に、以下の証明は少し複雑だ。対偶法によって「(b)ならば(a)」が真であることは、「**(a)でないならば(b)**でもない」も真であることと同じであるので、「limxpf(x)=q\lim \limits_{x\to p}f(x)=qが成り立たないならば、ppに収束するいくつかの数列{pn}\left\{ p_{n} \right\}に対して、数列{f(pn)}\left\{ f(p_{n}) \right\}qqに収束しない」ということを示そうと思う。

(a) \Longleftarrow から(b)

**(a)**が成り立たないとする。すると、定義により、あるε\varepsilonに対して、

xEanddX(x,p)<δ    dY(f(x),q)ε \begin{equation} x\in E \quad \text{and} \quad d_{X}(x,p)<\delta \implies d_{Y}(f(x),q) \ge \varepsilon \label{eq3} \end{equation}

が成り立つ正の数δ\deltaが存在する。そして、ppに収束するある数列{pn}\left\{ p_{n} \right\}を考えてみよう。それから、

nN    dX(pn,p)<δ \begin{equation} n\ge N \implies d_{X}(p_{n},p) <\delta \label{eq4} \end{equation}

を満たすような十分に大きな正の数NNが存在する。だから、(eq3)\eqref{eq3}(eq4)\eqref{eq4}により、あるε\varepsilonに対して、

nN    dX(pn,p)<δ    dY(f(pn),q)ε n \ge N \implies d_{X}(p_{n},p)<\delta \implies d_{Y}(f(p_{n}),q) \ge \varepsilon

が成り立たないので、数列{f(pn)}\left\{ f(p_{n}) \right\}qqに収束しない。

ffppにおける極限を持つ場合、その極限は唯一である。


距離空間で収束する数列の性質1と上の定理から導かれる。


  1. (b) 参照 ↩︎