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.

A gömb az egyik legismertebb differenciálható sokaság. Az ábrán a sokaságot $M$, a $p$ pontbeli tangens terét (amely a gömb esetén egy kétdimenziós vektortér) pedig $T_{p}M$ jelöli.

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ó 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.

Története

A differenciálgeometria ágának megjelenését elsősorban Carl Friedrich Gaussnak és Georg Friedrich Bernhard Riemann-nak tulajdonítják. A sokaságokat először Riemann írta le az 1854-es habilitációs előadásában a Göttingeni Egyetemen. A fogalom mögötti motivációt az adta, hogy egy adott változó bizonyos kényszerfeltételek teljesülése mellett milyen értékeket vehet fel. Ezen értékek halmazát nevezte el Riemann sokaságnak, (németül Mannigfaltigkelt) és geometriai jelentést adott neki.

Gregorio Ricci-Curbastro, Tullio Levi-Civita matematikusok munkái adták a tenzoranalízis területének alapját, melynek alapvető fogalma a kovariancia, mely egy koordináta-rendszerek közötti transzformációktól független belső geometriai tulajdonság. A területhez fontos hozzájárulásai voltak James Clerk Maxwellnek, ő azonban tenzorok helyett kvaterniókkal foglalkozott, viszont az elektromágnesességet leíró egyenletei történelmileg jelentős példái a fizikai világ tenzorokkal való leírásának. A kovariancia fogalma szintúgy jelentőssé vált a fizikában, Albert Einstein általános relativitáselméletének adja a matematikai alapját.

A differenciálható sokaság fogalmának elődje Henri Poincaré 1895-ös munkájában található meg. Ebben az értelmezésben a differenciálható sokaságok olyan euklideszi tereken definiált folytonosan differenciálható függvények szinthalmazaként állnak elő, amelyeknek Jacobi-determinánsa nullától különbözik. Ez a fogalom a Riemann-féle sokaságfogalommal kompatibilis, ugyanis ezáltal minden folytonosan differenciálható függvény grafikonja egy sokaság.

A kétdimenziós sokaság modern definícióját Hermann Weyl adta 1913-ben, a Riemann-felületekről írott könyvében. A jelenleg is alkalmazott, atlaszok segítségével történő általános definíció Hassler Whitneynek köszönhető, mely így a differenciálgeometria és a Lie-csoportok elméletének hátterét is precízen leírta.

Definíció

Differenciálható atlasz

A $(U,\phi )$ és $(V,\psi )$ közötti térképcsere illusztrációja, ahol a felső nagy ellipszis az $M$ topologikus teret, az alsó kisebb ellipszisek pedig $\mathbb {R} ^{n}$ részhalmazait jelölik.

Adott egy topologikus tér $M$, melyen egy térkép egy pár $(U,\phi )$, ahol $U\subseteq M$ egy nyílt részhalmaz, $\phi$ pedig egy homeomorfia:

$\phi :U\to \phi (U)\subseteq \mathbb {R} ^{n}$.

Ha $m\in U$, akkor a térképet $m$ körüli térképnek is hívjuk. Gyakran nevezik szimplán a $\phi$ homeomorfiát térképnek, feltéve, hogy az értelmezési tartománya $M$ egy nyílt részhalmaza. Továbbá, egy $m$ pont körüli $\phi$ térképet a pontban kiértékelve írhatjuk $\phi (m)=(x_{1}(m),\dots ,x_{n}(m))$-ként, és bármely $x_{i}$-t egy $m$ körüli lokális koordinátának hívjuk.

Legyen $I$ egy indexhalmaz, akkor $M$ egy atlaszának hívjuk térképek olyan $(U_{i},\phi _{i})_{i\in I}$ gyűjteményét, melyre

$M=\bigcup _{i\in I}U_{i}$

teljesül. Ha $(U,\phi )$ és $(V,\psi )$ két térkép, melyekre $U\cap V\neq \emptyset$ teljesül, akkor $\mathbb {R} ^{n}$ két részhalmaza között definiálható a következő leképezés:

$\psi \circ \phi ^{-1}\colon \ \phi (U\cap V)\to \psi (U\cap V)$.

Ezek a leképezések konstrukció szerint homeomorfiák. Ha egy atlaszon belül minden ilyen leképezés egy ${\mathcal {C}}^{r}$-diffeomorfizmus (ahol $r\geq 1$), akkor az atlaszt ${\mathcal {C}}^{r}$-differenciálhatónak hívjuk.

Differenciálható struktúra

Két ${\mathcal {C}}^{r}$-differenciálható atlasz akkor ekvivalens, ha az uniójuk szintén egy ${\mathcal {C}}^{r}$-differenciálható atlasz. Az atlaszok ezen ekvivalencia szerinti ekvivalenciaosztályát az $M$ topologikus tér ${\mathcal {C}}^{r}$-differenciálható struktúrájának hívjuk. Ha $r=\infty$, a struktúrát sima struktúrának hívjuk.

Differenciálható sokaság

