Vektorraum/K/Halbnorm/Halbmetrik/Definition

Halbmetrik in Vektorraum mit Halbnorm

Auf einem -Vektorraum mit einer Halbnorm definiert man die zugehörige Halbmetrik durch