Variace na invarianci 2018 Kleinův Erlangenský program(lukáš Krump)

Podobné dokumenty
Variace na invarianci 2017 Kleinův Erlangenský program(lukáš Krump)

7 Analytické vyjádření shodnosti

ANALYTICKÁ GEOMETRIE V ROVINĚ

19 Eukleidovský bodový prostor

1 Připomenutí vybraných pojmů

Eukleidovský prostor a KSS Eukleidovský prostor je bodový prostor, ve kterém je definována vzdálenost dvou bodů (metrika)

0. Pak existuje n tak, že Bµ APn

5 Pappova věta a její důsledky

Zavedeme-li souřadnicový systém {0, x, y, z}, pak můžeme křivku definovat pomocí vektorové funkce.

9.1 Definice a rovnice kuželoseček

Obsah a průběh zkoušky 1PG

Analytická geometrie lineárních útvarů

transformace je posunutí plus lineární transformace má svou matici vzhledem k homogenním souřadnicím [1]

Matematika I 12a Euklidovská geometrie

ANALYTICKÁ GEOMETRIE LINEÁRNÍCH ÚTVARŮ V ROVINĚ

6 Samodružné body a směry afinity

1.13 Klasifikace kvadrik

KMA/G2 Geometrie 2 9. až 11. cvičení

Michal Zamboj. December 23, 2016

Michal Zamboj. January 4, 2018

Syntetická geometrie I

3 Projektivní rozšíření Ēn prostoru E n

6.1 Vektorový prostor

Josef Janyška Anna Sekaninová ANALYTICKÁ TEORIE KUŽELOSEČEK A KVADRIK

Vlastní čísla a vlastní vektory

Hyperbolická geometrie číselných soustav

Lineární algebra : Metrická geometrie

Projektivní prostor a projektivní zobrazení

Syntetická geometrie I

Úlohy k přednášce NMAG 101 a 120: Lineární algebra a geometrie 1 a 2,

Učební texty k státní bakalářské zkoušce Matematika Skalární součin. študenti MFF 15. augusta 2008

1 Báze a dimenze vektorového prostoru 1

11. VEKTOROVÁ ALGEBRA A ANALYTICKÁ GEOMETRIE LINEÁRNÍCH ÚTVARŮ. u. v = u v + u v. Umět ho aplikovat při

Matematika (CŽV Kadaň) aneb Úvod do lineární algebry Matice a soustavy rovnic

Elementární křivky a plochy

A[a 1 ; a 2 ; a 3 ] souřadnice bodu A v kartézské soustavě souřadnic O xyz

6. Vektorový počet Studijní text. 6. Vektorový počet

Dá se ukázat, že vzdálenost dvou bodů má tyto vlastnosti: 2.2 Vektor, souřadnice vektoru a algebraické operace s vektory

0.1 Úvod do lineární algebry

Podrobnější výklad tématu naleznete ve studijním textu, na který je odkaz v Moodle. Tam je téma

Afinita je stručný název pro afinní transformaci prostoru, tj.vzájemně jednoznačné afinní zobrazení bodového prostoru A n na sebe.

14. přednáška. Přímka

Necht L je lineární prostor nad R. Operaci : L L R nazýváme

6 Skalární součin. u v = (u 1 v 1 ) 2 +(u 2 v 2 ) 2 +(u 3 v 3 ) 2

6 Lineární geometrie. 6.1 Lineární variety

Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA II, letní semestr 2000/2001 Michal Marvan. 14.

Skalární součin dovoluje zavedení metriky v afinním bodovém prostoru, tj. umožňuje nám určovat vzdálenosti, odchylky, obsahy a objemy.

Úvod do neeukleidovské geometrie

příkladů do cvičení. V textu se objeví i pár detailů, které jsem nestihl (na které jsem zapomněl) a(b u) = (ab) u, u + ( u) = 0 = ( u) + u.

Josef Janyška Anna Sekaninová ANALYTICKÁ TEORIE KUŽELOSEČEK A KVADRIK

1 Topologie roviny a prostoru

Poznámka. V některých literaturách se pro označení vektoru také používá symbolu u.

Aplikace. Středové promítání. A s. Výpočet pohybu kamery rekonstrukcí videosekvence 3D rekonstrukce objektů 3D modelování

REÁLNÁ FUNKCE JEDNÉ PROMĚNNÉ

EUKLIDOVSKÉ PROSTORY

MATURITNÍ TÉMATA Z MATEMATIKY

Drsná matematika I 13. přednáška Kvadriky a projektivní rozšíření

