📂해석개론

균등수렴할 필요충분조건

정리1

거리공간 $E$에서 정의된 함수열 $\left\{ f_{n} \right\}$이 주어졌다고 하자. 아래의 두 조건은 동치이다.

• $\left\{ f_{n} \right\}$이 $E$위에서 균등수렴한다.

• 모든 $\varepsilon>0$에 대해서 아래의 식을 만족시키는 자연수 $N$이 존재한다. $$\begin{equation} \quad m,n\ge N,\ x\in E \implies \left| f_{n}(x)-f_{m}(x) \right| \le \varepsilon \end{equation}$$

설명

다시 말해 모든 $x \in E$에 대해서 $\left\{ f_{n}(x) \right\}$가 코시 수열인 것과 $\left\{ f_{n} \right\}$이 $E$에서 균등수렴하는 것과 같다.

증명

• $(\implies)$

  $\left\{ f_{n} \right\}$이 $f$로 균등수렴한다고 가정하자. 그러면 정의에 의해서 아래의 식을 만족하는 자연수 $N$이 존재한다.

  $$n \le N, x\in E \implies \left| f_{n}(x)- f(x) \right| \le \frac{\varepsilon}{2}$$

  따라서 $n,m\ge N$, $x\in E$에 대해서 다음의 식이 성립한다.

  $$\begin{align*} \left| f_{n}(x)-f_{m}(x) \right| &= \left| f_{n}(x)-f(x)+f(x)-f_{m}(x) \right| \\ &\le \left| f_{n}(x)-f(x) \right| + \left|f(x)-f_{m}(x) \right| \\ &\le \frac{\varepsilon}{2}+\frac{\varepsilon}{2} = \varepsilon \end{align*}$$

• $(\impliedby)$

  가정에 의해 $\left\{ f_{n}(x) \right\}$가 코시 수열이므로 수렴한다. 이 극한을 $f(x)$라고 하자. 그러면 $\left\{ f_{n} \right\}$이 $E$ 위에서 $f$로 점별수렴한다.

  이제 이 수렴이 균등 수렴이라는 것을 밝히면 증명이 끝난다. $\varepsilon >0$이 주어졌다고 하자. 그리고 $(1)$이 성립하도록 하는 $N$을 선택하자. 그리고 고정된 $n$에 대해서 $(1)$에 $m \to \infty$인 극한을 취하자. 그러면 다음이 성립한다.

  $$\lim \limits_{m\to \infty}f_{m}(x)=f(x)$$

  따라서 모든 $n\ge N$, $x\in E$에 대해서 다음이 성립한다.

  $$\lim \limits_{m\to \infty}\left| f_{n}(x)-f_{m}(x) \right| =\left| f_{n}(x)-f(x) \right| \le \varepsilon$$

  그러므로 $\left\{ f_{n} \right\}$이 $f$로 균등수렴한다.

  ■

정리2

거리공간 $E$와 $x \in E$에 대해서 다음이 성립한다고 하자.

$$\lim \limits_{n\to \infty} f_{n}(x) =f(x)$$

$M_{n}$을 다음과 같이 두자.

$$M_{n}=\sup \limits_{x\in E}\left| f_{n}(x)-f(x) \right|$$

그러면 아래의 두 조건은 동치이다.

• $\left\{ f_{n} \right\}$이 $E$에서 $f$로 균등수렴한다.

• $\lim \limits_{n \to \infty}M_{n}=0$

설명

균등수렴의 정의를 생각해보면 같은 말을 다르게 적어놓은 것과 같다.