ε-δ · 엡실론-델타
다가가는 움직임이 아니라 오차 보증, 극한
'x가 2에 한없이 가까우면 2x는 4에 한없이 가깝다'고 말합니다. 그런데 '한없이'는 정확히 무슨 뜻일까요?
모든 ε와 그에 응답하는 δ를 읽습니다.
'사라진 양들의 유령' — 철학자 버클리가 미적분에 붙인 조롱
몰입형 화면으로도 볼 수 있어요 →이 글이 있는 읽기 길: 가까워진다는 말을 엄밀하게 · 1/3
이 질문이 왜 필요할까요?
뉴턴과 라이프니츠의 미적분은 '무한히 작은 양'이라는 흐릿한 말 위에 서 있었습니다. 철학자 버클리는 이를 '사라진 양들의 유령'이라고 조롱했어요. 계산은 잘 맞는데, 왜 맞는지는 아무도 엄밀하게 설명하지 못했습니다.
'한없이 가까워진다'는 말이 문제였습니다. 사람마다 다르게 읽히고, 움직임을 상상하게 만들고, 증명에는 쓸 수가 없었어요. 미적분 전체를 떠받치려면 움직임이 없는 정의가 필요했습니다.
코시와 바이어슈트라스가 찾은 답이 게임입니다. 도전자가 출력 오차 ε을 요구하면 수비수가 입력 근방 δ로 응수합니다. 어떤 공격에도 응수가 존재하면 극한이 있다고 약속하는 것이죠. 이 한 장의 계약서 위에 오늘의 해석학 전체가 서 있습니다.
잠깐, 직접 확인해 볼까요?
먼저 결과를 예상해 보세요. 값을 하나씩 바꾸면서 예상과 무엇이 다른지 살펴봅시다.
'x가 2에 한없이 가까우면 2x는 4에 한없이 가깝습니다.' 그런데 '한없이'가 정확히 뭘까요? 수학자들은 이 흐릿한 말을 게임 규칙으로 바꿨습니다. 도전자가 출력 오차 ε을 던지면, 수비수인 당신이 입력 근방 δ로 응수합니다.
예측 먼저 — 도전자가 ε=1을 던졌습니다. δ=1로 응수하면 막을 수 있을까요? (무대: f(x)=2x, a=2, L=4)
같은 생각을 다른 말로 읽어 봅시다
가까움을 말하는 순서를 분명히 해 봅시다. 먼저 출력 오차 ε를 얼마든지 작게 요구할 수 있고, 그 요구를 받은 뒤 입력의 허용 범위 δ를 정합니다. 그 범위 안의 모든 입력에 약속이 적용됩니다.
f(x)=2x에서 x→2일 때 출력 오차는 ∣2x−4∣=2∣x−2∣입니다. 따라서 어떤 ε>0을 받아도 δ=ε/2로 정하면 됩니다. 세 번의 성공 사례가 아니라, 임의의 ε에 대해 같은 계산이 통한다는 것이 증명입니다.
'한없이 가까이'는 감상이고, ε-δ는 계약서다.
고등학교에서는 다가가는 그림으로 극한을 느낍니다. 대학에서는 그 느낌을 '어떤 오차 요구에도 응수할 수 있다'는 계약 문장으로 바꿔요. 느낌은 사람마다 다르지만, 계약은 누구나 같은 결론으로 판정할 수 있습니다.
ε이 먼저다. δ는 언제나 대답이다.
정의를 외우다 길을 잃으면 순서만 기억하세요. 도전자의 ε이 먼저 오고, 수비수의 δ는 그 ε을 보고 고릅니다. 이 순서 하나에 정의 전체의 논리가 들어 있어요.
이제 정의와 조건을 함께 읽습니다
a는 정의역의 집적점이며 x=a 자체는 제외합니다. 특정 L의 실패와 모든 유한한 실수 극한 후보의 실패를 구분합니다.
게임에서 몸으로 겪은 규칙을 수학의 언어로 옮기면 이렇습니다.
정의 해부 — 1·2단계 게임에서 만진 것과 짝짓기
, : ⇒
극한의 엄밀한 정의
도전자의 어떤 ε에도 수비수의 δ가 존재한다는 보증 계약입니다. 정의 안에 움직임은 없습니다.
f(x)=2x의 필승 전략 증명
1단계에서 매 라운드 통했던 δ=ε/2의 두 줄 증명입니다. 기울기 2가 입력 오차를 두 배로 키우니, 절반으로 응수하면 됩니다.
특정 L로 수렴하지 않는다는 뜻
D는 함수의 정의역이고 a는 D의 집적점입니다. 이 식은 정해 둔 후보 L로 수렴하지 않음을 말해요. f(x)=x, x→0은 L=1로 수렴하지 않지만 극한 0은 존재합니다.
유한한 실수 극한이 존재하지 않는다는 뜻
모든 실수 후보 L이 실패해야 유한한 실수 극한이 없습니다. 점프 함수는 모든 δ 근방에서 1과 3을 함께 가지므로, 폭 1인 띠에는 어떤 L을 중심으로 해도 둘을 담을 수 없어요. 세 후보를 눌러 본 사실이 아니라 이 논증이 모든 L을 배제합니다.
수열 버전 — 같은 게임, 다른 무대
수열의 극한도 같은 게임입니다. 근방 δ 대신 '몇 번째 이후(N)'로 응수할 뿐이에요.
D⊆ℝ, a는 D의 집적점이며 유한한 실수 극한을 다룹니다.
참고자료
- OpenStax · Calculus Volume 1 · 2.5 Precise Definition of a Limit
여기서 한 번 더 구분해 볼까요?
극한은 점점 다가가는 움직임이다.
정의 어디에도 움직임이 없습니다. '모든 ε에 대해 δ가 존재한다'는 정적인 보증 계약만 있어요. 다가가는 그림은 좋은 직관이지만, 증명의 언어는 게임의 언어입니다.
ε과 δ의 역할은 대칭이라서 서로 바꿔 생각해도 된다.
순서가 생명입니다. 도전자의 ε이 먼저 오고, 수비수는 그 ε을 본 뒤에 δ를 고릅니다. 순서를 바꾸면 하나의 δ로 모든 ε을 막으라는 전혀 다른 주장이 돼요.
다른 질문에서는 어떻게 쓰일까요?
공학의 공차 설계
'완성품 오차를 ε 이내로'라는 요구가 오면, 설계자는 각 부품의 허용 공차 δ를 역산해 응수합니다. 도면에 적힌 ±0.01mm가 바로 이 게임의 δ예요.
프로그램의 수치 오차 보증
컴퓨터는 sin, √, π를 유한 번의 계산으로 근사합니다. 수학 라이브러리는 '요구 정밀도 ε이 오면 몇 항까지 계산할지'를 정해 두고 오차를 보증해요. 증명의 구조가 ε-δ 그대로입니다.
0.999… = 1 논쟁의 종결
어떤 ε을 던져도 9를 충분히 붙이면 1과의 차이가 그보다 작아집니다. 살아남는 차이가 하나도 없으므로 차이는 0이고, 두 표기는 같은 수예요. 게임의 언어가 백 년 논쟁을 한 줄로 끝냅니다.
해석학이라는 재건축
이 정의 위에서 '연속'은 lim f(x) = f(a)라는 한 줄이 되고, 미분과 적분의 모든 정리가 다시 증명됩니다. 대학 1학년 해석학 강의 전체가 이 계약서의 후속편이에요.
이번에는 내 말로 설명해 보세요
δ를 정한 뒤 입력 하나만 잘 골라 약속을 만족시키면 될까요?
생각한 뒤 설명 확인하기
안 됩니다. 정한 근방 안에서 조건을 만족하는 모든 x에 대해 출력 오차가 ε보다 작아야 합니다.
계산과 개념을 문제로 확인하기 (4)
문제 완료 0 / 4
1. f(x)=2x, a=2 게임에서 도전자가 ε=0.1을 던졌습니다. 수비에 성공하는 가장 큰 δ는? (δ가 이 값 이하이면 항상 성공)
2. x<2에서 f(x)=1, x≥2에서 f(x)=3인 함수의 x→2 극한은?
3. 정의의 순서를 바꿔 '∃δ>0, ∀ε>0 : …'라고 쓰면 어떻게 될까요?
4. ε=0.1 공격을 δ=0.05로 막는 데 성공했습니다. 그렇다면 ε=0.01 공격도 저절로 성공일까요?
다음에는 어떤 질문을 해볼까요?
이 글이 있는 읽기 길: 가까워진다는 말을 엄밀하게 · 1/3
증명 실험실
여기서는 비유를 쓰지 않습니다.
믿기로 한 것 몇 줄에서 출발해 직접 걸어가기 →
믿기로 한 것 몇 줄에서 출발해 직접 걸어가기 →
믿기로 한 것 몇 줄에서 출발해 직접 걸어가기 →
믿기로 한 것 몇 줄에서 출발해 직접 걸어가기 →
이전 개념
다음 개념으로 연결
관련 실험실
관련 실험실