[FTC의 엄밀한 증명] ch11. 함수의 극한

 

  이전 읽을거리 : [FTC의 엄밀한 증명] ch10. 콤팩트 집합

  다음 읽을거리 : [FTC의 엄밀한 증명] ch12. 극한의 성질 2

 

 

  본 포스팅은 'Stephen Abbott, 해석학 첫걸음(2판)'을 공부하며 작성하였습니다.

 

 

12. 함수의 극한

 

  수열의 극한에 이어 함수의 극한을 정의할 때가 왔다. 두 극한의 정의는 비슷하지만, 함수의 극한은 조금 더 어렵다. 수열의 극한을 다시 보며 극한의 구조를 되새겨보자. 필자가 아는 한 최대한 다양하게 표현해보겠다. $(a_n)\to a$ 라는 것은 다음을 의미한다.

 

  1. 임의의 $ϵ>0$ 에 대해 $n\ge N$ 이면 $|a_n-a|<ϵ$ 이도록 하는 $N\in \mathbb{N}$ 이 존재한다.

 

  2. 임의의 $ϵ>0$ 에 대해 어떤 $N\in \mathbb{N}$ 이 존재하여 다음 명제가 참이다 : $n\ge N$ 이면 $|a_n-a|<ϵ$ 이다.

 

  3. 임의의 $ϵ>0$ 에 대해 어떤 $N\in \mathbb{N}$ 이 존재하여 임의의 $n\in \mathbb{N}$ 에 대해 $n\ge N$ 이면 $|a_n-a|<ϵ$ 이다.

 

  4. $(\mathrm{\forall }ϵ>0)$ $(\mathrm{\exists }N\in \mathbb{N})$ $(\mathrm{\forall }n\in \mathbb{N})$ $(n\ge N\Rightarrow |a_n-a|<ϵ)$

 

  1번의 설명은 일상적인 문체에 가까워 가장 쉬운 설명이지만, 모든 $ϵ$ 에 대해 명제가 성립하는게 먼저인지, 명제가 성립하도록 하는 $N$ 이 존재하는게 먼저인지 혼동을 줄 수 있다. 4번의 설명은 처음 보면 알아보기 힘들 수 있지만, 그 명료성은 그 어떤 설명도 초월한다. 4번 설명을 읽는 방법은 다음과 같다.

 

  우선 $(a_n)\to a$ 라고 가정하자.

 

  4-1. 임의의 $ϵ>0$ 을 생각하자. 이 $ϵ$ 에 대해, 이 뒤의 명제가 항상 참이다.

 

  4-2. 이 뒤의 명제가 항상 참이도록 하는 어떤 $N\in \mathbb{N}$ 이 존재한다. 이 $N$ 을 생각하자.

 

  4-3. 임의의 $n\in \mathbb{N}$ 을 생각하자. 이 $n$ 에 대해, 이 뒤의 명제가 항상 참이다.

 

  4-4. $n\ge N$ 이면 $|a_n-a|<ϵ$ 이다.

 

  아마 수열의 극한을 잘 이해하였다면 4번의 설명이 이러한 순서로 읽히는 것에 별로 거부감이 없을 것이다.

 

  이제 함수의 극한을 정의해보자. 함수의 극한은 $x$ 가 $c$ 로 무한히 가까워질때 $f$ 가 특정 값으로 무한히 가까워지는 상황을 가리킨다. 함수의 극한을 따질때는 $x=c$ 일 때 $f$ 에 어떤 일이 벌어지는지는 전혀 상관없다. 심지어 $c$ 에서 $f$ 가 정의되지 않아도 그 극한은 생각해볼 수 있다. 다음의 정의를 보자.

 

