# Géométrie différentielle/Formes différentielles

Ce cours est une ébauche à l'abandon depuis 2013.

## Produit extérieur

Soient $V$ et $W$ deux espaces vectoriels sur K.
On appelle espace vectoriel libre l'espace $F(V\times W)=\left\{\sum _{i=1}^{n}\alpha _{i}e_{(v_{i},w_{i})}\ {\Bigg |}\ n\in \mathbb {N} ,\alpha _{i}\in K,(v_{i},w_{i})\in V\times W\right\}$.
On se place sur $F$ et on définit une relation d'équivalence comme étant la relation d'équivalence minimale $\sim$ vérifiant les propriétés suivantes :
    ${\begin{aligned}e_{(v_{1}+v_{2},w)}&\sim e_{(v_{1},w)}+e_{(v_{2},w)}\\e_{(v,w_{1}+w_{2})}&\sim e_{(v,w_{1})}+e_{(v,w_{2})}\\ce_{(v,w)}&\sim e_{(cv,w)}\sim e_{(v,cw)}\end{aligned}}$
On appelle produit tensoriel de V et de W l’ensemble des classes d'équivalence de F. On le note $V\otimes W$.
$V\otimes W$ est un espace vectoriel de dimension dim(V)*dim(W). Si $(v_{i})_{i\in [|1,n|]}$ et $(w_{i})_{i\in [|1,k|]}$ forment des bases de $V$ et $W$ respectivement, alors $(e_{(v_{i},w_{j})})_{(i,j)\in [|1,n|]\times [|1,k|]}$ est une base de $V\otimes W$.
Soit $E$ un espace vectoriel. On définit une relation d'équivalence sur $E\otimes E$ par $e_{(u,v)}\sim -e_{(v,u)}$ et on appelle l’ensemble des classes d'équivalences $E\wedge E$, qui peut être muni d'une structure « naturelle » d'espace vectoriel.
$\Lambda ^{p}(E^{*})\cong (\Lambda ^{p}E)^{*}$
On pose $\phi :\left\{{\begin{aligned}\Lambda ^{p}(E^{*})&\longrightarrow (\Lambda ^{p}E)^{*}\\e_{1}^{*}\wedge ...\wedge e_{p}^{*}&\mapsto \left((u_{1}\wedge ...\wedge u_{p})\mapsto \sum _{\sigma \in \Sigma _{p}}\pi (\sigma )e_{1}^{*}(u_{\sigma (1)})....e_{p}^{*}(u_{\sigma (p)})\right)\end{aligned}}\right.$ ;
$\phi$ est un isomorphisme, et on peut donc identifier $\Lambda ^{p}(E^{*})$ à $(\Lambda ^{p}E)^{*}$.
Soit $E$ un fibré vectoriel de base $M$. On définit $E\wedge E=\bigcup _{x\in M}E_{x}\wedge E_{x}$.
Le produit extérieur d'un fibré est encore un fibré.

## Forme différentielle

Soit $M$ une variété de degré n. L'ensemble des formes différentielles de degré p est $\Lambda ^{p}(T^{*}M)$.
Soit $\sigma \in \Lambda ^{p}(T^{*}M)$, on a alors pour $x\in M,\sigma (x)\in \Lambda ^{p}(T_{x}^{*}M)$. De plus, on identifie $\Lambda ^{p}T_{x}^{*}M$ à $(\Lambda ^{p}T_{x}M)^{*}$.
$\varphi ^{*}$
Soient $M$ et $N$ deux variétés de dimensions m et n. Si $f:M\rightarrow N$ est une application de classe $C^{1}$, et si $\alpha$ est une forme différentielle de degré $k$ sur $N$, on définit $f^{*}\alpha$ comme une forme différentielle de degré $k$ sur $M$ par :
$(f^{*}\alpha )_{x}(v_{1},\dots ,v_{k})=\alpha _{f(x)}(\mathrm {d} f_{x}(v_{1}),\dots ,\mathrm {d} f_{x}(v_{k}))$
Si k = 0, on pose $f^{*}\alpha =\alpha \circ f$
Soit $M$ une variété de dimension n. Alors il existe une unique dérivée extérieure.

## Intégration

On appelle forme de volume une forme différentielle $\sigma$ de degré n telle que $\forall x\in M,\sigma (x)\neq 0$.
Deux formes de volume $\sigma$ et $\rho$ sont dites équivalentes s'il existe $f:M\to \mathbb {R} \in C^{\infty }(M)$ vérifiant $\forall x\in M,f(x)>0$ telle que $\sigma =f\rho$, c'est-à-dire, $\forall x\in M,\sigma (x)=f(x)\rho (x)$.
Soit $M$ une variété de dimension n. $M$ est dite orientable s'il existe une forme de volume sur $M$. Une orientation sur $M$ est une classe d'équivalence de forme de volume.
Soit $M$ une variété orientée de dimension n, et soit $(U,\varphi )$ une carte de $M$. On dit que $(U,\varphi )$ est orientée positivement si $\varphi ^{*}($
L'intégration « locale » ne dépend pas de la carte, elle est intrinsèque.
| Fibré et Fibré tangent | Sommaire |