Eine Menge von Punkten mit einer transitiven freien Wirkung eines Vektorraums, die Translationen modelliert ohne eine besondere Ursprungspunkt; Vektoren repräsentieren Differenzen zwischen Punkten, und Parallelität ist definiert, während kein kanonischer Nullpunkt existiert.

Prinzip

Ein affiner Raum A über einem Vektorraum V erfüllt: Für p ∈ A und v ∈ V gibt es p+v ∈ A, und für zwei Punkte p,q ist q−p ein Vektor in V; affine Kombinationen bewahren die Eigenschaft, dass die Summe der Koeffizienten eins ist.

Demonstration

Die euklidische Ebene ohne festgelegten Ursprung ist eine affine Ebene: Koordinaten entstehen durch Wahl eines Bezugspunkts und einer Basis, doch geometrische Aussagen über Parallelität oder Baryzenter sind unabhängig von dieser Wahl.

Fehlanwendung

Ein affiner Raum als Vektorraum zu behandeln, indem man willkürlich einen Ursprung festlegt und vergisst, dass dieser nicht kanonisch ist, verschleiert Invarianzeigenschaften und führt dazu, koordinatenabhängige Aussagen fälschlich als intrinsisch darzustellen.

Konsequenz

Die affine Struktur fokussiert auf invariante geometrische Konzepte (Kollinearität, Parallelität, Baryzenter) und bildet die Grundlage für projektive Konstruktionen und koordinatenfreie Formulierungen in Geometrie und angewandten Feldern.

Umkehrung

Das Gegenteil ist ein Vektorraum mit ausgezeichnetem Ursprung; die Einführung eines kanonischen Nullpunkts und linearer Struktur beseitigt die ursprungsfreie Symmetrie und verändert, welche Operationen intrinsisch sind.

Abgrenzung

Affine Räume setzen einen zugrundeliegenden Vektorraum der Translationen voraus, besitzen jedoch keine Metrik oder Skalarprodukt, sofern nicht zusätzlich festgelegt; sie schließen Quotienten aus, die Parallelität zusammenfallen ließen (z. B. gewisse projektive Quotienten).

Semantische Spannung

Spannung besteht zwischen dem 'affinen' und dem 'vektoralen' Blickwinkel: Vektoren kodieren Differenzen, Punkte besitzen keinen Ursprung; viele Autoren verwischen diese Grenze durch Koordinatenwahl, was Reibung zwischen koordinatenabhängigen und -unabhängigen Beschreibungen erzeugt.

Synthese

Ein affiner Raum ist der ursprungsfreie geometrische Rahmen, in dem Punkte und Translationsvektoren koexistieren: Er bewahrt Parallelitäts- und Baryzentrumsrelationen und verschiebt die Wahl eines Ursprungs oder einer Metrik, wodurch koordinatenfreie Geometrie mit klassischen Konstruktionen verbunden wird.