극한의 성질 (사칙연산)

한 줄 정의: 두 극한값이 각각 존재할 때, 그 합·차·곱·몫의 극한은 각 극한값을 먼저 구한 뒤 그대로 더하거나 빼거나 곱하거나 나눈 것과 같다는 규칙입니다.

쉽게 풀면

수열이나 함수의 극한을 매번 정의부터 따져서 구하는 것은 번거롭습니다. 그래서 실제로는 몇 가지 정해진 규칙을 이용해 극한을 사칙연산처럼 계산합니다. 예를 들어 f(x)의 극한이 2이고 g(x)의 극한이 3이라면, f(x)+g(x)의 극한은 2+3=5, f(x)-g(x)의 극한은 2-3=-1, f(x)×g(x)의 극한은 2×3=6이 됩니다. 나눗셈도 마찬가지로 g(x)의 극한이 0이 아니라면 f(x)/g(x)의 극한은 2/3이 됩니다. 즉 "극한을 먼저 구하고 나서 계산해도 되고, 계산을 먼저 하고 나서 극한을 구해도 결과가 같다"는 뜻입니다. 이 성질 덕분에 복잡한 식의 극한도 작은 조각으로 나누어 각각의 극한을 구한 뒤 다시 조합하는 방식으로 손쉽게 계산할 수 있습니다. 단, 이 규칙은 나누는 극한값이 0이 되는 경우처럼 애매한 상황(부정형)에서는 그대로 적용할 수 없다는 점에 유의해야 합니다.

왜 중요한가

극한의 성질은 복잡한 식의 극한을 매번 정의부터 따지지 않고도 계산할 수 있게 해주는 실용적인 도구여서, 미적분 이후 등장하는 거의 모든 극한 계산의 밑바탕이 됩니다. 특히 통계학·계량경제학에서 추정량이 표본크기가 커질 때 어떤 값에 수렴하는지를 증명하는 점근이론(asymptotic theory)에서는, 여러 항으로 이루어진 복잡한 식의 극한을 항별로 쪼개 계산하는 데 극한의 성질이 반복적으로 활용됩니다.

논문에서는 이렇게 쓰입니다

"표본크기가 커짐에 따라 두 추정량의 차의 극한은 극한의 성질에 따라 각 추정량의 극한값의 차로 수렴함을 보였다."

이 문장은 "두 추정량을 따로따로 극한 낸 값을 빼면, 그 차이의 극한값과 똑같다는 것을 증명했다"는 뜻입니다. 통계학이나 계량경제학에서 추정량의 점근적 성질(표본이 커질 때의 극한 행동)을 증명할 때, 여러 항으로 이루어진 복잡한 식을 극한의 성질을 이용해 항별로 나누어 계산하는 경우가 많습니다.

"두 확률변수의 합의 기댓값에 대한 극한은 극한의 성질에 의해 각 항의 극한의 합과 같으므로, 항별로 극한을 취해 전체 수렴값을 유도하였다."

확률론이나 시계열 분석에서 여러 확률변수의 합이나 평균이 특정 값으로 수렴함을 보일 때도, 극한의 성질을 이용해 항을 나누어 각각 계산하는 방식이 흔히 쓰인다는 예시입니다.

"수치해석 알고리즘의 절단오차와 반올림오차가 각각 0으로 수렴함을 보인 뒤, 극한의 성질에 따라 전체 오차의 극한도 0이 됨을 증명하였다."

공학·수치해석 논문에서 알고리즘의 오차를 여러 요소로 분해한 뒤, 각 요소의 극한을 따로 구해 합산하는 방식으로 전체 수렴성을 보이는 경우가 많다는 예시입니다.

조금 더 깊게 보면

극한의 성질은 두 극한이 각각 유한한 값으로 존재할 때만 성립하며, 이 조건이 깨지는 대표적인 경우가 0/0, ∞/∞, ∞-∞ 같은 부정형(indeterminate form)입니다. 부정형이 나타나면 극한의 성질을 그대로 적용할 수 없고, 인수분해나 유리화 같은 대수적 조작, 또는 미분을 이용하는 로피탈의 정리 같은 별도의 기법으로 다시 접근해야 합니다. 함수의 극한뿐 아니라 수열의 극한, 급수의 수렴 판정에서도 같은 형태의 사칙연산 법칙이 적용되며, 이는 다변수함수나 확률변수의 극한으로 확장될 때도 기본 논리로 이어집니다.

주의할 점

이 성질을 쓰려면 먼저 수열의 극한이 각각 실제로 존재해야 합니다. 만약 나누는 쪽의 극한이 0이거나, 두 극한이 각각 무한대로 발산하는 경우(0/0 또는 ∞/∞ 같은 부정형)에는 이 규칙을 그대로 적용할 수 없고 별도의 방법(인수분해, 로피탈 정리 등)으로 다시 접근해야 합니다.