imported>Alex Writer WEH: /* growthexperiments-addlink-summary-summary:2|0|0 */

2025-05-24T13:09:49Z

growthexperiments-addlink-summary-summary:2|0|0

Neue Seite

[[Datei:Demi-plans.svg|mini|300px|Eine Gerade d und die zwei durch sie bestimmten Halbebenen. M und N liegen auf der gleichen Seite von d, während M und P auf verschiedenen Seiten liegen.]]
In der [[Elementargeometrie|elementaren Geometrie]] der Zeichenebene zerlegt jede Gerade die Ebene in zwei (offene) [[Halbebene]]n, die '''Seiten''' der Gerade, diese Beobachtung ist zunächst der Anschauung entnommen. Diese '''Seiteneinteilung''' lässt sich mathematisch beschreiben als [[Äquivalenzrelation]] auf der Menge aller Punkte der Ebene, die nicht auf der einteilenden Gerade liegen.

In der [[Analytische Geometrie|analytischen Geometrie]] kann dies präzisiert und verallgemeinert werden: In einem <math>n</math>-[[Dimension (Mathematik)|dimensionalen]] [[Affiner Raum|affinen Raum]] über einem [[Geordneter Körper|geordneten Körper]] liefert jede [[Hyperebene]], also jeder <math>n-1</math>-dimensionale Teilraum eine Seiteneinteilung des Gesamtraums in zwei Halbräume.

In der [[Synthetische Geometrie|synthetischen Geometrie]] können alle Seiteneinteilungen, die von Geraden einer [[Affine Ebene|affinen Ebene]] bestimmt sind, durch axiomatische Beschreibung einer '''Seiteneinteilungsfunktion''' eingeführt werden, mit der die Ebene zu einer '''schwach angeordneten Ebene''' wird. Eine solche Seiteneinteilungsfunktion erlaubt es dann, auf dieser Ebene eine '''schwache Zwischenbeziehung''' einzuführen, die durch ein zusätzliches Axiom zu einer '''Zwischenbeziehung''' im Sinne von [[Hilberts Axiomensystem der euklidischen Geometrie]] wird.<ref>Hilbert (1899), 1 §3: ''Axiome der Anordnung''</ref> Ebenen mit einer „starken“ Zwischenbeziehung, die den Hilbertschen Anordnungsaxiomen genügt, heißen '''angeordnete Ebenen'''. ''Schwache'' Seiteneinteilungsfunktionen existieren für [[Satz von Desargues|desarguesche]] affine Ebenen genau dann, wenn der [[Ternärkörper|Koordinatenschiefkörper]] der Ebene einen nichttrivialen quadratischen [[Charakter (Mathematik)|Charakter]] zulässt und lassen sich durch einen solchen Charakter eindeutig beschreiben. Jede Anordnung einer desargueschen Ebene entspricht eineindeutig einer Anordnung ihres Koordinatenschiefkörpers.

Dieser Artikel beschreibt hauptsächlich die Seiteneinteilung in einer affinen Ebene im Sinne der synthetischen Geometrie. Dabei wird der Begriff der Seiteneinteilung aus der analytischen Geometrie, der für Ebenen ein Spezialfall des synthetischen Begriffes ist, als Leitidee vorangestellt.

== Definitionen ==
=== Analytische Geometrie ===
Für eine übersichtliche Darstellung wird hier ein dreidimensionaler Raum zugrunde gelegt. Die Seiteneinteilung kann in gleicher Weise in jedem endlichdimensionalen Raum mit einer Hyperebene anstelle der Ebene vorgenommen werden. Sei <math>K</math> ein geordneter [[Körper (Algebra)|Körper]] und <math>A</math> der dreidimensionale affine Raum mit dem Koordinaten[[vektorraum]] <math>K^3</math>. Jede Ebene lässt sich durch eine inhomogene [[Ebenengleichung|Koordinatengleichung]] <math>a_1\cdot x_1+a_2\cdot x_2+a_3\cdot x_3-d=0</math> beschreiben. Das [[Vorzeichen (Zahl)|Vorzeichen]] der [[Affine Abbildung|affinen Funktion]] <math>f(x_1,x_2,x_2)=a_1\cdot x_1+a_2\cdot x_2+a_3\cdot x_3-d</math> liefert die Seiteneinteilung. Liefert diese Funktion für die Ortsvektoren von zwei Punkten Werte größer 0, dann liegen sie auf derselben Seite der durch <math>f=0</math> beschriebenen (Hyper-)Ebene, ebenso, wenn beide Werte kleiner als 0 sind. Ist einer der Werte kleiner und einer größer als 0, dann liegen die Punkte auf verschiedenen Seiten.

