Banach sabit nokta teoremi
Banach sabit nokta teoremi metrik uzaylar teorisinde kullanılan önemli bir araçtır, belli koşulları sağlayan fonksiyonların sabit noktalarının olduğunu garanti eder ve bu sabit noktanın konstruktuf şekilde bulunmasını sağlar. Teorem Stefan Banach'ın (1892–1945) adıyla anılır ve ilk olarak onun tarafından 1922 yılında bulunmuştur. (X, d) boş olmayan, bir tam metrik uzay olsun.