Projektivní geometrie

V projektivní rovině se libovolné dvě přímky protnou.

Projektivní geometrie představuje takovou geometrii, která zkoumá vlastnosti, které se nemění u projektivních transformací (kolineací). Model pro tuto geometrii je obvykle projektivní rovina anebo projektivní prostor. V této geometrii jsou definovány body a přímky, nikoli však úhly a vzdálenosti.

Projektivní geometrie byla historicky inspirována potřebami renesančního umění – zvládnutím perspektivy v malířství. Matematickým zachycením těchto poznatků se zabývali Desargues, Poncelet, Möbius, Cayley a jiní.

Důležitou vlastností projektivní geometrie je tzv. "dualita". Například v geometrii projektivní roviny vyjadřuje fakt, že když se v jejích tvrzeních zamění slova bod a přímka a spojení "ležet na přímce" za "protínat se v bodě", tak se zachová pravdivost. Např. výrok "Každé dva různé body leží na jediné přímce" je duální k výroku "Každé dvě různé přímky se protínají v jediném bodě", oba jsou pravdivé.

Historie

První geometrické vlastnosti projektivního charakteru byly objeveny ve třetím století Pappem z Alexandrie.^[1] Johannes Kepler (1571–1630) a Girard Desargues (1591–1661) nezávisle na sobě rozvinuli základní koncept "bodů v nekonečnu". Desargues se snažil propojit tyto myšlenky s Euklidovou geometrií do jednoho systému. Další významní myslitelé, kteří přispěli k vývoji projektivní geometrie, byli Gaspard Monge a Jean-Victor Poncelet, který roku 1822 publikoval jedno ze základních historických pojednání o projektivní geometrii, ve kterém charakterizoval vztahy mezi metrickými a projektivními vlastnosti geometrických objektů.

Pozdější práce Ponceleta, Jakoba Steinera a jiných směřovaly k axiomatickému zavedení projektivních prostorů.

Axiomy projektivní geometrie

Následující axiomy jsou shrnutím axiomů navržených A. N. Whiteheadem.^[2] Existují dva typy objektů, body a přímky, přičemž platí

Každá přímka obsahuje alespoň 3 body.
Každé dva body A a B leží na jediné přímce.
Pokud se přímky AB a CD protínají, protínají se i AC a BD.

Podprostor AB…XY se dá rekurzivně definovat pomocí podprostoru AB…X jako prostor, který obsahuje všechny body všech přímek YZ, kde Z probíhá množinou {A,B,…X}. Množina bodů {A,B,…Z} je nezávislá, pokud A,B,…,Z je minimální podmnožina generující daný prostor.

Koncept přímky se dá zobecnit do rovin a projektivních prostorů vyšších dimenzí.

projektivní prostor dimenze nejméně 0 je takový, který obsahuje alespoň 1 bod
projektivní prostor dimenze nejméně 1 je takový, který obsahuje alespoň 2 body (a tedy přímku)
projektivní prostor dimenze nejméně 2 je takový, který obsahuje alespoň 3 nekolineární body (přímku a bod, který na ní neleží)
projektivní prostor dimenze nejméně 3 je takový, který obsahuje alespoň 4 nekolineární body (t.j. neležící v jedné projektivní rovině)

a tak dál. Projektivní prostor má dimenzi k pokud je k největší číslo takové, že prostor má dimenzi "nejméně k".

Axiomy projektivní roviny

Speciálně v případě projektivní roviny se uvádějí tyto tři axiomy:^[3]

Každé dva různé body určují jedinou přímku
Každé dvě různé přímky určují jediný bod
Existují alespoň 4 body, z kterých žádné tři neleží na přímce.

Nejmenší geometrie, která axiomy splňuje je tzv. Fanova rovina, která obsahuje pouze 7 bodů a 7 přímek.

Desarguesův axiom

V projektivních rovinách obvykle platí tzv. Desarguesův axiom, resp. Desarguesova věta. Je to následovní tvrzení:

Pro dva trojúhelníky ABC, abc se přímky Aa, Bb, Cc protínají v jednom bodě, právě když průsečík přímek AB, ab, průsečík AC, ac a průsečík BC, bc leží na jedné přímce.

V běžné projektivní rovině vychází důkaz tohoto tvrzení z třírozměrné prostorové perspektivy.

Existují však projektivní prostory, v nichž platí axiomy projektivní roviny, Desarguesova věta ale nikoliv.

Modely projektivní geometrie

