미적분학 30단계 · 3단계 · 해석학적 증명

03. 수열의 극한 (ε-N 정의)

"수열 $a_n$이 $L$에 한없이 가까워진다"는 고교 수학의 정의는 아름답지만 모호합니다. 해석학에서는 이를 "아무리 작은 오차($\epsilon$)를 제시하더라도, 그 오차 범위 안으로 모든 항이 들어오게 만드는 시작 번호($N$)를 찾을 수 있다"는 게임의 규칙으로 정의합니다.

1. 개념 기반 목표 지향 수업 지도안

수업 목표 1
수열의 극한에 대한 엄밀한 정의($\epsilon-N$)를 암기하고 구조를 이해한다.

수업 목표 2
주어진 수열의 극한값을 $\epsilon-N$ 논법을 통해 직접 증명할 수 있다.

수업 목표 3
극한의 유일성과 유계성을 정의를 이용하여 유도할 수 있다.

수업 목표 4
$\epsilon$과 $N$의 상관관계를 그래프를 통해 설명할 수 있다.

수업 흐름

도입 : "0.999...는 정말 1인가? '한없이'라는 말 없이 이를 어떻게 증명할 것인가?"를 논의한다.
탐구 1 : $\epsilon-N$ 논법의 문장 구조($\forall, \exists$)를 논리 기호와 함께 분석한다.
탐구 2 : 예제 $\lim (1/n) = 0$을 통해 $N$을 $\epsilon$에 관한 식으로 찾아내는 과정을 연습한다.
정리 : 극한의 성질(합, 곱, 몫)이 왜 이 정의 하에서 성립하는지 아이디어를 정리한다.
적용 : 단순 수열에서 유리함수 형태의 수열로 증명 범위를 확장한다.

2. 개념 상세 설명

개념 1. 수열의 극한의 엄밀한 정의

수열 $\{a_n\}$이 $L$에 수렴한다는 것은 다음과 같이 정의된다.

$$\lim_{n \to \infty} a_n = L \iff \forall \epsilon > 0, \exists N \in \mathbb{N} \text{ s.t. } n > N \implies |a_n - L| < \epsilon$$

직관적 해석: 상대방이 아무리 작은 양수 $\epsilon$을 던져도, 나는 "그럼 $N$번 이후부터는 오차가 $\epsilon$보다 작아!"라고 말할 수 있는 $N$을 찾아낼 수 있어야 합니다.

개념 2. 증명의 일반적인 단계 (Drafting)

오차 식 정리: $|a_n - L| < \epsilon$ 식을 적절히 변형하여 $n > (\epsilon \text{에 관한 식})$ 꼴로 만든다.
N의 선택: 아르키메데스 원리에 의해 위 식을 만족하는 자연수 $N$이 존재함을 확인한다.
본 증명 기술: "임의의 $\epsilon$에 대하여 $N$을 ~라고 잡자. 그러면 $n>N$일 때..."로 시작하여 결론을 맺는다.

개념 3. 극한의 유일성 (Uniqueness)

한 수열이 수렴한다면 그 극한값은 오직 하나뿐입니다. 만약 $L_1$과 $L_2$로 각각 수렴한다고 가정하면, $\epsilon = |L_1 - L_2|/2$로 잡았을 때 모순이 발생함을 이용하여 증명합니다.

3. Graph 및 시각적 이해

시각화 1. ε-strip (오차 띠)

$\epsilon$이 작아질수록 $N$은 오른쪽(더 큰 번호)으로 밀려납니다.

시각화 2. 발산하는 수열

발산(진동 또는 무한대)하는 수열은 아무리 $N$을 크게 잡아도 오차 띠 밖으로 탈출하는 항이 영원히 존재합니다.

4. 각각의 개념 예시 문제

문제 유형	예시 수열	증명 핵심 (N 찾기)
기본 분수식	$\frac{1}{\sqrt{n}} \to 0$	$n > \frac{1}{\epsilon^2}$ 이므로 $N = \lceil \frac{1}{\epsilon^2} \rceil$
상수 수열	$c \to c$	모든 $n$에 대해 오차가 0이므로 $N=1$
유리 함수	$\frac{n}{n+1} \to 1$	$\|\frac{n}{n+1} - 1\| = \frac{1}{n+1} < \epsilon \implies n > \frac{1}{\epsilon}-1$