Amennyiben $M$ 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. Ha a struktúra sima, akkor sima sokaságról beszélünk. Ha az atlaszon belül minden "térképcsere" ($\psi \circ \phi ^{-1}$) valós analitikus, akkor a sokaságot is valós analitikusnak (${\mathcal {C}}^{\omega }$) hívjuk. A differenciálható sokaságok dimenziója megegyezik a térképek értékkészletének dimenziójával.

Komplex sokaság

Egy sokaság komplex, ha a térképeinek értékkészlete $\mathbb {C} ^{n}$ részhalmazai, és a "térképcserék" holomorf és invertálható függvények, melyek inverze is holomorf.

Példák

• Az Euklideszi vektortér $\mathbb {R} ^{n}$ egy differenciálható sokaság, mely differenciálható atlaszának egyetlen térképe van: az identitásfüggvény. Á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.
• Az $m\times n$-es valós mátrixok halmaza $M(m\times n,\mathbb {R} )$ egy véges dimenziós vektortér, amely ezáltal egy $(m\cdot n)$-dimenziós sima sokaság. 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 ($n$-gömbök vagy $\mathbb {S} ^{n}$) differenciálható sokaságok.
• A valós projektív tér (jelölés szerint $\mathbb {RP} ^{n}$) egy $n$-dimenziós sima sokaság.
• 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

Egy általános differenciálható sokaság nem rendelkezik az Euklideszi vektorterek affin struktúrájával, viszont lokálisan definiálhatóak rajta olyan terek, amik rendelkeznek vele, így kiterjeszthető a vektor- és tenzormezők fogalma sokaságokra. Egy $\mathbb {R} \to \mathbb {R} ^{n}$ leképezés egy adott $t\in \mathbb {R}$ 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

Legyen $M$ egy differenciálható sokaság, $m\in M$, $\gamma _{1}:(-\epsilon ;\epsilon )\to M$ és $\gamma _{2}:(-{\tilde {\epsilon }};{\tilde {\epsilon }})\to M$ pedig differenciálható leképezések, ahol $\epsilon >0$, ${\tilde {\epsilon }}>0$ és $\gamma _{1}(0)=\gamma _{2}(0)=m$. Azt mondjuk, hogy $\gamma _{1}\sim \gamma _{2}$ (tehát hogy $\gamma _{1}$ és $\gamma _{2}$ ekvivalens), ha valamilyen $m$ körüli $\phi$ térképre

$(\phi \circ \gamma _{1})'(0)=(\phi \circ \gamma _{2})'(0)$,

tehát ha a 0-pontba vett deriváltjaik megegyeznek. Az $m$ pontbeli görbék ezen ekvivalenciarelációja szerinti ekvivalenciaosztályok halmazát az $M$ sokaság $m$ pontbeli tangens terének vagy érintőterének nevezzük, jele pedig $T_{m}M$. Az érintőtér elnevezésnek geometriai oka van, ugyanis egy sokaság $m$-beli érintőterének bármely elemét el lehet képzelni egy vektorként, amely merőleges a sokaságra és a kezdőpontja $m$.

A sokaság összes pontjába vett tangens tereinek diszjunkt uniója a sokaság tangensnyalábja, tehát

$TM=\bigsqcup _{m\in M}T_{m}M=\bigcup _{m\in M}\{m\}\times T_{m}M.$

Ha $M$ egy $n$-dimenziós sokaság, akkor bármely pontjába vett tangens tere egy $n$-dimenziós vektortér, a sokaság tangensnyalábja ($TM$) pedig egy $2n$-dimenziós differenciálható sokaság.

Vektormező

A tangensnyaláb segítségével általánosítható a vektormező fogalma differenciálható sokaságokra. A

$\pi _{M}:TM\to M,\quad (m,v)\mapsto m$

leképezést kanonikus projekciónak hívjuk. Az $M$ differenciálható sokaságon értelmezett vektormezők a $TM$ tangensnyaláb differenciálható szelései. Precízebben, $X:M\to TM$ egy vektormező, ha $\pi _{M}\circ X=\operatorname {id} _{M}$. 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 ${\mathcal {C}}^{\infty }(M)$ halmaza az összes $M\to \mathbb {R}$ sima függvénynek. Egy vektormező $X:{\mathcal {C}}^{\infty }(M)\to {\mathcal {C}}^{\infty }(M)$ egy olyan lineáris leképezés, melyre teljesül $X(fg)=fX(g)+X(f)g$ bármely $f,g\in {\mathcal {C}}^{\infty }(M)$-re.

Tenzornyaláb és tenzormező

Mivel egy $M$ sokaság adott $m$ pontjában vett $T_{m}M$ tangens tér egy vektortér, létezik duális tere, mely az összes $T_{m}M\to \mathbb {R}$ lineáris leképezést tartalmazza. Ezt kotangens térnek hívjuk és $T_{m}^{*}M$-ként jelöljük, elemeit pedig kovektornak vagy kovariáns vektornak hívjuk. A kotangens nyaláb ($T^{*}M$) 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 $M$ sokaság $m$ pontjában vett $(r,s)$-típusú tenzorok tere a tenzorszorzat segítségével definiálható:

$T_{m}^{(r,s)}M=(T_{m}M)^{\otimes r}\otimes (T_{m}^{*}M)^{\otimes s}$.

