Banachscher Fixpunktsatz

Definitionen:

(M, d) sei ein vollständiger metrischer Raum,

heißt Fixpunkt von f, wenn .
f heißt Kontraktion, wenn mit

Satz:

Eine Kontraktion besitzt einen eindeutig bestimmten Fixpunkt.