Euklidischer Vektorraum/Definition