Präeuklidische Ebene


Präeuklidische Ebene

Eine präeuklidische Ebene ist in der synthetischen Geometrie eine affine Ebene über einem Körper, dessen Charakteristik nicht 2 ist und auf der eine Orthogonalitätsrelation zwischen den Geraden definiert ist.

Eine solche Orthogonalitätsrelation ist genau dann erklärbar, wenn der Körper mehr als eine Quadratklasse hat. Die möglichen Orthogonalitätsrelationen können durch die Quadratklasse ihrer Orthogonalitätskonstanten klassifiziert werden. In einer präeuklidischen Ebene können senkrechte Achsenspiegelungen und Winkelhalbierende definiert werden, letztere müssen aber nicht für alle Winkel existieren. Liegt die Orthogonalitätskonstante in der Quadratklasse von -1, dann existieren in der präeuklidischen Ebene Quadrate (die geometrischen Figuren) und es kann ein kartesisches Koordinatensystem eingeführt werden. Existieren Winkelhalbierende für jedes schneidende Geradenpaar, dann wird die präeuklidische Ebene als frei bewegliche Ebene bezeichnet.

Jede frei bewegliche Ebene ist eine präeuklidische Ebene mit Quadraten, jede euklidische Ebene im Sinne der synthetischen Geometrie ist eine frei bewegliche Ebene.

Eine präeuklidische Ebene wird in der Literatur auch als verallgemeinerte euklidische Ebene bezeichnet.

Der vorliegende Artikel nennt die Axiome, durch die eine Orthogonalitätsrelation auf einer affinen Ebene in der synthetischen Geometrie gekennzeichnet wird. Im einzelnen werden hier aber nur Folgerungen dieser Orthogonalität für eine pappussche Ebene, die dem affinen Fano-Axiom genügt, also eine präeuklidische Ebene, näher erläutert, die mit einer Orthogonalität ausgestattet bereits viele Eigenschaften einer euklidischen Ebene teilt.

Inhaltsverzeichnis

Definitionen und Eigenschaften

Orthogonalität

Eine zweistellige Relation \perp („ist senkrecht zu“) auf der Menge der Geraden einer affinen Ebene heißt Orthogonalitätsrelation, wenn sie folgende Eigenschaften besitzt:

  1. Zu jeder Geraden g existiert mindestens eine Gerade h mit g\perp h.
  2. Aus g\perp h folgt h\perp g.
  3. Ist g\perp h, so gilt h'\parallel h genau dann, wenn g\perp h'.
  4. Für keine Gerade g ist g\perp g.

Gelegentlich wird in der Literatur das 4. Axiom fortgelassen. Eine Gerade, die zu sich selbst senkrecht ist, heißt isotrop, sie ist dann nach dem 3. Axiom genau zu allen ihren Parallelen senkrecht.

Gleichwertig kann man auf der Menge der Richtungen (Parallelenscharen) U der affinen Ebene eine Orthogonalitätsabbildung f:U\rightarrow U definieren, von der gefordert wird, dass sie bijektiv, involutorisch und, wenn die Ortogonalitätsrelation keine isotropen Geraden erlauben soll, gleichwertig zum 4. Axiom auch fixelementfrei sein muss.

Schon aufgrund der ersten 3 Axiome ergibt sich: Zu jeder Geraden g und jedem Punkt P gibt es genau eine Senkrechte zu g durch P.

→ Diese axiomatische Definition verallgemeinert den Begriff Orthogonalität der ebenen Geometrie. Für den zweidimensionalen Fall einer Ebene verallgemeinert sie den Orthogonalitätsbegriff der linearen Algebra und der analytischen Geometrie.

Präeuklidische Ebene

