Affine Geometrie und Caudal: Unterschied zwischen den Seiten

Aus AnthroWiki
(Unterschied zwischen Seiten)
VisuellWikitext
imported>Joachim Stiller
(Die Seite wurde neu angelegt: „Die '''affine Geometrie''' ist eine Verallgemeinerung der euklidischen Geometrie, in der zwar das euklidische Parallelenaxiom gil…“)
 
imported>Odyssee
 
Zeile 1: Zeile 1:
Die '''affine Geometrie''' ist eine Verallgemeinerung der [[Euklidische Geometrie|euklidischen Geometrie]], in der zwar das euklidische [[Parallelenaxiom]] gilt, aber Abstand und Winkel keine Bedeutung haben. Der Begriff „affine Geometrie“ wird für das mathematische Teilgebiet ''und'' für die dadurch beschriebenen „Räume“ aus Punkten und Geraden (und daraus abgeleitet, Ebenen etc.) verwendet. Eine affine Geometrie als Raum wird auch als '''affiner Raum''' bezeichnet. Dabei ist zu beachten, dass jeder [[Affiner Raum|affine Raum]], wie ihn die [[Lineare Algebra]] charakterisiert, auch den Anforderungen einer ''affinen Geometrie'' genügt, aber nicht umgekehrt. Die affine Geometrie verallgemeinert den bekannteren Begriff aus der Linearen Algebra. In diesem Artikel wird der allgemeinere Begriff, mit dem sich die [[synthetische Geometrie]] befasst, daher durchgehend als „affine Geometrie“ bezeichnet.
#WEITERLEITUNG [[Anatomische Lage- und Richtungsbezeichnungen#Anatomische Hauptrichtungen]]
 
Im Sinne des [[Erlanger Programm]]s von [[Felix Klein]] kann die affine Geometrie auch als Inbegriff der unter [[bijektiv]]en [[Affine Abbildung|affinen Abbildungen]] invarianten geometrischen Eigenschaften eingeführt werden.
 
== Definition ==
 
Von einer affinen Geometrie spricht man, wenn eine Menge von Punkten <math> \mathfrak{P} </math>, eine Menge von Geraden
<math>\mathfrak{G}</math>, eine [[Inzidenzgeometrie|Inzidenzrelation]] <math>\mathrm{I}</math> zwischen <math>\mathfrak{P}</math> und <math>\mathfrak{G}</math> sowie eine Parallelitätsrelation <math> \|</math> auf <math>\mathfrak{G}</math> gegeben ist und folgende Axiome erfüllt werden:<ref name="Ewald" />
 
# Durch zwei verschiedene Punkte <math>A,\,B</math> geht genau eine Gerade <math>g</math> (d.&nbsp;h. <math>AIg</math> und <math>BIg</math>), die [[Verbindungsgerade]] <math>g=AB</math> (auch <math>g=A\or B</math> geschrieben).
# Auf jeder Gerade liegen mindestens zwei Punkte.
# Die Parallelitätsrelation <math>\parallel</math> ist eine [[Äquivalenzrelation]]
# Durch jeden Punkt geht genau eine Gerade, die zu einer gegebenen Gerade parallel ist.
# Wenn ein Dreieck (drei nicht auf einer Gerade liegende Punkte) <math>ABC</math> gegeben ist und zwei Punkte <math>A'</math> und <math>B'</math> derart, dass die Gerade <math>AB</math> parallel zu der Geraden <math>A'B'</math> liegt, so gibt es einen Punkt <math>C'</math> so, dass auch <math>AC</math> parallel zu <math>A'C'</math> und <math>BC</math> parallel zu <math>B'C'</math> liegen.
 
