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 lk olarak onun tarafından 1922 yılında bulunmuştur.
Teorem
(X, d) boş olmayan, bir tam metrik uzay olsun. T : X → X, X üzerinde bir büzüşme olsun, yani negatif olmayan öyle bir q < 1 sayısı olsun ki tüm x, y 'ler için
Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.
olsun. O zaman T 'nin X'in içinde x* diye bir sabit noktası (yani T(x* ) = x* 'i sağlayan noktası) vardır, ve bu nokta biriciktir.