Für eine affine Translationsebene mit Orthogonalitätsrelation (alle 4 Axiome), die dem affinen Fano-Axiom genügt, in der also keine Translation involutorisch ist, sind folgende Sätze äquivalent:

  • der Höhenschnittpunktsatz: „In jedem Dreieck schneiden sich die Höhen in einem Punkt, dem Höhenschnittpunkt.“ und
  • der Mittellotensatz: „In jedem Dreieck schneiden sich die Mittellote der drei Seiten (die Mittelsenkrechten der euklidischen Geometrie) in einem Punkt.“ – Dies ist in der euklidischen Geometrie der Mittelpunkt des Umkreises.

Gilt einer dieser gleichwertigen Sätze für eine affine Translationsebene ohne involutorische Translationen mit Orthogonalitätsrelation, so folgt, dass in ihr der große affine Satz von Pappos gilt, das heißt, sie ist eine pappussche Ebene und isomorph zu einer affinen Ebene über einem Körper K, dessen Charakteristik nicht 2 ist. Eine solche affine Ebene, also eine pappussche Ebene mit einer fixelementfreien Orthogonalitätsabbildung, in der das Fano-Axiom und der Höhenschnittpunktsatz gilt, wird als präeuklidische Ebene oder verallgemeinerte euklidische Ebene bezeichnet.

→ Der Begriff der präeuklidischen Ebene verallgemeinert den Begriff der frei beweglichen Ebene, der im Artikel Pythagoreischer Körper, und den noch spezielleren Begriff der euklidischen Ebene der im Artikel Euklidischer Körper erläutert wird.

Orthogonalitätskonstante

In einer präeuklidischen Ebene A kann die Orthogonalitätsabbildung durch eine Orthogonalitätskonstante gekennzeichnet werden. Die Ebene wird, wie im Artikel Ternärkörper beschrieben, mit einem Koordinatensystem (O,E1,E2) versehen und zwar so, dass die Koordinatenachsen senkrecht zueinander sind (OE_1\perp OE_2), damit wird der Koordinatenkörper K mit der ersten Koordinatenachse identifiziert. Dann ordnet die Orthogonalitätsabbildung der Parallelenschar mit dem Steigungsfaktor a\in K^* \left( g_{(a;d)}: a\cdot x_2+x_1=d;\;d\in K\right) die Parallelenschar mit der Steigung \frac{c}{a} zu, den Parallelen zur ersten die zur zweiten Koordinatenachse und umgekehrt. Die Zahl c\in K^* wird als Orthogonalitätskonstante bezeichnet. Sie ist eindeutig bis auf eine Multiplikation mit einer Quadratzahl, d.h. sie wird durch Wahl eines anderen rechtwinkligen Koordinatensystems zu \overline{c}=c\cdot k^2 mit k\in K^*. Die Menge Q_c=\lbrace c\cdot k^2 \,|\;  k\in K^* \rbrace wird als die Quadratklasse von c bezeichnet. Genau die Zahlen aus derselben Quadratklasse führen zu äquivalenten Orthogonalitätsrelationen. - Geometrisch äquivalent in dem Sinn, dass die Orthogonalitätskonstante der einen Orthogonalität durch Wahl eines geeigneten Koordinatensystems in die der anderen umgewandelt wird. Die äquivalenten Orthogonalitätsabbildungen ordnen im allgemeinen einer bestimmten Richtung jeweils unterschiedliche orthogonale Richtungen zu!

In einer präeuklidischen Ebene liegt die Orthogonalitätskonstante nie in der Quadratklasse von 1,\; Q_{1}=\lbrace k^2\,|\;  k\in K^*\rbrace, sonst würde eine isotrope Gerade existieren. Umgekehrt wird durch Wahl eines Koordinatensystems in der affinen Ebene A = K2 über einem Körper K (\operatorname{char}(K)\neq 2) und Wahl einer Orthogonalitätskonstanten c\in K^*\setminus Q_1 auf A eine eindeutige Orthogonalitätsrelation eingeführt, mit der A den Höhenschnittpunktsatz erfüllt. Für jeden Körper K, dessen Charakteristik nicht 2 ist und der mindestens zwei verschiedene Quadratklassen besitzt, kann so die affine Ebene K2 zu einer präeuklidischen Ebene gemacht werden.