Obgleich die Punktkoordinaten und die (Hyper-)Ebenengleichung von dem gewählten [[Affine Koordinaten|Koordinatensystem]] abhängen, ändert sich die Seiteneinteilung bei einem Wechsel des Koordinatensystems nicht. Sie hängt allein von der Ordnung des geordneten Körpers ab und bestimmt diese sogar eindeutig.

=== Synthetische Geometrie ===
[[Datei:Geradenrelation.svg|mini|x140px|Zum 3. Axiom: Zwei verschiedene Geraden (rot), die die Verbindungsgerade PQ (blau) im gleichen Punkt T schneiden, liefern den gleichen Wert der Seiteneinteilungsfunktion für P und Q. Dies ermöglicht es, die Seiteneinteilungsfunktion zu einer (schwachen) Zwischenfunktion zu machen.]]
Sei <math>A</math> eine affine [[Inzidenzebene]], <math>G</math> die Menge ihrer Geraden und <math>\mathbf R</math> die Menge der Tripel
: <math>\mathbf R= \lbrace (g,P,Q)\in G\times A\times A |P\not\in g \land Q\not\in g\rbrace;</math>
dann heißt eine Abbildung <math>S: \mathbf R\rightarrow C_2</math> in die [[zyklische Gruppe]] <math>(C_2,\cdot)=\left(\lbrace -1,1\rbrace,\cdot\right)</math> eine (schwache) '''Seiteneinteilungsfunktion''', wenn folgende Axiome erfüllt sind:
# <math>S(g,P,Q)=S(g,Q,P).</math>
# <math>S(g,P,Q)\cdot S(g,Q,R) \cdot S(g,R,P)=+1.</math>
# Sind <math>P\neq Q; P,Q\not\in g; P,Q\not\in h</math> und <math>PQ,g,h</math> [[Kopunktalität|kopunktal]], dann ist <math>S(g,P,Q)=S(h,P,Q).</math>
# Sind <math>P\neq Q, PQ\parallel g</math> und <math>PQ\neq g</math>, so ist <math>S(g,P,Q)=+1.</math>
# Für jede Gerade <math>g</math> existieren Punkte mit <math>P,Q\not\in g</math> und <math>S(g,P,Q)=-1.</math>
Eine affine Inzidenzebene mit einer Seiteneinteilungsfunktion heißt '''schwach angeordnet'''.

Aus den ersten beiden Axiomen folgt, dass die Eigenschaft <math>S(g,P,Q)=+1</math> („auf der gleichen Seite liegen“) bei fester Gerade <math>g</math> eine Äquivalenzrelation für Punkte ist, die nicht auf der Geraden liegen. Das 4. Axiom besagt, dass Parallelen einer Geraden ganz auf einer Seite der Geraden liegen, das 5. Axiom fordert, dass es zu jeder Geraden zwei verschiedene Seiten gibt. Das 3. Axiom, das auch als ''Geradenrelation'' bezeichnet wird, fordert, dass die Seiteneinteilung, die eine schneidende Gerade <math>g</math> auf einer bestimmten Geraden <math>PQ</math> einführt, nur von dem Schnittpunkt <math>T\in g\cap PQ</math> abhängt.

