함수 극한의 엄밀한 정의 ($\epsilon-\delta$ Definition)

극한 $\lim_{x \to c} f(x) = L$의 의미는 "함숫값 $f(x)$를 $L$에 원하는 만큼($\epsilon$) 가깝게 만들고 싶을 때, $x$를 $c$에 충분히($\delta$) 가깝게 제한할 수 있다"는 뜻입니다.

1. 수학적 정의

함수 $f$가 점 $c$를 포함하는 열린 구간(단, $c$는 제외 가능)에서 정의되어 있을 때, $\lim_{x \to c} f(x) = L$임은 다음을 만족함을 의미합니다.

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

2. 정의의 구성 요소 해석

$\forall \epsilon > 0$ (임의의 양수 입실론): 상대방이 제시하는 "허용 오차"입니다. 아무리 작은 값을 가져와도 대응할 수 있어야 합니다.
$\exists \delta > 0$ (존재하는 양수 델타): 우리가 찾아야 하는 "정의역의 거리"입니다. 이 값은 대개 $\epsilon$에 의존합니다 ($\delta = \delta(\epsilon)$).
$0 < |x - c| < \delta$: $x$가 $c$와 일치하지 않으면서(극한의 본질) $c$로부터 $\delta$ 거리 안에 있음을 뜻합니다.
$|f(x) - L| < \epsilon$: 결과적으로 함숫값이 목표치 $L$로부터 오차 범위 $\epsilon$ 안에 들어오게 됩니다.

3. 논리적 흐름 (Game Theory Perspective)

Challenge & Response

Challenge: 누군가 "함숫값과 $L$의 차이를 $0.001(\epsilon)$보다 작게 만들 수 있어?"라고 묻습니다.
Response: 우리는 "$x$를 $c$로부터 $0.0001(\delta)$ 이내로만 잡아봐. 그러면 무조건 성공이야"라고 답합니다.
Universal Victory: 이 대화가 모든 $\epsilon > 0$에 대해 가능하다면, 극한값은 $L$이 됩니다.

4. 극한이 존재하지 않음을 증명 (Negation)

극한이 $L$이 아님을 보이려면 정의의 부정문을 사용합니다.

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

즉, 아무리 $x$를 $c$에 가깝게 붙여도 오차 $\epsilon$ 밖으로 튀어나가는 $x$가 항상 존재함을 보이면 됩니다.

5. 예제: $\lim_{x \to 3} (2x - 1) = 5$ 증명

Step 1: $|(2x - 1) - 5| < \epsilon$을 만족하는 $\delta$ 찾기

$|2x - 6| < \epsilon \iff 2|x - 3| < \epsilon \iff |x - 3| < \frac{\epsilon}{2}$

Step 2: $\delta = \frac{\epsilon}{2}$로 선택

Step 3: $0 < |x - 3| < \delta$ 이면 $|(2x-1)-5| = 2|x-3| < 2\delta = 2(\frac{\epsilon}{2}) = \epsilon$이 성립함.