[실수공간의 위상] 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\lim_{x\to x_0}f(x)=y_0$ 라고 한다.$$\forall V\in\mathcal{N}_Y(y_0),\;\;\exists U\in\mathcal{N}_X(x_0),\;\;f(U\setminus\{x_0\})\subset V$$
이 정의는 마치 함수의 연속과 비슷하지만, 함수의 극한은 그 극한점에서 함수가 정의되지 않아도 된다. 이러한 작업은 미분을 잘 정의하기 위한 노력의 일환이다.
앞으로 설명 없이 $\displaystyle\lim_{x\to x_0}f(x)=y_0$ 라고 쓰면 $x_0$ 은 $f$ 의 정의역의 극한점이라고 하자. 극한은 극한점이 아닌 곳에서 판단하지 않는다.
Theorem 5.1. 거리공간 $X$ 와 $A\subset X$ , 함수 $f:A\to Y$ 에 대해 $\displaystyle\lim_{x\to x_0}f(x)=y_0$ 일 필요충분조건은 다음과 같다.$$\forall\epsilon>0,\;\;\exists\delta>0,\;\;\forall x\in A,$$$$0<d_X(x,x_0)<\delta\Rightarrow d_Y\left(f(x),y_0\right)<\epsilon$$
Proof. 먼저 위 정리의 조건이 다음과 같음을 보이자.
$$\forall\epsilon>0,\;\;\exists\delta>0,\;\;f\left(U_\delta^X(x_0)\setminus\{x_0\}\right)\subset U_\epsilon^Y(y_0)$$
조건 $0<d_X(x,x_0)<\delta$ 는 $d_X(x,x_0)\neq 0$ 및 $d_X(x,x_0)<\delta$ 이므로 $x\in U_\delta^X(x_0)\setminus\{x_0\}$ 와 동치이고, 이는 다시 $f(x)\in f\left(U_\delta^X(x_0)\setminus\{x_0\}\right)$ 와 동치이다. 한편 조건 $d_Y\left(f(x),y_0\right)<\epsilon$ 은 $f(x)\in U_\epsilon^Y(y_0)$ 와 동치이므로 다음이 성립한다.
$$\begin{align}&\;0<d_X(x,x_0)<\delta\Rightarrow d_Y\left(f(x),y_0\right)<\epsilon\\\iff&\;f(x)\in f\left(U_\delta^X(x_0)\setminus\{x_0\}\right)\Rightarrow f(x)\in U_\epsilon^Y(y_0)\end{align}$$
이때 모든 $x\in A$ 이라는 조건은 모든 $f(x)\in f(A)$ 이라는 조건과 같으므로 원하는 결과를 얻는다. 본 정리를 증명하자.
($\Rightarrow$) $\displaystyle\lim_{x\to x_0}f(x)=y_0$ 라고 하자. 임의의 $\epsilon>0$ 에 대해 $U_\epsilon^Y(y_0)\in\mathcal{N}_Y(y_0)$ 이므로 어떤 $U\in\mathcal{N}_X(x_0)$ 가 존재하여 $f\left(U\setminus\{x_0\}\right)\subset U_\epsilon^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\left(U_\delta^X(x_0)\setminus\{x_0\}\right)\subset f\left(U\setminus\{x_0\}\right)\subset U_\epsilon^Y(y_0)$$
($\Leftarrow$) 주어진 조건이 성립한다고 가정하자. 임의의 $V\in\mathcal{N}_Y(y_0)$ 에 대해 $V\in\mathcal{T}_Y$ 이므로 어떤 $\epsilon>0$ 이 존재하여 $U_\epsilon^Y(y_0)\subset V$ 가 성립한다. 한편 가정에 따라 어떤 $\delta>0$ 가 존재하여 $f\left(U_\delta^X(x_0)\setminus\{x_0\}\right)\subset U_\epsilon^Y(y_0)$ 가 성립한다. 이때 $U_\delta^X(x_0)\in\mathcal{N}_X(x_0)$ 이며 $f\left(U_\delta^X(x_0)\setminus\{x_0\}\right)\subset V$ 이므로 $\displaystyle\lim_{x\to x_0}f(x)=y_0$ 를 얻는다. $\square$
함수의 극한의 성질
다음의 정리는 정리 4.4.와 닮아있다.
Theorem 5.2. 거리공간 $X$ 와 $A\subset B\subset X$ , 함수 $f:B\to Y$ 와 $A$ 의 극한점 $x_0$ 에 대해 다음이 성립한다.$$\lim_{x\to x_0}f(x)=y_0\Rightarrow\lim_{x\to x_0}f|_B(x)=y_0$$
증명은 정리 4.4.의 증명과 매우 비슷하므로 생략한다.
다음의 정리는 정리 4.7.과 닮아있다.
Theorem 5.3. 거리공간 $X$ 와 $A\subset X$ , 함수 $f:A\to\mathbb{R}^n$ 에 대해 $\displaystyle\lim_{x\to x_0}f(x)=y_0$ 일 필요충분조건은 다음과 같다.$$\left(\lim_{x\to x_0}f_1(x),\ldots,\lim_{x\to x_0}f_n(x)\right)=y_0$$
마찬가지로 증명은 정리 4.7.의 증명과 매우 비슷하므로 생략한다.
Theorem 5.4. 거리공간 $X$ 와 $A\subset X$ , 함수 $A\to\mathbb{R}^n$ 에 대해 다음이 성립한다.$$\lim_{x\to x_0}f(x)=0\in\mathbb{R}^n\iff\lim_{x\to x_0}|f(x)|=0\in\mathbb{R}$$
Proof.
$$\begin{gather}\lim_{x\to x_0}f(x)=0\\\Updownarrow\\\forall\epsilon>0,\;\;\exists\delta>0,\;\;\forall x\in A,\\0<d_X(x,x_0)<\delta\Rightarrow|f(x)-0|<\epsilon\\\Updownarrow\\\forall\epsilon>0,\;\;\exists\delta>0,\;\;\forall x\in A,\\0<d_X(x,x_0)<\delta\Rightarrow\big||f(x)|-0\big|<\epsilon\\\Updownarrow\\\lim_{x\to x_0}|f(x)|=0\tag*{$\square$}\end{gather}$$
만약 어떤 극한점이 함수의 정의역에 포함되며, 그 극한점에서 함수가 연속인 경우 특별한 식이 성립한다.
Theorem 5.5. 거리공간 $X$ 와 $A\subset X$ , 함수 $f:A\to Y$ 와 $X$ 에서 $A$ 의 극한점 $x_0\in A$ 에 대해 $f$ 가 $x_0$ 에서 연속일 필요충분조건은 $\displaystyle\lim_{x\to x_0}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\lim_{x\to x_0}f(x)=f(x_0)$ 가 성립한다.
($\Leftarrow$) $\displaystyle\lim_{x\to x_0}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$ 에서 연속이다. $\square$
Theorem 5.6. 거리공간 $X$ 와 $A\subset X$ , 함수 $f:A\to\mathbb{R}$ 에 대해 $\displaystyle\lim_{x\to x_0}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\lim_{x\to x_0}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{align}x\in U_\delta^X(x_0)\setminus\{x_0\}&\Rightarrow y_0<f(x)-y_0<-y_0\\&\Rightarrow f(x)<0\end{align}$$
이는 모순이므로 원하는 결과를 얻는다.
(2) $g(x)=-f(x)$ 라고 정의하면 $\displaystyle\lim_{x\to x_0}g(x)=-y_0$ 이 성립하며, (1)에 따라 $-y_0\ge 0$ 이므로 원하는 결과를 얻는다. $\square$
읽어주셔서 감사합니다.
References)
[1] James R. Munkres. (1991). Analysis on manifolds. CRC press.
이전 읽을거리: ch4. 연속함수
다음 읽을거리: ch6. Interior, Exterior, Boundary
'수학 > 다변수해석학' 카테고리의 다른 글
[실수공간의 위상] ch7. 콤팩트 집합 (0) | 2022.12.14 |
---|---|
[실수공간의 위상] ch6. Interior, Exterior, Boundary (0) | 2022.12.13 |
[실수공간의 위상] ch4. 연속함수 (0) | 2022.12.11 |
[실수공간의 위상] ch3. 위상적 성질 (0) | 2022.12.09 |
[실수공간의 위상] ch2. 열린집합, 닫힌집합 (0) | 2022.12.09 |
댓글