Kreise

In einer präeuklidischen Ebene lässt sich eine Äquivalenzrelation der Abstandsgleichheit von einem bestimmten Punkt M so definieren:

  • Zwei Punkte heißen abstandsgleich zu M, falls sie gleich sind oder ihr Mittellot durch M geht.

Jede Klasse von zu M abstandsgleichen Punkten wird als ein Kreis mit Mittelpunkt M oder kürzer als ein Kreis um M bezeichnet. Den Kreis {M}, der nur aus dem Mittelpunkt besteht, nennt man Nullkreis. Für alle „Kreise“, die nicht Nullkreise sind, gelten der Satz des Thales und seine Umkehrung sinngemäß. Insbesondere enthält jeder vom Nullkreis verschiedene Kreis mindestens 3 nicht kollineare Punkte und drei verschiedene Punkte eines Kreises sind niemals kollinear. Der Mittelpunkt M ist durch eine Äquivalenzklasse von zu M abstandsgleichen Punkten eindeutig bestimmt – bereits durch 3 verschiedene Punkte aus der Klasse, sofern sie nicht der Nullkreis ist.

Bei dieser Verallgemeinerung des Kreisbegriffs wird der Mittellotensatz zur Definition des Kreises verwendet. Da ein Kreis als Äquivalenzklasse durch die Wendung „Kreis durch A mit Mittelpunkt M“ eindeutig beschrieben ist, können in einer präeuklidischen Ebene die klassischen „Konstruktionsschritte mit Zirkel und Lineal“ formuliert und durchgeführt werden. Allerdings ist die Frage, ob und wann sich zwei Kreise schneiden oder ob auch nur ein Kreis eine seiner Zentralen (Geraden durch seinen Mittelpunkt) schneidet, in jedem Einzelfall neu zu prüfen! → Siehe dazu weiter unten das Beispiel der affinen Ebene über den rationalen Zahlen mit der „üblichen“ Orthogonalität.

Längenklassen

Die Kreise in einer präeuklidischen Ebene sind Invarianten unter Parallelverschiebungen (Translationen): Durch die Translation \overrightarrow{MN} wird ein Kreis mit Mittelpunkt M auf einen Kreis mit Mittelpunkt N abgebildet. So lässt sich ein Kreis als Repräsentant einer „Länge“ verwenden: Zwei gerichtete Strecken (M,A) und (N,B) gehören zur gleichen Längenklasse (kurz: „sind gleich lang“), wenn die Translation \overrightarrow{MN} einen Kreis um M, der A enthält, in einen Kreis um N überführt, der B enthält. Da in einer präeuklidischen Ebene zur gerichteten Strecke (M,A) (aufgrund des Fano-Axioms) eine Punktspiegelung an ihrer Mitte definiert werden kann, lässt sich zeigen, dass dieser Längenbegriff von der Reihenfolge der Punkte in (M,A) unabhängig ist, das heißt (M,A) und (A,M) gehören immer zur gleichen Längenklasse.

Im allgemeinen können zwei Längenklassen in der präeuklidischen Ebene nicht der Größe nach verglichen werden und eine gerichtete „Strecke“ (M,A) ist nur ein Paar von Punkten. Um den Begriff einer „Strecke“ im Sinne von „Menge der Punkte zwischen M und A“ definieren zu können, werden Anordungsaxiome benötigt, die in vielen präeuklidischen Ebenen nicht erfüllt werden können.

Quadrate

Ein Quadrat lässt sich allein mit Begriffen der Orthogonalität definieren als ein nichtentartetes Parallelogramm mit aufeinander senkrechten Seiten und Diagonalen. In einer präeuklidischen Ebene existiert genau dann ein Quadrat, wenn die Orthogonalitätskonstante in der Quadratklasse von − 1 liegt. Die Existenz von Quadraten kann als zusätzliches Axiom angesehen werden: Es ist unabhängig von den Axiomen einer präeuklidischen Ebene.

