Sie sind auf Seite 1von 19

1.

2 Projektive Geometrie

1) Inhalt und Zielsetzung der projektiven Geometrie (im vorigen Jahrhundert)

-"Seh-Geometrie" (Malerperspektive)
("Tast-Geometrie")

urua, physikalischer Raum

Bedeutung

der

projektiven Geometrie

fr die

Mathematik

(Systematisierung - Beispiel "Kegelschnitte" und Abbildungen) - Zusammenhang zwischen affiner und projektiver Geometrie

- die Raumvorstellung in der Antike und in der Neuzeit

2) Bedeutung eines axiomatischen Aufbaus einer Theorie


- Beweis von metatheoretischen Aussagen @ualittsprinzip)

3) Problematik des Status der geometrischen Objekte - Natur der Punkte und Geraden, insbesondere der unendlich fernen Punkte und der unendlich fernen Geraden

- Vergleich mit der Bedeutung der Begriffe bei Euklid - didaktische Dis,kussion (ZMNU)

- Dualitatsprinzip (Irrelevanz
,,Gerade")

der Bedeuhng der Begriffe ,,Punkt" und

-1-

:' -- -

Die Eukidische Ebene ist eine affine Ebene:

Def.: (P, G, I) heit ene ffine Ebene, wenn gilt


- P ist eine Menge (,,Punkte")

- G ist eine Menge (,,Geraden") -

Ic

PxG

(,,Inzidennelation")

und die folgenden Axiome erfllt sind:

(Al)

Zu

je

zvlei verschiedenen Punkten A,

B e P gibt es genau eine Gerade g e

G, die mit A und B inzidiert.

(A2) Z)ieder Geraden g und jedem Punkt A gibt es genau eine Gerade g', die mit

A inzidiert und zu g parallel ist.

(A3) Es grbt drei Punkte, die nicht kollinear sind.

@abei heien Geradenp arallel,wenn sie keinen Punkt gemein haben oder gleich sind. Punkte heien kollinear, wenn es eine Gerade gibt, die mit diesen Punkten

inzidiert.)

Safz: Die Parallelitat ist eine Aquivalenzrelation auf G.

Beweis: zur Transitivitat:

K"

Modelle von affinen Ebenen:

(1) Zeichenebene von Euklid

(2) relle Koordinateebene

P:IR x IR
G,

g.,o: { (t,y) I y:m"+ b } undm, b e IR

g.:
l-

{ (x,y)

lr:c

} undc e IR

r- cK

(3) Koordinatenebene ber einem beliebigen Krper

.,F: K x K G, g*,0:{(x,y) ly:mx+b}undm,be K g": {(*,y) l":c}undceK r- c l(Beispiele. Koordinatenebenen ber

./

&

und Kg)

Theorem: Eine affine Ebene lat sich genau dann als Koordinatenebene ber
einem Krper darstellen, wenn sie pappusch
Pappus gilt).

ist (d.h. der Schlieungssatz von

Satz von Pappus: Liegen die Ecken eines Sechsecks abwechselnd auf zwei
Geraden, aber keine auf beiden, und bestehen zrvei Paare von Gegenseiten aus Parallelen, so auch das dritte.

93nb Ddrni(Srlrfiigcrirct rrJ,)crlrt'ifltc[rnrinott [.tctbcn otD0cbcn / trnb [0rnfrg0( 0ol(rDt]cr, knch lru 6rtlrr [oirh ur,rr nrrrr[i[lrcl;cr plopotlott orl unbcrrrt Drtriti 0c[ic{rtrrD gcf'rbrnt crr lro0 ttrt! -

'

DrrlcntirrDrrrtp:ingot/tllDDdrpcyrncnigftr[grtt'orncalFbot/ubfirflpcrtt,rtrDtrtltcrr flror tlurD nrir Di[oupg,rrrgor hrlrllrfn n'rDrrtrocfl l Drrrtcn iDooicf2 Doo (o[cn gccn nfr tncrot uttD frlb ouiI rniDcrD:urtttr tuifl/ur] auf 5rflcrcrrr lfirll Dan ic6 bcfil2_cfot rfli D,rntrrcf rttog

,,

fitf2 cin pcdrrb(r

ricflli/(olfcnt

J;n(tt

fip

tob orD

crrcrigfiir[,

projehive Erweiterung einer affinen Ebene: (P, G, I) sei eine affine Ebene. Ist a eine Gerade, so bezeichne llu das Parallelbtischel aller zLt

paralleler Geraden und goo die Menge aller

Parallelbtischel. gm heit die tmendlich ferne Gerade und die Elemente von gco
dei unendlichfernen Punhe. Die Inzidenzrelation wird wie

folg enreitert:

bI

lI"

<+

b e IIu

und

lI" I g* fr alle a, b e G.

Safz: Jede affine Ebene lat sich durch Hinzufgen der unendlich fernen Punkte
und der unendlich fernen Geraden zu einer projektiven Ebene erweitern.

Def.: (P, G, I) heit

erne projelctive

Ebene, wenn gilt

- P ist eine Menge (,,Punkte")

- G ist eine Menge (,,Geraden") -

Ic

Px G (,,Inzidennelation")

und die folgenden Axiome erfllt sind:

(Pl)

Zu

je rwei verschiedenen Punkten A, B e P gibt es genau eine Gerade g

G, die rnit A und B inzidiert.

(P2) Zu

je nvei verschiedenen

Geraden a,

b e G gibt es genau einen Punkt A

P, der mit a und b inzidiert.

(P3) Es gibt vier Punkte, von denen keine drei kollinear sind und es gibt vier
Geraden, von denen keine drei kopunktal sind.

(Dabei heien Geraden kopunktal, wenn es einen Fturkt gibt, mit dem diese
Geraden inzidieren.)

aff n e Sp e z i al i s i e run I
und

ein er proj

ektiven Eben

e:

(P, G, I) sei eine projektive Ebene. Es sei

g G undP,

: { A eP IA I g }

I' die Restriktion

von I auf P - Pe

- {g}.

Satz: Jede projektive Ebene lat sich durch Wegnahme einer Geraden und ihrer
Punkte

nt

erner affinen Ebene spezialisieren.

Affne Ebenen und projektive Ebenen entsprechen einander (in dem angegebenen
Sinn). Dabei entsprechen pappussche affine Ebenen pappusschen projektiven

In diesen gilt der Satz von Pappus in einer ,projektiven" Form. Diese projektiven Ebenen kann man elegant als Teilraumverbnde von
Ebenen.
dreidimension alen Vektorrum en darstellen. All gemein gilt
:

Satz: Der Teilraumverband eines n-dimensionalen Velctorraumes ist ein (n-1)dimensionaler projektiver Raum.

1J6 450 Abb. 9: Krater des Niobidenmal"'s

v Chr' Paris:

Louvre'

375 v. Chr' lrleapel: Museo Nazionale' Abb. 10: Unteritalienisdre Amphora' Um


i

Irc
s,i. Di-rLrrsri'cr/i'r. Rnrische Mermorkopic

T:h ":i::,L:ll5estrtue Murrchen, GlYPtothck

von MYRoN' Unr 'tJo v'Crh'

I Pro29351669raa 2Nrko.Tenpl(! Typ xt 3 P.opylaen (! Typ xvll ,l Slandb'ld d. Alhna Promachos


5 6

Ademrs'Ecrirk Chalkolhel

7 Parthenon (s. Typ. XIV I aller Alhen.. 10 8e:rrk des Z.us


I1

Tefitsl

Athe^. Allar

H6r6

dc!

l3

I 2 Erechthe,on (s. Typ. XVI)

Pandroreron

1a Haus

dcr Arrheph6an

6 Sch;l

I P'vli gHa, l0 Sra.

ervuoJ ,airil .soZr

rrtu

.Dz'rJ DoM

:rf,nrv o ocr^uoal .f8r

DIE VIER APOKALYPTISCHEN REITER.

I19T

UALITATSPNTN ZIP

Vertauscht nan in einem Satz der ebenen projektiven Geonetrie die l?orte ttPunkttt und ltGeraderr, so erhlt man lvieder einen Satz der ebenen projektiven Geometrie.

AXIOIIE}{SYSTEM !'PROJEKTIVE EBENEN

Je zwei Punkte haben genau eine Verbindungsgerade. P2: Je zwei Geraden haben genau einen Schnittpunkt P3 : Es grbt vier Punkte, von denen keine drei kollinear sind, und es g'"lbt vier Geraden, von denen keine. drei kopuhktal sind.
P1

r :.,-

Die Cav1ev'-i{Iein Geometrien

t4--t .j

\\.

\,

''{

\\
|

\
I

elliPtisch

euklidisch

hyperbolisch

\
I

A---:

w
Galileisch
cominkowskisch

coeuklidisch

cohyPerbolisch

Minkowskisch

dopPeli-hYPerbolisch

3 - -\"-- \ \
,\,,

-.Y i
,

,r"\ g-- -t--

----\

tr

,-\

Poinca16 models

(by help of stereographic projections)

--l--<:--7-'=

/\

-*-r<

geometry and of the models of the ltyperholic Poincard ge o tnetrY r: o rninkow s ki an

t\---z

-/

il l