5. 기초 5문항

1. $\epsilon-N$ 정의를 사용하여 $\lim_{n \to \infty} \frac{1}{n} = 0$임을 증명할 때, $\epsilon = 0.01$이라면 $N$은 최소 얼마여야 하는가?

$1/n < 0.01 \implies n > 100$.

정답 : $100$

2. $\epsilon-N$ 정의에서 기호 $\forall \epsilon > 0$의 의미를 우리말로 서술하시오.

정답 : "아무리 작은 양수를 임의로 선택하더라도" 혹은 "모든 양수 에 대하여"

3. 수열 $a_n = \frac{3n+1}{n}$의 극한값 $L$을 추측하시오.

정답 : $3$

4. $|a_n - L| < \epsilon$이 의미하는 기하학적 의미는 무엇인가?

정답 : 수직선 상에서 $a_n$과 $L$ 사이의 거리가 $\epsilon$보다 작음.

5. 수열 $\{(-1)^n\}$이 수렴하지 않음을 $\epsilon=1$을 이용하여 직관적으로 설명하시오.

정답 : 항들이 1과 -1을 반복하므로, 두 값 사이의 거리(2)보다 작은 오차 범위 안에는 모든 항이 동시에 들어올 수 없음.

6. 응용 5문항

1. $\epsilon-N$ 정의를 사용하여 $\lim_{n \to \infty} \frac{2n}{n+3} = 2$임을 증명하시오. (N의 식을 제시할 것)

$|\frac{2n}{n+3} - 2| = |\frac{-6}{n+3}| = \frac{6}{n+3} < \epsilon$. $n+3 > 6/\epsilon \implies n > 6/\epsilon - 3$.

정답 : $N > \frac{6}{\epsilon} - 3$ 인 임의의 자연수

2. 수열 $\{a_n\}$이 $L$로 수렴하면 $\{|a_n|\}$은 $|L|$로 수렴함을 증명하시오.

삼각부등식 ||a| - |b|| ≤ |a-b|를 이용하면, ||a_n| - |L|| ≤ |a_n - L| < ε 가 성립한다.

3. $0 < r < 1$일 때 $\lim_{n \to \infty} r^n = 0$임을 증명하기 위해 필요한 부등식은?

정답 : 베르누이 부등식 $(1+h)^n \ge 1+nh$

4. 수렴하는 수열은 반드시 유계(Bounded)임을 증명하는 아이디어를 쓰시오.

$\epsilon=1$에 대응하는 $N$을 잡으면, $N$ 이후의 항들은 $(L-1, L+1)$ 안에 있고, 그 이전의 유한한 항들 중 최대/최소를 잡으면 전체 유계가 증명된다.

5. $a_n \to L$이고 $b_n \to M$일 때 $a_n + b_n \to L + M$임을 증명할 때, 각각의 오차 범위를 무엇으로 잡아야 하는가?

정답 : $\epsilon/2$

7. 심화 5문항

1. $\lim_{n \to \infty} \frac{n^2+1}{2n^2-3} = \frac{1}{2}$임을 $\epsilon-N$ 정의로 증명하시오.

2. 샌드위치 정리(Squeeze Theorem)를 $\epsilon-N$ 정의를 이용하여 엄밀히 증명하시오.

3. 세잘로 합(Cesàro Mean): $a_n \to L$이면 $b_n = \frac{a_1 + \dots + a_n}{n} \to L$임을 증명하시오.

4. 수열의 극한 정의를 부정하여 "수열 $\{a_n\}$이 $L$로 수렴하지 않는다"를 논리 기호로 나타내시오.

정답 : $\exists \epsilon > 0, \forall N \in \mathbb{N}, \exists n > N \text{ s.t. } |a_n - L| \ge \epsilon$

5. 코시 수열(Cauchy Sequence)의 정의를 기술하고, 이것이 완비성 공리와 어떻게 연결되는지 설명하시오.