개념
"점점 다가가는" 직관을 ε-δ 정의로 엄밀하게 만든 개념. 미적분의 모든 정의가 이 위에 서 있다.
한 호흡으로 이해하기
"x를 a에 원하는 만큼 가깝게 하면 f(x)를 L에 원하는 만큼 가깝게 할 수 있는가?" 17세기의 극한 직관은 볼차노·코시·바이어슈트라스 등 여러 사람의 19세기 작업에서 ε-δ 언어로 정교해졌다. 한 점에서의 연속성은 그 점의 극한이 함숫값과 같다는 뜻이며, 극한은 해석학의 핵심 도구지만 모든 미분·적분 이론이 같은 정의 하나만을 쓰는 것은 아니다.
한눈에 보기
sin(5x)
핵심 식
ε-δ 정의 — 코시·바이어슈트라스의 엄밀화
풀이 예제
- 1
Q.lim_{x→0} sin(x)/x
- 2
Q.f(x) = 1/x, x → 0
핵심 순간
BC 250
아르키메데스 — 소진법
안팎의 도형으로 넓이와 부피를 끼워 맞추는 엄밀한 논증을 사용했다. 현대 극한과 닮은 구조가 있지만 ε-δ 정의를 그대로 갖고 있던 것은 아니다.
AD 1665
뉴턴 — "fluxion"의 모호함
뉴턴이 미적분을 "사라지는 양"으로 묘사. 강력했지만 "악마의 환상"이라 비판받음(버클리 주교).
AD 1821
코시 — 《해석학 강의》
극한·연속·수렴을 체계적으로 다루며 해석학의 엄밀화에 큰 전환을 만들었다. 현대 기준에서 보완할 지점도 남아 있었다.
AD 1870
바이어슈트라스의 강의 — ε-δ 언어
베를린 강의에서 함수의 극한과 연속을 부등식으로 다루는 ε-δ식 엄밀성을 확산시켰다. 오늘의 형식은 여러 수학자의 작업을 거쳐 정착했다.
오늘날의 응용
실수의 완비성, 수치 알고리즘의 수렴, 통계의 점근적 결과, 확률 극한정리를 정밀하게 말할 때 쓰인다. 직관을 없애기보다 직관이 언제 성립하는지 조건을 밝힌다.
MathVoyage 너머로
불러오는 중…