정의)  함수 $f:A\to R$ 과 $A$ 의 극한점 $c$ 에 대해 다음 명제가 성립하면 $x$ 가 $c$ 로 접근할 때 $f$ 의 극한은 $L$ 이라고 하며, ${\displaystyle \underset{x\to c}{lim}f(x)=L}$ 라고 쓴다.$$(\mathrm{\forall }ϵ>0)(\mathrm{\exists }\delta >0)(\mathrm{\forall }x\in A)$$$$0<|x-c|<\delta \Rightarrow |f(x)-L|<ϵ$$

 

  이 정의가 직관적으로 어떤 의미인지 알아보자.

 

  위에서 $0<|x-c|$ 는 그저 $x\ne c$ 를 간결하게 표현한 것이므로, $x\ne c\wedge |x-c|<\delta$ 라고 하여도 된다. (이때 $\wedge$ 는 'and' 를 의미한다) 여기서 $|x-c|<\delta$ 는 $x\in B_{\delta }(c)$ 와 동치이며 $|f(x)-L|<ϵ$ 은 $f(x)\in B_{ϵ}(L)$ 와 동치이다. 그러므로 ${\displaystyle \underset{x\to c}{lim}f(x)=L}$ 의 정의를 다시쓰면 다음과 같다.

$$(\mathrm{\forall }ϵ>0)(\mathrm{\exists }\delta >0)(\mathrm{\forall }x\in A)$$$$x\ne c\wedge x\in B_{\delta }(c)\Rightarrow f(x)\in B_{ϵ}(L)$$

  조금만 더 나아가보자. $x\ne c$ 이며 $x\in B_{\delta }(c)$ 라는 것은 $B_{\delta }(c)$ 에서 $c$ 를 제외한 집합 $B_{\delta }(c)\setminus \{c\}$ 에 $x$ 가 포함된다는 뜻이다. 다음의 정의를 이용하면 편리하다.

 

정의)  $a\in \mathbb{R}$ 과 $ϵ>0$ 에 대해, 다음과 같이 정의된 집합 $B_{ϵ}^{\ast }(a)$ 를 $a$ 의 빠진 $ϵ$-근방(deleted $ϵ$-neighborhood)이라고 한다.$$B_{ϵ}^{\ast }(a):=\{x\in \mathbb{R}:0<|x-a|<ϵ\}$$

 

※ $B_{ϵ}^{\ast }(a)$ 이란 $B_{ϵ}(a)\setminus a$ 이므로 $(c-ϵ,c)\cup (c,c+ϵ)$ 를 의미한다.

 

  함수 $f:A\to \mathbb{R}$ 에 대하여, 임의의 집합 $B\subset \mathbb{R}$ 의 상을 다음과 같이 정의하자.

$$f(B):=\{f(x):x\in A\cap B\}$$

  위의 논의에 따르면 임의의 $x\in A\cap B_{\delta }^{\ast }(c)$ 에 대해 $f(x)\in B_{ϵ}(L)$ 이다. 이는 다시말해 $f(B_{\delta }^{\ast }(c))$ 의 임의의 원소 $f(x)$ 에 대해 $f(x)\in B_{ϵ}(L)$ 가 성립한다는 뜻이므로 다음이 성립한다.

$$f(B_{\delta }^{\ast }(c))\subset B_{ϵ}(L)$$

  정리하면 함수의 극한을 다음과 같이 재정의할 수 있다.

 

함수 $f:A\to R$ 과 $A$ 의 극한점 $c$ 에 대해 다음 명제가 성립하면 ${\displaystyle \underset{x\to c}{lim}f(x)=L}$ 라고 한다.$$(\mathrm{\forall }ϵ>0)(\mathrm{\exists }\delta >0)$$$$f(B_{\delta }^{\ast }(c))\subset B_{ϵ}(L)$$

 

  다시말해 ${\displaystyle \underset{x\to c}{lim}f(x)=L}$ 이라는 것은 아무리 작은 $L$ 의 $ϵ$-근방 $B_{ϵ}(L)$ 을 선택하여도 $f(B_{\delta }^{\ast }(c))$ 가 $B_{ϵ}(L)$ 에 포함되도록 하는 $c$ 의 빠진 $\delta$-근방 $B_{\delta }^{\ast }(c)$ 가 존재한다는 것이다.

함수의 극한이 존재하는 예시 1

함수의 극한이 존재하는 예시 2