=== Zusammenhang zwischen den Definitionen ===
Definiert man für eine affine Ebene über einem geordneten Körper die Seiteneinteilungsfunktion durch
: <math>S(g,P,Q)= \sgn (a_1\cdot p_1+a_2\cdot p_2-d) \cdot \sgn(a_1\cdot q_1+a_2\cdot q_2-d),</math>
wobei <math>\sgn</math> die [[Vorzeichenfunktion]] ist, <math>a_1\cdot x_1+a_2\cdot x_2-d=0</math> eine Gleichung der Gerade <math>g</math> und <math>P(p_1|p_2)</math> <math>Q(q_1|q_2)</math> die Koordinaten der Punkte sind, dann wird diese affine Ebene damit zu einer schwach angeordneten (sogar einer ''angeordneten'') Ebene im Sinne der synthetischen Geometrie und alle abgeleiteten Begriffe sind anwendbar.
Insbesondere sind die Seiteneinteilungen, die zwei unterschiedliche Geraden erzeugen, miteinander verträglich im Sinne des 3. Axioms – für schneidende Geraden – bzw. des 4. Axioms – für parallele Geraden.

== Eigenschaften und abgeleitete Begriffe ==
[[Datei:Hilbert rays half planes.svg|mini|Zum Begriff der Halbebene und Halbgerade. Die im Text beschriebene Halbebene ''Y'' ist hier nicht gekennzeichnet: Sie besteht aus allen Punkten der Geraden ''t'' (grün) und den Punkten „rechts“ von ''t''.]]
Die im Folgenden angegebenen Begriffe sind so im Lehrbuch von Degen<ref>Degen (1976)</ref> definiert. Abweichend hiervon gibt es in der Literatur unterschiedlich Konventionen darüber, ob eine Halbebene ohne Attribute „offen“ oder „abgeschlossen“ sein soll, also ob sie ihre „Randgerade“ enthält, ebenso darüber, ob eine „Halbgerade“ ihren Anfangspunkt enthält.<ref>Dazu etwa Lüneburg (1999)</ref>
* Für jede Gerade <math>g</math> existieren zwei disjunkte, nichtleere Mengen, die '''Seiten''' von <math>g</math>, wobei zwei Punkte <math>P,Q\in A\setminus g</math> genau dann zur gleichen Seite gehören, wenn <math>S(g,P,Q)=+1</math> ist.
* Die Seite von <math>g</math>, die einen bestimmten Punkt <math>P\in A\setminus g</math> enthält, wird als <math>gP^+</math> (vergleiche die Abbildung rechts: die Punktmenge <math>E=gP^+</math> ist rötlich gefärbt), die andere Seite als <math>gP^-</math> notiert.
* Es gilt <math>A=gP^+\;\;\!\!\dot\cup\;\;\!\!g\;\;\!\!\dot\cup\;\;\!\!gP^-.</math>
* Die Vereinigung <math>X=gP^+\cup g</math> wird als (abgeschlossene) '''Halbebene''' bezeichnet, die Seite als deren '''Inneres''' <math>X^\circ=gP^+</math>, die Gerade als deren '''Rand''' <math>\partial X=g</math>.
* Die Halbebenen <math>gP^+\cup g</math> und <math>gP^-\cup g</math> heißen '''zueinander entgegengesetzt'''.
* Der Schnitt zweier entgegengesetzter Halbebenen ist ihr gemeinsamer Rand.
* Eine Gerade, die zum Rand einer Halbebene parallel ist und mit der Halbebene mindestens einen Punkt gemeinsam hat, liegt ganz in der Halbebene.
* Eine Gerade ist genau dann nicht parallel zum Rand einer Halbebene, wenn sie Punkte der Halbebene enthält, aber nicht ganz in der Halbebene liegt.
* Der Durchschnitt einer Halbebene <math>Y</math> mit einer Geraden <math>g</math>, die nicht parallel zum Rand <math>\partial Y=t</math> ist, wird als '''Halbgerade''' bezeichnet, <math>T\in\partial Y \cap g</math> als ihr '''Anfangspunkt''', <math>g</math> als '''Trägergerade''' der Halbgeraden. (Vergleiche die Abbildung oben rechts: Die die Halbgerade ''h'' „ausschneidende Gerade“ ''t'' ist dort grün gekennzeichnet.) Zwei Halbgeraden, die als Durchschnitte von <math>g</math> mit zwei entgegengesetzten Halbebenen entstehen, heißen '''entgegengesetzt'''.
* Aufgrund des 3. Axioms der Seiteneinteilungsfunktion gibt es zu einer Geraden <math>g</math> und einem Anfangspunkt <math>T\in g</math> genau zwei Halbgeraden und diese hängen als Mengen nicht davon ab, welche Gerade <math>t</math> (<math>t\neq g</math>) durch <math>T</math> die definierenden entgegengesetzten Halbebenen ausschneidet.