== Schreib- und Sprechweisen, Grundeigenschaften ==
* Punkte werden mit großen lateinischen Buchstaben bezeichnet. <math>A,B,C,...\in\mathfrak{P}</math>
* Geraden werden mit kleinen lateinischen Buchstaben bezeichnet. <math>a,b,c,...\in\mathfrak{G}</math>
* Gilt für <math>A\in\mathfrak{P}</math> und <math>g\in\mathfrak{G}\ A\mathrm{I}g</math> so sagt man, A inzidiert mit g, oder A liegt auf g oder g geht durch A.
* Gilt für <math>g,h\in\mathfrak{G}\ g\|h</math> so sagt man, g und h sind parallel.
* Die zu einem Paar <math>(A,g)\in \mathfrak{P}\times \mathfrak{G}</math> nach dem vierten Axiom eindeutig gegebene Parallele zu <math>g</math> durch <math>A</math> wird gelegentlich als <math>(A;\parallel g)</math> notiert.
 
=== Inzidenz mengentheoretisch ===
* Die Menge der Punkte, die mit einer bestimmten Gerade <math>g\in\mathfrak{G}</math> inzidieren, heißt Trägermenge der Geraden, diese Menge wird häufig als <math>g^{\circ}</math> notiert. Formalisiert: <math>g^{\circ}= \{ A\in\mathfrak{P}: AIg \}</math>
* Aus den ersten beiden Axiomen folgt, dass zwei Geraden genau dann übereinstimmen, wenn sie mit denselben Punkten inzidieren, das heißt, wenn ihre Trägermengen gleich sind. Aus diesem Grund wird in der neueren Literatur oft gleich davon ausgegangen, dass jede Gerade die Menge der mit ihr inzidierenden Punkte ''ist'',<ref>Gray (2007)</ref> also <math>g=g^{\circ}</math>. Dann gilt <math>AIg</math> genau dann, wenn <math>A\in g</math> gilt und die Inzidenzrelation kann vollständig durch die mengentheoretische Enthalten-Relation ersetzt werden.
 
=== Ebenen ===
* Aus dem dritten Axiom folgt, dass jede Gerade zu sich selbst parallel ist, aus dem vierten folgt dann, dass Geraden, die parallel sind und einen Punkt gemeinsam haben, identisch sind. Mit anderen Worten: Sind zwei Geraden verschieden und parallel, dann sind sie disjunkt.
* Disjunkte Geraden müssen im Allgemeinen nicht parallel sein.
* Das fünfte Axiom kann man mit Hilfe des vierten gleichwertig auch so formulieren:
:: Wenn ein Dreieck <math>ABC</math> gegeben ist und zwei Punkte <math>A'</math> und <math>B'</math> derart, dass die Gerade <math>AB</math> parallel zu der Geraden <math>A'B'</math> liegt, dann schneiden sich <math>(A';\parallel AC)</math> und <math>(B';\parallel BC)</math>.
* Insbesondere ist der Punkt <math>C'</math> aus dem fünften Axiom eindeutig bestimmt.
* Wenn es nun ein Dreieck gibt, also drei Punkte die nicht auf der gleichen Geraden liegen, dann kann man mit dem fünften Axiom einen sinnvollen Begriff einer ''Ebene'' <math>\varepsilon(ABC)</math> definieren, die durch das Dreieck <math>ABC</math> bestimmt ist. Eine mögliche Definition lautet so: Ein Punkt <math>D</math> liegt genau dann in <math>\varepsilon(ABC)</math>, wenn <math>(D;\parallel BC)</math> die Geraden <math>AB</math> und <math>AC</math> schneidet.
:* Aus dem fünften Axiom kann man nun (mit einigem technischen Aufwand und mehreren Fallunterscheidungen) nachweisen, dass für Geraden, die in <math>\varepsilon(ABC)</math> liegen, gilt: Sind zwei Geraden der Ebene disjunkt, dann sind sie parallel. Damit erfüllen diese „Ebenen“ alle Axiome einer [[Affine Ebene|affinen Ebene]].
 