11. VEKTOROVÁ ALGEBRA A ANALYTICKÁ GEOMETRIE LINEÁRNÍCH ÚTVARŮ

11 Vzdálenost podprostorů

Teorie grup 1 Příklad axiomatické teorie

Lingebraické kapitolky - Analytická geometrie

Matematická analýza III.

( ) ( ) ( ) ( ) Skalární součin II. Předpoklady: 7207

Učební texty k státní bakalářské zkoušce Matematika Diferenciální rovnice. študenti MFF 15. augusta 2008

Projekt OPVK - CZ.1.07/1.1.00/ Matematika pro všechny. Univerzita Palackého v Olomouci

Parametrické rovnice křivky

1 Analytická geometrie

Shodná zobrazení v rovině

Cyklografie. Cyklický průmět bodu

maticeteorie 1. Matice A je typu 2 4, matice B je typu 4 3. Jakých rozměrů musí být matice X, aby se dala provést

Geometrické transformace pomocí matic

Geometrické vidění světa KMA/GVS ak. rok 2013/2014 letní semestr

V: Pro nulový prvek o lineárního prostoru L platí vlastnosti:

i=1 Přímka a úsečka. Body, které leží na přímce procházející body a a b můžeme zapsat pomocí parametrické rovnice

PROSTORY SE SKALÁRNÍM SOUČINEM. Definice Nechť L je lineární vektorový prostor nad R. Zobrazení L L R splňující vlastnosti

Vlastní čísla a vlastní vektory

a počtem sloupců druhé matice. Spočítejme součin A.B. Označme matici A.B = M, pro její prvky platí:

3. ÚVOD DO ANALYTICKÉ GEOMETRIE 3.1. ANALYTICKÁ GEOMETRIE PŘÍMKY

(0, y) 1.3. Základní pojmy a graf funkce. Nyní se již budeme zabývat pouze reálnými funkcemi reálné proměnné a proto budeme zobrazení

Matematika B101MA1, B101MA2

GEOMETRICKÁ ZOBRAZENÍ. Josef Janyška

Lineární algebra : Lineární (ne)závislost

1 Linearní prostory nad komplexními čísly

KOMPLEXNÍ ČÍSLA A FUNKCE MNOŽINA KOMPLEXNÍCH ČÍSEL C. Alternativní popis komplexních čísel

- shodnost trojúhelníků. Věta SSS: Věta SUS: Věta USU:

Analytická metoda aneb Využití vektorů v geometrii

0.1 Úvod do lineární algebry

Obrázek 101: Podobné útvary

7 Konvexní množiny. min c T x. při splnění tzv. podmínek přípustnosti, tj. x = vyhovuje podmínkám: A x = b a x i 0 pro každé i n.

9 Kolmost vektorových podprostorů

7. Funkce jedné reálné proměnné, základní pojmy

8 Podobná (ekviformní) zobrazení v rovině

Lineární algebra : Skalární součin a ortogonalita

Vybrané kapitoly z matematiky

Katedra aplikované matematiky FEI VŠB Technická univerzita Ostrava luk76/la1

označme j = (0, 1) a nazvěme tuto dvojici imaginární jednotkou. Potom libovolnou (x, y) = (x, 0) + (0, y) = (x, 0) + (0, 1)(y, 0) = x + jy,

Cvičení z Lineární algebry 1

METRICKÉ A NORMOVANÉ PROSTORY

n tak, že součet vnitřních úhlů na jedné straně přímky k je méně než dva pravé úhly, pak se přímky m, straně protínají.

Rovnice přímky. s = AB = B A. X A = t s tj. X = A + t s, kde t R. t je parametr. x = a 1 + ts 1 y = a 2 + ts 2 z = a 3 + ts 3. t R

Transkript:

