R^n/Abgeschlossene Menge/Stark kontrahierend/Fixpunkt/Aufgabe
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.