Zusammenfassend gilt:
* Eine affine Geometrie, die zusätzlich das Reichhaltigkeitsaxiom
:: „Es gibt drei verschiedene Punkte aus <math>\mathfrak{P}</math> (ein „Dreieck“), die nicht alle auf einer Geraden aus <math>\mathfrak{G}</math> liegen.“
: erfüllt, ''enthält'' eine Ebene <math>\varepsilon</math>, so dass die Punkte auf dieser Ebene (als Punktmenge <math>\mathfrak{P}_\varepsilon=\mathfrak{P}\cap\varepsilon</math>) mit ihren Verbindungsgeraden (<math>\mathfrak{G}_\varepsilon=\{ AB: (A,B)\in\mathfrak{P}_\varepsilon\times \mathfrak{P}_\varepsilon\; \and A\neq B \}</math> als Geradenmenge) mit der eingeschränkten Parallelität (<math> g\parallel_\varepsilon h \Leftrightarrow g\parallel h \and g,h\in \mathfrak{G}_\varepsilon</math>) die Axiome einer ''affinen Ebene'' erfüllen.
* Genau dann, wenn außerdem <math>\mathfrak{P}_\varepsilon = \mathfrak{P}</math> gilt, wenn es also keine ''vier'' Punkte gibt, die ''nicht'' auf einer gemeinsamen Ebene liegen, ''ist'' die affine Geometrie eine affine Ebene.
 
== Beispiele ==
* Durch [[Vektorraum|Vektorräume]] über einem [[Körper (Algebra)|Körper]] erzeugte [[Affiner Raum|affine Räume]]:
** Der euklidische Anschauungsraum kann durch einen dreidimensionalen Vektorraum über <math>\mathbb{R}</math> erzeugt werden.
** Die euklidische Ebene kann durch einen zweidimensionalen Vektorraum über <math>\mathbb{R}</math> erzeugt werden.
** Triviale Beispiele sind:
*** Kein Punkt, keine Geraden (<math>-1</math>-dimensionale affine Geometrie)
*** ein einzelner Punkt und keine Geraden  (nulldimensionale affine Geometrie),
*** eine Gerade, auf der alle Punkte liegen (eindimensionale affine Geometrie),
::: Eine höchstens nulldimensionale Geometrie kann als Vektorraum über jedem beliebigen Körper angesehen werden, ist also auch ein affiner Raum der gleichen Dimension. Aus jeder Menge ''M'', die wenigstens zwei Elemente enthält, kann man eine eindimensionale affine Geometrie machen: <math>\mathfrak{P}=M; \mathfrak{G}=\{ M \}, \parallel=\{(M,M)\}</math>. Als eine affine Gerade über einem Körper kann diese genau dann angesehen werden, wenn der Körper sich bijektiv auf <math>M</math> abbilden lässt.
:* Die kleinste affine Geometrie, die eine Ebene enthält, ist die affine Ebene, die durch den zweidimensionalen Vektorraum über dem endlichen [[Körper (Algebra)|Körper]] <math>\mathbf{F}_2</math> erzeugt werden kann. Sie besteht aus den Punkten <math>\mathfrak{P}=\{A,B,C,D\}</math> und den Geraden <math>\mathfrak{G}=\{AB,AC,AD,BC,BD,CD\}</math>, die Verbindungsgeraden bestehen hier genau aus den beiden angegebenen Punkten. Ferner gilt <math>AB\parallel CD, AC\parallel BD, AD\parallel BC</math>. → Siehe dazu auch die Abbildungen in [[Affine Ebene]].
 
== Desarguessche und nichtdesarguessche Geometrien ==
 
Alle durch Vektorräume über einem Körper und sogar alle auf die gleiche Weise durch [[Modul (Mathematik)|Linksvektorräume]] über einem [[Schiefkörper]] erzeugten affinen Geometrien erfüllen den [[Satz von Desargues|großen affinen Satz von Desargues]], sie sind affine Räume im Sinne der linearen Algebra. Für mindestens dreidimensionale affine Geometrien gilt auch die Umkehrung: Sie lassen sich immer durch Linksvektorräume über einem Schiefkörper beschreiben. Es gibt aber auch ''ebene'' affine ("nichtdesarguessche") Geometrien (→ siehe [[Affine Ebene]]), die den desarguesschen Satz ''nicht'' erfüllen. Sie können mithin nicht durch einen Vektorraum erzeugt werden. Stattdessen kann man ihnen als Koordinatenbereich stets einen [[Ternärkörper]] zuordnen.
 
