Varieta (matematika)

Z Wikipedie, otevřené encyklopedie
(přesměrováno z Atlas (matematika))
Tento článek je o topologickém pojmu, který zobecňuje n-rozměrný euklidovský prostor. O konceptu z oblasti univerzální algebry pojednává článek Varieta algeber.

V matematice je varieta topologický prostor, který je lokálně podobný obecně n-rozměrnému Euklidovskému prostoru, a jsou na něm obvykle definovány tečné vektory. Obvykle se pod slovem varieta rozumí hladká varieta, na rozdíl od algebraické variety.

Příkladem jednorozměrné variety je například kružnice – lokálně je podobná jednorozměrnému Euklidovskému prostorupřímce, ale její topologie je jiná. Kružnici jako varietu označujeme jako . Obdobně např. povrch koule nebo povrch toru jsou příklady dvojrozměrných variet.

Na varietách často zavádíme dodatečné struktury, které prostá varieta nutně neobsahuje. Příkladem jsou např. míry, díky nimž můžeme používat integrální počet, Riemannovské variety, na nichž jsou definovány vzdálenosti, úhly, křivost, apod., nebo pseudo-Riemannovské variety, které modelují časoprostor v teorii relativity.

Formální definice[editovat | editovat zdroj]

Jeden z možných způsobů zavedení variet je skrz tzv. mapy a atlasy. Atlasem nazveme množinu funkcí (map) , takových, že:

  1. jsou otevřené množiny z Hausdorffova separabilního prostoru M, které pokrývají celé .
  2. jsou homeomorfizmy na otevřenou množinu v .
  3. (tzv. přechodové funkce) mají na spojité parciální derivace do řádu .

-varieta je pak definována jako topologický prostor M spolu s daným atlasem. Tato struktura umožňuje derivovat funkce ve směru křivek (mapy problém přenesou do ) a definovat tečný prostor v každém bodě variety. Pokud , mluvíme o hladké varietě. Dá se dokázat, že každá varieta pro už je hladká. Hladká varieta se někdy také nazývá diferencovatelná varieta. Pokud místo máme mapy do a přechodové funkce jsou holomorfní, mluvíme o komplexní varietě. Pokud přechodové funkce jsou analytické funkce, mluvíme o analytické varietě. Pokud přechodové funkce jsou pouze spojité, mluvíme o topologické varietě (na ní tečné vektory nejsou definovány).

Příklad[editovat | editovat zdroj]

Uvažujme sféru . Sféru rozdělme na dvě podmnožiny, a (jedná se o sféru bez jižního resp. severního pólu). Definujme atlas pozůstávající z dvou map (tzv. stereografická projekce):

Přechodová funkce je pak kulová inverze . Jedná se o hladkou funkci, proto sféra s tímto atlasem tvoří hladkou varietu.

Ve speciálním případě dvourozměrné sféry (povrch třírozměrné koule) můžeme navíc ztotožnit . Pokud změníme u mapy znaménko, bude přechodová funkce po ztotožnění s komplexními čísly jenom komplexní funkce , což je holomorfní funkce z – sféra je tedy komplexní varieta (změnou znaménka jsme docílili toho, aby přechodová funkce byla holomorfní. Kruhová inverze je totiž antiholomorfní).

Poznamenejme, že jediné sféry, které jsou komplexní variety, jsou a možná . U jde o otevřený problém, u jiných sfér je dokázáno, že komplexní strukturu nepřipouští.

Typy variet[editovat | editovat zdroj]

Lineární varieta[editovat | editovat zdroj]

Lineární varieta je konvexní podmnožina reálného vektorového podprostoru , kde mapy jsou inkluze. Lineární varietou může být např. bod, přímka, rovina, nadrovina nebo také jejich otevřené konvexní podmnožiny.

Algebraická varieta[editovat | editovat zdroj]

Související informace naleznete také v článku Algebraická varieta.

Algebraická varieta není zahrnuta ve výše uvedené definici, jedná se o mírně odlišný objekt. Definuje se jako množina všech řešení soustavy polynomiálních rovnic v n proměnných nad libovolným tělesem. Někdy se navíc takovéto množiny "lepí" k sobě pomocí map a atlasu popsaného výše, s podmínkou, aby přechodové funkce byly racionální funkce. Algebraická varieta je přirozeně vybavena tzv. zariského topologií, která je odlišná od běžné euklidovské topologie (dokonce není hausdorffova).

Studium algebraických variet je důležitou součástí algebraické geometrie.

Lieova grupa[editovat | editovat zdroj]

Související informace naleznete také v článku Lieova grupa.

Lieova grupa je varieta, která má rovněž strukturu grupy. Operace grupy zde mají zároveň vlastnosti hladkých map a definují tedy varietu. Příkladem Lieovy grupy jsou např. grupa rotací, nebo Lorentzova grupa.

Riemannovská varieta[editovat | editovat zdroj]

Související informace naleznete také v článku Riemannův prostor.

Riemannovská varieta je diferencovatelná varieta, jejíž každý tečný prostor je vybaven navíc skalárním součinem 〈⋅,⋅〉 definovaným tak, že se mezi jednotlivými body variety mění hladce. Skrz něj lze pak na varietě definovat dodatečné struktury, jako úhel, povrch či objem, křivost, gradient či divergenci vektorových polí apod.

Pseudo-Riemannovská varieta[editovat | editovat zdroj]

Pseudo-Riemannovská varieta je diferencovatelná varieta s, jejíž tečný prostor je vybaven regulární formou (pro jednoduchost jí také říkáme metrika), která není definitní. Jedním z použití pseudo-Riemannovských variet je v obecné teorii relativity, kde vektory, jejichž skalární součin sama se sebou je kladný, míří ve směru prostoru, zatímco vektory, jejichž skalární součin sama se sebou je záporný, míří ve směru času. Zvláštním případem pseudo-Riemannovských variet je tzv. Lorentzovská varieta, která má signaturu metriky , resp. .

Symplektická varieta[editovat | editovat zdroj]

Symplektická varieta je diferencovatelná varieta, jejíž každý tečný prostor je vybaven navíc antisymetrickou regulární diferenciální 2-formou , pro kterou .

Einsteinovská varieta[editovat | editovat zdroj]

Einsteinovská varieta je Riemannovská varieta, pro kterou platí, že její Ricciho tenzor je násobek metriky.

Kahlerovská varieta[editovat | editovat zdroj]

Kahlerovská varieta je komplexní varieta, která je současně symplektickou varietou a obě struktury jsou vzájemně kompatibilní (, kde g je metrika, symplektická forma, komplexní struktura).

Literatura[editovat | editovat zdroj]

  • Krump L., Souček V., Těšínský J. A.: Matematická analýza na Varietách, skripta MFF UK, Karolinum 1999
  • Kovalski O., Úvod do Riemannovy geometrie, Univerzita Karlova, Praha 1995
  • Thierry Aubin, A course in differential geometry, AMS 2001

Externí odkazy[editovat | editovat zdroj]