함수의 극한이 존재하지 않는 예시

  위의 예시에서 보다시피 $c$ 에서 함수의 극한을 검토할때 의외로 $c$ 에서 함수가 어떤 값을 가지든, 심지어 $c$ 에서 함수가 정의되지 않더라도 함수의 극한에는 영향이 없다. 이 기묘한 작업은 미분을 잘 정의하기 위한 큰 그림이다.

 

  참고로 정의역의 고립점에서는 함수의 극한이 고려되지 않는다. 고립점은 작은 근방 속에서 유일하게 존재하는 점이므로, '$x$ 가 $c$ 로 무한히 가까워질 때' 라는 발상을 적용할 수 없기 때문이다.

 

 

12.1. 수열 판정법

 

  함수의 극한을 판별하기 위해서는 부등식을 두 개나 다뤄야 한다. 그러나 수열의 도움을 받으면 한결 더 쉽게 함수의 극한을 알 수 있다. 우선 함수에 대한 수열의 상을 다음과 같이 정의하자.

 

정의)  함수 $f:A\to \mathbb{R}$ 과 수열 $(x_n)\subset A$ 에 대해, $m$ 번째 항이 $f(x_m)$ 인 수열을 $f(x_n)$ 이라고 쓴다. 그리고 수열 $f(x_n)$ 의 집합을 다음과 같이 표기한다.$$(f(x_n)):=\{f(x_n)\in \mathbb{R}:n\in \mathbb{N}\}$$  혼동의 여지가 없다면 $(f(x_n))$ 을 $f(x_n)$ 으로 표기한다.

 

  이제 수열의 극한으로 함수의 극한을 설명할 수 있다.

 

함수의 극한에 대한 수열 판정법 (sequential criterion for functional limits)
  함수 $f:A\to \mathbb{R}$ 과 $A$ 의 극한점 $c$ 에 대해 다음의 두 명제는 동치다.
  ▶ ${\displaystyle \underset{x\to c}{lim}f(x)=L}$
  ▶ 임의의 $(x_n)\subset A$ 에 대해 $c\notin (x_n)$ 이고 $(x_n)\to c$ 이면 $f(x_n)\to L$ 이다.

 

proof)

  ($\Rightarrow$) : ${\displaystyle \underset{x\to c}{lim}f(x)=L}$ 라고 하자. $c\notin (x_n)$ 이고 $(x_n)\to c$ 인 임의의 $(x_n)\subset A$ 를 생각하자. 전제에 따라 다음이 성립한다.

$$(\mathrm{\forall }ϵ>0)(\mathrm{\exists }\delta >0)(\mathrm{\forall }x\in A)$$

$$\begin{array}{}\text{(1)}& 0<|x-c|<\delta \Rightarrow |f(x)-L|<ϵ\end{array}$$

  이 $\delta$ 에 대해, 가정에 따라 다음이 성립한다.

$$(\mathrm{\exists }N\in \mathbb{N})(\mathrm{\forall }n\in \mathbb{N})$$

$$\begin{array}{}\text{(2)}& n\ge N\Rightarrow 0<|x_n-c|<\delta \end{array}$$

  여기서 $x_n\in A$ 이므로 식 (1), (2)을 종합하면 다음을 얻는다.

$$(n\ge N\Rightarrow 0<|x_n-c|<\delta )\Rightarrow |f(x_n)-L|<ϵ$$

$$\therefore (n\ge N\Rightarrow |f(x_n)-L|<ϵ)$$

  정리하면 다음이 성립한다.

$$(\mathrm{\forall }ϵ>0)(\mathrm{\exists }N\in \mathbb{N})(\mathrm{\forall }n\in \mathbb{N})$$

$$n\ge N\Rightarrow |f(x_n)-L|<ϵ$$

  이는 $f(x_n)\to L$ 을 의미하므로 원하는 결과를 얻는다.

 

  ($\Leftarrow$) : 모순을 보이기 위해 두 번재 명제가 성립하며 첫 번째 명제의 부정, 즉 ${\displaystyle \underset{x\to c}{lim}f(x)\ne L}$ 이 성립한다고 가정하자. 첫 번째 명제의 부정을 구하자. 명제 $p$ , $q(x,\delta )$ , $r(x,ϵ)$ 을 각각 $x\ne c$ , $|x-c|<\delta$ , $|f(x)-L|<ϵ$ 라고 하면 첫 번째 명제는 다음과 같다.

