[실수공간의 위상] ch5. 함수의 극한

이전 읽을거리: ch4. 연속함수

다음 읽을거리: ch6. Interior, Exterior, Boundary

---

함수의 극한

 

  함수에 대한 집합의 상을 표현할 때 함수의 정의역에 포함되지 않는 원소는 무시하도록 하자.

 

Definition.  함수 $f:A\to Y$ 에 대해 $B$ 가 $A$ 의 부분집합이 아닌 경우 $f(B)=f(B\cap A)$ 라고 정의한다.

 

  이러한 약속 하에 함수의 극한을 간결하게 정의할 수 있다.

 

Definition.  거리공간 $X$ 와 $A\subset X$ , 함수 $f:A\to Y$ , $X$ 에서 $A$ 의 극한점 $x_0\in X$ 를 생각하자. 다음이 성립하면 ${\displaystyle \underset{x\to x_0}{lim}f(x)=y_0}$ 라고 한다.$$\mathrm{\forall }V\in {\mathcal{N}}_Y(y_0),\mathrm{\exists }U\in {\mathcal{N}}_X(x_0),f(U\setminus \{x_0\})\subset V$$

 

  이 정의는 마치 함수의 연속과 비슷하지만, 함수의 극한은 그 극한점에서 함수가 정의되지 않아도 된다. 이러한 작업은 미분을 잘 정의하기 위한 노력의 일환이다.

 

  앞으로 설명 없이 ${\displaystyle \underset{x\to x_0}{lim}f(x)=y_0}$ 라고 쓰면 $x_0$ 은 $f$ 의 정의역의 극한점이라고 하자. 극한은 극한점이 아닌 곳에서 판단하지 않는다.

 

Theorem 5.1.  거리공간 $X$ 와 $A\subset X$ , 함수 $f:A\to Y$ 에 대해 ${\displaystyle \underset{x\to x_0}{lim}f(x)=y_0}$ 일 필요충분조건은 다음과 같다.$$\mathrm{\forall }ϵ>0,\mathrm{\exists }\delta >0,\mathrm{\forall }x\in A,$$$$0<d_X(x,x_0)<\delta \Rightarrow d_Y(f(x),y_0)<ϵ$$

 

  Proof.  먼저 위 정리의 조건이 다음과 같음을 보이자.

$$\mathrm{\forall }ϵ>0,\mathrm{\exists }\delta >0,f(U_{\delta }^X(x_0)\setminus \{x_0\})\subset U_{ϵ}^Y(y_0)$$

  조건 $0<d_X(x,x_0)<\delta$ 는 $d_X(x,x_0)\ne 0$ 및 $d_X(x,x_0)<\delta$ 이므로 $x\in U_{\delta }^X(x_0)\setminus \{x_0\}$ 와 동치이고, 이는 다시 $f(x)\in f(U_{\delta }^X(x_0)\setminus \{x_0\})$ 와 동치이다. 한편 조건 $d_Y(f(x),y_0)<ϵ$ 은 $f(x)\in U_{ϵ}^Y(y_0)$ 와 동치이므로 다음이 성립한다.

$$\begin{array}{rl}& 0<d_X(x,x_0)<\delta \Rightarrow d_Y(f(x),y_0)<ϵ\\ ⟺& f(x)\in f(U_{\delta }^X(x_0)\setminus \{x_0\})\Rightarrow f(x)\in U_{ϵ}^Y(y_0)\end{array}$$

  이때 모든 $x\in A$ 이라는 조건은 모든 $f(x)\in f(A)$ 이라는 조건과 같으므로 원하는 결과를 얻는다. 본 정리를 증명하자.

  ($\Rightarrow$) ${\displaystyle \underset{x\to x_0}{lim}f(x)=y_0}$ 라고 하자. 임의의 $ϵ>0$ 에 대해 $U_{ϵ}^Y(y_0)\in {\mathcal{N}}_Y(y_0)$ 이므로 어떤 $U\in {\mathcal{N}}_X(x_0)$ 가 존재하여 $f(U\setminus \{x_0\})\subset U_{ϵ}^Y(y_0)$ 가 성립한다. 이때 $U\in {\mathcal{T}}_X$ 이므로 어떤 $\delta >0$ 가 존재하여 $U_{\delta }^X(x_0)\subset U$ 가 성립하므로 다음을 얻는다.

