바나흐 고정점 정리 (Banach Fixed-Point Theorem)

한 줄 정의: 완비 거리공간에서 거리를 일정 비율로 줄이는 사상은 고정점을 하나만 갖습니다.

쉽게 풀면

두 점을 넣으면 그 사이 거리가 항상 일정 비율, 즉 1보다 작은 비율 이하로 줄어드는 함수를 축약사상이라고 합니다. 이런 함수를 완비 거리공간에서 반복해서 적용하면 어떤 점에서 출발하든 같은 한 점으로 수렴하며, 그 점은 함수를 적용해도 변하지 않는 고정점입니다. 계산기에서 같은 버튼을 계속 눌렀을 때 값이 한 곳으로 수렴하는 현상이 이 정리의 전형적인 예입니다.

왜 중요한가

해의 존재성과 유일성을 동시에 보장하면서, 해를 구하는 반복 알고리즘까지 제공한다는 점에서 매우 강력합니다. 상미분방정식 해의 존재·유일성 정리와 수치해석의 반복법 수렴 증명이 모두 이 정리를 골격으로 사용합니다.

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

"사상이 축약 조건을 만족함을 보임으로써 바나흐 고정점 정리에 의해 해가 유일하게 존재함을 증명하였다."

조금 더 깊게 보면

축약 비율을 k라 하면 반복 수열은 k의 거듭제곱 속도로 수렴하므로, 오차의 사전 추정까지 가능합니다. 이를 선형수렴이라 부르며, 뉴턴-랩슨법의 이차수렴과 비교됩니다. 완비성이 없으면 수열이 수렴할 곳이 공간 밖에 있을 수 있어 정리가 무너지고, 축약 조건이 거리가 항상 줄어든다는 정도로 약해지면 고정점이 존재하지 않을 수도 있습니다.

주의할 점

조건을 두 점 사이 거리가 줄어든다는 것으로만 이해하면 틀립니다. 1보다 작은 고정된 비율이 존재해야 하며, 이 차이가 정리의 성립 여부를 가릅니다. 브라우어 고정점 정리는 유일성을 주지 않는 다른 정리입니다.