극한의 엄밀 정의 — ε-δ 맛보기
'한없이 가까워진다'를 수학으로 증명하는 법. ε-δ 논법으로 대학 수학을 미리 맛본다.
'x가 2에 가까워지면 f(x)가 4에 가까워진다'고 말하면 되는데 왜 ε-δ가 필요한가? — '얼마나 가까워야 가깝다고 하는가?'를 정확히 정하지 않으면 수학이 모호해진다. 19세기 코시·바이어슈트라스가 이 문제를 해결하며 현대 해석학이 태어났다.
고등 교육과정에서 '직관적 극한'은 배웠다. 하지만 '가까워진다'는 얼마나 가까워져야 하는가? 0.1? 0.001? 이 모호함을 두 게임의 규칙으로 바꾼 것이 ε-δ 논법이다.
ε(엡실론)은 '상대가 제시하는 허용 오차'. δ(델타)는 '내가 찾아내는 입력 제어 범위'. 상대가 아무리 작은 ε을 주더라도 내가 δ를 찾아내 |x−a|<δ ⇒ |f(x)−L|<ε을 보장할 수 있으면, 극한이 L이다.
| 기호 | 뜻 | 비유 |
|---|---|---|
| ε > 0 | 출력 허용 오차 (상대가 먼저 제시) | 기계 가공 정밀도 기준 |
| δ > 0 | 입력 제어 범위 (내가 찾음) | 온도 제어 여유 |
| |x−a| < δ | x가 a 근방 δ 이내에 있다 | 온도를 5° 이내로 조절 |
| |f(x)−L| < ε | f(x)가 L 근방 ε 이내에 있다 | 두께가 0.1mm 이내 |
예제: lim (x→2) (2x + 1) = 5 증명
1. 목표: |2x+1 − 5| < ε 을 만족하게 만들자.
2. 전개: |2x − 4| = 2|x − 2|
3. 따라서 2|x−2| < ε ⇔ |x−2| < ε/2
4. 그러므로 δ = ε/2 로 잡으면 충분.
검증: |x−2| < ε/2 이면 |2x+1 − 5| = 2|x−2| < 2·(ε/2) = ε ✓반례 체험: f(x) = sin(1/x)는 x→0에서 극한이 존재하지 않는다. x가 0에 아무리 가까워도 sin(1/x)는 -1과 1 사이를 무한히 진동한다. ε=0.5을 줘도 f(x)를 L 근방 0.5 이내에 가두는 L이 존재하지 않는다.
실생활 응용 — ① 반도체 칩 두께 오차 ε=1nm를 공정 조건 δ로 제어 ② GPS 위치 오차 1m를 신호 처리 정밀도로 보장 ③ 컴퓨터가 π를 소수점 n자리까지 수렴시키는 반복 횟수 결정 ④ 수치 적분의 오차 경계 ⑤ 연속성·미분 가능성 판정.
lim(x→3) (4x − 5) 의 값은?
lim(x→2) (x²−4)/(x−2) 의 값은? (x ≠ 2)
ε = 0.03일 때 lim(x→1) (3x−1) = 2 에 대응하는 δ는? (작은 값으로 하나)
f(x) = sin(1/x)의 x→0에서의 극한은 0이다.
ε-δ 정의에서 '상대가 ε을 먼저 제시하고, 나는 그에 맞는 δ를 찾는다'는 게임 구조는 극한을 수학적으로 엄밀하게 정의한다.