$$\because U_{\delta }^X(x_0)\setminus \{x_0\}\subset U\setminus \{x_0\}$$

$$f(U_{\delta }^X(x_0)\setminus \{x_0\})\subset f(U\setminus \{x_0\})\subset U_{ϵ}^Y(y_0)$$

  ($\Leftarrow$) 주어진 조건이 성립한다고 가정하자. 임의의 $V\in {\mathcal{N}}_Y(y_0)$ 에 대해 $V\in {\mathcal{T}}_Y$ 이므로 어떤 $ϵ>0$ 이 존재하여 $U_{ϵ}^Y(y_0)\subset V$ 가 성립한다. 한편 가정에 따라 어떤 $\delta >0$ 가 존재하여 $f(U_{\delta }^X(x_0)\setminus \{x_0\})\subset U_{ϵ}^Y(y_0)$ 가 성립한다. 이때 $U_{\delta }^X(x_0)\in {\mathcal{N}}_X(x_0)$ 이며 $f(U_{\delta }^X(x_0)\setminus \{x_0\})\subset V$ 이므로 ${\displaystyle \underset{x\to x_0}{lim}f(x)=y_0}$ 를 얻는다.   $◻$

 

 

함수의 극한의 성질

 

  다음의 정리는 정리 4.4.와 닮아있다.

 

Theorem 5.2.  거리공간 $X$ 와 $A\subset B\subset X$ , 함수 $f:B\to Y$ 와 $A$ 의 극한점 $x_0$ 에 대해 다음이 성립한다.$$\underset{x\to x_0}{lim}f(x)=y_0\Rightarrow \underset{x\to x_0}{lim}f{|}_B(x)=y_0$$

 

  증명은 정리 4.4.의 증명과 매우 비슷하므로 생략한다.

 

  다음의 정리는 정리 4.7.과 닮아있다.

 

Theorem 5.3.  거리공간 $X$ 와 $A\subset X$ , 함수 $f:A\to {\mathbb{R}}^n$ 에 대해 ${\displaystyle \underset{x\to x_0}{lim}f(x)=y_0}$ 일 필요충분조건은 다음과 같다.$$(\underset{x\to x_0}{lim}{f}_1(x),\dots ,\underset{x\to x_0}{lim}{f}_n(x))=y_0$$

 

  마찬가지로 증명은 정리 4.7.의 증명과 매우 비슷하므로 생략한다.

 

Theorem 5.4.  거리공간 $X$ 와 $A\subset X$ , 함수 $A\to {\mathbb{R}}^n$ 에 대해 다음이 성립한다.$$\underset{x\to x_0}{lim}f(x)=0\in {\mathbb{R}}^n⟺\underset{x\to x_0}{lim}|f(x)|=0\in \mathbb{R}$$

  Proof.

$$\begin{array}{c}\underset{x\to x_0}{lim}f(x)=0\\ \Updownarrow \\ \mathrm{\forall }ϵ>0,\mathrm{\exists }\delta >0,\mathrm{\forall }x\in A,\\ 0<d_X(x,x_0)<\delta \Rightarrow |f(x)-0|<ϵ\\ \Updownarrow \\ \mathrm{\forall }ϵ>0,\mathrm{\exists }\delta >0,\mathrm{\forall }x\in A,\\ 0<d_X(x,x_0)<\delta \Rightarrow ||f(x)|-0|<ϵ\\ \Updownarrow \\ ◻& \underset{x\to x_0}{lim}|f(x)|=0\end{array}$$

 

 

  만약 어떤 극한점이 함수의 정의역에 포함되며, 그 극한점에서 함수가 연속인 경우 특별한 식이 성립한다.

 

