Citat:
Ursprungligen postat av
preben12
X är ett metriskt rum med metrik d och A⊂X är icke-tom och kompakt. Definerar avståndet från en punkt x∈X till mängden A som f(x) = d(x,A)= inf{d(x,a)|a∈A}. Detta är en kontinuerlig funktion, men hur visar jag det enklast? Försökt med δ,ε-definition för kontiniutet men får inte ihop det alls.
Givet två x, y ∈ X, så låt a och b vara så att d(x, A) = d(x, a) och d(y, A) = d(y, b) (dessa finns eftersom A är kompakt). Eftersom d(x, b) ≤ d(x, y) + d(y, b) ⇒ d(x, b) - d(y, b) ≤ d(x, y) så får man att
f(x) - f(y) = d(x, a) - d(y, b) ≤ d(x, b) - d(y, b) ≤ d(x, y)
Med samma argument får man att
f(y) - f(x) ≤ d(x, y)
vilket leder till att f är Lipschitz, alltså är den kontinuerlig.