In einer präeuklidischen Ebene mit Quadraten kann auf zwei beliebigen, zueinander senkrechten Achsen ein Koordinatensystem (O,E1,E2) so ausgewählt werden, dass die Einheitspunkte zusammen mit ihren Punktspiegelbildern am Ursprung ein Quadrat

\!\, E_1(1|0);\;E_2(0|1);\;E_1'(-1|0);\;E_2'(0|-1)

bilden. Dazu müssen die Einheitspunkte E1,E2 auf den zueinander senkrechten Achsen durch O so gewählt werden, dass ihr Mittellot durch den Ursprung geht - dies ist genau dann möglich, wenn Quadrate existieren. Ein solches Koordinatensystem heißt ein kartesisches Koordinatensystem der präeuklidischen Ebene mit Quadraten. In einem kartesischen Koordinatensystem nimmt die Orthogonalitätskonstante den Wert -1 an.

→ Vergleiche den Hauptartikel kartesisches Koordinatensystem.

Beispiele und Gegenbeispiele

  • Die euklidische Ebene \R^2 (und jede Ebene über einem anderen euklidischen Körper) ist mit ihrem üblichen Orthogonalitätsbegriff eine präeuklidische Ebene mit Quadraten. Da die reellen Zahlen und allgemeiner jeder euklidische Körper nur zwei Quadratklassen Q1 und Q − 1 haben, ist hier die gewöhnliche bis auf Koordinatentransformation die einzig mögliche Orthogonalität. Mit dieser Orthogonalität werden alle Koordinatenebenen über euklidischen Körpern frei beweglich.
  • Die affine Ebene \C^2 über den komplexen Zahlen kann nicht zu einer präeuklidischen Ebene gemacht werden, da der Körper \C nur eine Quadratklasse hat, das gilt entsprechend für jeden algebraisch abgeschlossenen Körper.
  • Die affine Ebene \Q^2 über den rationalen Zahlen wird durch die übliche Orthogonalität mit der Orthogonalitätskonstanten c = − 1 zu einer präeuklidischen Ebene mit Quadraten. Diese Ebene ist aber nicht frei beweglich. Wählt man als Orthogonalitätskonstante irgendeine positive Nichtquadratzahl c oder deren Gegenzahl c, dann wird sie zu einer präeuklidischen Ebene ohne Quadrate.
  • Ist K=\Z /p\Z der Restklassenkörper zu einer ungeraden Primzahl p, dann gibt es genau zwei Quadratklassen in K. Daher kann die pappusssche Ebene K2 (bis auf Koordinatentransformation) auf genau eine Art zu einer präeuklidischen Ebene gemacht werden. Diese enthält genau dann Quadrate, wenn − 1 ein quadratischer Nichtrest modulo p ist, wenn also die Primzahl die Form p=4\cdot k+3,\; k\in \N_0 hat. In keinem Fall sind diese Ebenen frei beweglich.
  • Der quadratische Zahlkörper K=\Q(i) hat unendlich viele Quadratklassen. Die Quadratklassen, die keine Quadratzahl enthalten (alle außer Q1), führen als Orthogonalitätskonstanten zu präeuklidischen Ebenen (K^2,\perp), die nicht durch eine Koordinatentransformation ineinander überführt werden können. Keine dieser präeuklidischen Ebenen enthält ein Quadrat, denn in diesem Körper ist Q − 1 = Q1.

