Differenciálható sokaság
A matematikában a differenciálható sokaság egy olyan sokaság, mely lokálisan annyira hasonlít egy vektortérhez, hogy lehetséges rajta differenciál- és integrálszámítást végezni. Bármely sokaság matematikailag leírható egy atlasszal, azaz térképek gyűjteményével. Mivel a térképek értékkészlete egy vektortérben helyezkedik el, ezért lehet olyan leképezéseket létrehozni általuk, melyekre érvényesek a többváltozós differenciálszámítás szabályai. Amennyiben a térképek kompatibilisek egymással, tehát az átmenet két térkép között differenciálható, akkor az egyik térképben végzett számítások megegyeznek más térképekben végzett számításokkal, amely így lehetővé teszi a differenciál- és integrálszámítást sokaságokon. Pontosabb megfogalmazásban a differenciálható sokaság egy globálisan definiált differenciálható struktúrával ellátott sokaság.
Egy differenciálható sokaságban definiált lokális differenciálható struktúra segítségével létrehozhatóak olyan objektumok, melyek kiterjesztik a differenciálhatóság fogalmát olyan nemeuklideszi terekre, melyek nem rendelkeznek globális koordináta-rendszerrel. Például, differenciálható sokaságokon definiálhatóak differenciálható tangens terek, függvények, vektormezők és tenzormezők.
A differenciálható sokaság a differenciálgeometria és a differenciáltopológia egyik központi fogalma, melynek hatalmas fontossága van az elméleti fizika számos területén. Általában a fizikában alkalmazott differenciálható sokaságok több struktúrával rendelkeznek. Például, klasszikus mechanikában a fázistereket szimplektikus sokaságok modellezik, míg az általános relativitáselméletben definiált téridő egy Lorentz-sokaság.
Egy sokaság differenciálhatósága többféleképpen mutatkozhat meg: egy sokaság lehet egyszer folytonosan differenciálható, r-szer differenciálható, tetszőlegesen sokszor differenciálható (tehát sima), vagy analitikus.
Definíció
[szerkesztés]Differenciálható atlasz
[szerkesztés]Adott egy topologikus tér , melyen egy térkép egy pár , ahol egy nyílt részhalmaz, pedig egy homeomorfia:
- .
Ha , akkor a térképet körüli térképnek is hívjuk. Gyakran nevezik szimplán a homeomorfiát térképnek, feltéve, hogy az értelmezési tartománya egy nyílt részhalmaza. Továbbá, egy pont körüli térképet a pontban kiértékelve írhatjuk -ként, és bármely -t egy körüli lokális koordinátának hívjuk.[1]
Legyen egy indexhalmaz, akkor egy atlaszának hívjuk térképek olyan gyűjteményét, melyre
teljesül. Ha és két térkép, melyekre teljesül, akkor két részhalmaza között definiálható a következő leképezés:
- .[2]
Ezek a leképezések konstrukció szerint homeomorfiák. Ha egy atlaszon belül minden ilyen leképezés egy -diffeomorfizmus (ahol ), akkor az atlaszt -differenciálhatónak hívjuk.
Differenciálható struktúra
[szerkesztés]Két -differenciálható atlasz akkor ekvivalens, ha az uniójuk szintén egy -differenciálható atlasz.[3] Az atlaszok ezen ekvivalencia szerinti ekvivalenciaosztályát az topologikus tér -differenciálható struktúrájának hívjuk. Ha , a struktúrát sima struktúrának hívjuk.
Differenciálható sokaság
[szerkesztés]Amennyiben topologikus tér Hausdorff, teljesíti a második megszámlálhatósági axiómát és rendelkezik egy differenciálható struktúrával, akkor differenciálható sokaságnak hívjuk.[4][5] Ha a struktúra sima, akkor sima sokaságról beszélünk. Ha az atlaszon belül minden "térképcsere" () valós analitikus, akkor a sokaságot is valós analitikusnak () hívjuk. A differenciálható sokaságok dimenziója megegyezik a térképek értékkészletének dimenziójával.
Komplex sokaság
[szerkesztés]Egy sokaság komplex, ha a térképeinek értékkészlete részhalmazai, és a "térképcserék" holomorf és invertálható függvények, melyek inverze is holomorf.
Példák
[szerkesztés]- Az Euklideszi vektortér egy differenciálható sokaság, mely differenciálható atlaszának egyetlen térképe van: az identitásfüggvény.[6] Általánosabban, bármely véges dimenziós vektortéren definiált norma meghatározza a topológiáját. Ebben a (természetes) topológiában a vektortér egy topologikus sokaság, melyre a bázisa segítségével definiálható egy sima struktúra.[7]
- Az -es valós mátrixok halmaza egy véges dimenziós vektortér, amely ezáltal egy -dimenziós sima sokaság.[8] A halmaz számos olyan részhalmaza is felruházható differenciálható struktúrával, amelyek önmagukban nem alkotnak vektorteret.
- A kör és magasabb-dimenziós általánosításai (-gömbök vagy ) differenciálható sokaságok.[9]
- A valós projektív tér (jelölés szerint ) egy -dimenziós sima sokaság.[10]
- Ellenpélda: a lemniszkáta (végtelenjel) nem egy differenciálható sokaság, de még nem is topologikus sokaság.
Vektorok és tenzorok sokaságokon
[szerkesztés]Egy általános differenciálható sokaság nem rendelkezik az Euklideszi vektorterek affin struktúrájával, viszont lokálisan definiálhatóak olyan terek, amik rendelkeznek vele, így kiterjeszthető a vektor- és tenzormezők fogalma sokaságokra. Egy leképezés egy adott pontban vett deriváltja megadja a leképezéssel parametrizált görbe érintővektorát. Ezt lehetséges általánosítani sokaságokon vett görbék segítségével.
Tangens tér és tangensnyaláb
[szerkesztés]Legyen egy differenciálható sokaság, , és pedig differenciálható leképezések, ahol , és . Azt mondjuk, hogy (tehát hogy és ekvivalens), ha valamilyen körüli térképre
- ,
tehát ha a 0-pontba vett deriváltjaik megegyeznek. Az pontbeli görbék ezen ekvivalenciarelációja szerinti ekvivalenciaosztályok halmazát az sokaság pontbeli tangens terének vagy érintőterének nevezzük, jele pedig .[11] Az érintőtér elnevezésnek geometriai oka van, ugyanis egy sokaság -beli érintőterének elemét el lehet képzelni egy vektorként, amely merőleges a sokaságra és a kezdőpontja .
A sokaság összes pontjába vett tangens tereinek diszjunkt uniója a sokaság tangensnyalábja, tehát
Ha egy -dimenziós sokaság, akkor bármely pontjába vett tangens tere egy -dimenziós vektortér,[13] a sokaság tangensnyalábja () pedig egy -dimenziós differenciálható sokaság.[14]
Vektormező
[szerkesztés]A tangensnyaláb segítségével általánosítható a vektormező fogalma differenciálható sokaságokra. A
leképezést kanonikus projekciónak hívjuk. Az differenciálható sokaságon értelmezett vektormezők a tangensnyaláb differenciálható szelései. Precízebben, egy vektormező, ha .[15] Egy sokaságon értelmezett vektormező tehát a sokaság egy pontjához rendel egy vektort, ami az adott pont tangens terében található.
Létezik egy alternatív definíciója a sima sokaságokon értelmezett vektormezőknek: legyen halmaza az összes sima függvénynek. Egy vektormező egy olyan lineáris leképezés, melyre teljesül bármely -re.[16]
Tenzornyaláb és tenzormező
[szerkesztés]Mivel egy sokaság adott pontjában vett tangens tér egy vektortér, létezik duális tere, mely az összes lineáris leképezést tartalmazza.[17] Ezt kotangens térnek hívjuk és -ként jelöljük, elemeit pedig kovektornak vagy kovariáns vektornak hívjuk. A kotangens nyaláb () a tangens nyalábhoz hasonlóan a sokaság összes pontjába vett kotangens tereinek diszjunkt uniója.
A tangens és kotangens terek segítségével definiálhatóak magasabb rendű objektumok, úgynevezett tenzorok terei: az sokaság pontjában vett -típusú tenzorok tere a tenzorszorzat segítségével definiálható:
- .
Másképp kifejezve a multilineáris leképezések tere. Ezen definíció szerint az sokaság pontjában vett típusú tenzorai pontosan elemei, míg a -tenzorok pontosan elemei. A tangens- és kotangens nyalábhoz hasonlóan definiálhatóak -tenzornyalábok is:
A tenzornyaláb differenciálható szeléseit -tenzormezőnek hívjuk, melyek a sokaság egy pontjához egy abba a pontba vett -tenzort rendelnek hozzá.[18]
Differenciálforma
[szerkesztés]A differenciálformák speciális tenzorok, melyek segítségével differenciálható sokaságokra általánosítható az integrálszámítás, továbbá további struktúra (általában egy Riemann-metrika) jelenléte esetén olyan differenciáloperátorok is, mint a gradiens vagy a rotáció.
Definíció szerint egy differenciál k-forma (röviden k-forma) egy teljesen antiszimmetrikus tenzormező.[19] Az eddig definiált objektumok közül a differenciálható függvények 0-formák, kovektorok pedig 1-formák. Egy adott pontban vett differenciál k-formák vektorteret alkotnak.
A differenciálformák kombinálásához definiálható az ékszorzat művelete, mely antiszimmetrikus, asszociatív, bilineáris, továbbá egy k- és egy l-formából képez egy (k+l)-formát.[20] Amennyiben és differenciálformák, az ékszorzatukat jelöli.
Egy zárt nemelfajuló differenciál 2-formával ellátott sima sokaságot szimplektikus sokaságnak hívunk.[21]
Differenciálszámítás sokaságokon
[szerkesztés]Differenciálható függvények és leképezések
[szerkesztés]A differenciálhatóság fogalma kiterjeszthető olyan leképezésekre, melyek értelmezési tartománya nem egy Euklideszi vektortér, hanem egy differenciálható sokaság.
Az differenciálható sokaságon értelmezett valós függvény differenciálható pontban, ha bármely körüli térképen differenciálható. Precízebb megfogalmazásban, akkor és csak akkor differenciálható pontban, ha létezik egy térkép ahol melyre teljesül, hogy
differenciálható pontban.[22] Mivel a leképezés értelmezhető egy függvényként, így érvényesek rá a klasszikus többváltozós differenciálszámítás szabályai. A differenciálhatóság ezen definíciója nem függ attól, hogy melyik körüli térképet választjuk, ugyanis a láncszabály biztosítja, hogy ha egy körüli térképen differenciálható a függvény, akkor az összesen.
Hasonlóképp, a differenciálhatóság fogalma kiterjeszthető olyan leképezése, melyek értelmezési tartománya és értékkészlete is egy differenciálható sokaság. Legyenek és differenciálható sokaságok, pedig egy leképezés, mely folytonos minden pontban. Ha létezik -nek egy térképe körül és -nek egy térképe körül, melyekre teljesül, hogy differenciálható, akkor is differenciálható.[23] Két differenciálható sokaság közötti leképezést diffeomorfizmusnak hívunk, ha sima, bijektív és az inverze is sima.[24]
Iránymenti derivált
[szerkesztés]Legyen egy differenciálható sokaság, egy leképezés és egy differenciálható görbe, melyre . Az függvény iránymenti deriváltja mentén pontban a következő:[25]
Ha , akkor azon görbék ekvivalenciaosztálya, melyekre és a 0 pontban értelmezett deriváltjaik megegyeznek egy (tehát bármelyik -beli) térképen. Ebből következik, hogy egy -beli tangens vektor hatása egy leképezésre egy egyedi iránymenti deriváltat definiál pontban, melyet a következőképp jelölünk:[26]
Egy fix függvény esetén a leképezés egy lineáris funkcionál, melyet gyakran jelöl és a függvény -pontbeli differenciáljának hívjuk.[27]
Sokaságok közötti leképezések deriváltja
[szerkesztés]A tangens terek segítségével egy differenciálható leképezést is lehetséges deriválni: az leképezés -pontbeli deriváltja
- ,
mely bármely ekvivalenciaosztályhoz a ekvivalenciaosztályt rendel hozzá.[28] Az a derivált azon speciális esete, amikor megegyezik az iránymenti derviálással, mivel egy nyílt részhalmazán a egy bijekció, így a két mennyiség megegyeztethető egymással.[29]
A derivált ezen definíciója teljesíti a láncszabályt: legyenek , , differenciálható sokaságok, , differenciálható leképezések és . Akkor:
- .[30]
Az -beli tangens térnek lokális bázisát is definiálhatjuk: amennyiben egy térkép körül, azt úgy is kifejezhetjük, hogy , ahol -t koordinátafüggvényeknek hívjuk. Legyen az i-edik egységvektora és , akkor a
kifejezés tekinthető i-edik bázisvektorának.[31] Amennyiben a sokaság (vagy annak részsokasága), az előbb definiált kifejezés pontosan a térkép inverzének Jacobi-mátrixának i-edik oszlopa az pontban, tehát a jelölés összeegyeztethető a parciális deriválással.
Egy adott függvény pontba vett rangja definíció szerint a leképezés rangja.[32] A leképezés rangja eszerint pontbeli tulajdonság, viszont ha a leképezésnek egy adott pontban maximális a rangja (tehát és dimenziói közül a kisebbik), az maximális marad a pont egy környezetében is. A Sard-tétel kimondja, hogy általában egy sima leképezésnek legtöbb pontjában maximális a rangja.[33] Egy ilyen, adott pontban maximális rangú differenciálható leképezést az értelmezési tartomány és értékkészlet dimenziójától függően immerziónak vagy szubmerziónak hívunk:
- Ha és rangja pontban , akkor immerzió -ben. Ha a leképezés minden pontjában immerzió és egy homeomorfia és között, akkor -et beágyazásnak hívjuk.[34] Beágyazások segítségével definiálható a részsokaság.
- Ha és rangja pontban , akkor szubmerzió -ben. Az implicitfüggvény-tétel szerint ha szubmerzió pontban, akkor a pont egy környezetében megfeleltethető (diffeomorf) és direkt szorzatával. Pontosabban, léteznek -ben egy környezetében koordináták és -ben környezetében definiált függvények, melyekre
- egy lokális koordinátarendszer -ben egy környezetében.[35] A szubmerziók az alapkövei a fibrációk és a fibrált nyalábok elméletének.
A tangensnyaláb által az leképezés tangens leképezése is létrehozható: ez definíció szerint . A láncszabály a tangens leképezés számára .[36]
Lie-derivált
[szerkesztés]Egy adott sokaság tenzormezői egy algebrát alkotnak. Ezen az algebrán (akár függvényeken, vektormezőkön és magasabb rendű tenzormezőkön) definiálható a Lie-derivált művelete, melyet Sophus Lieről neveztek el. A Lie-derivált a tenzormező egy adott vektormező integrálgörbéi mentén való változását fejezi ki. Egy függvény Lie-deriváltja az iránymenti derivált, egy vektormező -menti Lie-deriváltja pedig a két vektormező Lie-zárójele, tehát jelölés szerint .[37]
Az sokaság összes Lie-deriváltja egy végtelen dimenziós Lie-algebrát alkot.
Külső derivált
[szerkesztés]Egy adott sima sokaságon definiálható a külső derivált művelete, amely egy differenciál -formából képez egy -formát. Definíció szerint egy sima függvény külső deriváltja a függvény differenciálja: , melyből következik, hogy egy -tenzor. Adott pont körüli lokális koordinátákra definiálható a kotangens tér bázisa: . A függvénydifferenciál így leírható a következő lineáris kombinációként egy környezetében:
Legyen az sokaságon definiált differenciál -formák tere. A külső derivált általános definiálásához szükséges további tulajdonságok a következők:
- A külső derivált -lineáris, tehát bármely -re és -re
- Ha és , akkor a két forma ékszorzatára teljesül
- Bármely differenciálforma esetén .
Az így definiált külső derivált egyértelmű művelet.[38] Ha egy adott differenciálformára teljesül , akkor azt mondjuk, hogy zárt. Ha létezik egy olyan differenciálforma, melyre teljesül, hogy , akkor egzakt. A külső deriváltat definiáló utolsó feltételből következik, hogy milyen egzakt differenciálforma zárt.
A külső derivált fogalma rendkívül fontos a sokaságokon értelmezett függvények integrálszámításában, továbbá elengedhetetlen a de Rham-kohomológia definíciójához.
Integrálszámítás sokaságokon
[szerkesztés]Az integrálszámítás differenciálható sokaságokra való kiterjesztéséhez fontos definiálni az orientálhatóságot (vagy irányíthatóságot): egy differenciálható sokaság akkor orientálható, ha bármely térképcsere-diffeomorfizmus Jacobi-mátrixának determinánsa pozitív. Egy orientálható differenciálható sokaságon differenciálformák segítségével definiálható olyan egyértelmű integrál, mely koordinátafüggetlen, tehát független attól, hogy milyen térképeket választunk a sokaságok lefedéséhez. Ezzel az integráldefinícióval általánosítható a Stokes-tétel sokaságokra, amely által bizonyítható a Green-tétel egy részhalmazán definiált sima függvényekre.
Ha a sima sokaság egy Riemann-sokaság, akkor a rajta definiált struktúra lehetővé teszi hosszak és szögek kiszámítását. Ennek következtében, Riemann-sokaságokon vett integrálok segítségével lehetséges a térfogatszámítás is, továbbá általánosítható a Gauss–Osztrohradszkij-tétel és a felületi integrál fogalma is.
Görbe menti integrál
[szerkesztés]A sima sokaságokon vett integrálszámításhoz remek intuíciót ad a sokaságon definiált görbe menti integrál, amely kovariáns vektormezők által koordinátarendszertől függetlenné tehető. Legyen sima sokaság, sima görbe, pedig sima kovariáns vektormező (vagy 1-forma). A forma menti integrálját a következőképp definiáljuk:
- ,
ahol a sima függvényt a sima leképezés általi visszahúzásnak hívjuk.[39] Az így kapott integráldefiníció lineáris, konstans görbe esetén 0 értéket vesz fel, és ha a görbe más görbék összegeként áll fenn, akkor a görbe menti integrál felírható az alkotó görbék menti integrálok összegeként.[40] Az integrál teljesíti továbbá a görbe menti integrálok alaptételét, mely kimondja, hogy egy adott sima függvényre teljesül[41]
- .
Differenciálformák integrálása
[szerkesztés]Egy orientálható -dimenziós sokaságon integrálhatók differenciál n-formák is. Először vizsgáljunk meg egy egyszerűbb esetet: legyen egy -dimenziós sima sokaság, pedig egy sima differenciál n-forma, melynek tartója teljes egészében megtalálható egy térképben. Az integrált ilyenkor a következőképp definiáljuk:
- ,
ezáltal a sokaság menti integrál leírható egy -en értelmezett integrálként.[42]
Amennyiben az n-forma nem kompaktul tartott egy térképen, vegyük a tartó nyílt fedését, ahol a térképek irányítottak, továbbá legyen a fedéshez tartozó egységpartíció. Ilyenkor az integrál a következő:[43]
- .
Az így kapott integráldefiníció független az egységpartíciótól és a választott koordinátáktól,[44] lineáris és diffeomorfizmus-invariáns, tehát
teljesül, ahol egy orientációt megőrző diffeomorfizmus. Ha az sokaság fordított orientációval, akkor[45]
- .
Stokes-tétel sokaságokon
[szerkesztés]A Stokes-tétel általánosítható sima sokaságokra és differenciálható n-formák külső deriváltjának integrálszámításában hasznos. Legyen egy peremes sima sokaság, melynek pereme , továbbá legyen egy kompaktul tartott -forma -en. Ekkor a következő teljesül:[46]
Amennyiben a sokaságnak nincs pereme, akkor az egyenlet jobb oldala nulla. A Stokes-tétel ezen felül általánosítható olyan sokaságokra, amelyeknek "sarkai" vannak, tehát olyan pontjai a peremén, melyek nem simák.[47] Ilyen sokaság például a négyzet vagy a kocka.
Topológia és osztályozás
[szerkesztés]A topologikus sokaságok osztályozását általában homeomorfiák segítségével végzik, mely szerint ha két sokaság között létezik egy folytonos bijekció, melynek az inverze is folytonos, akkor a két sokaság ekvivalens. Mivel egy sima sokaság további struktúrával rendelkezik, így az osztályozásához is más szempontokra van szükség, mivel homeomorf sokaságok felruházhatók olyan sima struktúrákkal, melyek nem kompatibilisek egymással.
Differenciálható struktúrák topologikus sokaságokon
[szerkesztés]Legyen egy sima atlasz sokaságon, pedig egy homeomorfia, amely nem sima az atlaszhoz viszonyítva. Ezekből létrehozható egy atlasz, mely szintúgy sima, viszont a két atlasz térképei nem kompatibilisek egymással, tehát a és leképezések nem simák bármely -ra és -ra. Ha ezek a leképezések simák lennének, abból következne, hogy maga is sima.
Ebből kiindulva, és sima atlaszokat sokaságon akkor nevezünk ekvivalensnek, ha létezik egy olyan homeomorfia, hogy kompatibilis a atlasszal, és hogy kompatibilis az atlasszal. Rövidebben összefoglalva, két sima atlasz -en akkor ekvivalens, ha létezik egy diffeomorfizmus, ahol az értelmezési tartomány az egyik sima atlasz, az értékkészlet pedig a másik.
Fontos kihangsúlyozni, hogy ez az ekvivalenciaosztály nem azonos az ekvivalenciaosztállyal, mely magát a sima struktúrát definiálja. A sima struktúrát definiáló ekvivalenciaosztályhoz elegendő az, ha az identitásfüggvény.
Az ebben a szakaszban definiált ekvivalencia szerint minden olyan sokaságra, melynek dimenziója kisebb, mint 4, definiálható egy egyedi sima struktúra diffeomorfizmusig bezárólag. Magasabb dimenziókban bonyolultabb a sima struktúrák ekvivalenciájának vizsgálata:
- Léteznek olyan magasabb dimenziós topologikus sokaságok, melyekre nem létezik sima struktúra. Ilyen sokaság például a 10-dimenziós Kervaire-sokaság,[48] vagy számos egyszerűen összefüggő, kompakt négydimenziós sokaság, például az E8-sokaság.[49]
- John Milnor 1956-ban megmutatta, hogy egy 7-gömbre (vagy egy hozzá homeomorf topologikus sokaságra) többféle inekvivalens sima struktúra hozható létre. Ezeket egzotikus 7-gömböknek hívjuk.[50]
Osztályozás
[szerkesztés]Differenciálható sokaságoknál az osztályozás alapját az határozza meg, hogy egy adott sokaság milyen ismert sokasághoz diffeomorf.
Bármely egydimenziós összefüggő sokaságra létezik egy diffeomorfizmusig egyedi sima struktúra, és ezek diffeomorfak vagy -hez vagy az egységkörhöz, tehát -hez. Ha a sokaság nem összefüggő, akkor az összefüggő komponenseik diffeomorfak valamelyik előbb említett sokasághoz, így a sokaság diffeomorf és valamilyen kombinációjának diszjunkt uniójával.
Kétdimenziós összefüggő kompakt sokaságok bármelyike diffeomorf -vel, -vel (tehát tóruszok összefüggő összegével) vagy -vel (tehát valós projektív síkok összefüggő összegével), de nemkompakt vagy komplex kétdimenziós sokaságok esetén az osztályozás összetettebb. A Klein-féle palack összefüggő és kompakt, továbbá diffeomorf -vel.
Három dimenzióban az osztályozás bonyolultabb és az ismert eredmények sem mindig vezetnek konkrétumokhoz. Az egyik legfontosabb tétel a geometrizációs sejtés, mely kimondja, hogy bármely kompakt háromdimenziós sima sokaság felbontható részekre úgy, hogy a részek mindegyikén nyolc geometriai struktúra egyike megvalósul. Ezeket a struktúrákat Thurston-geometriáknak is hívjuk. A sejtést 2003-ban bizonyította Grigorij Perelman. A Mostow-féle merevségi tétel kimondja, hogy bármely legalább háromdimenziós teljes hiperbolikus véges térfogatú sokaság geometriáját egyedileg meghatározza a fundamentális csoportja. A hiperbolikus csoportok izomorfizmusproblémájára a Sela-algoritmus ad megoldási módszert.[51]
A háromnál nagyobb dimenziós sokaságok osztályozása általánosságban lehetetlen, még homotópia-ekvivalenciáig bezárólag is. Bármely adott végesen generált csoportra létrehozható egy olyan zárt négydimenziós sokaság, melynek az adott csoport a fundamentális csoportja. Mivel nem létezik olyan algoritmus, mely a végesen generált csoportok izomorfizmusproblémáját oldja meg, így az sem eldönthető, hogy két négydimenziós sokaságnak ugyanaz-e a fundamentális csoportja. Továbbá, az sem eldönthető algoritmikusan, hogy egy adott négydimenziós sokaság egyszerűen összefüggő-e, tehát hogy a fundamentális csoportja triviális-e.
Egyszerűen összefüggő négydimenziós sokaságokat homeomorfiáig bezárólag Michael Freedman osztályozta, viszont diffeomorfizmusig bezárólag ez egy sokkal összetettebb probléma, ugyanis léteznek olyan differenciálható sokaságok, melyek -hez homeomorfak, azonban nem diffeomorfak. Ezeket a sokaságokat egzotikus -nek is hívjuk, hasonlóan az egzotikus 7-gömbökhöz.
Négynél nagyobb dimenziós egyszerűen összefüggő sima sokaságok esetén az osztályozás valamilyen szinten leegyszerűsödik a h-kobordizmustétel következtében, ugyanis így az osztályozást elégséges homotópia-ekvivalenciáig bezárólag végrehajtani.[52] Az ötdimenziós kompakt egyszerűen összefüggő sokaságokat Dennis Barden osztályozta.[53]
Sima sokaságok további struktúrával
[szerkesztés](Pszeudo-)Riemann-sokaságok
[szerkesztés]A Riemann-sokaság olyan sima sokaság, mely el van látva minden pontba vett tangens terén egy pozitív definit belső szorzattal.
Szimplektikus sokaságok
[szerkesztés]Szimplektikus sokaságnak nevezünk egy zárt, nemelfajuló 2-formával ellátott sima sokaságot.
Lie-csoportok
[szerkesztés]A Lie-csoport olyan sima sokaság, mely egyszerre egy csoport, melynek csoportművelete (és annak inverze) tetszőlegesen sokszor differenciálható.
Jegyzetek
[szerkesztés]- ↑ Lee 2003 4.o.
- ↑ Lee 2003 12.o.
- ↑ Lee 2003 Proposition 1.17.
- ↑ Lee 2003 3.o.
- ↑ Lee 2003 13.o.
- ↑ Lee 2003 Example 1.22.
- ↑ Lee 2003 Example 1.24.
- ↑ Lee 2003 Example 1.25.
- ↑ Lee 2003 Example 1.32.
- ↑ Lee 2003 Example 1.33.
- ↑ Kalmár Definíció 3.1.
- ↑ Lee 2003 65.o.
- ↑ Kunzinger 2008 Proposition 2.4.11.
- ↑ Lee 2003 Proposition 3.18.
- ↑ Lee 2003 174.o.
- ↑ Lerman, Eugene: An Introduction to Differential Geometry, 2011. augusztus 19.
- ↑ Lee 2003 275.o.
- ↑ Lee 2003 Chapter 12.
- ↑ Kalmár Definíció 4.14
- ↑ Lee 2003 355–356.o.
- ↑ Lee 2003 567–568.o.
- ↑ Lee 2003 32.o.
- ↑ Lee 2003 34.o.
- ↑ Lee 2003 38.o.
- ↑ Kalmár Definíció 3.9.
- ↑ Lee 2003 72.o.
- ↑ Kalmár Definíció 4.4.
- ↑ Kunzinger 2008 Definition 2.4.7.
- ↑ Kunzinger 2008 Lemma 2.4.10.
- ↑ Kunzinger 2008 Proposition 2.4.9.
- ↑ Kunzinger 2008 35.o.
- ↑ Lee 2003 77.o.
- ↑ Lee 2003 Chapter 6.
- ↑ Lee 2003 85.o.
- ↑ https://www.mat.univie.ac.at/~cap/files/AnaMF.pdf
- ↑ Kunzinger 2008 39.o.
- ↑ Lee 2003 Chapter 9.
- ↑ Lee 2003 362–365.o.
- ↑ Lee 2003 79–80.o.
- ↑ Lee 2003 Proposition 4.17.
- ↑ Lee 2003 Theorem 4.20.
- ↑ Lee 2003 242.o.
- ↑ Lee 2003 243.o.
- ↑ Lee 2003 Lemma 10.19.
- ↑ Lee 2003 Proposition 10.20.
- ↑ Lee 2003 Theorem 10.23.
- ↑ Lee 2003 Theorem 10.32.
- ↑ Kervaire, Michel A. (1960). „A manifold which does not admit any differentiable structure”. Commentarii Mathematici Helvetici 34 (1), 257–270. o. DOI:10.1007/BF02565940.
- ↑ Donaldson, Simon (1983). „An application of gauge theory to four-dimensional topology”. Journal of Differential Geometry 18 (2), 279–315. o. DOI:10.4310/jdg/1214437665.
- ↑ Milnor, John (1956). „On manifolds homeomorphic to the 7-Sphere”. Annals of Mathematics 64 (2), 399–405. o. DOI:10.2307/1969983. JSTOR 1969983.
- ↑ Sela, Zlil (1995). „The isomorphism problem for hyperbolic groups. I”. Annals of Mathematics 141 (2), 217–283. o. DOI:10.2307/2118520. JSTOR 2118520.
- ↑ Ranicki, Andrew. Algebraic and Geometric Surgery. Oxford Mathematical Monographs, Clarendon Press (2002). ISBN 0-19-850924-3
- ↑ Barden, Dennis (1965). „Simply Connected Five-Manifolds”. Annals of Mathematics 82 (3), 365–385. o. DOI:10.2307/1970702. JSTOR 1970702.
Források
[szerkesztés]- John M. Lee. Introduction to Smooth Manifolds, 2. kiadás, New York: Springer (2003)
- Kalmár Boldizsár: Differenciálható sokaságok
- Gergely Árpád László: Bevezetés a differenciálgeometriába
- Michael Kunzinger: Differential Geometry 1
Fordítás
[szerkesztés]- Ez a szócikk részben vagy egészben a Differentiable manifold című angol Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.
- Ez a szócikk részben vagy egészben a Differenzierbare Mannigfaltigkeit című német Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.