Másképp kifejezve $T_{m}^{(r,s)}M$ a $(T_{m}^{*}M)^{\times r}\times (T_{m}M)^{\times s}\to \mathbb {R}$ multilineáris leképezések tere. Ezen definíció szerint az $M$ sokaság $m$ pontjában vett $(1,0)$ típusú tenzorai pontosan $T_{m}M$ elemei, míg a $(0,1)$-tenzorok pontosan $T_{m}^{*}M$ elemei. A tangens- és kotangens nyalábhoz hasonlóan definiálhatóak $(r,s)$-tenzornyalábok is:

$T^{(r,s)}M=\bigsqcup _{m\in M}T_{m}^{(r,s)}M=\bigcup _{m\in M}\{m\}\times T_{m}^{(r,s)}M.$

A $T^{(r,s)}M$ tenzornyaláb differenciálható szeléseit $(r,s)$-tenzormezőnek hívjuk, melyek a sokaság egy pontjához egy abba a pontba vett $(r,s)$-tenzort rendelnek hozzá.

Differenciálforma

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 $(0,k)$-tenzormező. Az eddig definiált objektumok közül a differenciálható függvények 0-formák, kovektorok pedig 1-formák. Egy adott $m$ 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. Amennyiben $\alpha$ és $\beta$ differenciálformák, az ékszorzatukat $\alpha \wedge \beta$ jelöli.

Egy zárt nemelfajuló differenciál 2-formával ellátott sima sokaságot szimplektikus sokaságnak hívunk.

Differenciálszámítás sokaságokon

Differenciálható függvények és leképezések

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 $M$ differenciálható sokaságon értelmezett valós függvény $f:M\to \mathbb {R}$ differenciálható $m\in M$ pontban, ha bármely $m$ körüli térképen differenciálható. Precízebb megfogalmazásban, $f$ akkor és csak akkor differenciálható $m$ pontban, ha létezik egy térkép $(U,\phi )$ ahol $m\in U$ melyre teljesül, hogy

$f\circ \phi ^{-1}:\phi (U)\subseteq \mathbb {R} ^{n}\to \mathbb {R}$

differenciálható $\phi (m)$ pontban. Mivel a leképezés értelmezhető egy $\mathbb {R} ^{n}\to \mathbb {R}$ 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 $m$ körüli térképet választjuk, ugyanis a láncszabály biztosítja, hogy ha egy $m$ 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 $M$ és $N$ differenciálható sokaságok, $f:M\to N$ pedig egy leképezés, mely folytonos minden $m\in M$ pontban. Ha létezik $M$-nek egy $\phi$ térképe $m$ körül és $N$-nek egy $\psi$ térképe $f(m)$ körül, melyekre teljesül, hogy $\psi \circ f\circ \phi ^{-1}$ differenciálható, akkor $f$ is differenciálható. Két differenciálható sokaság közötti leképezést diffeomorfizmusnak hívunk, ha sima, bijektív és az inverze is sima.

Iránymenti derivált

Legyen $M$ egy differenciálható sokaság, $f:M\to \mathbb {R}$ egy leképezés és $\gamma :(-\epsilon ;\epsilon )\to M$ egy differenciálható görbe, melyre $\gamma (0)=m\in M$. Az $f$ függvény iránymenti deriváltja $\gamma$ mentén $m$ pontban a következő:

$\left.{\frac {d}{dt}}f(\gamma (t))\right|_{t=0}.$

Ha $v\in T_{m}M$, akkor $v$ azon $\gamma$ görbék ekvivalenciaosztálya, melyekre $\gamma (0)=m$ és a 0 pontban értelmezett deriváltjaik megegyeznek egy (tehát bármelyik $m$-beli) térképen. Ebből következik, hogy egy $m$-beli tangens vektor hatása egy leképezésre egy egyedi iránymenti deriváltat definiál $m$ pontban, melyet a következőképp jelölünk:

$T_{m}f(v)=\left.{\frac {d}{dt}}f(\gamma (t))\right|_{t=0}.$

Egy fix $f$ függvény esetén a leképezés $v\mapsto T_{m}f(v)$ egy lineáris funkcionál, melyet gyakran $df(m):T_{m}M\to \mathbb {R}$ jelöl és a függvény $m$-pontbeli differenciáljának hívjuk.

Sokaságok közötti leképezések deriváltja

A tangens terek segítségével egy $f:M\to N$ differenciálható leképezést is lehetséges deriválni: az $f$ leképezés $m$-pontbeli deriváltja

$T_{m}f:T_{m}M\to T_{f(m)}N$,

mely bármely $[\gamma ]_{m}\in T_{m}M$ ekvivalenciaosztályhoz a $[f\circ \gamma ]_{f(m)}\in T_{f(m)}N$ ekvivalenciaosztályt rendel hozzá. Az $N=\mathbb {R}$ a derivált azon speciális esete, amikor megegyezik az iránymenti derviálással, mivel $\mathbb {R}$ egy nyílt részhalmazán a $[f\circ \gamma ]_{f(m)}\mapsto (f\circ \gamma )'(0)$ egy bijekció, így a két mennyiség megegyeztethető egymással.

A derivált ezen definíciója teljesíti a láncszabályt: legyenek $M$, $N$, $P$ differenciálható sokaságok, $f:M\to N$, $g:N\to P$ differenciálható leképezések és $m\in M$. Akkor:

