값에 다가가는 것은 그 값에 도달하는 것과 같지 않다
극한은 입력값이 어떤 지점 c에 점점 더 가까워질 때 함수가 점점 더 가까워지는 값이 무엇인지를 묻습니다. 함수가 c에서 실제로 정의될 필요는 없으며, 정의되어 있더라도 그 극한값과 같아야 할 필요는 없습니다. 다가가는 것과 도달하는 것의 이 구분이 바로 극한과 단순 대입을 구별하는 핵심 아이디어입니다. 대입은 「f(c)는 무엇인가?」를 묻고, 극한은 「x가 c에 한없이 가까워질 때 f(x)는 무엇에 다가가는가?」를 묻습니다. 이 두 질문은 답이 다를 수도 있고, 한쪽에는 답이 있지만 다른 쪽에는 없을 수도 있습니다.
잘 정의된(연속인) 함수라면 다가가는 것과 도달하는 것은 같은 답을 주며, 이것이 초급 대수학에서 접하는 대부분의 함수에서 단순 대입이 통하는 이유입니다. 극한이 정말로 필요해지는 지점은 바로 함수가 잘 정의되지 않은 지점 — 정의되지 않거나, 불연속이거나, 그 특정 지점에서 0/0과 같은 부정형을 만들어 내는 비율로 이루어진 경우 — 입니다. 바로 이런 지점에서 대입은 무너지지만 극한은 여전히 존재할 수 있습니다.
한쪽 극한과 양쪽 극한
한쪽 극한은 함수의 거동을 한쪽 방향에서만 살펴봅니다. lim(x→c⁻) f(x)로 표기하는 좌극한은 x가 c보다 작은 값을 통해 아래쪽에서 c에 다가갈 때 f의 값을 살펴보고, lim(x→c⁺) f(x)로 표기하는 우극한은 x가 c보다 큰 값을 통해 위쪽에서 c에 다가갈 때 f의 값을 살펴봅니다. 위 첨자가 없는 lim(x→c) f(x)로 표기하는 양쪽 극한은 좌극한과 우극한이 모두 존재하고 서로 같을 때만 존재합니다.
함수 f(x) = |x| / x는 c = 0에서 한쪽 극한들이 서로 일치하지 않는 경우를 보여 줍니다. 음수인 x에 대해서는 |x| / x = −1이므로 좌극한은 −1이고, 양수인 x에 대해서는 |x| / x = 1이므로 우극한은 1입니다. −1 ≠ 1이므로 x = 0에서 양쪽 극한은 존재하지 않습니다. 다만 두 한쪽 극한은 각각 개별적으로는 완벽하게 존재하며 잘 정의되어 있습니다.
| 다가가는 방향 | f(x) = |x| / x의 거동 | 극한 |
|---|---|---|
| 좌극한 (x → 0⁻) | 모든 x < 0에 대해 f(x) = −1 | lim = −1 |
| 우극한 (x → 0⁺) | 모든 x > 0에 대해 f(x) = 1 | lim = 1 |
| 양쪽 극한 (x → 0) | 좌극한과 우극한이 불일치 (−1 ≠ 1) | 존재하지 않음 |
대표적인 사례: sin(x)/x에 대입이 아니라 극한이 필요한 이유
sin(x)/x에 x = 0을 직접 대입하면 sin(0)/0 = 0/0이 되는데, 이는 그 자체로 정해진 수치를 갖지 않는 부정형입니다 — 0/0이 자동으로 0이거나 1이거나 영원히 정의되지 않는 것은 아닙니다. 단지 직접 대입으로는 이 질문에 답할 수 없으며 극한을 계산해야 한다는 뜻일 뿐입니다. 양쪽에서 0으로 줄어드는 일련의 x 값에 대해 sin(x)/x를 계산해 보면 함숫값이 0이나 다른 어떤 값이 아니라 꾸준히 1을 향해 나아가는 것을 볼 수 있습니다.
수치적으로 보면, x = 0.1일 때 sin(x)/x ≈ 0.998334, x = 0.01일 때 sin(x)/x ≈ 0.999983, x = 0.001일 때 sin(x)/x ≈ 0.9999998, x = 0.0001일 때 sin(x)/x ≈ 0.99999998입니다. 좌측과 우측 경향이 모두 1로 수렴하므로 lim(x→0) sin(x)/x = 1이며, 이는 함수 sin(x)/x 자체가 x = 0에서 정의되지 않음에도 성립합니다. 이 결과는 미적분학에서 표준적으로 다루는 결과이며, 보통은 수치 계산만이 아니라 기하학적인 조임(샌드위치) 논법을 이용해 엄밀하게 증명됩니다.
극한이 존재하지 않는 경우: x = 0에서의 1/x
모든 극한이 존재하는 것은 아닙니다. 함수 f(x) = 1/x가 c = 0에 다가갈 때는 단순한 불일치가 아니라 무한히 커지는 것 때문에 극한이 존재하지 않는 경우를 보여 줍니다. x가 오른쪽에서(작은 양수 값으로) 0에 다가갈 때 1/x는 한없이 커져 양의 무한대로 향하고, x가 왼쪽에서(작은 음수 값으로) 0에 다가갈 때 1/x는 한없이 작아져 음의 무한대로 향합니다. 두 한쪽 거동이 하나의 유한한 값으로 정착하지 않고 서로 반대 방향의 무한대로 갈라지므로, x = 0에서 양쪽 극한은 존재하지 않습니다.
극한은 무한대로 발산하는 것뿐 아니라 진동 때문에도 존재하지 않을 수 있습니다 — 예를 들어 sin(1/x)는 x가 0에 다가갈 때 x가 아무리 0에 가까워져도 −1과 1 사이를 무한히 오가며 어느 한쪽 방향에서도 어떤 값으로도 정착하지 않습니다. 무한히 커지는 경우와 지속적으로 진동하는 경우는 모두 극한이 존재하지 않는 표준적이고 잘 알려진 이유이며, 위에서 본 |x|/x의 한쪽 극한 불일치 사례와는 다른 경우입니다.
극한이 미분과 적분 모두의 토대인 이유
미분의 공식적인 정의 자체가 극한입니다 — 할선을 정의하는 두 점이 하나로 모여들 때의 기울기의 극한입니다 — 그리고 정적분의 공식적인 정의 역시 극한입니다. 직사각형의 개수가 한없이 늘어날 때 리만 합의 극한입니다. 따라서 극한이 무엇이며 언제 존재하고 존재하지 않는지를 이해하는 것은 미적분학의 부수적인 주제가 아니라, 미적분학의 두 핵심 연산 모두를 떠받치는 메커니즘입니다.
이는 또한 이 사이트의 수치 극한 계산기와 같은 도구가 위에서 sin(x)/x를 계산한 것과 개념적으로 같은 방식으로 만들어진 이유이기도 합니다. 계산기는 접근하려는 값에 양쪽에서 점점 더 가까워지는 지점들에서 함수를 계산해 좌측과 우측의 거동을 추정한 다음, 이 두 경향이 충분히 가깝게 일치하는지 확인해 양쪽 극한을 보고합니다.
자주 묻는 질문
극한이 존재하지 않는다는 것은 무슨 의미인가요?
x가 특정 지점에 다가갈 때 함수의 거동이 하나의 잘 정의된 값으로 정착하지 않는다는 뜻입니다. 흔한 원인으로는 좌극한과 우극한이 서로 일치하지 않는 경우(x = 0에서의 |x|/x처럼), 함수가 양쪽에서 서로 반대 방향으로 무한히 커지는 경우(x = 0에서의 1/x처럼), 또는 함수가 그 지점 근처에서 정착하지 못하고 계속 진동하는 경우가 있습니다.
한쪽 극한과 양쪽 극한의 차이는 무엇인가요?
한쪽 극한은 함수의 거동을 한 방향에서만 살펴봅니다 — 좌극한은 아래쪽 값에서, 우극한은 위쪽 값에서 살펴봅니다. 양쪽 극한은 두 한쪽 극한이 모두 존재하고 서로 같을 때만 존재합니다. 만약 두 극한이 일치하지 않으면 각 한쪽 극한이 개별적으로는 완벽하게 잘 정의되어 있더라도 양쪽 극한은 존재하지 않습니다.
sin(0)/0이 정의되지 않는데도 lim(x→0) sin(x)/x = 1인 이유는 무엇인가요?
극한은 함수가 그 지점에서 어떤 값을 갖는지가 아니라 어떤 값에 다가가는지를 묻기 때문입니다. 직접 대입하면 그 자체로는 정해진 값이 없는 부정형 0/0이 나오지만, 0에 양쪽에서 점점 더 가까운 지점들에서 sin(x)/x를 계산해 보면 값이 꾸준히 1로 수렴하는 것을 볼 수 있습니다. 함수 자체는 x = 0에서 정의되지 않지만 이것이 극한의 값입니다.
극한은 언제 존재하지 않나요?
좌극한과 우극한이 서로 일치하지 않을 때(x = 0에서의 |x|/x처럼), 함수가 양쪽에서 서로 반대 방향의 무한대로 한없이 커질 때(x = 0에서의 1/x처럼), 또는 함수가 그 지점 근처에서 어떤 값으로도 정착하지 않고 계속 진동할 때(x = 0 근처의 sin(1/x)처럼) 극한은 존재하지 않습니다.
함수가 정의되지 않은 지점에서도 극한을 가질 수 있나요?
가능합니다. 극한은 입력값이 어떤 지점에 가까워질 때 함수가 다가가는 값을 나타내는 것이지 그 지점에서 함수가 실제로 갖는 값이 아니므로, 두 질문은 답이 다를 수 있습니다. 함수 sin(x)/x는 x = 0에서 정의되지 않지만, x가 0에 다가갈 때의 극한은 정확히 1입니다. x = 0 자체는 정의역에서 제외되어 있음에도 함숫값이 양쪽 방향에서 1로 수렴하기 때문입니다.
참고 자료
- Stewart J. Calculus. Cengage Learning (the formal definition of a limit, one-sided limits, and the squeeze theorem).
- Spivak M. Calculus (4th ed). Publish or Perish, 2008 (rigorous treatment of limits and continuity).
- Thomas GB, Weir MD, Hass J. Thomas' Calculus. Pearson (limits, one-sided limits, and indeterminate forms).
- NIST Digital Library of Mathematical Functions (DLMF), Chapter 3: Numerical Methods. dlmf.nist.gov.