Euklid'ischer Punktraum
Der euklidische Punktraum
Motivation
Euklidische Vektorräume dienen oft als Modelle für den euklidischen Raum. Die Elemente des Vektorraums werden dann je nach Kontext als Punkte oder Vektoren bezeichnet. Es wird nicht zwischen Punkten und ihren Ortsvektoren unterschieden. Rechnerisch kann dies von Vorteil sein. Begrifflich ist es jedoch unbefriedigend:
- Aus geometrischer Sicht sollten Punkte und Vektoren begrifflich unterschieden werden.
- Vektoren können addiert und mit Zahlen multipliziert werden, Punkte aber nicht.
- Punkte werden durch Vektoren verbunden bzw. ineinander übergeführt.
- Im Vektorraum gibt es ein ausgezeichnetes Element, den Nullvektor. In der euklidischen Geometrie sind aber alle Punkte gleichberechtigt.
Beschreibung
Abhilfe schafft das Konzept des euklidischen Punktraums. Dies ist ein affiner Raum über einem euklidischen Vektorraum. Hier unterscheidet man Punkte und Vektoren.
- Die Gesamtheit der Punkte bildet den euklidischen Punktraum. Dieser wird meist mit , , oder bezeichnet. (Das hochgestellte ist kein Exponent, sondern ein Index, der die Dimension kennzeichnet. ist also kein kartesisches Produkt.)
- Die Gesamtheit aller Vektoren bildet einen euklidischen Vektorraum .

- Zu je zwei Punkten und existiert genau ein Verbindungsvektor, der mit bezeichnet wird.
Der Verbindungsvektor eines Punktes mit sich selbst ist der Nullvektor: - Ein Punkt kann durch einen Vektor in eindeutiger Weise in einen Punkt übergeführt werden. Dieser wird oft mit bezeichnet. (Dies ist eine rein formale Schreibweise. Das Pluszeichen bezeichnet keine Vektorraumaddition, und auch keine Addition auf dem Punktraum.)
Der Nullvektor führt jeden Vektor in sich selbst über: - Führt der Vektor den Punkt in den Punkt über und der Vektor den Punkt in den Punkt , so führt den Punkt in den Punkt über. Dies kann wie folgt ausgedrückt werden:
In der Sprache der Algebra bedeuten diese Eigenschaften: Die additive Gruppe des Vektorraums operiert frei und transitiv auf der Menge .
Längen, Abstände und Winkel

Streckenlängen, Abstände zwischen Punkten, Winkel und Orthogonalität können nun mit Hilfe des Skalarprodukts von Vektoren definiert werden:
Die Länge der Strecke und den Abstand der Punkte und definiert man als die Länge des Vektors :
Die Größe des Winkels definiert man als den Winkel zwischen den Vektoren und :
Zwei Strecken und sind genau dann orthogonal, wenn die zugehörigen Vektoren und orthogonal sind.
Abbildungen
Längenerhaltende Abbildungen eines euklidischen Punktraums auf sich heißen Isometrien, Kongruenzabbildungen (in der ebenen Geometrie) oder Bewegungen. Sie erhalten automatisch auch Winkel. Ist eine Bewegung, so existiert eine orthogonale Abbildung (lineare Isometrie) , so dass für alle Punkte und gilt: