미적분학 30단계 · 6단계 · 극한의 엄밀한 정의

06. 함수의 극한 (ε-δ 정의)

"x가 a에 한없이 가까워질 때, f(x)가 L에 가까워진다"는 말은 직관적이지만 수학적으로는 불완전합니다. 엡실론-델타(ε-δ) 논법은 출력값의 오차(ε)를 통제하기 위해 입력값의 범위(δ)를 얼마나 좁혀야 하는지를 규명함으로써 극한을 '계산'이 아닌 '증명'의 영역으로 끌어올립니다.

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

수업 목표 1
함수의 극한에 대한 ε-δ 정의를 정확히 기술하고 논리 구조를 이해한다.

수업 목표 2
일차함수와 이차함수의 극한을 ε-δ 논법으로 증명할 수 있다.

수업 목표 3
좌극한과 우극한의 엄밀한 정의를 부등식으로 표현한다.

수업 목표 4
극한의 성질(선형성, 곱셈)에 대한 증명 아이디어를 습득한다.

수업 흐름

도입 : "가까이 간다"는 말의 모호함을 지적하며, 오차 범위를 제안하는 게임으로 극한을 재해석한다.
탐구 1 : ε-δ 정의의 문장 구조($\forall \epsilon > 0, \exists \delta > 0$)를 분석한다.
탐구 2 : 예제 $\lim_{x \to 3} (2x-1) = 5$를 통해 $\delta$를 $\epsilon$의 함수로 찾아낸다.
정리 : 수열의 극한($\epsilon-N$)과 함수의 극한($\epsilon-\delta$)의 공통점과 차이점을 비교한다.
확장 : 유계성(Boundedness) 개념을 도입하여 다항함수의 증명법(min{1, ε/M} 전략)을 익힌다.

2. 개념 상세 설명

