수열의 극한: $\epsilon-N$ 정의
수열 $\{a_n\}$이 $L$로 수렴한다는 것은, 아무리 작은 오차 범위($\epsilon$)를 가져오더라도 특정 시점($N$) 이후의 모든 항이 그 범위 안에 들어온다는 뜻입니다.
1. 수학적 정의
수열 $\{a_n\}$이 실수 $L$로 수렴(Converge)한다는 것은 다음 조건을 만족함을 의미합니다.
$$\forall \epsilon > 0, \exists N \in \mathbb{N} \quad \text{s.t.} \quad n \ge N \implies |a_n - L| < \epsilon$$
이때 $L$을 수열 $\{a_n\}$의 극한(Limit)이라고 하며, $\lim_{n \to \infty} a_n = L$로 표기합니다.
2. 정의의 기호별 의미
- $\forall \epsilon > 0$: 적(Opponent)이 던지는 "요구하는 정밀도"입니다. "차이를 0.0001보다 작게 만들어봐"라는 공격입니다.
- $\exists N \in \mathbb{N}$: 우리가 찾아야 하는 "충분히 큰 번호"입니다. 이 번호는 보통 $\epsilon$에 따라 결정됩니다 ($N(\epsilon)$).
- $n \ge N$: 수열의 꼬리(Tail) 부분입니다. 극한은 앞부분 몇 개 항이 어떠하든 상관없이 결국(Eventually) 벌어지는 일을 다룹니다.
- $|a_n - L| < \epsilon$: $a_n$이 $L$의 $\epsilon$-근방($\epsilon$-neighborhood) 안에 갇히게 됨을 뜻합니다.
3. 증명의 전형적인 절차
Proof Strategy
- 예비 분석: $|a_n - L| < \epsilon$ 식을 정리하여 $n > (\text{something involving } \epsilon)$ 형태를 유도합니다.
- $N$ 선택: 위에서 구한 식을 만족하는 자연수 $N$을 잡습니다. (아르키메데스 성질 활용)
- 본 증명: "임의의 $\epsilon > 0$에 대하여 $N$을 ~로 잡으면, $n \ge N$일 때 $|a_n - L| < \dots < \epsilon$이 성립한다"라고 서술합니다.
4. 수열의 극한 성질
$\epsilon-N$ 정의를 통해 다음의 성질들을 엄밀히 증명할 수 있습니다.
- 유일성: 수렴하는 수열의 극한값은 유일하다.
- 유계성: 수렴하는 수열은 반드시 유계(Bounded)이다. (역은 성립하지 않음)
- 보존성: $a_n \to L, b_n \to M$이면 $a_n + b_n \to L + M$이다.
5. 발산의 정의 (Divergence to $\infty$)
무한대로 발산하는 경우 역시 엄밀하게 정의할 수 있습니다.
$$\forall M > 0, \exists N \in \mathbb{N} \quad \text{s.t.} \quad n \ge N \implies a_n > M$$
아무리 큰 수 $M$을 가져와도 수열의 항이 이를 넘어서는 시점이 존재한다는 뜻입니다.