Spis treści |
edytuj Definicja
Niech
oraz
będą przestrzeniami metrycznymi, zaś
odwzorowaniem między nimi. Przekształcenie f nazywamy kontrakcją lub odwzorowaniem zwężającym, jeżeli istnieje taka stała rzeczywista
, że dla dowolnych
zachodzi nierówność
. Innymi słowy, kontrakcja to odwzorowanie spełniające warunek Lipschitza ze stałą mniejszą od 1. Najmniejsza stała α, dla której powyższy warunek jest spełniony, bywa nazywana stałą kontrakcji.
edytuj Ciągłość
Każda kontrakcja, jako odwzorowanie lipschitzowskie, jest odwzorowaniem jednostajnie ciągłym, a więc w szczególności ciągłym.
edytuj Twierdzenie Banacha
Szczególnie ważny jest przypadek Y = X, gdy X jest niepustą przestrzenią zupełną, to na mocy twierdzenia Banacha o kontrakcji f ma dokładnie jeden punkt stały; co więcej, dla dowolnego punktu
, ciąg
jest zbieżny do wspomnianego punktu stałego.
