Es sei ein - Vektorraum. Ein Skalarprodukt auf ist eine Abbildung mit den folgenden, für alle aus und alle aus gültigen Eigenschaften
Wegen (2) ergibt sich aus (3) auch
Man nennt (1) die positive Definitheit, (2) die Symmetrie und (3) mit (3') die Bilinearität von .
Man sagt, daß zwei Vektoren und aus orthogonal zueinander sind oder aufeinander senkrecht stehen, wenn gilt. Zwei Teilmengen und sind dann orthogonal, wenn dies für alle aus und alle aus gilt. Damit ist insbesondere die nur aus dem Nullvektor bestehende Menge orthogonal zu jeder Menge von Vektoren aus .
Beispiele für Skalarprodukte
Auf dem arithmetischen Vektorraum wird durch
ein Skalarprodukt definiert, das Standardskalarprodukt.
Man kann das erste Beispiel leicht variieren: Sind positive reelle Zahlen, dann definiert
ebenfalls ein Skalarprodukt auf .