1.7 극한의 엄밀한 정의

The Precise Definition of a Limit

한눈에 보기

이 절은 이 책에서 처음으로 만나는 "도전 절"이에요. 1.5에서 극한을 "x가 a에 가까워지면 f(x)가 L에 가까워진다"라고 직관으로 배웠죠. 이번 절은 그 "가까워진다"를 부등식 하나로 못 박는 진짜 정의예요.

이름부터 무섭게 생긴 엡실론-델타(\varepsilon-\delta) 정의가 나오는데, 겁먹지 않아도 돼요. 그리스 문자 두 개는 그냥 "작은 오차"를 부르는 이름일 뿐이고, 아이디어 자체는 아주 상식적인 "밀당 게임"이에요. 천천히 같이 따라가 봐요.

"충분히 가깝다"를 수식으로 표현하는 법
도전(\varepsilon)과 응답(\delta)이라는 게임 구도
일차함수로 직접 확인해 보기

먼저 알아야 할 것

개념 설명

도전과 응답으로 보는 ε-δ

\varepsilon-\delta 정의는 두 사람이 하는 게임이라고 생각하면 편해요.

도전자가 먼저 나서요. "출력 f(x)가 목표값 L에서 오차 \varepsilon 안에 들어오게 해 봐"라고 요구해요. 이 \varepsilon은 아주 작은 양수예요. 0.01이든 0.0000001이든, 도전자 마음대로 얼마든지 작게 부를 수 있어요.

그러면 응답자가 대답해요. "입력 x를 a에서 \delta 안에만 두면(단, x \neq a), 네가 요구한 오차 \varepsilon을 지킬게." 이 \delta는 응답자가 도전에 맞춰 찾아내는 "입력 허용 범위"예요.

극한이 L이라는 말은 곧, 도전자가 아무리 작은 \varepsilon을 불러도 응답자가 그에 맞는 \delta를 항상 찾아낼 수 있다는 뜻이에요. 어떤 요구가 와도 막아낼 수 있으면 이기는 게임이죠.

핵심은 순서예요. \varepsilon이 먼저 주어지고, \delta는 그 \varepsilon을 보고 나중에 정해요. 그래서 \delta는 보통 \varepsilon에 따라 달라져요 — 더 빡빡한 요구(\varepsilon이 작을수록)에는 더 좁은 범위(\delta도 작게)로 답해야 하죠.

수식 하나하나 뜯어보기

수식 뜯어보기

극한의 엄밀한 정의

\lim_{x \to a} f(x) = L \iff \forall \varepsilon > 0,\ \exists\, \delta > 0 : 0 < \lvert x - a \rvert < \delta \implies \lvert f(x) - L \rvert < \varepsilon

기호	읽는 법	뜻
\varepsilon	"엡실론"	출력에 허용하는 오차(도전자가 부르는 작은 양수)
\delta	"델타"	입력에 허용하는 범위(응답자가 찾는 작은 양수)
\forall	"모든 ~에 대해"	어떤 값을 골라도 성립해야 함
\exists	"~가 존재한다"	조건을 만족하는 값이 적어도 하나 있음
\iff	"필요충분"	양쪽이 서로 같은 말이라는 뜻
\implies	"이면"	앞이 성립하면 뒤도 성립함
\lvert f(x) - L \rvert < \varepsilon	"에프엑스와 엘의 거리가 엡실론보다 작다"	출력이 목표에 충분히 가까움
0 < \lvert x - a \rvert < \delta	"엑스와 에이의 거리가 0보다 크고 델타보다 작다"	입력이 a에 가깝되 a 자신은 아님

문장으로 읽으면: "어떤 작은 오차 \varepsilon을 요구하더라도, 그에 맞는 범위 \delta가 있어서, x가 a에서 \delta 안에 있기만 하면(a 자신은 빼고) f(x)가 L에서 \varepsilon 안에 들어와요."

