Absolute Ebenen

Abstandsaxiome

Wir erweitern die Inzidenzebene um einige Axiomengruppen, um letztlich zur euklidischen Geometrie zu gelangen. Um sinnvoll "messen" zu können, versehen wir unsere Inzidenzebene zuerst mit einer Metrik, für die spezielle Eigenschaften gelten sollen. Sei im folgenden I=(P,G)\bm I=(\pset P,\pset G) eine Inzidenzebene und AA, BB und CC beliebige Punkte in ihr.
Abst1
P\pset P ist ein metrischer Raum, d.h. es gibt eine Abbildung ∣⋅∣:P×P→R|\cdot |: \pset P\cross \pset P\to \R mit folgenden Eigenschaften:
  1. ∣AB∣=0|AB|=0 gdw. A=BA=B
  2. ∣AB∣=∣BA∣|AB|=|BA| für alle Punkte AA, BB (Symmetrie)
  3. ∣AC∣≤∣AB∣+∣BC∣|AC|\le |AB|+|BC| für alle Punkte AA, BB, CC (Dreiecksungleichung)
Abst2
Drei Punkte AA, BB und CC sind genau dann kollinear, wenn eine der folgenden Gleichung gilt:
∣BC∣=∣BA∣+∣AC∣|BC|=|BA|+|AC| oder ∣AC∣=∣AB∣+∣BC∣|AC|=|AB|+|BC| oder ∣AB∣=∣AC∣+∣CB∣|AB|=|AC|+|CB|.
 
 

Beispiel

Die Inzidenzebenen aus Beispiel AV45 können so erweitert werden, dass sie den Axiomen Abst1 und Abst2 genügen. Man definiert dazu den Abstand zweier Punkte als
∣AB∣={0fallsA=B1fallsA≠B|AB|=\left\{ \matrix {0 &\text{falls} & A=B\\ 1 &\text{falls}&A\ne B} \right. .
Da alle Geraden zweielementige Mengen waren, besitzt das Axiom Abst2 keine Bedeutung.

Beispiel

Benutzt man in der euklidischen Koordinatenebene R2\R^2 für zwei Punkte P=(pxpy)P=\evec{p_x}{p_y} und Q=(qxqy)Q=\evec{q_x}{q_y} den euklidischen Abstand
∣PQ∣=(px−qx)2+(py−qy)2|PQ|=\sqrt{(p_x-q_x)^2+(p_y-q_y)^2}
so genügt dieser den Axiomen Abst1 und Abst2. Wir müssen dies nur für Abst2 zeigen, (für Abst1 siehe euklidische Metrik).

In der Mathematik gibt es keine Autoritäten. Das einzige Argument für die Wahrheit ist der Beweis.

K. Urbanik

Copyright- und Lizenzinformationen: Diese Seite ist urheberrechtlich geschützt und darf ohne Genehmigung des Autors nicht weiterverwendet werden.
Anbieterkеnnzeichnung: Mathеpеdιa von Тhοmas Stеιnfеld  • Dοrfplatz 25  •  17237 Blankеnsее  • Tel.: 01734332309 (Vodafone/D2)  •  Email: cο@maτhepedιa.dе
Datenschutzerklärung

 

Geometrie