Zur Eindeutigkeit des Fixpunktes:
Angenommen es gäbe zwei verschiedene Fixpunkte \(x_0\) und \(y_0\),
also \(g(x_0)=x_0\) und \(g(y_0)=y_0\).
Dann liefert die Lipschitzbedingung mit \(L<1\):
\(|x_0-y_0|=|g(x_0)-g(y_0)|< |x_0-y_0|\),
was nicht möglich ist.