Einheitskreis/Metrik durch positiven Winkel/Aufgabe

Es sei

der Einheitskreis. Zeige, dass man auf eine Metrik definieren kann, indem man ()

als den positiven Winkel zwischen den zugehörigen Strahlen durch den Nullpunkt ansetzt.