Winkel/Skalarprodukt/Fokus auf C/Textabschnitt

Für von verschiedene Vektoren und in einem euklidischen Vektorraum folgt aus der der Ungleichung von Cauchy-Schwarz, dass

ist. Damit kann man mit Hilfe der trigonometrischen Funktion Kosinus (als bijektive Abbildung ) bzw. der Umkehrfunktion den Winkel zwischen den beiden Vektoren definieren, nämlich durch

Der Winkel ist also eine reelle Zahl zwischen und . Für mit dem reellen Standardskalarprodukt ist

und somit ist der Winkel zwischen und gleich