巴拿赫不動點定理，又稱為壓縮映射定理或壓縮映射原理，是度量空間理論的一個重要工具。它保證了度量空間的一定自映射的不動點的存在性和唯一性，並提供了求出這些不動點的構造性方法。這個定理是以斯特凡·巴拿赫命名的，他在1922年提出了這個定理。