ε-δ엡실론-델타 실험실

'x가 2에 한없이 가까우면 2x는 4에 한없이 가깝다'고 말합니다. 그런데 '한없이'는 정확히 무슨 뜻일까요?

극한은 다가가는 움직임이 아니라 오차 보증이다. 어떤 ε 공격에도 δ 응수가 존재할 때, 그리고 그때에만 극한이 있다.

Experiment

직접 만져보기

'x가 2에 한없이 가까우면 2x는 4에 한없이 가깝습니다.' 그런데 '한없이'가 정확히 뭘까요? 수학자들은 이 흐릿한 말을 게임 규칙으로 바꿨습니다. 도전자가 출력 오차 ε을 던지면, 수비수인 당신이 입력 근방 δ로 응수합니다.

🔮 예측 먼저 — 도전자가 ε=1을 던졌습니다. δ=1로 응수하면 막을 수 있을까요? (무대: f(x)=2x, a=2, L=4)

📖 더 읽기 — 왜 필요한가 · 인사이트 · 흔한 오해 · 수식 정리펼치기 ▾

Why

왜 필요한가

뉴턴과 라이프니츠의 미적분은 '무한히 작은 양'이라는 흐릿한 말 위에 서 있었습니다. 철학자 버클리는 이를 '사라진 양들의 유령'이라고 조롱했어요. 계산은 잘 맞는데, 왜 맞는지는 아무도 엄밀하게 설명하지 못했습니다.

'한없이 가까워진다'는 말이 문제였습니다. 사람마다 다르게 읽히고, 움직임을 상상하게 만들고, 증명에는 쓸 수가 없었어요. 미적분 전체를 떠받치려면 움직임이 없는 정의가 필요했습니다.

코시와 바이어슈트라스가 찾은 답이 게임입니다. 도전자가 출력 오차 ε을 요구하면 수비수가 입력 근방 δ로 응수합니다. 어떤 공격에도 응수가 존재하면 극한이 있다고 약속하는 것이죠. 이 한 장의 계약서 위에 오늘의 해석학 전체가 서 있습니다.

Insight

영상에서 말한 인사이트

“'한없이 가까이'는 감상이고, ε-δ는 계약서다.”
고등학교에서는 다가가는 그림으로 극한을 느낍니다. 대학에서는 그 느낌을 '어떤 오차 요구에도 응수할 수 있다'는 계약 문장으로 바꿔요. 느낌은 사람마다 다르지만, 계약은 누구나 같은 결론으로 판정할 수 있습니다.

“ε이 먼저다. δ는 언제나 대답이다.”
정의를 외우다 길을 잃으면 순서만 기억하세요. 도전자의 ε이 먼저 오고, 수비수의 δ는 그 ε을 보고 고릅니다. 이 순서 하나에 정의 전체의 논리가 들어 있어요.

Misconception

사람들이 흔히 하는 오해

극한은 점점 다가가는 움직임이다.

✓

정의 어디에도 움직임이 없습니다. '모든 ε에 대해 δ가 존재한다'는 정적인 보증 계약만 있어요. 다가가는 그림은 좋은 직관이지만, 증명의 언어는 게임의 언어입니다.

ε과 δ의 역할은 대칭이라서 서로 바꿔 생각해도 된다.

✓

순서가 생명입니다. 도전자의 ε이 먼저 오고, 수비수는 그 ε을 본 뒤에 δ를 고릅니다. 순서를 바꾸면 하나의 δ로 모든 ε을 막으라는 전혀 다른 주장이 돼요.

Formula

수식으로 정리하기

게임에서 몸으로 겪은 규칙을 수학의 언어로 옮기면 이렇습니다.

🔬 정의 해부 — 1·2단계 게임에서 만진 것과 짝짓기

, : ⇒

극한의 엄밀한 정의

도전자의 어떤 ε에도 수비수의 δ가 존재한다는 보증 계약입니다. 정의 안에 움직임은 없습니다.

f(x)=2x의 필승 전략 증명

1단계에서 매 라운드 통했던 δ=ε/2의 두 줄 증명입니다. 기울기 2가 입력 오차를 두 배로 키우니, 절반으로 응수하면 됩니다.

극한이 없다는 것

부정도 게임입니다. 점프 함수에서는 ε=0.5가 그 증인이었어요. 모든 δ가 실패함을 보이면 '극한 없음'이 증명됩니다.

수열 버전 — 같은 게임, 다른 무대

수열의 극한도 같은 게임입니다. 근방 δ 대신 '몇 번째 이후(N)'로 응수할 뿐이에요.

In Real Life

현실에서 만나는 곳

공학의 공차 설계

'완성품 오차를 ε 이내로'라는 요구가 오면, 설계자는 각 부품의 허용 공차 δ를 역산해 응수합니다. 도면에 적힌 ±0.01mm가 바로 이 게임의 δ예요.

프로그램의 수치 오차 보증

컴퓨터는 sin, √, π를 유한 번의 계산으로 근사합니다. 수학 라이브러리는 '요구 정밀도 ε이 오면 몇 항까지 계산할지'를 정해 두고 오차를 보증해요. 증명의 구조가 ε-δ 그대로입니다.

0.999… = 1 논쟁의 종결

어떤 ε을 던져도 9를 충분히 붙이면 1과의 차이가 그보다 작아집니다. 살아남는 차이가 하나도 없으므로 차이는 0이고, 두 표기는 같은 수예요. 게임의 언어가 백 년 논쟁을 한 줄로 끝냅니다.

해석학이라는 재건축

이 정의 위에서 '연속'은 lim f(x) = f(a)라는 한 줄이 되고, 미분과 적분의 모든 정리가 다시 증명됩니다. 대학 1학년 해석학 강의 전체가 이 계약서의 후속편이에요.

Practice

풀어보기 — 유형 정복

정복 0 / 4

f(x)=2x, a=2 게임에서 도전자가 ε=0.1을 던졌습니다. 수비에 성공하는 가장 큰 δ는? (δ가 이 값 이하이면 항상 성공)

x<2에서 f(x)=1, x≥2에서 f(x)=3인 함수의 x→2 극한은?

정의의 순서를 바꿔 '∃δ>0, ∀ε>0 : …'라고 쓰면 어떻게 될까요?

ε=0.1 공격을 δ=0.05로 막는 데 성공했습니다. 그렇다면 ε=0.01 공격도 저절로 성공일까요?

Watch

개념은 이어진다

이전 개념

lim

극한

'한없이 가까이'를 몸으로 느꼈다면, 이제 그 말을 엄밀하게 적을 차례다.

← 극한 실험실

다음 개념으로 연결

d/dx

미분

엄밀해진 극한 위에서 미분은 비로소 증명 가능한 정리가 된다.

미분 실험실로 이동 →