Theorem 5.5.  거리공간 $X$ 와 $A\subset X$ , 함수 $f:A\to Y$ 와 $X$ 에서  $A$ 의 극한점 $x_0\in A$ 에 대해 $f$ 가 $x_0$ 에서 연속일 필요충분조건은 ${\displaystyle \underset{x\to x_0}{lim}f(x)=f(x_0)}$ 이다.

 

  Proof.

  ($\Rightarrow$) $f$ 가 $x_0$ 에서 연속이라고 하자. 임의의 $V\in {\mathcal{N}}_Y(f(x_0))$ 에 대해 어떤 $U\in {\mathcal{N}}_X(x_0)$ 가 존재하여 $f(U)\subset V$ 가 성립한다. 이때 $f(U\setminus \{x_0\})\subset f(U)$ 이므로 $f(U\setminus \{x_0\})\subset V$ 를 얻는다. 따라서 ${\displaystyle \underset{x\to x_0}{lim}f(x)=f(x_0)}$ 가 성립한다.

  ($\Leftarrow$) ${\displaystyle \underset{x\to x_0}{lim}f(x)=f(x_0)}$ 라고 하자. 임의의 $V\in {\mathcal{N}}_Y(f(x_0))$ 에 대해 어떤 $U\in {\mathcal{N}}_X(x_0)$ 이 존재하여 $f(U\setminus \{x_0\})\subset V$ 가 성립한다. 이때 $f(x_0)\in V$ 이므로 $f(U)\subset V$ 도 성립한다. 따라서 $f$ 는 $x_0$ 에서 연속이다.   $◻$

 

 

Theorem 5.6.  거리공간 $X$ 와 $A\subset X$ , 함수 $f:A\to \mathbb{R}$ 에 대해 ${\displaystyle \underset{x\to x_0}{lim}f(x)=y_0}$ 라고 가정하자.
  (1) 모든 $x\in A$ 에 대해 $f(x)\ge 0$ 이면 $y_0\ge 0$ 이다.
  (2) 모든 $x\in A$ 에 대해 $f(x)\le 0$ 이면 $y_0\le 0$ 이다.

 

  Proof.

  (1) 모순을 보이기 위해 모든 $x\in A$ 에 대해 $f(x)\ge 0$ 이고 $y_0<0$ 이라고 가정하자. ${\displaystyle \underset{x\to x_0}{lim}f(x)=y_0}$ 이므로 어떤 $\delta >0$ 이 존재하여 임의의 $x\in X$ 에 대해 다음이 성립한다.

$$x\in U_{\delta }^X(x_0)\setminus \{x_0\}\Rightarrow |f(x)-y_0|<-y_0$$

  한편 부등식의 성질에 따라 $|f(x)-y_0|<-y_0$ 이면 $y_0<f(x)-y_0<-y_0$ 이 성립하므로 다음을 얻는다.

$$\begin{array}{rl}x\in U_{\delta }^X(x_0)\setminus \{x_0\}& \Rightarrow y_0<f(x)-y_0<-y_0\\ & \Rightarrow f(x)<0\end{array}$$

  이는 모순이므로 원하는 결과를 얻는다.

  (2) $g(x)=-f(x)$ 라고 정의하면 ${\displaystyle \underset{x\to x_0}{lim}g(x)=-y_0}$ 이 성립하며, (1)에 따라 $-y_0\ge 0$ 이므로 원하는 결과를 얻는다.   $◻$

 

 

읽어주셔서 감사합니다.

 

 

References)

[1] James R. Munkres. (1991). Analysis on manifolds. CRC press.

---

이전 읽을거리: ch4. 연속함수

다음 읽을거리: ch6. Interior, Exterior, Boundary