Varieta (matematika)

topologický prostor, který je lokálně podobný Euklidovskému prostoru
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

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

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

Lineární varieta editovat

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

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

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

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

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

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

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

Kahlerovská varieta editovat

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

  • 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