Inzidenzgeometrie
Unter einer Inzidenzgeometrie versteht man in der Mathematik eine Geometrie, die durch eine so genannte Inzidenzrelation charakterisiert wird. Anschaulich gesprochen erklärt die Inzidenzrelation, welche Punkte in einer bestimmten Geraden enthalten sind, bzw. wie und ob sich Geraden schneiden.
Die Inzidenzgeometrie bietet einen axiomatischen Zugang zur Geometrie und stellt die sonst sehr anschaulichen (weil aus der Beobachtung der Natur erwachsenen) Definitionen auf eine abstrakte Ebene, indem sie zunächst nur elementare Begriffe aus der Mengenlehre verwendet.
Allgemeine Inzidenzgeometrie
Definition
Eine Inzidenzstruktur <math>(P,B,I)</math> ist ein Tripel bestehend aus einer Menge <math>P</math> von Punkten, einer Menge <math>B</math> von Blöcken (Geraden) und einer Inzidenzrelation <math>I</math>, also einer Teilmenge <math>I\subset P\times B</math>. Die Inzidenzstruktur heißt Inzidenzgeometrie, wenn je zwei beliebige Punkte mit genau einer Geraden inzidieren.
Beispiele für Inzidenzgeometrien
- Der Raum <math>\R^3</math> wird wie folgt zu einer Inzidenzgeometrie: Die Menge der Punkte ist <math>P=\R^3</math>, die Menge <math>B</math> ist die Menge aller affinen Geraden in <math>\R^3</math>. Zwei Elemente <math>x\in P, g\in B</math> inzidieren, wenn <math>x\in g</math> ist, d. h. <math>(x,g)\in I \Leftrightarrow x\in g</math>.
Teilräume und Dimension in der Inzidenzgeometrie
Eine Menge <math>M\subset P</math> heißt Linearmenge, wenn für jede Gerade <math>g</math>, die mit zwei Punkten aus <math>M</math> inzidiert, jeder weitere Punkt, der mit <math>g</math> inzidiert, in <math>M</math> liegt. Eine Linearmenge von <math>P</math> bildet gemeinsam mit ihren zugehörigen Geraden eine Inzidenzgeometrie, welche als Teilraum oder Teilgeometrie von <math>(P,B,I)</math> bezeichnet wird.
Damit definiert man den Begriff der linearen Hülle ganz ähnlich wie in der linearen Algebra: Die lineare Hülle <math>\langle M \rangle</math> einer Menge <math>M\subset P</math> ist der Schnitt über alle Linearmengen, die <math>M</math> enthalten. <math>\langle M \rangle</math> ist daher die kleinste Linearmenge, die <math>M</math> enthält.
Eine Menge <math>M\subset P</math> heißt Basis der Menge <math>P</math>, wenn <math>\langle M \rangle=P</math> und wenn es keine kleinere Menge gibt, die dieselbe Eigenschaft hat. Die Dimension eines Raumes lässt sich dann so definieren, dass sie um 1 kleiner ist als die Mächtigkeit einer Basis.
Unterschiede zur Euklidischen Geometrie
- Der Begriff der Dimension ist in der Inzidenzgeometrie weit weniger anschaulich als in der euklidischen Geometrie. Betrachtet man die Geometrie in der rechten Abbildung, welche aus 9 Punkten besteht (eingezeichnet sind nur die Geraden, die mehr als 2 Punkte enthalten), so bilden die Punkte <math>A,B,C</math> eine Basis, d. h. der Raum hat die Dimension 2. Die Punkte <math>D,E,F,G</math> hingegen bilden gemeinsam eine Linearmenge. Gemeinsam mit ihren zugehörigen Geraden bilden sie also einen Teilraum. Nun ist aber die Menge <math>\{D,E,F,G\}</math> eine Basis dieses Teilraumes, der damit die Dimension 3 hat. D. h. es ist möglich, dass ein Raum eine kleinere Dimension als einer seiner Teilräume besitzt.
Besondere Inzidenzgeometrien
Projektive Geometrie
Eine projektive Geometrie <math>(P,B,I)</math> ist eine Inzidenzgeometrie, welche das Veblen-Young-Axiom erfüllt: Sind <math>A,B,C,D\in P</math>, <math>g_{AB},g_{CD}</math> die Geraden durch <math>A,B</math> bzw. <math>C,D</math>, und gibt es einen Punkt, mit dem sowohl <math>g_{AB}</math> als auch <math>g_{CD}</math> inzidieren, so gibt es auch einen Punkt, mit dem sowohl <math>g_{AD}</math> als auch <math>g_{CB}</math> inzidieren.
Diesem Axiom kann man noch ein weiteres Axiom hinzufügen, welches verlangt, dass jede Gerade mindestens mit 3 Punkten inzidiert und dass es mindestens 2 Geraden gibt. Eine projektive Geometrie, welche dieses Axiom nicht erfüllt, nennt man entartet.
Das Veblen-Young-Axiom besagt, dass zwei Geraden, die in einer gemeinsamen Ebene verlaufen, immer einen Schnittpunkt besitzen (d. h. es gibt keine parallelen Geraden).
Affine Geometrie
Eine affine Geometrie <math>(P,B,I)</math> ist eine Inzidenzgeometrie mit folgenden Eigenschaften:
- Die Geometrie besitzt einen Parallelismus, d. h. eine Äquivalenzrelation, welche bei einem fest gewählten Punkt <math>P</math> jeder Geraden <math>g</math> eine eindeutige Gerade <math>h</math> zuweist, so dass <math>P</math> und <math>h</math> inzidieren,
- Sind <math>g,g'</math> parallele Geraden, <math>P</math> ein Punkt, der weder mit <math>g</math> noch mit <math>g'</math> inzidiert und sind <math>h,h'</math> Geraden, die mit <math>P</math> inzidieren und die <math>g</math> schneiden, so schneiden sich die Geraden <math>h'</math> und <math>g'</math>, wenn sich <math>h</math> und <math>g'</math> schneiden (Trapezaxiom).
Wiederum kann man das Axiom hinzufügen, dass es zwei Geraden gibt und dass jede Gerade mit mindestens 3 Punkten inzidiert. Eine affine Geometrie, welche dieses Axiom nicht erfüllt, nennt man ebenfalls entartet.
Anschaulich gesprochen besagt das Trapezaxiom, dass zwei parallele Geraden immer in einer gemeinsamen Ebene verlaufen.
Wird der Parallelismus als Äquivalenzrelation verstanden, wie in dieser Definition, dann gilt insbesondere, dass eine Gerade zu sich selbst parallel ist, sonst wäre die Relation nicht reflexiv.
Literatur
- F. Buekenhout: Handbook of Incidence Geometry. North Holland 1995. ISBN 978-0-444-88355-1
- Albrecht Beutelspacher, Ute Rosenbaum: Projektive Geometrie. Von den Grundlagen bis zu den Anwendungen. Vieweg + Teubner, Braunschweig u. a. 1992, ISBN 3-528-07241-5 (2., durchgesehene und erweiterte Auflage. Vieweg, Wiesbaden u. a. 2004, ISBN 3-528-17241-X)
- Johannes Ueberberg: Foundations of Incidence Geometry. Springer Monographs in Mathematics, Springer, 2011, {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}}, ISBN 978-3-642-26960-8.
Weblinks
- G. Eric Moorhouse: Incidence Geometry. Skript, University of Wyoming, August 2007
- <templatestyles src="Webarchiv/styles.css" />{{#if:20090426052550
| {{#ifeq: 20090426052550 | *
| {{#if: Inzidenzgeometrie (definition, engl.) | {{#invoke:WLink|getEscapedTitle|Inzidenzgeometrie (definition, engl.)}} | {{#invoke:Webarchiv|getdomain|http://www.math.uncc.edu/~droyster/math3181/notes/hyprgeom/node28.html}} }} (Archivversionen)
| {{#iferror: {{#time: j. F Y|20090426052550}}
| {{#if: || }}Der Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
| {{#if: Inzidenzgeometrie (definition, engl.) | {{#invoke:WLink|getEscapedTitle|Inzidenzgeometrie (definition, engl.)}} | {{#invoke:Webarchiv|getdomain|http://www.math.uncc.edu/~droyster/math3181/notes/hyprgeom/node28.html}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y|20090426052550}} im Internet Archive{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
}}
| {{#if:
| {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
| {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
| 16= {{#if: Inzidenzgeometrie (definition, engl.) | {{#invoke:WLink|getEscapedTitle|Inzidenzgeometrie (definition, engl.)}} | {{#invoke:Webarchiv|getdomain|http://www.math.uncc.edu/~droyster/math3181/notes/hyprgeom/node28.html}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| 9 = {{#if: Inzidenzgeometrie (definition, engl.) | {{#invoke:WLink|getEscapedTitle|Inzidenzgeometrie (definition, engl.)}} | {{#invoke:Webarchiv|getdomain|http://www.math.uncc.edu/~droyster/math3181/notes/hyprgeom/node28.html}} }} {{#ifeq: | [] | [ | ( }}{{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
| #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!{{#if: || }}
}}
| c|{{{webciteID}}}}} {{#if: Inzidenzgeometrie (definition, engl.) | {{#invoke:WLink|getEscapedTitle|Inzidenzgeometrie (definition, engl.)}} | {{#invoke:Webarchiv|getdomain|http://www.math.uncc.edu/~droyster/math3181/notes/hyprgeom/node28.html}} }} ({{#if: {{#if: | {{{archiv-bot}}} | }} | des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if: | ; }}{{#ifeq: | [] | ] | ) }}
}}
| {{#if:
| Vorlage:Webarchiv/Today
| {{#if:
| Vorlage:Webarchiv/Generisch
| {{#if: Inzidenzgeometrie (definition, engl.) | {{#invoke:WLink|getEscapedTitle|Inzidenzgeometrie (definition, engl.)}} | {{#invoke:Webarchiv|getdomain|http://www.math.uncc.edu/~droyster/math3181/notes/hyprgeom/node28.html}} }}
}}}}}}}}{{#if:
| Vorlage:Webarchiv/archiv-bot
}}{{#invoke:TemplatePar|check
|all = url=
|opt = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
|errNS = 0
|template = Vorlage:Webarchiv
|format = *
|preview = 1
}}{{#ifexpr: {{#if:20090426052550|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
}}{{#if:
| {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
| web.archive.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}}
| webcitation.org =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}}
| archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn =
{{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
}}{{#if:
| {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
| }}
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
}}
| {{#if:
| {{#if: || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
}}
}}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.math.uncc.edu/~droyster/math3181/notes/hyprgeom/node28.html}}
|| {{#if: || }}
}}{{#if: Inzidenzgeometrie (definition, engl.)
| {{#if: {{#invoke:WLink|isBracketedLink|Inzidenzgeometrie (definition, engl.)}}
| {{#if: || }}
}}
| {{#if: || }}
}}{{#switch:
|addlarchives|addlpages= {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
}}{{#ifeq: {{#invoke:Str|find|http://www.math.uncc.edu/~droyster/math3181/notes/hyprgeom/node28.html%7Carchiv}} |-1
|| {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.math.uncc.edu/~droyster/math3181/notes/hyprgeom/node28.html%7C4}}%7Chttp}} |-1
|| {{#switch: {{#invoke:Webarchiv|getdomain|http://www.math.uncc.edu/~droyster/math3181/notes/hyprgeom/node28.html }}
| abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org =
| #default = {{#if: || }}{{#if: 1 |}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
}}
}}
}}