$$(\mathrm{\forall }ϵ>0)(\mathrm{\exists }\delta >0)(\mathrm{\forall }x\in A)$$

$$(p\wedge q(x,\delta ))\Rightarrow r(x,ϵ)$$

  이때 다음이 성립한다. (이때 $\vee$ 은 'or' 을 의미한다)

$$\begin{array}{rl}& ((p\wedge q(x,\delta ))\Rightarrow r(x,ϵ))\\ & \equiv (\mathrm{\neg }(p\wedge q(x,\delta ))\vee r(x,ϵ))\\ & \equiv ((\mathrm{\neg }p\vee \mathrm{\neg }q)\vee r)\\ & \equiv (\mathrm{\neg }p\vee \mathrm{\neg }q\vee r)\end{array}$$

$$\therefore \mathrm{\neg }((p\wedge q(x,\delta ))\Rightarrow r(x,ϵ))\equiv (p\wedge q\wedge \mathrm{\neg }r)$$

  따라서 첫 번째 명제의 부정은 다음과 같다.

$$(\mathrm{\exists }{ϵ}_0>0)(\mathrm{\forall }\delta >0)(\mathrm{\exists }{a}_0\in A)$$

$$\begin{array}{}\text{(3)}& 0<|a_0-c|<\delta \wedge |f(a_0)-L|\ge {ϵ}_0\end{array}$$

  존재성이 보장된 이 ${ϵ}_0$ 을 생각하자. 임의의 $n\in \mathbb{N}$ 에 대해 ${\delta }_n:=\frac{1}{n}$ 이라고 하면 식 (3)에 따라 다음이 성립한다.

$$(\mathrm{\exists }{a}_n\in A)$$

$$\begin{array}{}\text{(4)}& 0<|a_n-c|<{\delta }_n\wedge |f(a_n)-L|\ge {ϵ}_0\end{array}$$

  이 작업을 통해 얻어진 수열 $(a_n)\subset A$ 는 $c\notin (a_n)$ 이다. $(a_n)\to c$ 임을 보이자. 임의의 $ϵ>0$ 에 대해 아르키메데스 성질에 따라 어떤 $N\in \mathbb{N}$ 이 존재하여 $\frac{1}{ϵ}<N$ 를 만족한다. 임의의 $n\in \mathbb{N}$ 에 대해 $n\ge N$ 이면 $\frac{1}{n}\le \frac{1}{N}$ 이므로 다음이 성립한다.

$$|a_n-c|<{\delta }_n=\frac{1}{n}\le \frac{1}{N}<ϵ$$

  정리하면 $|a_n-c|<ϵ$ 이므로 $(a_n)\to c$ 를 얻는다. 두 번째 명제가 참이라고 가정하였으므로 $f(a_x)\to L$ 즉, 다음이 성립해야 한다.

$$(\mathrm{\forall }ϵ>0)(\mathrm{\exists }N\in \mathbb{N})(\mathrm{\forall }n\in \mathbb{N})$$

$$n\ge N\Rightarrow |f(a_n)-L|<ϵ$$

  이때 식 (3)에서 존재성이 보장된 ${ϵ}_0$ 에 대해, 식 (4)에 따르면 임의의 $n\in \mathbb{N}$ 에 대해 $|f(a_n)-L|\ge {ϵ}_0$ 이 성립한다. 이는 모순이므로 귀류법에 따라 두 번째 명제가 성립하면 첫 번째 명제도 성립한다.   $◻$

 

 

  위 정리는 증명이 조금 까다롭지만, 함수의 극한에서도 대수극한정리와 매우 유사한 정리가 성립하는 것을 간결하게 증명할 수 있는 열쇠가 된다.

 

 

읽어주셔서 감사합니다.

 

 

  이전 읽을거리 : [FTC의 엄밀한 증명] ch10. 콤팩트 집합

  다음 읽을거리 : [FTC의 엄밀한 증명] ch12. 극한의 성질 2