본문 바로가기
Topos Uranos

변수가 무한대로 갈 때의 극한

요약

이 수업은 변수가 한없이 커질 때 함수의 거동을 공부하고, 같은 기호로 쓰이는 다른 상황, 곧 함수의 값이 한없이 커지는 상황과 이를 주의 깊게 구별한다. 엡실론과 문턱값 MM으로 변수가 무한대로 갈 때의 극한을 정의하고, 그것이 00에서의 한쪽 극한과 동치임을 변수 치환 t=1xt = \frac{1}{x}을 통해 한 번만 증명한다. 이로부터 앞 수업들의 모든 정리가 새로운 증명 없이 무한대에서도 성립한다. 이 정리들로 거듭제곱과 유리함수의 극한을 계산하며, 이로써 대수학과 기하학에서 받아들였던 수평 점근선과 사점근선을 증명한다. 또 조임 정리와 단조함수의 정리를 적용하고, 극한이 존재하지 않는 경우를 알아본다.

학습 목표

  1. 변수가 무한대로 갈 때의 극한을 무한 극한과 구별하고, 둘 다 도전과 응답의 공통 도식으로 쓴다.
  2. 엡실론과 문턱값 MM으로 변수가 무한대로 갈 때의 극한을 정의하고, 그것이 00에서의 한쪽 극한과 동치임을 증명한다.
  3. 변수가 무한대로 갈 때 거듭제곱과 유리함수의 극한을 증명하고, 이로부터 수평 점근선과 사점근선을 이끌어 낸다.
  4. 조임 정리, 단조함수, 변수 치환으로 무한대에서의 극한을 계산하고, 극한이 존재하지 않는 경우를 증명한다.

무한대의 두 가지 쓰임

「무한대」라는 말은 극한의 공부에서 두 가지 다른 뜻으로 나타나며, 처음부터 둘을 구별해 두는 것이 좋다. 첫째 뜻에서는 한없이 커지는 것이 변수이고, 함수의 값은 어떤 수에 가까워진다. 둘째 뜻에서는 한없이 커지는 것이 함수이고, 변수는 어떤 수에 가까워진다. 따라서 아래의 세 주장은 서로 다르다.

  • lim⁡x→∞f(x)=L\lim_{x \to \infty} f(x) = L: 변수가 한없이 커지고 ff의 값이 수 LL에 가까워진다. 예를 들어 1x\frac{1}{x}는 00에 가까워진다(xx가 커질 때). 이것이 이 수업의 대상이다.
  • lim⁡x→af(x)=∞\lim_{x \to a} f(x) = \infty: 변수가 수 aa에 가까워지고 ff의 값이 한없이 커진다. 예를 들어 1x2\frac{1}{x^2}는 한없이 커진다(xx가 00에 가까워질 때). 이것은 무한 극한에 관한 수업의 대상이다.
  • lim⁡x→∞f(x)=∞\lim_{x \to \infty} f(x) = \infty: x2x^2처럼 둘 다 한없이 커진다. 이것도 무한 극한에 관한 수업에서 다룬다.

기호 ∞\infty는 실수가 아니며, 두 상황은 대칭이 아니다. 첫째 상황에서 극한은 존재하고 하나의 수 LL이며, 여기에 유일성, 극한의 연산 법칙, 그리고 알려진 모든 정리가 적용된다. 둘째 상황에서 함수는 실변수 함수의 극한에 관한 수업의 뜻으로는 극한을 갖지 않는다. 표기 =∞= \infty은 극한을 가리키는 것이 아니라 극한을 갖지 않는 하나의 정확한 방식을 나타낸다. 그러므로 수를 다루는 극한의 연산 법칙을 ∞\infty에 마치 그것이 수인 것처럼 적용할 수는 없다.

그러나 두 상황은 같은 하나의 도식에 들어간다. 극한의 정의는 모두 이렇게 말한다. 값에 관한 모든 도전에 대해 변수에 관한 응답이 존재한다. 달라지는 것은 각각에 가깝다는 것이 무엇을 뜻하는가뿐이다:

  • 변수가 수 aa에 가깝다는 것은 0<∣x−a∣<δ0 < \abs{x - a} < \delta라는 뜻이고, ∞\infty에 가깝다는 것은 x>Mx > M이라는 뜻이다;
  • 값이 수 LL에 가깝다는 것은 ∣f(x)−L∣<ε\abs{f(x) - L} < \varepsilon라는 뜻이고, ∞\infty에 가깝다는 것은 f(x)>Nf(x) > N이라는 뜻이다.

극한에 관한 수업의 정의는 각 줄의 첫째 형태를 결합한다. 이 수업은 첫째 줄의 둘째 형태와 둘째 줄의 첫째 형태를 결합한다. 무한 극한에 관한 수업은 나머지 형태들을 결합한다. 이 수업의 첫째 명제는 같은 하나의 함수로 두 가지 쓰임을 보여 준다.