Tamaschke-Axiom
# Tamaschke-Axiom

In der Affinen Geometrie, einem der Teilgebiete der Mathematik, ist das Tamaschke-Axiom (oder auch Dreiecksaxiom) eine derjenigen Aussagen, mit deren Hilfe sich die dort auftretenden Inzidenzgeometrien axiomatisch festlegen lassen. Das Axiom ist nach dem Tübinger Mathematiker Olaf Tamaschke benannt, der als erster seine Bedeutung für die Geometrie erkannte.

## Formulierung des Axioms

Das Tamaschke-Axiom fordert für Inzidenzgeometrien ${\mathcal {X}}$, die dem Verbindungsaxiom und dem Parallelenaxiom genügen, die folgende zusätzliche Eigenschaft:

    Sind in ${\mathcal {X}}$ fünf Raumpunkte $A,B,C,A^{*},B^{*}\in {\mathcal {X}}$ gegeben, wobei $A,B,C$ nicht auf einer gemeinsamen Geraden liegen sollen, und sind hier die Geraden $AB$ und $A^{*}B^{*}$ parallel, so treffen sich die Parallele zu $AC$ durch $A^{*}$ und die Parallele zu $BC$ durch $B^{*}$ in einem gemeinsamen Schnittpunkt $C^{*}$.

## Axiomatik der affinen Räume

Gemäß der Darstellung von Albrecht Beutelspacher sind die affinen Räume genau diejenigen Inzidenzgeometrien, in denen sowohl

* das Verbindungsaxiom

als auch

* das Parallelenaxiom

als auch

* das Tamaschke-Axiom

erfüllt sind.

## Anmerkungen und Erläuterungen

* Die obige Bedingung, dass $A,B,C$ nicht auf einer gemeinsamen Gerade liegen sollen, bedeutet – anschaulich!– nichts weiter, als dass die Punkte $A,B,C$ ein Dreieck bilden. Dies erklärt, warum das Tamaschke-Axiom auch als Dreiecksaxiom bezeichnet wird.
* Geht man den in der Analytischen Geometrie üblichen Weg, die affinen Räume ausgehend von den zugehörigen Vektorräumen der Verbindungsvektoren zu definieren, so ergibt sich das Tamaschke-Axiom in diesem Rahmen als Lehrsatz.
* Für eine axiomatische Begründung der affinen Raumgeometrie im engeren Sinne reichen die obigen Axiome nicht aus. Hier muss man – nicht zuletzt wegen der Inzidenzen zwischen Ebenen und Geraden sowie Ebenen und Raumpunkten − eine erweiterte Axiomatik schaffen.
