8. Von der Zentralprojektion zur projektiven Geometrie.

Werbung
8. Von der Zentralprojektion zur
projektiven Geometrie.
Neben der Euklidischen Geometrie, wie sie im Buch
von Euklid niedergelegt und wie wir sie im vorigen
Abschnitt behandelt haben, gibt es noch weitere Geometrien. In diesem Kapitel behandeln wir eine neue
Raumlehre - die projektive Geometrie. Die Geschichte
der projektiven Geometrie begann mit der Entdeckung
der Perspektive in der Renaissance.
Die Entdeckung der Perspektive.
Die Grundprobleme der Renaissance Maler und Baumeister waren die folgenden:
(1) Wie kann man auf einer Fläche die Illusion des
Raumes herstellen.
(2) Mit welchem Experiment kann man verifizieren,
dass die korrekten Gesetze der Perspektive gefunden
wurden.
Klaus Johannson, Geometrie (L2)
72
. Geometrie (L2)
Die Maler kamen auf diese Frage, weil sie bei ihren Erforschungen der römischen Ruinen entdeckten, dass die
Römer offensichtlich die Perspektive kannten und sie
nutzten, um Räumen durch perspektivische Wandgemälde die Illusion von Größe zu geben. Die Lösung
der Probleme hat Brunelleschi (1377-1446) gegeben
(der gleiche der auch die Kuppel des florentiner Domes
gebaut hat). Für die zweite Frage benutzte er die folgende Versuchsanordnung:
Gebaeude
Guckloch
halber Spiegel
Rueckwand des Gemaeldes
Gemaelde (umgedreht)
Das Experiment von Brunelleschi
Brunnelleschi stellte zunächst, nach der von ihm entdeckten Methode des perspektivischen Malens, ein Gemälde eines Gebäude her und bohrte ein kleines Loch
in die Mitte. Wenn man durch dieses Guckloch schaut,
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
73
dann sieht man zwei Hälften: in der unteren Hälfte
das gemalte Gebäude im Spiegel und in der oberen
Hälfte das wirkliche Gebäude. Wenn nun die perspektivische Methode wirklich korrekt ist, dann müsste
die Illusion entstehen, als wenn man das vollständige
Haus sieht (obwohl ja eigentlich die untere Hälfte in
Wirklichkeit durch den Spiegel verdeckt ist). Dies war
Brunnellschi’s Experiment. Es wurde tatsächlich erfolgreich ausgeführt. Und zwar auf dem Vorplatz des
Florenzer Doms. Das Gemälde stellte dabei das Baptisterium dar. Danach war die Perspektive anerkannt.
Damit hatte man das Experiment für Frage 2. Aber
wie lauten die Gesetze der Perspektive?
Physiologie des Sehens.
Der Grund der Perspektive liegt in der Physiologie des
Auges. Stellen wir uns vor wir sehen entlang einer
langen Allee mit den Randpunkten a, b, c, d. Die
Sehstrahlen von diesen Punkten gehen durch die Pupille des Auges und durch einen Fokuspunkt in der Mitte
des Auges und werden dann als Punkte a′ , b′ , c′ , d′ auf
der Netzhaut des Auges erscheinen. Dort befinden sich
die Rezeptoren mit denen wir das Bild physiologisch
Klaus Johannson, Geometrie (L2)
74
. Geometrie (L2)
wahrnehmen. Es erscheint also spiegelverkehrt, aber
das wird im Gehirn korrigiert.
Allee
a
c
Auge
d’
b’
a’
c’
b
d
Physiologie des Sehens
Wichtig ist nun zu beobachten, dass in der Projektion das Puntepaar a′ , b′ viel dichter zusammenliegt
als das Paar c′ , d′ . Wir sehen also ein Punktepaar
als dichter und dichter zusammenliegend je weiter es
vom Auge fortbewegt wird. Die Kanten der Allee erscheinen als zwei zueinander zulaufende Geraden, die
sich (wenn die Allee lang genug ist) in einem fernen
Punkt zu treffen scheinen (da sie die Netzhaut nicht
mehr unterscheiden kann).
Das gleiche Bild auf der Netzhaut können wir uns (nun
aber richtig herum) auf die Pupille projiziert vorstellen
oder auf irgendeinen durchsichtigen Schirm vor dem
Auge. Wir werden die Projektion der Alle auf diesen
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
75
Schirm nicht von der wirklichen Allee unterschieden
können, da sie ja auf der Netzhaut dasselbe Bild wie
die wirkliche Allee erzeugt. Das war es was Brunellesci
mit seinem Experiment zeigen wollte.
Es bleibt schließlich noch die Frage zu klären warum
ein Punkt, wie z.B. a, nur einen einzigen Projektionspunkt, nämlich a′ , hat. Von allen Lichstrahlen,
die von a ausgehen, wählt das Auge offenbar den
einen aus, der durch den Mittelpunkte (Fokuspunkt)
des Auges geht. Dies wird nun durch die Linse in
der Pupille bewerkstelligt. Die Krümmung der Linsenoberfläche bewirkt, dass das Bündel der Lichtstrahlen, die von a ausgehen, so gebrochen wird, dass sich
danach alle Lichtstrahlen im Punkt a′ treffen (der
Lichtstrahl, der durch den Fokuspunkt geht, ist der
einzige der nicht gebrocehn wird). Auf diese Weise erscheint es so, als wenn das Auge einen einzigen Lichtstrahl unter diesem Bündel auswählt.
Klaus Johannson, Geometrie (L2)
76
. Geometrie (L2)
Die Regeln des perspektivischen Zeichnens.
Die Gesetze nach denen perspektivisch getreue Bilder
gemalt werden können wurden in der Rennaissance
formuliert (sie wurden in der Rennaissance wiederentdeckt, denn man kennt aus dem antiken Rom auch
schon perspektivische Wandmalereien). iEs war ein
komplizierter Prozess. Sie wurden schließlich ebenfalls
von Brunelleschi gefunden und stellten eine Revolution
des Malens (und Sehens dar). Die Gesetze liefen auf
die Verwendung folgender Methode hinaus:
Gitterschirm
Auge
Methode zur Konstruktion perspektivischer Gemälde
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
77
Die erste Entdeckung war die Entdeckung eines unendlich fernen Punktes. Auf ihn liefen im Gemälde alle
parallelen Linien zu, die vom Betrachter wegführten.
Als nächstes entdeckte man die unendlich ferne Gerade, d.h. den Horizont. Büschel von parallelen Linien in jeder Richtung laufen auf einen unendlichen fernen Punkt zu und alle diese unendlich fernen Punkte
ergeben eine unendlich ferne Gerade auf dem Schirm.
Damit ist jetzt klar wie sich ein Schachbrett- muster
auf dem Schirm darstellt.
Methode zur Konstruktion perspektivischer Gemälde
Beschreibung. Man muss die beiden Fluchtpunkte
bestimmen, die durch zwei Büschel von Parallelen gebildet werden. Einmal die Parallelen des Schachbrettmusters, die vom Betrachter weglaufen und dann die
Parallelen die durch die Diagonalen der Kacheln bestimmt werden. Danach kann man das Schachbrettmuster nach obiger Vorschrift auf den Schirm malen.
Klaus Johannson, Geometrie (L2)
78
. Geometrie (L2)
Mit diesen Regeln kann man nun alle möglichen Objekte darstellen und zwar ohne zu rechnen. Das ganze
Verfahren wurde von Dürer in verschiedenen Holzstichen festgehalten. Bei Dürer sieht das alles natürlich
viel schöner aus:
Die perspektivische Methode nach Dürer
oder so
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
79
Abwandlung desselben Verfahrens
Klaus Johannson, Geometrie (L2)
80
. Geometrie (L2)
Die Zentralprojektion in der
darstellenden Geometrie.
Ziel der darstellenden Geometrie ist es einen räumlichen Körper so in der Ebene darzustellen, dass alle
wesentlichen Geschtspunkte möglichst realistisch zum
Ausdruck kommen. Hierzu benutzt man in der darstellenden Geometrie verschiedene Projektion: Aufriss,
Seitenriss und Zentralprojektion. Die beiden ersten
Projektionen sind einfach Parallelprojektionen auf
Ebenen. Die Erstellung der Zentralprojektion ist am
Aufwendigsten.
Hier ist eine Beispiel für die Zentralprojektion:
Zentralprojektion eines Werkstücks
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
81
Die Wahl der beiden Fluchtpunkte ist sehr wichtig.
Hier ist man zwar ziemlich frei. Dennoch sehen die
Zentralprojektionen bei manchen Fluchtpunkten besser aus als bei anderen.
Perspektivische Verzerrungen.
Wir führen unsere Betrachtung des Sehens noch etwas weiter. Als nächstes wenden wir uns der Pupille
zu. Diese wirft ein ganz eigenes Problem auf. Die
Pupille des menschliche Auges ist relative klein (im
Gegensatz etwa zur Pupille von Fliegen). Dies ist auch
gut so, denn so werden wir weniger mit Verzerrungen
konfrontiert. Um dieses Verzerrungsproblem zu verstehen, stelle man sich einmal vor, die Pupille wäre
viel grösser, etwa die Hälfte des gesamten Auges. Eine
Hälfte des Auges besteht dann aus der Pupille und
die andere Hälfte aus dem Augenhintergrund. Nun
beobachten wir mit unserem vergrösserten Auge einen
auf und ab springenden Ball. Die Zentralprojektion
des Balles hinterlässt zwei Projektionen: eine Projektion auf der Pupille und eine andere Projektion auf
dem Sehschirm. Wir beobachten:
(1) die Projektion des Balles auf die Pupille hinterlässt
eine Schar von Kreisen, deren Grösse sich verändern,
Klaus Johannson, Geometrie (L2)
82
. Geometrie (L2)
(2) die Projektion des Balles auf den Sehschirm hinterlässt eine Schar von Ellipsen, die sich verändern.
Auge
Hintergrund
Pupille
Bild von Kugeln
Das perspektivische Bild von Geraden ist dagegen weniger problematisch:
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
83
k
Auge
Hintergrund
Pupille
h
g
Bild von Geraden
Das perspektivische Bild der Geraden g auf dem
Sehschirm oder auf dem Auge ist Schnitt einer Ebene
(nämlich der Ebene, die durch g und dem Mittelpunkt
des Auges bestimmt wird) mit dem Sehschirm bzw.
der Sehkugel. Es ist also eine Gerade auf dem Sehschirm und ein Grosskreis auf der Sehkugel. Wir haben also keine Verzerrungsprobleme, wenn wir uns auf
Klaus Johannson, Geometrie (L2)
84
. Geometrie (L2)
die Betrachtung von Punkten und Geraden beschränken.
Fur andere geometrische Figuren kann es aber Verzerrungen geben. Diese müsste man dann korrigieren,
denn die perspektivischen Bilder stellen ja immer das
gleiche Objekt dar. In dem Besipiel des springenden
Ball stellen z.B. alle Bildellipsen das gleiche Objekt
dar (nämlich den Ball) und müssten also gleich sein.
Dann müssten aber Ellipsen und Kreise gleich sein.
Das bedeutet aber, dass man in einer projektiven Geometrie nicht zwischen verschiedene Kegelschnitte unterscheiden kann. Daraus folgt aber, dass wir in einer
projektiven Geometrie nicht Euklidisch messen dürfen.
Wir werden also zunächst weiterhin auf ein Messen
verzichten müssen. Dies ist kein Nachteil sondern wird
sich zunächst als ein Vorteil der projektiven Geometrie
herausstellen.
Bemerkung. Um die Verzerrungsprobleme wirklich
in den Griff zu bekommen, müssten wir jetzt genaugenommen eine Äquivalenzrelation einführen unter denen alle verzerrten Figuren wieder gleich werden. Dies
wird durch die sog. projektiven Transformationen bewerkstelligt. Wir werden aber im folgenden wie bisher
nur Punkte und Geraden und keine kreisförmigen Figuren betrachten. Dies ist eine vereinfachte Geometrie
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
85
in der die in diesem Abschnitt betrachteten Verzerrungsprobleme nicht auftreten. Deswegen werden wir
sie auch nicht weiter behandeln.
Die Projektive Ebene.
Wir gehen in unserer Betrachtung des Sehens nun noch
einen Schritt weiter. Diesmal stellen wir uns vor, dass
unser Auge vollkommen ist, d.h. sein Sehfeld 3600
beträgt. Wir haben also den Extremfall vor uns in
dem das gesamte Auge Pupille ist (und gleichzeitig
Augenhintergrund).
Die von den Punkten ausgehenden Sehstrahlen treffen die Pupille zweimal - einmal beim Eintreten in
das Auge und einmal beim Austreten aus dem Auge.
Da jeder Sehstrahl durch den Augenmittelpunkt geht,
liegen sich Eintrittspunkt und Austrittspunkt diametral gegenüber. Das Auge sieht jeden Gegenstand
zweimal. Die beiden perspektivischen Bilder des Gegenstandes auf dem Auge unterscheiden sich durch
eine Diametralpunktvertauschung der Sphäre des Auges.
Aus diesem Grund identifiziert man in der Mathematik
die gegenüberliegenden Punkte der Sphäre.
Klaus Johannson, Geometrie (L2)
86
. Geometrie (L2)
Definition. Die projektive Ebene entsteht aus der
Sphäre durch Identifizierung diametral gegenüberliegender Punkte.
Die projektive Ebene liegt nicht mehr im dreidimensionalen Raum und lässt sich auch dort nicht einbetten. Dennoch kann man sich eine ganz gute Vorstellung verschaffen wie eine projektive Ebene aussieht
und wie es ist etwa in einer projektiven Ebene zu leben.
Gegenüberliegende Punkte der Ausgangssphäre sind
gleich (d.h. sie werden identifiziert unter der Diametralpunktabbildung). Wir können also genausogut alle
Punkte der oberen Halbsphäre vergessen, denn allen
Punkte der oberen Halbsphäre entsprechen ja gleichen
Punkten der unteren Halbsphäre. Die projektive Ebene erhalten wir nun aus der unteren Halbkugel indem
wir die gegenüberliegenden Punkte des Äquators (=
Rand der unteren Halbkugel) allein identifizieren.
Man betrachte nun die folgende Zerlegung der unteren
Halbsphäre.
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
87
Die Zerlegung der projektiven Ebene in Scheibe und Möbiusband
Wir haben haben zwei Zweiecke und ein Viereck. Diese
drei Stücke werden wie folgt identifiziert. Die beiden Zweiecke werden entlang ihrer Kanten im Äquator
identifiziert. Dadurch einsteht eine einzige Scheibe
(ohne Ecken). Die beiden Kanten des Vierecks, die
im Äquator liegen, werden diametral identifiziert. Es
entsteht das Möbiusband.
Klaus Johannson, Geometrie (L2)
88
Kreisring
. Geometrie (L2)
Identifikation von Antipoden
Möbiusband
Damit ist gezeigt, dass die projektive Ebene die Vereinigung des M¨biusbandes mit einer Scheibe ist. Insbesondere ist also die projektive Ebene von der Sphäre
verschieden, denn die 2-Sphäre enthält kein Möbiusband.
Wegen der ungewöhnlichen Gestalt der projektive
Ebenen, ist sie oft schwer zu handhaben. Deswegen behilft man sich oft mit den affinen Ebenen, die leichter
zu handhaben sind. Die affinen Ebenen behandeln
wir nachdem wir die projektive Geomtrie eingeführt
haben.
Konkrete Projektive Geometrie.
Die bisherigen Überlegungen führen zur sogenannten
konkreten projektiven Geometrie.
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
89
Aus der projektiven Ebene wird eine projektive Geometrie indem man noch definiert was die geometrischen Objekte in der projektiven Ebene sind mit denen
sich die Geometrie beschäftigen soll. Also
Konkrete projektive Geometrie = projektive Ebene +
geometrische Objekte
Hier wären im Prinzip viele geometrische Figuren
denkbar. Besonders interessant wären z.B. Kegelschnitte und dergleichen. Wir werden aber hier der
Einfachheit halber nur ”Punkte” und ”Geraden” betrachten (und damit auch den vorher angesprochenen
Verzerrungsproblemen entgehen).
Gegeben die Begriffe ”Gerade” und ”Ebene” aus der
Euklidischen Geometrie des Raumes, können wir
”Punkte” und ”Geraden” der projektiven Geometrie
wie folgt definieren.
Definition. Die konkrete projektive Geometrie
ist gegeben durch
(1) die konkrete projektive Ebene, d.h. durch
eine Sphäre K im dreidimensionalen Raum mit anschliessender Diametralpunkt Identifizierung.
Klaus Johannson, Geometrie (L2)
90
. Geometrie (L2)
(2) die Punkte in der projektiven Ebene, d.h. die
Schnitt(punkte) der Sphäre K mit solchen Geraden
im Raum, die durch den Mittelpunkt von K gehen,
mit anschliessender Diametralpunkt Identifizierung.
(3) die Geraden in der projektiven Ebene, d.h. den
Schnitten der Sphäre K mit solchen Ebenen im
Raum, die durch den Mittelpunkt von K gehen, mit
anschliessender Diametralpunkt Identifizierung.
Satz. Je zwei Geraden in der projektiven Geometrie
schneiden sich in genau einem Punkt.
Beweis. Je zwei Grosskreise in der Sphäre schneiden
sich in genau zwei Punkten, die sich darüberhinaus
diametral gegenüber liegen. ♦
Bemerkung. Damit gilt das Parallelenaxiom in der
projektive Geometrie nicht. Die projektive Geometrie
ist also eine Art nicht-Euklidischer Geometrie. Wir
werden aber auch in dieser Geometrie, zunächst weder
Längen noch Winkel messen.
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
91
Affine Ebenen.
In der projektiven Ebene selbst lässt sich nicht gut
arbeiten, aber man kann sich gut mit affinen Ebenen
behelfen. Eine affine Ebene ist eine gewöhnliche Euklidische Ebene (also wieder ohne Koordinatensystem
oder Ursprungspunkt). Aus der affinen Ebene entsteht
die projektive Ebene indem man noch alle idealen
Punkt (oder: alle unendlich fernen Punkte) dazunimmt. Wenn man diesen Punkt beachtet dann kann
man ganz gut projektive Geometrie in der affinen Ebene betreiben. Man beachte, aber, dass sich je zwei Geraden schneiden - entweder in einem Punkt der affinen
Ebene selbst oder in einem idealen Punkt der affinen
Ebene. Damit gibt es keine Parallelen im Euklidischen Sinne. Es ist aber üblich Geraden die sich in
idealen Punkten schneiden als ”Parallelen” zu bezeichnen. Dies kann anfangs recht verwirrend sein.
Eine affine Ebene ist eine Wahl einer Ebene im dreidimensionalen Raum, die den Mittelpunkt der Sphäre K
nicht enthält. Je nach Wahl dieser Ebenen können die
Schnittverhältnisse von Geraden anders aussehen. Das nächste
Bild zeigt zwei affine Ebenen (schattierte Ebenen).
Klaus Johannson, Geometrie (L2)
92
. Geometrie (L2)
Parallele Geraden = Nicht-parallele Geraden
Weiter sieht man ein Paar von Ebenen. Der Schnitt
dieses Paares mit der Sphäre K repräsentiert ein
Paar von Geraden in der konkreten projektiven Geometrie der projektiven Ebene (also zwei Grosskreise).
Diese schneiden sich in der projektiven Ebene in genau
einem Punkt. In der affinen Ebene des linken Bildes
schneiden sich diese beiden Geraden nicht (sie schneiden sich in einem idealen Punkt). Dagegen schneiden
sich dieselben Geraden in der affinen Ebene des rechten
Bildes. Durch geeignete Wahl der affinen Ebene kann
man also einen Schnittpunkt sichtbar machen oder im
Unendlichen verbergen.
Der Satz von Desargue.
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
93
Mit der projektiven Geometrie hat man nun eine neue,
von der Euklidischen Geometrie verschiedenen Geometrie. Sie ist aus der Perspektive der Rennaissance
Maler entstanden. Aber es ist bis jetzt noch nicht ganz
klar geworden, was mit einer projektiven Geometrie
wirklich mathematisch erreicht wird.
Die projektive Geometrie hat aber eine wichtige Eigenschaft die die Euklidische Geometrie nicht hat, sie erfüllt nämlich ein Dualitätsprinzip. Mit diesem Dualitätsprinzip lassen sich viele schwierige Sätze der Euklidischen Geometrie relativ leicht beweisen.
Aus Zeitgründen können wir die Methode leider nur
an einem Beispiel illustrieren. Wir wählen hierzu den
Satz von Desargue. Der Satz von Desargue kommt in
verschiedenen Varianten daher. Hier sind drei dieser
Varianten.
Der Satz von Desargue in der affinen Ebene
Klaus Johannson, Geometrie (L2)
94
. Geometrie (L2)
Satz von Desargue. Sind in den obigen beiden Figuren die einmal und zweimal gestrichenen Strecken
parallel, so auch die dreimal gestrichenen Strecken.
Desargue’sche Eigenschaft. Seien ∆ = ∆(p, q, r)
und ∆′ = ∆(p′ , q ′ , r′ ) zwei Dreiecke (d.h. zwei Tripel
von nicht colinearen Punkten) von P so dass die
Geraden pp′ , qq ′ , rr′ alle durch deselben Punkt gehen.
Dann liegen die Schnittpunkte pq ∩ p′ q ′ , pr ∩ p′ r′ , qr ∩
q ′ r′ alle auf einer Geraden.
s
q’
p’
r’
r
p
q
Die Desargue’sche Eigenschaft
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
95
Die Desargue’sche Eigenschaft ist auch nur eine Form
des Desargueschen Satzes. Um dies zu sehen muss man
einige der obigen Punkte zu unendlich fernen Punkten
erklären.
Um den Satz von Desargue zu beweisen führen wir die
abstrakte projektive Geometrie ein. Es stellt sich dann
heraus, dass die abstrakten ihrerseits viele neue intersaante Eigenschaften haben, die wir hier aber leider
nicht verfolgen können.
Abstrakte Projektive Geometrie.
In der abstrakten projektiven Geometrie ist die projektive Geometrie nicht mehr konkret gegeben. Das
Entscheidende in der konkreten projektiven Geometrie waren ja nicht die Massverhältnisse (die es nicht
gibt) sondern die Schnittverhältnisse von Geraden wie
sie z.B. im Satz von Desargue diskutiert. Genauer
ausgedrückt sind es allein die Inzidenzverhältnisse von
Punkten und Geraden die die projektive Geometrie
ausmachen.
Eine abstrakte projektive Geometrie ist deshalb axiomatisch durch die Inzidenzverhältnisse allein definiert. Dies führt zu folgender formalen Definition.
Klaus Johannson, Geometrie (L2)
96
. Geometrie (L2)
Eine kombinatorische Ebene ist ein Tripel P =
(V, L, I) von Mengen V, L, I mit V ∩ L = ∅ und
V ∪ L 6= ∅ und I ⊂ V × L. Hier heißt
V = die Menge der Punkte (= vertices),
L = die Menge der Geraden (= lines) und
I = die Inzidenztafel
der kombinatorischen Ebene P .
Bezeichnungen. Man sagt p ∈ V und ℓ ∈ L
sind inzident, genau dann wenn (p, ℓ) ∈ I. Man
sagt auch einfach p liegt auf ℓ. Punkte einer
kombinatorischen Ebene heißen colinear, wenn sie auf
einer gemeinsamen Linie liegen. Ein Vierpunkt ist
ein Quadrupel (p, q, r, s) von Punkten aus V mit
der Eigenschaft dass kein Tripel dieser Punkte colinear
ist.
Definition. Eine abstrakte projektive Ebene ist
eine kombinatorische Ebene P = (V, L, I) so dass
(1) Je zwei Punkte von V sind inzident zu genau
einer Gerade von L,
(2) Je zwei Geraden von L sind inzident zu genau
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
97
einem Punkt von V ,
(3) Es gibt einen Vierpunkt.
Bemerkung. Abstrakte projektive Ebenen können
endlich oder unendlich sein. Die konkrete projektive
Geometrie ist ein Beispiel für eine unendliche abstrakte
projektive Ebene. Später werden wir ein Beispiel für
eine endliche abstrakte Ebene sehen.
Bemerkung. Entscheidend ist hier, dass es nicht
länger darauf ankommt was ”Punkte” und ”Geraden”
konkret sind, sondern nur darauf was ihre Inzidenzverhältnisse sind. Bei projektiven Ebenen kann man
eigentlich zwischen Punkten und Geraden nicht mehr
wirklich unterscheiden. Wir sagen eine Ebene ist
selbst-dual, wenn jede Aussage über die Ebene richtig bleibt, wenn man in ihr ”Punkt” durch ”Gerade”
und ”Gerade” durch ”Punkt” ersetzt. Die Axiome (1)
und (2) der projektiven Ebene sind Beispiele für duale
Aussagen. Alle projektiven Ebenen sind selbst-dual.
Satz. (Das Dualitätsprinzip der projektiven
Geometrie) Jede Aussage der projektiven Geometrie
bleibt wahr, wenn man ihr die Worte ”Punkte” und
Klaus Johannson, Geometrie (L2)
98
. Geometrie (L2)
”Gerade” jeweils durch die Worte ”Gerade” und
”Punkte” ersetzt.
Beweis des Dualitätsprinzips. Wenn man in den
Axiomen der abstrakten projektiven Geometrie die
Worte ”Punkte” und ”Gerade” austauscht erhält man
dieselben Axiome und somit dieselbe Geomtrie. Die
Sätze in der einen Geometrie müssen also auch in der
dualen Geometrie gelten (weil sie gleich ist). ♦
Mit dem Dualitätsprinzip hat man ein sehr wirksames
Instrument in der Hand. Für jede einmal bewiesene
Aussage in der projektiven Geometrie erhält man ja
sofort die duale Aussage für umsonst dazu, ohne diese
extra beweisen zu müssen (”buy one, get one free”).
Hierfür findet man viele Beispiele in Lehrbüchern zur
projektiven Geometrie. Aus Zeitgründen illustrieren
wir das Prinzip nur an einem Besipiel, nämlich dem
Beweis des Satzes von Desargue.
Beweis des Satzes von Desargue mit Hilfe des
Dualitätsprinzips.
Wir werden sehen, dass der Satz von Desargue lediglich eine Folge des Dualitätsprinzips ist.
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
99
Um dies zu sehen, muss man sich nur klar machen, dass
der Satz von Desargue genaugenommen aus zwei Aussagen besteht, beide über ein gewisses Paar ∆ABC
und ∆A′ B ′ C ′ von Dreiecken, nämlich
1. Aussage: Die drei Geradenpaare, die durch sich
entsprechende Seiten der Dreiecke gehen, treffen sich
in drei Punkten, die alle auf einer Geraden liegen.
2. Aussage. Die drei Punktepaare, von sich entsprechenden Eckpunkten der Dreiecke, liegen auf drei Geraden, die sich in einem Punkt treffen.
Wenn wir dies in der abstrakten Axiomatik ausdrüken, dann liest sich das wie folgt.
1. Aussage. Seine g1 , g2 , g3 ∈ G und g1′ , g2′ , g3′ ∈ G
die sich entsprechenden Geraden. Seien p1 , p2 , p3 ∈ P
die Punkte mit (pi , gi ) ∈ I, (pi , gi′ ) ∈ I, i = 1, 2, 3.
Es gebe eine Gerade h ∈ G mit (pi , h) ∈ I.
2. Aussage. Seien p1 , p2 , p3 ∈ P und p′1 , p′2 , p′3 ∈ G
die sich entsprechenden Eckpunkte. Seien g1 , g2 g3 ∈
G die Geraden mit (pi , gi ) ∈ I, (p′i , gi ) ∈ I. Es gebe
einen Punkt q ∈ P mit (q, gi ) ∈ I.
Klaus Johannson, Geometrie (L2)
100
. Geometrie (L2)
Wir sehen, dass beide Aussagen ineinander übergehen,
wenn wir die Wörter ”Punkte” und ”Geraden” austauschen. Nach dem Dualitätsprinzip gilt dann eine
der beiden Aussagen genau dann wenn die andere
Aussage gilt.
Dies beweist den Satz von Desargue. ♦
Endliche Projektive Ebenen.
Abstrakte projektive Ebenen können auch nur aus
endlich vielen Punkten bestehen. Solche endlichen
projektiven Geometrien sind vollständig durch ihre Inzidenztafeln gegeben.
Beispiel. Die folgende Tafel ist die Inzidenzmatrix
einer endlichen, projektiven Ebene mit 13 Punkten und
13 Geraden. Ein schwarzes Feld in Position (i, j)
bedeutet, dass der Punkt in der j-ten Spalte und die
Gerade in der i-ten Zeile inzident sind:
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
101
Eine endliche projektive Ebene
Um zu zeigen, dass diese Tafeln projektive Ebenen
sind, muss man die drei Eigenschaften von projektiven
Ebenen nachprüfen:
(0) Es gibt mindestens einen Vierpunkt. Um dies zu
verifizieren, muss man 4 Vertikale angeben mit der
Eigenschaft, dass jede Horizontale mindestens zwei der
Vertikalen in weissen Feldern schneidet.
Im linken Bild sieht man, dass die vier Vertikalen 1,
5,6,7 diese Eigenschaft haben.
(1) Je zwei Geraden enthalten genau einen Punkt. Um
dies zu verifizieren muss man nachprüfen:
für je zwei Horizontale gibt es genau eine Vertikale,
die die Horizontalen in schwarzen Feldern trifft. Im
mittleren Bild ist dies nur die Vertikale 13, die die
Horiizontalen 5 und 12 in dieser Weise trifft.
Klaus Johannson, Geometrie (L2)
102
. Geometrie (L2)
(2) Je zwei Punkte liegen auf genau einer Geraden.
Um dies zu verifizieren muss man nachprüfen:
für je zwei Vertikale gibt es genau eine Horizontale, die
die Vertikalen in schwarzen Feldern trifft. Im rechten
Bild ist dies nur die Horizontale 4, die die Vertikalen
4 und 8 in dieser Weise trifft.
Bemerkung. Man kann sich die Arbeit durch die
Beobachtung vereinfachen, dass die Tafel spiegelsymmetrisch entlang der Diagonale ist. Dies muß aber für
eine projektive Ebene nicht notwendigerweise gelten.
Damit ist gezeigt, dass die obige Tabelle eine projektive Ebene ist. ♦
Bemerkung. Man beachte, dass jede Zeile und jede
Spalte der Tabelle die gleiche Zahl von schwarzen Feldern enthält, nämlich im obigen Beispiel 4. Es ist
eine der bemerkenswerten Eigenschaften der projektiven Ebenen, dass dies für projektive Ebenen immer
der Fall ist.
Bemerkung. Im Prinzip kann man endliche projektive Ebenen durch Probieren finden und man kann sich
Klaus Johannson, Geometrie (L2)
§8 Projektive Geometrie
103
leicht vorstellen, dass die kleineren projektiven Ebenen
alle bekannt sind. Mit steigender Zahl von Punkten
und Geraden wird es allerdings immer schwerer alle
Bedingungen von projektiven Ebenenen zu testen, so
dass man - selbst unter Verwendung von Computern schnell an Grenzen stößt. Viele der endlichen projektiven Ebenen haben aber interessante Eigenschaften
oder wichtige Beziehungen zu anderen Gebieten der
Mathematik, wie z.B. zur Algebra oder Gruppentheorie. Deshalb würde man sie gerne besser kennen. Leider können wir hierauf nicht weiter eingehen. Es ist
aber bis heute imer noch eine besondere mathematische Herausforderung, interessante endliche projektive
Ebenen zu konstruieren.
Literatur:
David Hilbert, Grundlagen der Geometrie
Felix Klein, Vorlesungen über nicht-Euklidischen Geometrie
Frederick Stevenson, Projective planes
Klaus Johannson, Geometrie (L2)
Herunterladen