$T_{m}(g\circ f)=T_{f(m)}g\circ T_{m}f$.

Az $m$-beli tangens térnek lokális bázisát is definiálhatjuk: amennyiben $\phi :U\to \mathbb {R} ^{n}$ egy térkép $m$ körül, azt úgy is kifejezhetjük, hogy $\phi (m)=(x^{1}(m),\dots ,x^{n}(m))$, ahol $x^{i}$-t koordinátafüggvényeknek hívjuk. Legyen $\mathbf {e} _{i}$ az $\mathbb {R} ^{n}$ i-edik egységvektora és $\phi (m)=0$, akkor a

$\left.{\frac {\partial }{\partial x^{i}}}\right|_{m}=(T_{m}\phi )^{-1}(\mathbf {e} _{i})$

kifejezés tekinthető $T_{m}M$ i-edik bázisvektorának. Amennyiben a sokaság $\mathbb {R} ^{n}$ (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 $\phi (m)=0$ pontban, tehát a jelölés összeegyeztethető a parciális deriválással.

Egy adott $f:M\to N$ függvény $m\in M$ pontba vett rangja definíció szerint a $T_{m}f$ leképezés rangja. A leképezés rangja eszerint pontbeli tulajdonság, viszont ha a leképezésnek egy adott pontban maximális a rangja (tehát $M$ és $N$ 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. 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 $\operatorname {dim} M\leq \operatorname {dim} N$ és $f:M\to N$ rangja $m\in M$ pontban $\operatorname {dim} M$, akkor $f$ immerzió $m$-ben. Ha a leképezés minden pontjában immerzió és egy homeomorfia $M$ és $f(M)$ között, akkor $f$-et beágyazásnak hívjuk. Beágyazások segítségével definiálható a részsokaság.
• Ha $\operatorname {dim} M\geq \operatorname {dim} N$ és $f$ rangja $m\in M$ pontban $\operatorname {dim} N$, akkor $f$ szubmerzió $m$-ben. Az implicitfüggvény-tétel szerint ha $f$ szubmerzió $m$ pontban, akkor a pont egy környezetében $M$ megfeleltethető (diffeomorf) $N$ és $\mathbb {R} ^{\operatorname {dim} M-\operatorname {dim} N}$ direkt szorzatával. Pontosabban, léteznek $N$-ben $f(m)$ egy környezetében $(y_{1},\dots ,y_{\operatorname {dim} N})$ koordináták és $M$-ben $m$ környezetében definiált $x_{1},\dots ,x_{\operatorname {dim} M-\operatorname {dim} N}$ függvények, melyekre

$(y_{1}\circ f,\dots ,y_{\operatorname {dim} N}\circ f,x_{1},\dots ,x_{\operatorname {dim} M-\operatorname {dim} N})$

egy lokális koordinátarendszer $M$-ben $m$ egy környezetében. A szubmerziók az alapkövei a fibrációk és a fibrált nyalábok elméletének.

A tangensnyaláb által az $f$ leképezés tangens leképezése is létrehozható: ez definíció szerint $Tf:TM\to TN,\,(m,v)\mapsto (f(m),T_{m}f(v))$. A láncszabály a tangens leképezés számára $T(g\circ f)=Tg\circ Tf$.

Lie-derivált

Egy adott $M$ 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 $W$ vektormező $V$-menti Lie-deriváltja pedig a két vektormező Lie-zárójele, tehát jelölés szerint $[V,W]$.

Az $M$ sokaság összes Lie-deriváltja egy végtelen dimenziós Lie-algebrát alkot.

Külső derivált

Egy adott $M$ sima sokaságon definiálható a külső derivált művelete, amely egy differenciál $k$-formából képez egy $(k+1)$-formát. Definíció szerint egy $f:M\to \mathbb {R}$ sima függvény külső deriváltja a függvény differenciálja: $df:M\to T^{*}M,\ m\mapsto T_{m}f$, melyből következik, hogy $df$ egy $(0,1)$-tenzor. Adott $m$ pont körüli $(x_{1},\dots ,x_{n})$ lokális koordinátákra definiálható a kotangens tér bázisa: $(dx_{1},\dots ,dx_{n})$. A függvénydifferenciál így leírható a következő lineáris kombinációként $m$ egy környezetében:

$df=\sum _{i=1}^{n}{\frac {\partial f}{\partial x_{i}}}dx_{i}.$

Legyen $\Omega ^{k}(M)$ az $M$ sokaságon definiált differenciál $k$-formák tere. A külső derivált $d:\Omega ^{k}(M)\to \Omega ^{k+1}(M)$ általános definiálásához szükséges további tulajdonságok a következők:

• A külső derivált $\mathbb {R}$-lineáris, tehát bármely $a,b\in \mathbb {R}$-re és $\alpha ,\beta \in \Omega ^{k}(M)$-re $d(a\alpha +b\beta )=ad\alpha +bd\beta .$
• Ha $\alpha \in \Omega ^{k}(M)$ és $\beta \in \Omega ^{l}(M)$, akkor a két forma ékszorzatára teljesül $d(\alpha \wedge \beta )=d\alpha \wedge \beta +(-1)^{k}\alpha \wedge d\beta .$
• Bármely $\alpha$ differenciálforma esetén $d(d\alpha )=0$.

Az így definiált külső derivált egyértelmű művelet. Ha egy adott $\alpha$ differenciálformára teljesül $d\alpha =0$, akkor azt mondjuk, hogy $\alpha$ zárt. Ha létezik egy olyan $\eta$ differenciálforma, melyre teljesül, hogy $\alpha =d\eta$, akkor $\alpha$ 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

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 $\mathbb {R} ^{2}$ 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

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 $M$ sima sokaság, $\gamma :[a;b]\to M$ sima görbe, $\omega$ pedig sima kovariáns vektormező (vagy 1-forma). A forma $\gamma$ menti integrálját a következőképp definiáljuk:

$\int _{\gamma }\omega =\int _{a}^{b}\gamma ^{*}\omega =\int _{a}^{b}\omega _{\gamma (t)}(\gamma '(t))dt$,

ahol a $\gamma ^{*}\omega$ sima függvényt $\omega$ a $\gamma$ sima leképezés általi visszahúzásnak hívjuk. 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. Az integrál teljesíti továbbá a görbe menti integrálok alaptételét, mely kimondja, hogy egy adott $f:M\to \mathbb {R}$ sima függvényre teljesül

$\int _{\gamma }df=f(\gamma (b))-f(\gamma (a))$.

Differenciálformák integrálása

Egy orientálható $n$-dimenziós sokaságon integrálhatók differenciál n-formák is. Először vizsgáljunk meg egy egyszerűbb esetet: legyen $M$ egy $n$-dimenziós sima sokaság, $\omega$ pedig egy sima differenciál n-forma, melynek tartója teljes egészében megtalálható egy $(U,\varphi )$ térképben. Az integrált ilyenkor a következőképp definiáljuk:

$\int _{M}\omega =\int _{\varphi (U)}(\varphi ^{-1})^{*}\omega$,

ezáltal a sokaság menti integrál leírható egy $\mathbb {R} ^{n}$-en értelmezett integrálként.

Amennyiben az n-forma nem kompaktul tartott egy térképen, vegyük a tartó $\{(U_{i},\varphi _{i})\}$ nyílt fedését, ahol a térképek irányítottak, továbbá legyen $\{\Psi _{i}\}$ a fedéshez tartozó egységpartíció. Ilyenkor az integrál a következő:

$\int _{M}\omega =\sum _{i}\int _{M}\Psi _{i}\omega$.

Az így kapott integráldefiníció független az egységpartíciótól és a választott koordinátáktól, lineáris és diffeomorfizmus-invariáns, tehát

$\int _{M}\omega =\int _{N}F^{*}\omega$

teljesül, ahol $F:M\to N$ egy orientációt megőrző diffeomorfizmus. Ha ${\bar {M}}$ az $M$ sokaság fordított orientációval, akkor

$\int _{M}\omega =-\int _{\bar {M}}\omega$.

Stokes-tétel sokaságokon

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 $M$ egy peremes sima sokaság, melynek pereme $\partial M$, továbbá legyen $\omega$ egy kompaktul tartott $(n-1)$-forma $M$-en. Ekkor a következő teljesül:

$\int _{M}d\omega =\int _{\partial M}\omega .$

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. Ilyen sokaság például a négyzet vagy a kocka.

Részsokaságok és Whitney tételei

Gyakran találkozhatunk olyan sima sokaságokkal, amelyek más sima sokaságok részhalmazaiként jelennek meg. A legegyszerűbb példák a nyílt részhalmazok, ugyanis ezek ugyanúgy sokaságok és természetesen felruházhatók egy sima struktúrával. Ezeket a részhalmazokat nyílt részsokaságnak hívjuk.

Beágyazott és immertált részsokaságok

Azonban a nyílt részsokaságnál általánosabb esetek is léteznek: legyen $M$ sima sokaság. Egy $S\subseteq M$ részhalmazt akkor nevezünk beágyazott részsokaságnak, ha $S$ egy sokaság az altér-topológiában, amely felruházható egy olyan sima struktúrával, melyben az $S\hookrightarrow M$ inklúzió egy sima beágyazás. Ekkor $M$ és $S$ dimenzióinak különbségét $S$ kodimenziójának hívjuk $M$-ben. A nyílt részsokaságok speciális esetei a beágyazott részsokaságoknak, ugyanis pontosan ezeknek a kodimenziója nulla. A beágyazott részsokaságokat lehetséges ezen kívül térképekkel is definiálni, miszerint $S$ akkor beágyazott részsokasága $M$-nek, ha minden $a\in S$ ponthoz létezik egy $\phi$ térkép, melyre $\phi (a)=0$ és $\phi (S\cap M)=\{(x_{1},\dots ,x_{n})\in \mathbb {R} ^{n}|x_{m+1},\dots ,x_{n}=0\}$, ahol $\dim M=n,\ \dim S=m$. Függvények zérushelyeinek halmaza természetesen leírható egy beágyazott részsokaságként, például az $f:\mathbb {R} ^{2}\to \mathbb {R} ,\ f(x,y)=y-x^{2}$ zérusainak halmaza pont az $y=x^{2}$ függvénynek felel meg, melynek képe az $\mathbb {R} ^{2}$ egy beágyazott részsokasága, a parabola. Ebből kifolyólag a beágyazott részsokaságok természetes módon jelennek meg egyenletek vagy egyenletrendszerek megoldáshalmazaiként.

A Klein-féle palack, amely egy olyan kétdimenziós sokaság, mely Whitney tételei szerint immertálható $\mathbb {R} ^{3}$-ba, azonban csak $\mathbb {R} ^{4}$-nek egy beágyazott részsokaságával diffeomorf.

A beágyazott részsokaságnál általánosabb fogalom az immertált részsokaság: legyen $M$ egy sima sokaság és $S\subseteq M$. $S$ immertált részsokasága $M$-nek, ha felruházható egy topológiával, mely egy topologikus sokasággá teszi, továbbá egy sima struktúrával is, mely szerint az $S\hookrightarrow M$ inklúzió egy sima immerzió. Minden beágyazott részsokaság immertált részsokaság, viszont ez az állítás fordítva hamis, ugyanis $S$ nem feltétlenül számít sokaságnak az altér-topológiában. Az immertált részsokaságok természetesen állnak elő injektív immerziók képeként, és rendkívüli fontossággal bírnak Lie-csoportok vizsgálatakor, ugyanis a Lie-részcsoportok immertált részsokaságok.

Mind a beágyazott, mind az immertált sokaságok sima struktúrája (adott topológiában) egyedi, azonban egy tetszőleges immertált részsokaságra nem kizárt, hogy egynél több topológiában tehető sima sokasággá.

Whitney tételei

A részsokaságok területén az egyik legfontosabb eredménynek számítanak a Whitney-féle beágyazási- és immertálási tételek, amelyek kimondják, hogy egy tetszőleges $n$-dimenziós sima sokaság mekkora valós térnek lehet beágyazott vagy immertált részsokasága. Pozitív egész $n$ esetén bármely sima sokaság beágyazható $\mathbb {R} ^{2n}$-be, ezáltal diffeomorf $\mathbb {R} ^{2n}$ egy beágyazott részsokaságával. Továbbá, bármely $n>0$ esetén bármely $n$-dimenziós sima sokaság immertálható $\mathbb {R} ^{2n-1}$-be. Ezek az eredmények azonban nem mindig adják a legkisebb dimenziójú teret, speciális esetekben rendelkezhet a valós tér kisebb dimenzióval. Például, minden kompakt $n$-dimenziós sokaság immertálható $\mathbb {R} ^{2n-a(n)}$-be, ahol $a(n)$ az egyek száma $n$ bináris felbontásában. Ennek következtében a kompakt 3-dimenziós sokaságok mindegyike immertálható $\mathbb {R} ^{4}$-be, viszont 4-dimenziós kompakt sokaságok esetén már a Whitney-féle tétel nyújtja a legjobb lehetséges eredményt. Amíg immertálásnál ez minden dimenzióban a legjobb eredmény, beágyazásnál ez változik. Például, 3-dimenziós sokaságok bármelyike beágyazható $\mathbb {R} ^{5}$-be.

Topológia és osztályozá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

Legyen $\{(U_{\alpha },\varphi _{\alpha })\}_{\alpha \in A}$ egy sima atlasz $M$ sokaságon, $\Phi :M\to M$ pedig egy homeomorfia, amely nem sima az atlaszhoz viszonyítva. Ezekből létrehozható egy $\{(\Phi ^{-1}(U_{\alpha }),\varphi _{\alpha }\circ \Phi )\}_{\alpha \in A}$ atlasz, mely szintúgy sima, viszont a két atlasz térképei nem kompatibilisek egymással, tehát a $\varphi _{\alpha }\circ \Phi \circ \varphi _{\beta }^{-1}$ és $\varphi _{\alpha }\circ \Phi ^{-1}\circ \varphi _{\beta }^{-1}$ leképezések nem simák bármely $\alpha$-ra és $\beta$-ra. Ha ezek a leképezések simák lennének, abból következne, hogy maga $\Phi$ is sima.

Ebből kiindulva, $\{(U_{\alpha },\varphi _{\alpha })\}_{\alpha \in A}$ és $\{(V_{\beta },\psi _{\beta })\}_{\beta \in B}$ sima atlaszokat $M$ sokaságon akkor nevezünk ekvivalensnek, ha létezik egy olyan $\Phi :M\to M$ homeomorfia, hogy $\{(\Phi ^{-1}(U_{\alpha }),\varphi _{\alpha }\circ \Phi )\}_{\alpha \in A}$ kompatibilis a $\{(V_{\beta },\psi _{\beta })\}_{\beta \in B}$ atlasszal, és hogy $\{(\Phi (V_{\beta }),\psi _{\beta }\circ \Phi ^{-1})\}_{\beta \in B}$ kompatibilis az $\{(U_{\alpha },\varphi _{\alpha })\}_{\alpha \in A}$ atlasszal. Rövidebben összefoglalva, két sima atlasz $M$-en akkor ekvivalens, ha létezik egy $\Phi :M\to M$ 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 $\Phi$ 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, vagy számos egyszerűen összefüggő, kompakt négydimenziós sokaság, például az E₈-sokaság.
• 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.

Osztályozá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 $\mathbb {R}$-hez vagy az egységkörhöz, tehát $\mathbb {S} ^{1}$-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 $\mathbb {R}$ és $\mathbb {S} ^{1}$ valamilyen kombinációjának diszjunkt uniójával.

Kétdimenziós összefüggő kompakt sokaságok bármelyike diffeomorf $\mathbb {S} ^{2}$-vel, $(\mathbb {S} ^{1}\times \mathbb {S} ^{1})\sharp \dots \sharp (\mathbb {S} ^{1}\times \mathbb {S} ^{1})$-vel (tehát tóruszok összefüggő összegével) vagy $\mathbb {RP} ^{2}\sharp \dots \sharp \mathbb {RP} ^{2}$-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 $\mathbb {RP} ^{2}\sharp \mathbb {RP} ^{2}$-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.

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 $\mathbb {R} ^{4}$-hez homeomorfak, azonban nem diffeomorfak. Ezeket a sokaságokat egzotikus $\mathbb {R} ^{4}$-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. Az ötdimenziós kompakt egyszerűen összefüggő sokaságokat Dennis Barden osztályozta.

Sima sokaságok további struktúrával

(Pszeudo-)Riemann-sokaságok

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. Ezen belső szorzatok összességét Riemann-metrikának hívjuk, és konstrukciójából adódóan egy szimmetrikus $(0,2)$-tenzormező. A belső szorzat létezéséből következik, hogy egy Riemann-sokaságon definiálhatóak távolságok és szögek egyaránt, így a sokaságoknak geometriai tulajdonságainak vizsgálatát is lehetővé teszi. Minden sima sokaságon definiálható Riemann-metrika, tehát minden sima sokaságot egy Riemann-sokasággá lehet tenni.

A Riemann-metrika segítségével továbbá identifikálható minden $m$ pontbeli tangens és kotangens tér, tehát létezik egy vektormező-izomorfia $T_{m}M$ és $T_{m}^{*}M$ között. Egy $(r,s)$-tenzormezőt egy koordináta-rendszerben úgy fejezünk ki, hogy a komponenseinek $r$ felső és $s$ alsó indexet adunk. Az előbb említett izomorfizmus lehetővé teszi, hogy egy felső indexből egy alsó indexet csináljunk, vagy fordítva. Ennek a műveletnek rendkívül fontos szerepe van az általános relativitáselméletben, továbbá a művelet segítségével általánosítható a gradiens művelete is Riemann-sokaságokra.

A pszeudo-Riemann-sokaság abban a formában általánosítja a Riemann-sokaságot, hogy a definiálásához szükséges belső szorzat lehet indefinit is, nem szükséges a pozitív definit feltétel. A pszeudo-Riemann-metrikát olyan belső szorzatok összessége alkotja, melyeknek szignatúrája megegyezik, így ez a sokaság invariáns mennyisége. A legfontosabb fizikai fontosságú példája az általános relativitáselméletben a téridő modellezésére használt Lorentz-sokaság, amely egy olyan $n$-dimenziós pszeudo-Riemann-sokaság, amely metrikájának szignatúrája konvenciótól függően $(1,n-1)$ vagy $(n-1,1)$. Az általános Riemann-sokasággal ellentétben nem definiálható minden sima sokaságon Lorentz-metrika.

A Riemann-sokaság fogalmának másik általánosítása a Finsler-sokaság, mely belső szorzat helyett egy normát rendel minden ponthoz, mely így lehetővé teszi hosszok definiálását, azonban szögekét nem.

Szimplektikus sokaságok

Szimplektikus sokaságnak nevezünk egy $\omega$ zárt, nemelfajuló 2-formával (amelyet szimplektikus struktúrának hívunk) ellátott $M$ sima sokaságot. Egy szimplektikus sokaság dimenziója kizárólag egy páros szám lehet, mivel bármely $(2n+1)\times (2n+1)$-es antiszimmetrikus mátrix determinánsa nulla. Azonban nem minden páros dimenziós sokaság ruházható fel szimplektikus struktúrával: például, az egyetlen $n$-gömb, amely felruházható szimplektikus struktúrával, az a 2-gömb. Minden szimplektikus sokaság orientálható.

Bármely adott sima sokaság kotangens nyalábja felruházható egy szimplektikus struktúrával, mely természetesen fejezi ki a Hamilton-féle klasszikus mechanika fázistereit.

Legyenek $(M_{1},\omega _{1})$ és $(M_{2},\omega _{2})$ szimplektikus sokaságot. Egy olyan $f:M_{1}\to M_{2}$ diffeomorfizmust, melyre teljesül $F^{*}\omega _{2}=\omega _{1}$, szimplektomorfizmusnak hívjuk. A szimplektomorfizmusok alatt invariáns szimplektikus sokaságok tanulmányát szimplektikus geometriának vagy szimplektikus topológiának nevezzük.

Lie-csoportok

A Lie-csoport olyan sima sokaság, mely egyszerre egy csoport, melynek csoportművelete és az inverzió is tetszőlegesen sokszor differenciálható. Legegyszerűbb példái közé tartoznak bizonyos mátrixcsoportok, mint például a speciális unitér csoport vagy az invertálható mátrixok csoportja. Egy adott Lie-csoport neutrális elemébe vett tangens terét a hozzá tartozó Lie-zárójellel a csoport Lie-algebrájának hívjuk. A Lie-algebra leírja a csoport lokális szerkezetét.

A Lie-csoportok (és a hozzájuk tartozó Lie-algebrák) természetes módon tudnak folytonos szimmetriákat modellezni, így rendkívüli fontossággal bírnak például a kvantummechanika különböző részterületén belül.

Általánosításai

Végtelen dimenziós sokaságok

A differenciálható sokaság definíció szerint lokálisan $\mathbb {R} ^{n}$-hez, tehát egy véges dimenziós vektortérhez diffeomorf. Azonban ez a tér felcserélhető egy végtelen dimenziós lokálisan konvex topologikus vektortérre, mely így a végtelen dimenziós sokaságok fogalmához vezet. Mivel az ilyen tereknek több osztálya van, így általában a sokaság nevében szerepel, hogy milyen térhez diffeomorf lokálisan. A végtelen dimenziós sokaságok legfontosabb osztályai ezáltal a Fréchet-sokaságok, a Banach-sokaságok és a Hilbert-sokaságok. Ahhoz, hogy értelmesen definiálhatóak legyenek a végtelen dimenziós sokaságok, szükséges fixálni a differenciálhatóság fogalmát lokálisan konvex terek közötti leképezésekre. A Banach-terek esetén ez a fogalom a Fréchet-derivált formájában jelenik meg, azonban tetszőleges lokálisan konvex topologikus vektorterek esetén több, nem ekvivalens differenciálhatóság-fogalom létezik.

Példaképp, egy végtelen dimenziós Hilbert-tér egységgömbje egy sima Hilbert-sokaság, viszont a véges dimenziós euklideszi tereken definiált gömbökkel ellentétben nem kompakt. Egy adott Hilbert-téren definiált unitér leképezések csoportja egy sima Banach-sokaság vagy egy Banach-Lie-csoport, míg egy kompakt sokaság diffeomorfizmusainak csoportja pedig egy sima Fréchet-sokaság vagy Fréchet-Lie-csoport.

Diffeologikus terek

A diffeológia egy adott $M$ halmazon a sima atlaszok általánosítására szolgál, mely térképek helyett olyan parametrizációk gyűjteménye, melyek $\mathbb {R} ^{n}$ egy nyílt részhalmazából képeznek le $M$-be és bizonyos axiómákat teljesítenek. Egy diffeológiával ellátott halmazt diffeologikus térnek hívunk. A diffeologikus terek bizonyos értelemben úgy viszonyulnak a sima sokaságokhoz, mint a topologikus terek a topologikus sokaságokhoz: egy sima sokaság egy olyan diffeologikus tér, mely lokálisan diffeomorf $\mathbb {R} ^{n}$-hez. A végtelen dimenziós sokaságok közül bármely Banach- és Fréchet-sokaság egy diffeologikus tér.

Források

• Lee, John M. (2003), Introduction to Smooth Manifolds (2. ed.), New York: Springer, ISBN 0-387-95448-1
• Kalmár, Boldizsár, Differenciálható sokaságok, <https://math.bme.hu/~bkalmar/sokasagok_v1.pdf>
• Gergely, Árpád László, Bevezetés a differenciálgeometriába, <https://www.staff.u-szeged.hu/~gergely/teaching/GergelyAL_Bevezetes%20a%20differencialgeometriaba.pdf>
• Kunzinger, Michael (2008), Differential Geometry 1, University of Vienna, <https://www.mat.univie.ac.at/~mike/teaching/ss08/dg.pdf>
• Kunzinger, Michael (2023), Lie Groups, University of Vienna, <https://www.mat.univie.ac.at/~mike/teaching/ws1920/lg.pdf>

Fordítá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.

További információk

• Kobayashi, Shoshichi; Nomizu, Katsumi. Foundations of differential geometry. Wiley (1963) . A könyv pszeudocsoportok definiálása által vezeti be a differenciálható sokaságokat és betekintést nyújt a fibrált nyalábok és konnexiók konstrukciójába is.
• Mac Lane, Saunders; Moerdijk, Ieke. Sheaves in Geometry and Logic. Springer (1992). ISBN 0-387-97710-4 . A könyv szintén alternatív módon definiál differenciálható sokaságokat, azonban kévék segítségével.
• Differentiable manifold szócikk az Encyclopedia of Mathematics oldalon, angol nyelven
• Francisco C. Caramello (2022. április 11.). „Introduction to orbifolds”. (Hozzáférés: 2024. december 29.) . A cikk a sokaság általánosítására szolgáló orbifold (vagy V-sokaság) fogalmát vezeti be, amely megenged a topológiájában bizonyos szingularitásokat. Az orbifoldok hasznosíthatók a húrelméletben és a szuperhúr-elméletben egyaránt.

Kapcsolódó szócikkek

• Sokaság (matematika)
• Görbe vonalú koordináta-rendszer
• Alacsony dimenziós topológia