Variace na invarianci 2018 Kleinův Erlangenský program(lukáš Krump) V tomto semináři rozvedeme následují tezi, kterou přinesl Felix Klein ve svém Erlangenském programu(1872): V rovině existují různé geometrie. Každá geometrie je jednoznačně určena svou pohybovou grupou. Každá taková grupa se dá charakterizovat pomocí jistých invariantů. Uvažujeme tedy různé geometrie v rovině. Ke každé takové geometrii přísluší pohybová grupa čili grupa jejích symetrií. Pro euklidovskou rovinu máme grupu všechshodnostíoznačenou E 2,kterájegenerovánavšemirotacemi(oúhel ϕ 0,2π)),translacemi(ovektor v 0 = (x 0,y 0 ))areflexítřebapodleosy x. Domácí úkol 1(1 bod): Dokažte přímým výpočtem, že každá shodnost zachovává skalární součin. Navícplatí,že E 2 jeprávětanejvětšígrupa,kterázachováváskalárnísoučin, čilitentovýsledekse nedávylepšit. Grupa E 2 mádimenzi 3(dvědimenze přidává vektor, o nějž posouváme, jednu úhel, o nějž otáčíme, reflexe nepřidávají žádnou dimenzi). Říkáme, že skalární součin je číselným invariantem této grupy. Uvažujme další možné geometrie v rovině. Z obvyklé euklidovské geometrie je dostaneme tak, že odebíráme některé pojmy a axiomy. Odebráním skalárního součinu(a tedy i měření délek a úhlů) získáme z euklidovské roviny afinní rovinu, vnížjsoubodyavektory,umímemezinimirozlišitaumímeurčitstředúsečky. Takétujedefinovándělícípoměrtříbodů,zněhožlzerozpoznatjak body vnekonečnu (tzv.nevlastníbodyčilivlastněsměry),takistředyúseček. Naafinnípřímcejedefinovándělícípoměrtříbodůtakto: (ABC) = λ,jestliže C A = λ(c B). Domácíúkol2(2body): a) Je-li (ABC) = λ, určete hodnotu dělícího poměru pro všech šest možných permutací tří bodů. b)určetevšechnyhodnotyčísla λ R(C),proněžseněkteréztěchtošesti hodnot rovnají. Uafinnígeometriemámegrupuvšechafinit Af 2,kdejsoutranslacestejně jako v euklidovské grupě, a místo rotací a reflexí může být jakékoli regulární zobrazení.grupa Af 2 mádimenzi 6. Domácí úkol 3(1 bod): Dokažte přímým výpočtem, že každá afinita zachovává dělící poměr. 1

Projektivní rovinu získáme v principu tak, že odebereme dělící poměr a tedy i schopnost rozlišovat body vlastní od nevlastních, a rovněž středy úseček. Ve skutečnostiseprojektivnípřímka RP 1 aprojektivnírovina RP 2 zkonstruujíjako množina všech vektorových přímek ve vektorovém prostoru dimenze o 1 větší, a příslušná afinní přímka resp. rovina se do té projektivní vnoří. K popisu bodů v proj. přímce/rovině nám dobře slouží homogenní souřadnice: pro bod na projektivnípřímcepíšeme A = a = [a 0 : a 1 ],probodvprojektivníroviněpíšeme A = a = [a 0 : a 1 : a 2 ],voboupřípadechsejsouhomogennísouřadniceurčeny jednoznačně až na nenulový násobek. V projektivní přímce/rovině nerozlišujeme mezi vlastními a nevlastními body, to je jen vlastností zvoleného vnoření afinní přímky/roviny.kanonickyberemepropřímkuztotožnění x R [1 : x] RP 1 tojsouvlastníbody,anevlastníbodje [0 : 1]. Obdobněprovlastníbody vroviněmáme [x,y] R 2 [1 : x : y] RP 2 anevlastnípřímkajetvořena nevlastními body tvaru [0 : x : y]. Projektivní rovina splňuje velmi elegantní a jednoduchéaxiomy,asicežekaždédvabodyurčujíprávějednupřímkuakaždé dvě přímky se protínají právě v jednom bodě; a platí zde princip duality. Jaká grupa přísluší projektivní rovině a co zachovává? Zavedeme nejprve pojemdvojpoměrčtyřvektorůvrovinětakto:nechťčtyřivektory a,b,c,dvrovině jsou po dvou lineárně nezávislé a splňují Jejich dvojpoměr je pak definován jako c = α 1 a+β 1 b d = α 2 a+β 2 b. (abcd) = α 2β 1 α 1 β 2. že Domácíúkol4(1bod):Přioznačenísouřadnic a = (a 0,a 1 ),... dokažte, a 0 c 0 a 1 c 1 b 0 d 0 b 1 d 1 (abcd) = a 0 d 0 a 1 d 1 b 0 c 0. b 1 c 1 Je snadno vidět, že hodnota dvojpoměru nezávisí na nenulovém násobku žádného z vektorů a proto lze zavést dvojpoměr čtyř bodů na projektivní přímce: je-li A = a = [a 0 : a 1 ],...,pak (ABCD) = (abcd). Domácíúkol5(1bod):Je-li (ABCD) = λ,určetehodnotudvojpoměru pro všech 24 možných permutací čtyř bodů. Domácíúkol6(1bod): Dokažte,žejsou-libody A,B,C,Dvlastní,pak (ABCD) = (ABC) ;adále,jsou-li A,B,CvlastníaDnevlastní,pak (ABCD) = (ABD) (ABC). 2