여기서 0 < \lvert x - a \rvert라는 왼쪽 부등호가 중요해요. 이건 "x는 a가 아니다"를 뜻해요. 극한은 a로 다가가는 동안의 이야기지, a에서의 함숫값 자체와는 상관없거든요.

손으로 따라가는 예제

일차함수 \lim_{x \to a} (mx + b) = ma + b를 \varepsilon-\delta로 확인해 봐요. 여기서 m \neq 0이라고 할게요. 목표값은 L = ma + b예요.

1단계 — 목표 부등식 세우기. 우리가 만들고 싶은 건 이거예요.

\lvert (mx + b) - (ma + b) \rvert < \varepsilon

2단계 — 정리하기. 안쪽을 계산하면 b가 사라져요.

\lvert mx - ma \rvert = \lvert m \rvert \, \lvert x - a \rvert < \varepsilon

3단계 — \delta 골라내기. 위 식을 \lvert x - a \rvert에 대해 풀면 이렇게 돼요.

\lvert x - a \rvert < \frac{\varepsilon}{\lvert m \rvert}

그러니 \delta = \dfrac{\varepsilon}{\lvert m \rvert}로 잡으면 돼요. 이렇게 정하면 0 < \lvert x - a \rvert < \delta일 때 자동으로 \lvert f(x) - L \rvert = \lvert m \rvert \, \lvert x - a \rvert < \lvert m \rvert \cdot \delta = \varepsilon이 되죠.

\varepsilon이 어떤 값으로 오든 \delta = \varepsilon / \lvert m \rvert로 답할 수 있으니, 게임에서 항상 이겨요. 이게 극한이 ma + b라는 엄밀한 증명이에요. \delta가 \varepsilon을 보고 정해졌다는 점, 그리고 기울기 \lvert m \rvert이 클수록 \delta를 더 작게 잡아야 한다는 점을 눈여겨보세요.

흔한 헷갈림

\delta는 \varepsilon에 의존해요. \delta를 먼저 정해 놓고 \varepsilon을 맞추는 게 아니에요. 항상 \varepsilon이 먼저 주어지고, 그에 맞는 \delta를 찾는 순서예요. 그래서 답은 보통 \delta = (\varepsilon에 관한 식) 꼴로 나와요.
x \neq a를 잊지 마세요. 조건 0 < \lvert x - a \rvert는 x = a인 경우를 일부러 빼놓은 거예요. 극한은 a로 다가가는 과정의 이야기라, a에서 함수가 어떤 값이든(심지어 정의가 안 돼 있어도) 상관없어요.
하나의 \varepsilon만으로는 부족해요. "\varepsilon = 0.01일 때 되니까 극한이다"는 증명이 아니에요. 모든 \varepsilon > 0에 대해 \delta를 찾을 수 있어야 해요. 그래서 답을 \varepsilon에 관한 일반식으로 써야 하는 거예요.

핵심 정리

극한 \lim_{x \to a} f(x) = L의 진짜 정의는 \varepsilon-\delta 부등식이에요: 모든 \varepsilon > 0에 대해 \delta > 0이 존재해서, 0 < \lvert x - a \rvert < \delta이면 \lvert f(x) - L \rvert < \varepsilon.
도전(\varepsilon)과 응답(\delta)의 게임으로 이해해요. \varepsilon이 먼저, \delta가 나중이에요.
\delta는 보통 \varepsilon에 관한 식으로 나오고, 일차함수라면 \delta = \varepsilon / \lvert m \rvert처럼 딱 떨어져요.
뒤에서 다시 만나는 곳: 1.8 연속에서는 "\lim_{x \to a} f(x) = f(a)"를 다루는데, 그 극한의 뜻이 바로 이 절의 \varepsilon-\delta예요. 여기서 다진 엄밀성이 연속·미분·적분의 바탕이 돼요.

진도는 이 브라우저에 저장됩니다.