바나흐 부동점 정리(Banach Fixed-point Theorem) 1922년 스테판 바나흐가 기술한 정리이다.

1 진술

Theorem — 완비거리공간에서 정의된 축약사상부동점은 유일하다.

2 증명