Nynízavedemegrupuprojektivitna RP n jako PGL n+1 R = {A R (n+1) (n+1) ; A 0}/{α 0}, čilisejednáogrupuvšechregulárníchmatic(rozměruojednavětšího,nežjedimenze našeho projektivního prostoru) braných až na násobek nenulovým číslem. Proprojektivnípřímkutedymámematice 2 2,cožjsoučtyřidimenze,minus jednadimenzekvůlizanedbánínásobku,čilidimenze PGL 2 Rje 3. Prorovinu jsoutomatice 3 3adimenze PGL 3 Rje 3 2 1 = 8.Snadnoseukáže,žekaždá grupa PGL n Rzachovávádvojpoměr. Jsou-li geometrie uspořádané od nejvíce speciální(euklidovské) k nejobecnější (projektivní),jejichpohybovégrupysevtomtosměruzvětšují: E 2 Af 2 PGL 3. Vztahmeziprvnímidvěmajezřejmý(euklidovskárotaceareflexejsou speciálnímipřípadyregulárníchzobrazení),zatímcovztahmezi Af 2 a PGL 3 R užjeménězřejmý uvidímepříště. Ukaždégrupynazvemečíselnýminvariantemonu funkci,kterájegrupou zachovávána(s tím, že dotyčná grupa je největší, která tak činí), u zmíněných geometrií jde tedy postupně o skalární součin, dělící poměr a dvojpoměr. Všechny doposud zjištěné věci můžeme doplnit do tabulky: Geometrie Grupa Číselný invariant Množinový invariant (dimenze) euklidovská E 2 (3) skalárnísoučin něco(?)nanevlastnípřímce afinní Af 2 (6) dělícípoměr nevlastnípřímka projektivní PGL 3 R(8) dvojpoměr celárovina Všimněme si, že když postupujeme v tabulce shora dolů, u geometrií pokaždé nacosi zapomeneme,tj.dostávámeobecnějšígeometrie.naopaksměremnahoru dostáváme geometrie speciálnější. Vidíme, že čím je geometrie speciálnější, tím menší má pohybovou grupu, tím více se zachovává číselně(dvojpoměr lze vypočítat z dělícího poměru, dělící poměr ze skal. součinu, ale bez doplnění dodatečných informací to opačně nejde). Domácíúkol7(2body):Ukažte,že Af 2 PGL 3,neboližeafinnítransformace se dají realizovat jako projektivní transformace(vyjděte z toho, že afinní převádějí směry na směry). Kromě již známých pojmů jsme zavedli pojem množinový invariant jedná se o množinu, která je zachovávána při akci příslušné grupy. Při postupu tabulkou zdola nahoru, tj. směrem ke speciálnějším geometriím, se množinový invariant zmenšuje a zároveň zpřesňuje. V projektivní geometrii se zachovává pouze celá projektivní rovina jako taková, ale jinak se může jakýkoli bod zobrazit na jakýkoli jiný. V afinní geometrii se už zachovává aspoň něco konkrétně nevlastní přímka, tj. při každém afinním zobrazení se nevlastní body zobrazují na nevlastní a vlastní 3