Die hier definierten Begriffe lehnen sich an [[Topologie (Mathematik)|topologische]] Begriffe („Inneres“, „Rand“) an. Legt man die Menge aller Seiten (das „Innere“ für alle Halbebenen) als [[Subbasis]] zugrunde, dann wird dadurch auf der Ebene tatsächlich eine Topologie definiert. Enthält die Ebene unendlich viele Punkte, was für eine affine Ebene über einem geordneten Körper stets der Fall ist, dann gelten die definierten Begriffe auch im topologischen Sinn. In einer endlichen Ebene entsteht allerdings eine triviale, nämlich die [[diskrete Topologie]].

== Zwischenrelation ==
Zu jeder Seiteneinteilungsfunktion <math>S</math> auf einer affinen Ebene gibt es eine eindeutig bestimmte Abbildung <math>\overline S</math> auf der Menge der [[kollinear]]en Punktetripel der Ebene
: <math>\overline{\mathbf R}=\lbrace(T,P,Q)\in A\times A \times A| T,P,Q \quad\text{sind kollinear},T\neq P, T\neq Q\rbrace. </math>
Sie wird definiert, indem für irgendeine Gerade <math>g</math> durch <math>T</math>, die weder durch <math>P</math> noch durch <math>Q</math> geht,
: <math>\overline S(T,P,Q)=S(g,P,Q)</math>
gesetzt wird. Dass diese Definition unabhängig von der Wahl von <math>g</math> ist, folgt aus dem 3. Axiom für die Seiteneinteilungsfunktion. Die [[surjektiv]]e Funktion <math>\overline S:\, \overline{\mathbf R} \rightarrow C_2</math> heißt die von der Seiteinteilungsfunktion induzierte '''schwache Zwischenfunktion'''. Die schwache Zwischenfunktion ist invariant unter [[Parallelprojektion]]en.

