Diferenciální forma

Diferenciální forma stupně k neboli diferenciální k-forma je matematické zobecnění totálního diferenciálu na hladké varietě. Formálně jde o funkci s hodnotami ve vnější tenzorové mocnině kotečného prostoru. Ekvivalentně, diferenciální forma je antisymetrická multilineární funkce, která k vektorovým polím přiřadí skalár.

Neformálně je diferenciální ${\displaystyle k}$-forma objekt, který se dá integrovat přes k-rozměrné podvariety, je to výraz vystupující za symbolem integrálu.

Někdy se pod pojmem diferenciální forma rozumí lineární diferenciální forma (1. stupně, 1-forma, Pfaffova forma), které jsou zobecněním totálního diferenciálu a mají důležité uplatnění např. v termodynamice. V souřadnicích ${\displaystyle \{x_{i}\}}$ se dá lokálně vyjádřit jako

${\displaystyle a_{1}(x)dx_{1}+\ldots +a_{n}(x)dx_{n}}$.

Příkladem diferenciální formy je totální diferenciál funkce ${\displaystyle f:\mathbb {R} ^{n}\rightarrow \mathbb {R} }$, tj.:

${\displaystyle df=\sum _{i=1}^{n}{\frac {\partial f}{\partial x_{i}}}dx_{i}}$, kde parciální derivace funkce ${\displaystyle f}$ v bodě ${\displaystyle \mathbf {x} \in \mathbb {R} ^{n}}$ tvoří vektorové pole ${\displaystyle {\frac {\partial f}{\partial \mathbf {x} }}:\mathbb {R} ^{n}\rightarrow \mathbb {R} ^{n}}$ .

${\displaystyle M}$ je hladká varieta. Zobrazení ${\displaystyle \alpha :M\to \bigwedge ^{i}T^{*}M}$ nazveme vnější diferenciální ${\displaystyle k}$-formou, pokud ${\displaystyle \alpha }$ je hladké zobrazení a ${\displaystyle \alpha (m)\in \bigwedge ^{k}T_{m}^{*}M}$, kde ${\displaystyle \bigwedge ^{k}T_{m}^{*}M}$ je tzv. vnější mocnina vektorového prostoru ${\displaystyle T_{m}^{*}M}$. Často označujeme ${\displaystyle \alpha (m)}$ symbolem ${\displaystyle \alpha _{m}}$.

Prostor vnějších diferenciálních ${\displaystyle k}$-forem označujeme symbolem ${\displaystyle \Omega ^{k}(M)}$.

Jsou-li ${\displaystyle (U,\phi =(x^{1},\ldots ,x^{n}))}$ souřadnice z atlasu na ${\displaystyle M}$, potom ${\displaystyle \alpha _{|U}=\sum _{I}\alpha _{I}dx^{I},}$ kde ${\displaystyle I\subseteq \{1,\ldots ,n\}}$ je multindex délky ${\displaystyle |I|=k,\alpha _{I}\in {\mathcal {C}}^{\infty }(M)}$ a ${\displaystyle dx^{I}=dx^{i_{1}}\wedge \ldots \wedge dx^{i_{k}},}$ ${\displaystyle i_{j}=1,\ldots ,n}$.

Prostor diferenciálních forem stupně k na varietě M dimenze n se značí ${\displaystyle \Omega ^{k}(M)}$, prostor všech diferenciálních forem ${\displaystyle \Omega (M)}$. Na prostoru k-forem je dán De Rhamův diferenciál ${\displaystyle d:\,\Omega ^{k}(M)\to \Omega ^{k+1}(M)}$. Posloupnost ${\displaystyle 0\to \Omega ^{0}(M)\to \ldots \to \Omega ^{n}(M)\to 0}$ se nazývá De Rhamův komplex a jeho kohomologie jsou izomorfní singulárním kohomologiím s hodnotami v ${\displaystyle \mathbb {R} }$.