na vlastní. Čekáme tedy, že i v euklidovské geometrii se zachovává(oproti afinní) cosi dalšího, přesnějšího, jakási podmnožina nevlastní přímky, zatím označená otazníkem. Po několika dalších úvahách na přednášce nám jako vhodní kandidáti přijde tzv. dvojiceizotropickýchbodů [0 : 1 : i],[0 : 1 : i]. Jsoutotedynevlastní body, které jsou navíc imaginární. Jsou zachovávány všemi translacemi(protože jsou to směry), rotacemi(díky tomu jsme je našli jako společné vlastní vektory všech rotací) a také reflexí podle osy x, která je navzájem vyměňuje. Domácí úkol 8(1 bod): Dokažte, že dvojice izotropických bodů leží na každé kružnici v rovině. Dále uvedeme Kleinovu ideu, že z projektivní geometrie je možné získat nové geometrie(v nichž jsme schopni měřit vzdálenosti a úhly) tím, že zvolníme jako množinový invariant nějakou kvadriku(v rovině tento pojem splývá s pojmem kuželosečka). A odsud plyne také klasifikace geometrií: Kuželosečka Geometrie Reálná regulární Hyperbolická Reálná singulární Parabolická Imaginární Eliptická Dvojice izotropických bodů je příkladem imaginární kuželosečky v dimenzi 1, což souvisí s tím, že měření úhlů v euklidovské geometrii je eliptické(měření vzdáleností je ovšem parabolické, ale to se sem už nevejde). Na způsob měření délek resp. úhlů(obecně říkejme míry) při zadané volbě kvadriky nás navádí tzv. Laguerrův vzorec. Uvažujme(euklidovský) svazek přímek v rovině. Naším cílem je vyjádřit obvyklý(euklidovský) úhel dvou přímek ve svazku pomocí dvojpoměru. Zavedeme nejprve souřadnice tak, že jedna libovolnězvolenápřímka p 0 budesloužitjakopočáteksouřadnic,aprolibovolnou přímku pvesvazkuoznačíme ϕ = ϕ(p)orientovanýúhelmezi p 0 a p,přičemž ϕ ( π,π.pakjepřímka purčenahomogennímisouřadnicemi [cosϕ : sinϕ]. Euklidovský pohyb ve svazku, tedy otáčení okolo středu, má invarianty jak již víme izotropické přímky, které lze v homogenních souřadnicích zapsat jako z = [1 : i], t = [1 : i]. Uvažujme nyní libovolné dvě reálné přímky svazku x = [x 0 : x 1 ],y = [y 0 : y 1 ]apočítejmedvojpoměrsizotropnímipřímkami: x 0 1 x 1 i y 0 1 y 1 i (xyzt) = x 0 1 x 1 i y 0 1 = (ix 0 x 1 )( iy 0 y 1 ) ( ix 0 x 1 )(iy 0 y 1 ) = x 0y 0 +x 1 y 1 i(x 0 y 1 x 1 y 0 ) x 0 y 0 +x 1 y 1 +i(x 0 y 1 x 1 y 0 ) y 1 i 4

Nynívyužijemetoho,že x = [x 0 : x 1 ] = [cosϕ(x) : sinϕ(x)]aobodobněpro y,aoznačíme ω = ϕ(y) ϕ(x).pakzřejmě cosω = cosϕ(y)cosϕ(x)+sinϕ(y)sinϕ(x) = σ(x 0 y 0 +x 1 y 1 ) sinω = sinϕ(y)cosϕ(x) cosϕ(y)sinϕ(x) = σ(x 0 y 1 x 1 y 0 ) kde σ je společný násobek vzniklý převodem mezi homogenními souřadnicemi x i y(rozmyslete). Dosazením dostáváme (xyzt) = cosω isinω cosω +isinω = e iω e iω = e 2iω Aplikací funkce Log(hlavní větev logaritmu) jakožto inverzní funkce k exponenciále v komplexním oboru dostáváme atedy což je tzv. Laguerrův vzorec. Log(xyzt) = 2iω ω = i 2 Log(xyzt), Tento vzorec může být poněkud překvapující, neboť úhel mezi dvěma přímkami vesvazkujezdevyjádřenpomocídvojpoměru,kdezbylédvěpřímky z,tjsou imaginární, Log je komplexní funkce komplexní proměnné a její hodnota se nakonec násobí komplexním číslem i, přesto, uvažujeme-li reálné přímky x, y (tj. s reálnými souřadnicemi), je úhel ω mezi nimi nutně reálné číslo. Pro obecnou volbu kvadriky budeme zavádět míru jako µ = c 2 Log(xyξξ ), kde ξ,ξ jsoubodykvadriky,tzv. absolutníbody. Tysepakukážoubýtbody v nekonečné vzdálenosti a pro případ hyperbolické přímky dojde k tomu, že námtytodvareálné(!) bodyrozdělípřímkunadvěčásti,vkaždéznichžjsou vzdálenosti reálné a mezi nimiž navzájem jsou vzdálenosti imaginární. Tímto způsobem dostaneme tzv. Beltramiho Kleinův model hyperbolické roviny,kdecelárovinajeznázorněnajakokruhapřímkysejevíjakopřímky. Často se setkáváme s jinými modely, např. s Poincarého kruhovým modelem, který byl zmíněn na přednášce, a který je vidět na některých obrazech M.C.Eschera viz poslední stranu. Nebo s Poincarého polorovinným modelem,v němž se pohyby jeví jako Möbiovy transformace. O neeuklidovské geometrii by se dalo mluvit ještě dlouho, a také bychom mohli ukázat, jak vypadají příslušné pohybové grupy v různých modelech, ale to zase při nějakém dalším setkání. Lukáš Krump, March 8, 2018 5

6