조임정리 (Squeeze Theorem)

한 줄 정의: 어떤 함수(또는 수열)가 값을 직접 구하기 어려운 두 함수 사이에 항상 끼어 있고, 그 양쪽 함수가 같은 값으로 수렴하면 가운데 함수도 그 값으로 수렴한다는 정리입니다.

쉽게 풀면

친구 두 명이 양쪽에서 손을 잡고 나를 같은 지점으로 끌어당긴다고 상상해 보세요. 왼쪽 친구도 그 지점으로 가고 오른쪽 친구도 그 지점으로 간다면, 가운데서 두 손을 잡힌 나는 꼼짝없이 같은 지점으로 갈 수밖에 없습니다. 조임정리도 이와 같은 원리입니다. 어떤 수열이나 함수 f(x)의 극한값을 직접 계산하기 어려울 때, f(x)보다 항상 작은 함수 g(x)와 항상 큰 함수 h(x)를 찾아서 g(x)≤f(x)≤h(x)를 만족시키고, g(x)와 h(x)가 같은 값 L로 수렴한다는 것만 보이면, "가운데 낀" f(x)도 자동으로 L로 수렴한다고 결론지을 수 있습니다. 대표적으로 sin x/x가 x→0일 때 1로 수렴한다는 사실을 증명할 때 이 방법을 씁니다.

왜 중요한가

조임정리는 극한값을 직접 계산할 수 없는 복잡한 수식이라도, 그보다 다루기 쉬운 상한과 하한 함수를 찾아 간접적으로 극한을 증명할 수 있게 해주는 강력한 도구이기 때문에 해석학·수치해석·확률론 등 수렴성을 다루는 여러 수학 분야의 논문에서 반복적으로 등장합니다. 알고리즘의 수렴 속도를 증명하거나 근사 오차의 한계를 보이는 등, 직접적인 계산보다 부등식을 통한 간접 증명이 더 다루기 쉬운 상황에서 특히 유용하게 쓰입니다.

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

"오차항이 상한과 하한 사이에 갇혀 있음을 보이고, 두 경계값이 모두 0으로 수렴함을 확인함으로써 조임정리에 의해 오차항 역시 0으로 수렴함을 증명하였다."

이 문장은 "오차항을 직접 계산하기 어려우니, 그보다 작은 값과 큰 값을 각각 구해서 둘 다 0에 가까워진다는 것을 보이면 오차항도 자연스럽게 0에 가까워진다는 것이 증명된다"는 뜻으로, 복잡한 수식의 극한값을 직접 구하기 어려울 때 흔히 쓰는 증명 전략입니다.

"알고리즘의 반복 오차 수열이 기하급수적으로 감소하는 상계와 0으로 이루어진 하계 사이에 놓임을 보여, 조임정리에 따라 해당 수열이 0으로 수렴함을 확인하였다."

수치해석·최적화 분야 논문에서는 반복 알고리즘이 실제로 정답에 수렴하는지를 증명할 때, 오차 수열을 직접 다루는 대신 상계와 하계를 잡아 조임정리로 수렴성을 보이는 방식이 흔히 사용됩니다.

조금 더 깊게 보면

조임정리를 적용하려면 부등식이 극한을 취하는 지점의 어떤 근방에서 성립하기만 하면 충분하며, 정의역 전체에서 성립할 필요는 없습니다. 실전에서는 삼각함수의 유계성(사인·코사인 값이 항상 -1과 1 사이에 있다는 성질)이나 절댓값을 이용한 부등식을 상한·하한으로 자주 활용하며, 수열의 극한뿐 아니라 함수의 극한, 다변수 함수의 극한을 보일 때도 같은 논리 구조가 그대로 적용됩니다.

주의할 점

조임정리를 쓰려면 부등식 g(x)≤f(x)≤h(x)가 특정 구간(극한을 취하는 지점 근처)에서 반드시 성립해야 하며, 단순히 비슷해 보이는 두 함수를 아무렇게나 골라서는 안 됩니다. 또한 극한의 성질 (사칙연산)과 달리, 조임정리는 f(x) 자체의 극한을 계산식으로 구하는 것이 아니라 위아래에서 값을 "가둬서" 간접적으로 구한다는 점에서 접근 방식이 다릅니다.