Literatur

  • Wendelin Degen und Lothar Profke: Grundlagen der affinen und euklidischen Geometrie. Teubner, Stuttgart 1976, ISBN 3-519-02751-8.
  • Günter Pickert: Deduktive Geometrie im Gymnasialunterricht. In: Mathematische Semesterberichte X, S. 202–223. Springer, 1964.
  • Lothar Profke: Von der affinen zur euklidischen Geometrie mit Hilfe einer Orthogonalitätsrelation. In: Der Mathematikunterricht 22:4 (Axiomatik affiner und euklidischer Ebenen), 36-86. Friedrich, Hannover 1976.

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Winkelhalbierende — In der ebenen Geometrie ist die Winkelhalbierende (auch Winkelsymmetrale genannt) eines Winkels die Halbgerade, die durch den Scheitelpunkt des Winkels läuft und das Winkelfeld in zwei deckungsgleiche Teile teilt. Ein schneidendes Geradenpaar… …   Deutsch Wikipedia

  • Euklidischer Körper — Ein euklidischer Körper ist ein Körper (im Sinne der Algebra), der ein geordneter Körper ist und in dem jedes nichtnegative Element eine Quadratwurzel hat. Jeder reell abgeschlossene Körper ist euklidisch und jeder euklidische Körper ist ein… …   Deutsch Wikipedia

  • Pythagoreischer Körper — In der Mathematik bezeichnet ein Körper eine Menge von Elementen („Zahlen“), auf der die vier Grundrechenarten gemäß gewisser Regeln anwendbar sind. Dieser Körper wird als pythagoreisch[1] bezeichnet, wenn zusätzlich jede (endliche) Summe von… …   Deutsch Wikipedia

  • Quadrat (Geometrie) — Quadrat mit Seitenlänge a und Diagonale d In der Geometrie ist ein Quadrat (veraltet auch Geviert) ein spezielles Polygon, nämlich ein ebenes, konvexes und regelmäßiges Viereck. Das Quadrat ist ein Sonderfall des Parallelogramms und des Trapezes …   Deutsch Wikipedia

  • Quadratklasse — In der Algebra sind Quadratklassen die Äquivalenzklassen einer bestimmten Äquivalenzrelation, der quadratischen Äquivalenz in einer kommutativen Gruppe. Sie sind dann die Nebenklassen der Untergruppe der Quadrate in dieser Gruppe. Das Konzept der …   Deutsch Wikipedia

  • Ternärkörper — Ein Ternärkörper ist eine algebraische Struktur, die in der synthetischen Geometrie als Koordinatenbereich einer beliebigen affinen Ebene dient. Als Menge besteht der Ternärkörper dabei aus den Punkten einer fest gewählten Geraden der Ebene,… …   Deutsch Wikipedia

  • Affine Translationsebene — Als affine Translationsebene oder kurz Translationsebene wird in der synthetischen Geometrie eine affine Ebene dann bezeichnet, wenn ihre Translationsgruppe scharf einfach transitiv auf ihr operiert und sie daher weitgehend durch diese Gruppe… …   Deutsch Wikipedia

  • Hilberts Axiomensystem der euklidischen Geometrie — David Hilbert verwendet für seine Axiomatische Grundlegung der euklidischen Geometrie (im dreidimensionalen Raum) „drei verschiedene Systeme von Dingen“, nämlich Punkte, Geraden und Ebenen, und „drei grundlegende Beziehungen“, nämlich liegen,… …   Deutsch Wikipedia

  • Kongruenzabbildung — Ein Rechteck und ein rechtwinkliges Dreieck (1) mit drei zur Originalfigur kongruenten Figuren; die vermittelnden Kongruenzabbildungen sind im Gegenuhrzeigersinn Achsenspiegelung (2) Verschiebung (3) Drehung (4) Unter einer Kongruenzabbildung… …   Deutsch Wikipedia

  • Kreis (Geometrie) — Leonardo da Vincis: Der vitruvianische Mensch Der Mensch im Mittelpunkt eines Kreises und eines Quadrates. Der Nabel des Menschen ist der Mittelpunkt des Kreises. Der Begriff Kreis gehört zu den wichtigsten Begriffen der euklidischen Geometrie.… …   Deutsch Wikipedia


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.