[[Datei:Zwischenaxiom.svg|mini|240px|Zum Axiom (Z) einer schwachen Zwischenfunktion: In einem nichtentarteten Dreieck (rote Punkte) bilden 3 Punkte (blau), die ''zwischen'' unterschiedlichen Punktepaaren des Ausgangsdreiecks liegen, wieder ein nichtentartetes Dreieck.]]
Man sagt dann, „<math>T</math> liegt zwischen <math>P</math> und <math>Q</math>“, wenn <math>(T,P,Q)\in\overline{\mathbf R }</math> und <math>\overline{S}(T,P,Q)=-1</math> ist und nennt diese dreistellige Relation '''schwache Zwischenbeziehung'''.
Diese Relation erfüllt folgende Axiome (→ vergleiche dazu [[Hilberts Axiomensystem der euklidischen Geometrie#Axiome der Anordnung (Gruppe II)|Axiome der Anordnung (Gruppe II)]] in Hilberts Axiomensystem):
: (A1) Liegt <math>T</math> zwischen <math>P</math> und <math>Q</math>, dann sind die drei Punkte kollinear und <math>T</math> liegt auch zwischen <math>Q</math> und <math>P</math>.
: (A2) Sind <math>P</math> und <math>Q</math> verschiedene Punkte, so existiert ein Punkt <math>T</math>, der zwischen ihnen liegt.
: (A4, [[Axiom von Pasch]]) Sind <math>P_1,P_2,P_3</math> drei nicht kollineare Punkte, und ist <math>g</math> eine Gerade, die durch keinen dieser Punkte geht und einen Punkt zwischen <math>P_1</math> und <math>P_2</math> enthält, dann enthält <math>g</math> auch einen Punkt zwischen <math>P_2</math> und <math>P_3</math> oder einen zwischen <math>P_3</math> und <math>P_1</math>.
: (Z) Sind <math>P_1,P_2,P_3</math> drei nicht kollineare Punkte und <math>Q_1,Q_2,Q_3</math> Zwischenpunkte der drei Verbindungsstrecken dieses Dreiecks, dann sind auch <math>Q_1,Q_2,Q_3</math> nicht kollinear.

Das Axiom (Z) lässt sich auch gleichwertig als Ergänzung zu (A4), dem Axiom von Pasch formulieren: „…dann enthält <math>g</math> auch einen Punkt zwischen <math>P_2</math> und <math>P_3</math> oder einen zwischen <math>P_3</math> und <math>P_1</math>, ''niemals beides''!“ – Das „Oder“ in dem Axiom (A4) wird also durch (Z) zum ''ausschließenden Oder''.

Nun gilt: Genügt eine dreistellige Relation in einer affinen Inzidenzebene den Axiomen (A1), (A2), (A4) und (Z), dann existiert eine eindeutig bestimmte Seiteneinteilungsfunktion <math>S</math>, aus der sich diese Zwischenbeziehung über die von <math>S</math> induzierte Zwischenfunktion wie oben beschrieben definieren lässt. Die Seiteneinteilungsfunktion kann aus der Zwischenfunktion direkt berechnet werden:
:<math>S(g,P,Q)=\begin{cases}
+1,\;\text{ falls}\; P=Q \text{ oder } PQ\parallel g\\
\overline{S}(T,P,Q)\; \text{ mit } T\in g\cap PQ,\;\text{falls } P\neq Q\, \text{ und } PQ\not\parallel g.
\end{cases}</math>

== Schwache Anordnung auf desargueschen Ebenen ==
Eine desarguesche Ebene ist isomorph zu einer Koordinatenebene über einem [[Schiefkörper]] <math>K</math>. Zu drei kollinearen Punkten <math>T,P,Q</math> mit <math>T\neq P</math> gibt es immer genau ein Element <math>\alpha\in K</math>, den Streckungsfaktor <math>\alpha=\operatorname{SF}(T,P,Q)</math> mit <math>\alpha(\overrightarrow{TP})=\overrightarrow{TQ}</math>, umgekehrt gibt es zu jedem <math>\alpha\in K</math> ein kollineares Punktetripel mit <math>\alpha=\operatorname{SF}(T,P,Q)</math> (→ siehe dazu [[Affine Translationsebene]]).
Weil sowohl der Streckungsfaktor als auch die Zwischenfunktion invariant unter Parallelprojektionen ist, kann man eine wohldefinierte Zuordnung
:<math> K^*\rightarrow C_2,\quad \alpha \mapsto \overline{S}(T,P,Q);\quad \alpha=\operatorname{SF}(T,P,Q)</math>
definieren, die ein nichttrivialer quadratischer Charakter von <math>K</math> ist.

Umgekehrt kann jeder nichttriviale quadratische Charakter <math>\chi</math> des Schiefkörpers zur Definition einer schwachen Zwischenfunktion verwendet werden:
:<math> \overline{S}:\overline{\mathbf R}\rightarrow C_2,\quad (T,P,Q)\mapsto \chi\left(\operatorname{SF}(T,P,Q)\right).</math>

Jede schwache Seiteneinteilung auf einer desargueschen Ebene wird so durch einen nichttrivialen quadratischen Charakter des Koordinatenschiefkörpers induziert und umgekehrt. Auf einer desargueschen Ebene existiert also genau dann eine schwache Seiteneinteilungsfunktion, wenn sein Koordinatenschiefkörper einen nichttrivialen quadratischen Charakter zulässt und zu jedem solchen Charakter existiert eine schwache Anordnung der Ebene.

== Angeordnete Ebene ==
Das dritte Hilbertsche Anordnungsaxiom lautet
: (A3) Liegt <math>T</math> zwischen <math>P</math> und <math>Q</math>, so liegt <math>Q</math> nicht zwischen <math>P</math> und <math>T</math>.
Aus den Hilbertschen Axiomen (A1) bis (A4) folgt das Axiom (Z). Eine affine Ebene mit einer Zwischenrelation, die die Axiome (A1) bis (A4) und damit automatisch auch (Z) erfüllt, wird als '''angeordnete Ebene''' bezeichnet.

=== Eigenschaften ===
* In einer angeordneten affinen Inzidenzebene liegt von drei verschiedenen kollinearen Punkten genau einer zwischen den beiden anderen.
* Jede angeordnete affine Inzidenzebene ist auch schwach angeordnet.
* Die Anordnung (''Zwischenbeziehung'') lässt sich mit einer eindeutig durch sie bestimmten Seiteneinteilungsfunktion bzw. mit der durch sie bestimmten Zwischenfunktion beschreiben. Sie ist also im Falle einer desargueschen Ebene wie die schwache Anordnung durch einen nichttrivialen quadratischen Charakter eindeutig bestimmt.
* In einer angeordneten Ebene und in einer ''endlichen, schwach'' angeordneten Ebene gilt das affine [[Fano-Axiom]], daher existiert in diesen Fällen zu zwei beliebigen Punkten stets ein Mittelpunkt. Dieser Mittelpunkt liegt dann immer (im Sinne der jeweiligen Zwischenbeziehung) zwischen den beiden Punkten.
* Kann die affine Translationsebene, die durch Schlitzen aus einer [[Moufangebene]] entsteht, zu einer angeordneten Ebene gemacht werden, dann sind beide Ebenen desarguesch.<ref>Pickert (1975) S. 240.</ref>

=== Desarguesche angeordnete Ebene ===
Die Anordnung eines Schiefkörpers <math>K</math> muss die gleichen Axiome erfüllen wie die Ordnung eines geordneten Körpers, woraus folgt, dass sie durch einen Positivbereich <math>K^+=\!\,\lbrace \alpha \in K |\; 0 < \alpha \rbrace</math> eindeutig bestimmt ist, der folgende Eigenschaften hat (→ vergleiche [[geordneter Körper]]):
# <math>a,b\in K^+ \Rightarrow a+b\in K^+,</math>
# <math>a,b\in K^+ \Rightarrow a\cdot b\in K^+,</math>
# für jedes <math>a\in K</math> gilt genau eine der Beziehungen <math>a\in K^+,\, -a\in K^+, a=0</math>.
Durch jeden solchen Positivbereich ist ein quadratischer Charakter <math>\chi</math> bestimmt, der auf <math>K^+</math> positiv, auf <math>-K^+</math> negativ ist und <math>\chi(-1)=-1</math> erfüllt. Umgekehrt bestimmt jeder quadratische Charakter mit <math>\chi(-1)=-1</math> einen Bereich <math>L=\chi^{-1}(1)</math>, der allerdings im Allgemeinen nur die 2. und 3. Eigenschaft eines Positivbereiches hat.

Der folgende Satz klärt den Zusammenhang zwischen der Anordnung einer desargueschen Ebene und der Anordnung ihres Koordinatenschiefkörpers:
: Der Koordinatenschiefkörper einer angeordneten desargueschen Ebene lässt eine Anordnung zu. Umgekehrt lässt die affine Ebene über einem angeordneten Schiefkörper sich anordnen. Jede Anordnung des Schiefkörpers induziert eine „starke“ Zwischenfunktion auf der Ebene und umgekehrt. Der Zusammenhang wird durch die Gleichwertigkeit
::<math>\overline S(T,P,Q)=+1 \Leftrightarrow \operatorname{SF} (T,P,Q) > 0 </math>
: für alle <math>(T,P,Q)\in\overline{R}</math> vermittelt.

== Beispiele ==
* Die affine Ebene über einem geordneten Körper wird durch die oben beschriebene Seiteneinteilungsfunktion zu einer angeordneten Ebene. Der quadratische Charakter ordnet jeder Zahl des Körpers außer 0 ihr Vorzeichen als Zahl in <math>C_2=\lbrace -1,+1\rbrace</math> zu.
* Ein [[formal reeller Körper]] lässt mindestens eine Ordnung zu, die ihn zu einem geordneten Körper macht. Jede dieser Körperordnungen bestimmt wie im vorigen Beispiel einen nichttrivialen quadratischen Charakter und damit eine Anordnung der affinen Ebene über dem Körper.
* Ein [[euklidischer Körper]] lässt nur einen nichttrivialen quadratischen Charakter zu, der jeder [[Quadratzahl]] 1 und jeder Nichtquadratzahl −1 zuordnet, (siehe dazu auch [[Quadratklasse]]). Daher ist auf der affinen Ebene über einem solchen Körper genau eine schwache Seiteneinteilung möglich, mit der diese Ebene zu einer „stark“ angeordneten Ebene wird.
:* Zu den euklidischen Körpern zählen die [[Reelle Zahl|reellen Zahlen]] und allgemeiner jeder [[Reell abgeschlossener Körper|reell abgeschlossene Körper]].
* Der Körper der [[Komplexe Zahl|komplexen Zahlen]] und allgemeiner jeder [[Algebraischer Abschluss|algebraisch abgeschlossene Körper]] lässt nur den trivialen Charakter als quadratischen Charakter zu. Daher ist auf einer affinen Ebene über einem solchen Körper keine schwache Anordnung möglich.
* Auf dem Körper der [[Rationale Zahl|rationalen Zahlen]] können unendlich viele nichttriviale quadratische Charaktere definiert werden: Teilt man die Menge der [[Primzahl]]en willkürlich in zwei disjunkte Teilmengen <math>P_+</math> und <math>P_-</math> auf, dann wird durch <math>\chi(P_+)=+1,\chi(P_-)=-1</math> und die Wahl eines Vorzeichens für <math>\chi(-1)</math> ein Charakter <math>\chi</math> eindeutig bestimmt. Damit sind alle quadratischen Charaktere von <math>\Q^*</math> beschrieben. Jeder dieser Charaktere außer dem trivialen (<math>P_-=\emptyset,\chi(-1)=1</math>) bestimmt eine schwache Anordnung der affinen Ebene über <math>\Q</math>. Genau für den durch <math>P_-=\emptyset, \chi(-1)=-1</math> beschriebenen Charakter ist die schwache Anordnung eine Anordnung, die „gewöhnliche“ Anordnung der rationalen Ebene.
* Jeder [[Restklassenkörper]] <math>K=\Z /p\Z</math> zu einer ungeraden Primzahl <math>p</math> besitzt ein Element <math>\beta</math>, das die [[Zyklische Gruppe|zyklische multiplikative Gruppe]] <math>K^*</math> des Körpers erzeugt. Durch <math>\chi(\beta)=-1</math> ist ein nichttrivialer quadratischer Charakter auf <math>K^*</math> als [[Gruppenhomomorphismus]] eindeutig definiert. Dies ist der einzige nichttriviale quadratische Charakter des Körpers, daher kann die desarguesche Ebene über einem solchen Körper auf genau eine Art schwach angeordnet werden.
:* Dies gilt allgemeiner und aus den gleichen Gründen für jeden [[Endlicher Körper|endlichen Körper]] mit ungerader [[Charakteristik (Algebra)|Charakteristik]].
* Die affine Ebene über dem Restklassenkörper <math>K=\Z /13\Z</math> wird durch ihren einzigen nichttrivialen quadratischen Charakter zu einer schwach angeordneten Ebene. 2 ist ein erzeugendes Element von <math>K^*</math>. Für ein Punktetripel <math>(T,P,Q)</math> mit <math>\operatorname{SF}(T,P,Q)=2^2=4</math> ändert sich die Zwischenfunktion bei [[Zyklische Permutation|zyklischer Vertauschung]] der Punkte in dem Tripel nicht. Daher liegt keiner der drei verschiedenen kollinearen Punkte zwischen den beiden anderen.<ref>Degen (1976) S. 105.</ref>
* Ist <math>F</math> ein beliebiger Körper und <math>K=F(X)</math> der [[Rationaler Funktionenkörper|rationale Funktionenkörper]] über diesem Körper, dann kann durch den [[Grad (Polynom)|Grad]] der rationalen Funktion <math>\textstyle \frac{f}{g} \neq 0</math> ein nichttrivialer quadratischer Charakter auf <math>K</math> eingeführt werden: <math>\textstyle \chi \left( \frac{f}{g} \right)=-1</math> genau dann, wenn <math>\textstyle \deg \left(\frac{f}{g}\right)=\deg (f)-\deg(g)</math> ungerade ist. Durch diesen Charakter lässt sich die affine Ebene über <math>K</math> schwach anordnen. – Dies ist also auch über gewissen unendlichen Körpern mit Charakteristik 2 möglich!
* Ein ''endlicher'' Körper mit Charakteristik 2 lässt keinen nichttrivialen quadratischen Charakter zu, daher existiert auf einer affinen Ebene über einem solchen Körper nie eine Seiteneinteilung.

== Literatur ==
; Originalliteratur
* {{Literatur |Autor= [[David Hilbert]] |Titel=Grundlagen der Geometrie |Auflage=14 |Verlag=Teubner |Ort=Stuttgart/Leipzig |Datum=1899 |ISBN=3-519-00237-X |Online= [http://www.archive.org/details/grunddergeovon00hilbrich Online-Kopie der Ausgabe von 1903] |Abruf=2013-07-25}}
* {{Literatur |Autor=Erich Glock |Titel=Die Orientierungsfunktionen eines affinen Raumes |Sammelwerk=Mathematische Zeitschrift |Band=78 |Datum=1962 |Seiten=319–360}}
* {{Literatur |Autor=Erich Glock |Titel=Ordnungsfunktionen, die auf Seiteneinteilungen besonderer Art führen |Sammelwerk=Mathematics and Statistics, Archiv der Mathematik |Band=12 |Nummer=1 |Seiten=71–77 |DOI=10.1007/BF01650526}}
* {{Literatur |Autor= [[Emanuel Sperner]] |Titel=Die Ordnungsfunktionen einer Geometrie |Sammelwerk=Math. Ann. |Band=121 |Datum=1949 |Seiten=107–130}}
* {{Literatur |Autor=Emanuel Sperner |Titel=Beziehungen zwischen geometrischer und algebraischer Anordnung |Sammelwerk=Sitzungsbericht Heidelberger Akad. Wiss. Math. Naturwiss. Kl. |Datum=1949 |Seiten=413–448}}

; Lehrbücher
* {{Literatur |Autor=Wendelin Degen und Lothar Profke |Titel=Grundlagen der affinen und euklidischen Geometrie |Verlag=Teubner |Ort=Stuttgart |Datum=1976 |ISBN=3-519-02751-8}}
* {{Literatur |Autor= [[Heinz Lüneburg]] |Titel=Die euklidische Ebene und ihre Verwandten |Verlag=Birkhäuser |Ort=Basel/Boston/Berlin |Datum=1999 |ISBN=3-7643-5685-5 |Online=[http://books.google.de/books?isbn=3764356855 Digitalisierte Leseprobe bei google-books] |Abruf=2013-07-25}}
* {{Literatur |Autor= [[Günter Pickert]] |Titel=Projektive Ebenen |Verlag=Springer |Ort=Berlin/Heidelberg/New York |Datum=1975 |ISBN=3-540-07280-2 |Kapitel=9:''Angeordnete Ebenen'' |Kommentar=Zusammenhang der Anordnung (Zwischenbeziehung) einer affinen Ebene zu einer Trennungsrelation in ihrem projektiven Abschluss}}

== Einzelnachweise ==
<references />

[[Kategorie:Analytische Geometrie]]
[[Kategorie:Synthetische Geometrie]]

Seiteneinteilung - Versionsgeschichte

imported>Alex Writer WEH: /* growthexperiments-addlink-summary-summary:2|0|0 */