Nejběžnější model projektivní roviny je reálná projektivní rovina $\mathbb {RP} ^{2}$ , která se dá reprezentovat jako množina přímek v $\mathbb {R} ^{3}$ procházejících počátkem. Přímky projektivní roviny jsou pak množiny ("obyčejných" afinních) přímek v $\mathbb {R} ^{3}$ , které leží v jedné ("obyčejné" afinní) rovině.

Projektivní transformace (kolineace) v rovině jsou všechny transformace, které pocházejí z lineárních zobrazení prostoru $\mathbb {R} ^{3}$ .

Projektivní rovinu můžeme reprezentovat jako množinu bodů $(1,x,y)$ v rovině {x=1} a směrů $(0,x,y)$ , což odpovídá bodům v nekonečnu. Projektivní transformace, reprezentované jako transformace roviny {x=1}, pak zahrnují všechny Euklidovské transformace, afinní transformace, ale i mnohé další (některé převádějí elipsu na hyperbolu nebo parabolu a podobně). Projektivní transformace zachovávají přímky a také tzv. dvojpoměr.^[4]

Podobně můžeme zkonstruovat projektivní prostor $F\mathbb {P} ^{n}$ nad libovolným tělesem F. Nejmenší model projektivní roviny je Fanova rovina, která obsahuje pouze 7 bodů a její model je $\mathbb {Z} _{2}\mathbb {P} ^{2}$ , kde $\mathbb {Z} _{2}$ je dvouprvkové těleso.

Existují také projektivní geometrie, které nepocházejí z těles.

Běžné modely projektivních rovin nad tělesy reálných, komplexních čísel a kvaternionů jsou kompaktní variety, na kterých mají přirozenou akci kompaktní Lieovy grupy SO(n), SU(n), Sp(n). Analogie projektivní roviny nad oktoniony vedou na prostory, jejichž přirozené grupy symetrií jsou výjimečné Lieovy grupy.^[5] Na těchto prostorech je možné zavést přirozeným způsobem metriku, ovšem definice "přímek" je složitá. Nejznámější z těchto projektivních rovin je reálná Cayleyho rovina

\mathbb {OP} ^{2}\simeq F_{4}/Spin(9)

,

na které působí výjimečná Lieova grupa $F_{4}$ . Jako reálná varieta má Cayleyho rovina dimenzi 16. V tomto prostoru neplatí Desarguesova věta^[6].

Související články

Reference

↑ COXETER, H.S.M. Projective Geometry. [s.l.]: Springer Verlag, 2nd ed., 2003. ISBN 978-0-387-40623-7. (anglicky)
↑ WHITEHEAD, Alfred North. The axioms of projective geometry. [s.l.]: Nabu Press (August 24, 2010), 2010. 74 s. ISBN 978-1177671873. Kapitola 2. (anglicky) online
↑ CEDERBERG, Judith N. A course in modern geometries. [s.l.]: Springer, 2001. 439 s. Dostupné online. ISBN 0-387-98437-2. S. 5. (anglicky)
↑ BICAN, Ladislav. Lineární algebra a geometrie. [s.l.]: Academia, 2002. 198 s. ISBN 80-200-0843-8.
↑ Baez, John C., The octonions, online
↑ Marie Dostalova, Projektivni oktonionova rovina, bakalarska prace, MFF UK, Praha (2009), [1]

Externí odkazy

Obrázky, zvuky či videa k tématu projektivní geometrie na Wikimedia Commons
Projective geometry na mathworld

[1] COXETER, H.S.M. Projective Geometry. [s.l.]: Springer Verlag, 2nd ed., 2003. ISBN 978-0-387-40623-7. (anglicky)

[2] WHITEHEAD, Alfred North. The axioms of projective geometry. [s.l.]: Nabu Press (August 24, 2010), 2010. 74 s. ISBN 978-1177671873. Kapitola 2. (anglicky) online

[3] CEDERBERG, Judith N. A course in modern geometries. [s.l.]: Springer, 2001. 439 s. Dostupné online. ISBN 0-387-98437-2. S. 5. (anglicky)

[4] BICAN, Ladislav. Lineární algebra a geometrie. [s.l.]: Academia, 2002. 198 s. ISBN 80-200-0843-8.

[5] Baez, John C., The octonions, online

[6] Marie Dostalova, Projektivni oktonionova rovina, bakalarska prace, MFF UK, Praha (2009), [1]

[1]

[2]

[3]

[4]

[5]

[6]