Ich würde mit der Erkenntnis arbeiten:
" Ein Punkt x gehört zum Rand der Menge M
<==>
Jede Umgebung von x enthält sowohl einen
Punkt von M als auch einen des Komplementes von M "
Sei also mit den vorgegebenen Bedingungen z ∈ ∂Ur(x) = { y∈ℝn : ΙΙx-yΙΙ =r}.
Und ε>0 (o.B.d.A. ε<r ) und Uε(z) = { y∈ℝn : ΙΙy-zΙΙ < ε} die ε-Umgebung von z.
Dann ist z ∉ Ur(x) , weil ΙΙx-zΙΙ =r , also ΙΙx-zΙΙ <r sicher falsch ist.
Andererseits enthält Uε(z) das Element v = z - ( z - x ) * (ε/2)/ || z-x||
(Kann man so machen, da ε<r , also || z-x|| > 0 .)
Denn es gilt || z - ( z - x ) * (ε/2)/ || z-x|| - z ||
= || - ( z - x ) * (ε/2)/ || z-x|| ||
= ( (ε/2)/ || z-x|| ) * || ( z - x ) ||
= (ε/2) < ε.