Auch für a=0 ist hat die Funktion keinen Fixpunkt. Unter anderem weil keine Kontraktion vorliegt. Es ist die Bedingung
|f(x1)-f(x2)|<=|x1-x2| ist für die Identität scharf. Das heißt ich finde keine Konstante L in [0,1) sodass folgende Bedingung gelten würde: |f(x1)-f(x2)|<=L*|x1-x2|
natürlich kann man auch für a ungleich 0 zeigen, dass die Abbildung keine Kontraktion ist.
|f(x1)-f(x2)|=|x1-a-x2+a|=|x1-x2|<=|x1-x2| ist trivialerweise ebenfalls eine scharfe Abschätzung. Analog zu oben gilt, das ich keine Konstante L finden kann, sodass die Abschätzung gilt. Somit ist auch die Abbildung keine Kontraktion.
lg