R^n/Abgeschlossene Menge/Stark kontrahierend/Fixpunkt/Aufgabe

Aus Wikiversity

Es sei eine abgeschlossene Teilmenge und sei

eine stark kontrahierende Abbildung. Zeige, dass für jedes die rekursiv definierte Folge

gegen ein (von der Folge unabhängiges) konvergiert, und dass dieses ein Fixpunkt

von ist.