== Einbettungsproblem und Koordinatenbereiche ==
Ein affiner Raum <math>A</math> (im Sinne der linearen Algebra) ist immer zusammen mit seinem Koordinatenbereich, einem [[Schiefkörper|(Schief-)Körper]] <math>K</math> und einem  <math>K</math>-[[Modul (Mathematik)|(Links-)Vektorraum]] <math>V</math> definiert (mit der Ausnahme des leeren affinen Raumes, der aber doch als Teilraum eines bestimmten Raumes zu einem Schiefkörper angesehen wird). In der linearen Algebra beschränkt man sich in der Regel auf Vektorräume über kommutativen Körpern, aber die wesentlichen geometrischen Tatsachen (außer dem [[Satz von Pappus]]) gelten auch allgemeiner für Linksvektorräume über Schiefkörpern.
 
Dadurch gilt für affine Räume:<ref name="Ewald">Ewald (1974)</ref>
# Der Raum hat eine bestimmte Dimension <math> n=\mathrm{dim}(A)</math>, das ist die Dimension des Vektorraumes. Zusatzdefinition: Die leere Menge hat die Dimension <math>-1</math>.
# Durch die algebraische Struktur des Vektorraums ist bei jeder Dimension klar, was die strukturerhaltenden Selbstabbildungen sind: Sie lassen sich als [[Affinität (Mathematik)|Affinitäten]] im Wesentlichen durch die strukturerhaltenden Abbildungen der Vektorräume beschreiben. Berücksichtigt man allein die Inzidenzstruktur und nicht die Vektorraumstruktur, dann kommt man zur größeren Gruppe der (ebenentreuen<ref>Man kann zeigen, dass für einen Raum mit mehr als 2 Punkten auf jeder Geraden jede geradentreue, bijektive Selbstabbildung, also jede Kollineation, zugleich ebenentreu ist. Für Räume mit genau zwei Punkten auf jeder Geraden muss die Ebenentreue zusätzlich gefordert werden. Dieser Sonderfall ist im Artikel „[[Kollineation]]“ ausführlich dargestellt.</ref>) [[Kollineation]]en, die aber für mindestens zweidimensionale affine Räume auch durch Affinitäten und Körperautomorphismen darstellbar ist.
# Zu jeder kleineren Dimension <math>m</math> als <math>n\; (-1< m< n )</math> gibt es affine Teilräume <math>B\subset A</math>, denen sich ein <math>m</math>-dimensionaler  <math>K</math>-[[Untervektorraum|Unterraum]] zuordnen lässt.
# Zu jeder größeren Dimension <math>M>n</math> lässt sich <math>A</math> als Teilraum eines affinen Raumes der Dimension <math>M</math> auffassen, dem ein <math>M</math>-dimensionaler  <math>K</math>-Vektorraum zugeordnet ist (Einbettung).
 
Für affine Geometrien gilt nun:<ref name="Pickert">Pickert (1975)</ref>
* Wenn die Geometrie eine ''Ebene'' enthält, aber nicht mit ihr zusammenfällt, dann ist sie desarguesch und durch ihre Inzidenzstruktur und ihre Parallelität ist ein eindeutiger Schiefkörper <math>K</math> und eine eindeutige Dimension (mindestens 3) über <math>K</math> für den „Koordinatenvektorraum“ gegeben.
 
* Wenn die Geometrie eine ''Ebene'' ist, die den Satz von Desargues erfüllt, gilt das Gleiche mit der Dimension 2.<ref name="Pickert" />
Genau in diesen Fällen werden die Begriffe ''affine Geometrie'' und ''affiner Raum'' gleichbedeutend. Man übernimmt in den Punkten 1. bis 4. einfach die Begriffe der linearen Algebra.
 