개념 1. 함수의 극한의 정의 (Cauchy's Definition)

함수 $f(x)$가 $a$를 포함하는 열린 구간(단, $a$는 제외될 수 있음)에서 정의될 때, $\lim_{x \to a} f(x) = L$이라는 것은 다음을 의미한다.

$$\forall \epsilon > 0, \exists \delta > 0 \text{ s.t. } 0 < |x - a| < \delta \implies |f(x) - L| < \epsilon$$

핵심 포인트: $0 < |x - a|$라는 조건은 $x=a$일 때의 함숫값은 극한값과 상관이 없음을 명시합니다.

개념 2. 증명 전략 (Drafting Phase)

목표 설정: $|f(x) - L| < \epsilon$에서 시작한다.
식 변형: 좌변을 $|x - a| \cdot |(\text{나머지 식})|$ 형태로 인수분해한다.
델타 선택: $|x - a| < \delta$를 이용하여 전체 식을 $\epsilon$보다 작게 만드는 $\delta$를 찾는다.
제한 두기: 이차 이상의 식에서는 $\delta \le 1$과 같은 제한을 두어 $|(\text{나머지 식})|$을 상수로 유계시킨다.

3. Graph 및 시각적 이해

시각화 1. ε-δ 게임의 원리

임의의 오차폭(ε)이 주어지면, 그래프가 그 폭 안을 통과하도록 하는 x축의 구간폭(δ)을 찾아야 합니다.

시각화 2. 극한이 존재하지 않는 경우

끊어진 함수(도약 불연속)에서는 ε을 점프 간격보다 작게 잡으면, 어떤 δ를 잡아도 함숫값을 ε 띠 안에 가둘 수 없습니다.

4. 각각의 개념 예시 문제

함수 유형	극한 식	δ 선택의 예
일차 함수	$\lim_{x \to 2} (3x-1) = 5$	$\delta = \epsilon/3$
상수 함수	$\lim_{x \to a} c = c$	$\delta = \text{임의의 양수}$
이차 함수	$\lim_{x \to 1} x^2 = 1$	$\delta = \min\{1, \epsilon/3\}$

5. 기초 5문항

1. $\lim_{x \to a} f(x) = L$의 정의에서 $0 < |x - a| < \delta$의 $0 <$이 의미하는 바는 무엇인가?

정답 : 극한값은 $x=a$에서의 함숫값 유무나 실제 값과는 무관하다는 뜻이다.

2. $\lim_{x \to 5} (x-2) = 3$임을 증명할 때, $\delta$를 $\epsilon$에 관한 식으로 나타내시오.

$|(x-2)-3| = |x-5| < \epsilon$이므로 $\delta = \epsilon$으로 두면 된다.

정답 : $\delta = \epsilon$

3. 극한의 정의에서 $\exists \delta > 0$은 무엇에 종속되어 결정되는가?

정답 : 주어진 $\epsilon$ (그리고 일반적으로 점 $a$)

4. $\lim_{x \to 0} |x| = 0$임을 증명할 때, $\delta$를 어떻게 잡으면 되는가?

정답 : $\delta = \epsilon$

5. 극한의 정의를 부정하여 "$\lim_{x \to a} f(x) \ne L$"을 논리 기호로 나타내시오.

정답 : $\exists \epsilon > 0, \forall \delta > 0, \exists x \text{ s.t. } (0 < |x-a| < \delta \text{ and } |f(x)-L| \ge \epsilon)$

6. 응용 5문항

1. $\epsilon-\delta$ 정의를 사용하여 $\lim_{x \to 1} (4x+3) = 7$임을 증명하시오.

$\forall \epsilon > 0$에 대해 $\delta = \epsilon/4$라 하자. $0 < |x-1| < \delta$이면 $|(4x+3)-7| = |4x-4| = 4|x-1| < 4\delta = \epsilon$이다.

2. $\lim_{x \to a} \sqrt{x} = \sqrt{a}$ ($a>0$) 임을 증명할 때 사용되는 부등식 $|\sqrt{x}-\sqrt{a}| = \frac{|x-a|}{\sqrt{x}+\sqrt{a}}$를 이용해 $\delta$를 추측하시오.

정답 : $\delta = \epsilon \sqrt{a}$ (또는 더 엄밀하게는 점 유계 이용)

3. $\lim_{x \to 2} x^2 = 4$임을 증명하시오. (단, $\delta \le 1$ 가정 사용)

$|x^2-4| = |x-2||x+2|$. $\delta \le 1$이면 $1 < x < 3$이므로 $|x+2| < 5$. 따라서 $\delta = \min\{1, \epsilon/5\}$.

4. 함수의 극한이 존재하면 그 값은 유일함을 증명하는 아이디어를 기술하시오.

$L_1, L_2$ 두 개가 있다고 가정하고 $\epsilon = |L_1-L_2|/2$로 두어 모순을 유도한다.

5. 우극한 $\lim_{x \to a^+} f(x) = L$의 엄밀한 정의를 부등식으로 쓰시오.

정답 : $\forall \epsilon > 0, \exists \delta > 0 \text{ s.t. } a < x < a+\delta \implies |f(x)-L| < \epsilon$

7. 심화 5문항

1. $\lim_{x \to 3} x^3 = 27$임을 $\epsilon-\delta$ 논법으로 증명하시오.

2. $\lim_{x \to a} f(x) = L$ 이면 $\lim_{x \to a} |f(x)| = |L|$ 임을 증명하시오.

3. $\lim_{x \to a} f(x) = L$ ($L \ne 0$) 이면, $a$ 근방에서 $f(x)$의 부호가 $L$의 부호와 같게 되는 $\delta$가 존재함을 증명하시오. (보존성 정리)

4. 합성함수의 극한 법칙 $\lim_{x \to a} f(g(x)) = f(\lim_{x \to a} g(x))$가 성립하기 위한 충분조건을 정의를 이용해 논하시오.

5. 디리클레 함수(유리수에서 1, 무리수에서 0)가 모든 점에서 극한값이 존재하지 않음을 증명하시오.