Ich denke die Abstandsfunktion ist so definiert
dA(x)=a∈Ainf∥x−a∥ Jetzt gilt weiter
∥x−a∥=∥x−a−y+y∥≤∥x−y∥+∥y−a∥ Daraus ergibt sich
dA(x)=a∈Ainf∥x−a∥≤∥x−y∥+a∈Ainf∥y−a∥=∥x−y∥+dA(y)
Also dA(x)−dA(y)≤∥x−y∥
Genauso zeigt man dA(y)−dA(x)≤∥x−y∥
Alos insgesamt ∣∣∣dA(x)−dA(y)∣∣∣≤∥x−y∥
Damit ist dA(x) lipschitzstetig und damit stetig.