* Eine nichtdesarguesche ''Ebene'' bestimmt ebenfalls eine eindeutige Koordinatenstruktur, einen [[Ternärkörper]], der allerdings im Allgemeinen viel schwächere Eigenschaften als ein Schiefkörper hat.
# Die Dimension der Geometrie ist vereinbarungsgemäß 2, denn die Geometrie hat mehr als eine Gerade (daher mehr als eindimensional) und disjunkte Geraden sind immer parallel (daher weniger als dreidimensional).
# Die strukturerhaltenden Abbildungen sind geradentreue (und damit im ebenen Fall trivialerweise auch parallelentreue) bijektive Selbstabbildungen der Ebene, die affinen [[Kollineation]]en.
# Jede Gerade der Ebene ist ein Teilraum und natürlich eine eindimensionale affine Geometrie, die einpunktigen Teilmengen sind 0-dimensionale Teilräume.
# Eine Einbettung in eine Geometrie mit höherer Dimension ist unmöglich.<ref>Fritzsch (1974)</ref>
 
* Für null- und eindimensionale Geometrien, die nicht als Teilräume von mindestens zweidimensionalen Geometrien auftreten, ist offenbar eine Strukturuntersuchung uninteressant: Durch ihre Inzidenzstruktur ist über die reine Punktmenge hinaus nichts gegeben.
 
Eine Verallgemeinerung des Begriffes ''affine Geometrie'' ist der Begriff ''[[schwach affiner Raum]]''. Jede affine Geometrie ist auch ein schwach affiner Raum. Einige nichtdesarguessche affine Ebenen sind echte Teilräume von schwach affinen Räumen, obwohl solche Ebenen niemals in umfassendere ''affine Geometrien'' eingebettet werden können.
 
== Siehe auch ==
* {{WikipediaDE|Affine Geometrie}}
 
== Literatur ==
* {{Literatur | Autor=Günter Ewald | Titel=Geometrie | TitelErg=Eine Einführung für Studenten und Lehrer | Reihe=Moderne Mathematik in elementarer Darstellung; 14 | Verlag=Vandenhoeck & Ruprecht | Ort=Göttingen | Datum=1974 | ISBN=3-525-40536-7 | Originaltitel=Geometry, an introduction | Originalsprache=en-US | Übersetzer=Anneliese Oberschelp | Online=Inhaltsverzeichnis: {{DNB|750005521/04}} | Abruf=2011-12-25}}
* {{Literatur | Autor=Rudolf Fritzsch | Titel=Synthetische Einbettung Desarguesscher Ebenen in Räume | TitelErg=Mathematisch-Physikalische Semesterberichte, Nr. 21 | Ort= | Datum=1974 | Seiten=237–249 | Online=[http://epub.ub.uni-muenchen.de/4503/ (noch ohne Volltext)]}}
* {{Literatur | Autor=Jeremy Gray | Titel=Worlds out of nothing: a course of the history of geometry of the 19. Century | Auflage=1. | Verlag=Springer | Ort=Berlin / Heidelberg / New York | Datum=2007 | ISBN=978-0-85729-059-5}}
* {{Literatur | Autor=Günter Pickert | Titel=Projektive Ebenen | Reihe=Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete. | BandReihe=Bd. 80 | Auflage=2. | Verlag=Springer | Ort=Berlin / Heidelberg / New York | Datum=1975 | ISBN=3-540-07280-2}}
* {{Literatur | Autor=Daniel Richard Hughes, Fred. C. Piper | Titel=Projective planes | Verlag=Springer | Ort=Berlin / Heidelberg / New York | Datum=1973 | ISBN=0-387-90044-6}}
 
== Einzelnachweise und Anmerkungen ==
<references />
 
[[Kategorie:Geometrie]]
 
{{Wikipedia}}

Aktuelle Version vom 21. Mai 2018, 10:26 Uhr

Weiterleitung nach:

Abgerufen von „https://anthrowiki.at/index.php?title=Affine_Geometrie&oldid=220040“