볼차노-바이어슈트라스 정리 (Bolzano-Weierstrass Theorem)

한 줄 정의: 유계인 실수열은 반드시 수렴하는 부분수열을 가진다는 정리입니다.

쉽게 풀면

어떤 수열이 일정한 범위 안에서만 움직인다면, 그 수열 전체는 수렴하지 않더라도 그 안에서 항을 골라내어 수렴하는 수열을 만들 수 있습니다. 예를 들어 1, -1, 1, -1처럼 번갈아 나오는 수열은 수렴하지 않지만 홀수 번째 항만 뽑으면 항상 1이므로 수렴합니다. 이처럼 유계라는 조건만으로 수렴하는 부분수열의 존재가 보장된다는 것이 이 정리입니다.

왜 중요한가

수열의 수렴을 직접 보이기 어려울 때 부분수열을 확보하는 표준 수단이며, 최대·최소 정리 같은 해석학의 기초 정리를 증명하는 데 반복적으로 쓰입니다. 최적화나 미분방정식 논문에서 근사해의 수열로부터 실제 해를 추출할 때도 이 논법이 자주 등장합니다.

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

"근사해의 수열이 유계임을 보인 뒤, 볼차노-바이어슈트라스 정리를 적용하여 수렴하는 부분수열을 추출하였다."

조금 더 깊게 보면

증명은 구간을 반씩 계속 쪼개어 항이 무한히 많이 들어 있는 쪽을 택하는 구간 축소법으로 이루어지며, 실수의 완비성이 결정적으로 사용됩니다. 유한 차원 실공간에서는 각 좌표마다 이 과정을 반복하여 그대로 확장되지만, 무한 차원 공간에서는 성립하지 않습니다. 이 정리는 유계이고 닫힌 집합이 컴팩트하다는 성질을 수열의 언어로 표현한 것과 본질적으로 같습니다.

주의할 점

수열 전체가 수렴한다는 뜻이 아니라 수렴하는 부분수열이 존재한다는 뜻입니다. 또 유계 조건이 빠지면 성립하지 않으며, 무한 차원 노름공간에서는 유계 수열이 수렴 부분수열을 갖지 않을 수 있습니다.