betrachte den Operator G(x)=Fx+c
es gilt ||G(x)||<K*||x||
sei die Metrik d induziert durch d(x,y)=||x-y||
es gilt d(G(x),G(y))=||G(x)-G(y)||=||F(x)-F(y)||=||F(x-y)||<K*||x-y||=K*d(x,y)
also d(G(x),G(y))<K*d(x,y)
für K∈[0,1) handelt es sich bei G um eine kontrahierende Abbildung.
Also sind die Voraussetzungen des Banachschen Fixpunktsatzes erfüllt und es gibt ein eindeutiges
x∈V , sodass G(x)=F(x)+c=x