Beweisarchiv: Geometrie: Inzidenzgeometrie

Aus Wikibooks

Beweisarchiv: Geometrie

Planimetrie

Kreis: Mittelpunktswinkel-Umfangswinkel · Satz des Ptolemäus · Sehnensatz · Sehnentangentenwinkel · Sehnenviereck · Sekantensatz · Japanischer Satz für konzyklische Vierecke

Rechtwinkliges Dreieck: Satz des Pythagoras

Regelmäßige Vielecke: Dreieck · Viereck · Fünfeck ·Sechseck ·

Inzidenzgeometrie

affine Geometrie: einfache Hilfssätze · Homothetien und Translationen · Desarguesche affine Ebenen sind Vektorräume

Trigonometrie

Additionstheoreme: Sinus · Kosinus · Tangens · Kotangens

In der Inzidenzgeometrie behandelt man nur solche Fragestellungen, die die bloßen Lageverhältnisse von Punkten auf Geraden, Geraden in Ebenen usw. behandeln. Man hat im Allgemeinen also eine Menge P von Punkten, eine Menge G von Geraden und im Falle räumlicher Geometrie noch eine Menge E von Ebenen.

Zwischen diesen bestehen Inzidenzrelationen, d.h., ein Punkt kann mit einer Geraden oder einer Ebenen inzidieren, ebenso eine Gerade mit einer Ebene. Im folgenden wird diese Relation jeweils geschrieben in der Form , , , jeweils sowohl zur Erinnerung an als auch zur Unterscheidung von der Elementrelation . Textlich wird derselbe Sachverhalt meist ausgedrückt als "p liegt auf g" (bzw. "g geht durch p"), "p liegt in e" sowie "g liegt in e".

Ist g eine Gerade, so bezeichnen wir mit die Menge der mit g inzidierenden Punkte. Zumindest in allen im Folgenden untersuchten Strukturen gilt , wodurch gerechtfertigt wird, Geraden als Punktmengen aufzufassen und als zu interpretieren. Wir bezeichnen weiter mit die Menge der durch den Punkt p verlaufenden Geraden. Auch hier gilt zumindest in den nachstehend untersuchte Strukturen, so dass man gleichberechtigt, wenn auch weniger üblich, Punkte als Geradenmengen auffassen und durch interpretieren könnte.

Ein Endomorphismus φ einer solchen Inzidenzstruktur besteht aus einer Abbildung und einer Abbildung (sowie - im räumlichen Fall - einer Abbildung ), so dass aus stets auch folgt (im räumlichen Fall entsprechend zusätzlich für Punkt-Geraden- und Geraden-Ebenen-Inzidenz). Gibt es einen Endomorphismus ψ, so dass sowohl als auch die Identität sind, so ist φ ein Automorphismus. Die Gruppe der Automorphismen wird im Folgenden mit bzw. bezeichnet.

Prinzipiell könnte man noch weitere geometrische Gebilde und deren Inzidenzverhalten erfassen (beispielsweise Kreise, Strecken, konvexe Punktmengen), im Folgenden betrachten wir jedoch durchweg nur die oben aufgeführten linearen Gebilde.

Durch eine entsprechende Axiomatisierung erfolgt die Abgrenzung gegenüber allgemeineren Inzidenzstrukturen. Es fehlen jedoch beispielsweise sämtliche metrischen Aspekte, also Streckenlängen und Winkelgrößen, sowie Ordnungsaxiome, d.h., von drei kollinearen Punkten lässt sich allgemein nicht ausdrücken, dass einer zwischen den anderen liegt.