« Géométrie différentielle/Formes différentielles » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 25 :
<math>\begin{align}\phi:\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{align}</math>
<math>\phi</math> est une bijection, et on peut donc identifier <math>\Lambda^p(E^*)</math> à <math>(\Lambda^p E)^*</math>}}
{{Définition|titre=Définition: produit exterieur d'un fibré|contenu=Soit <math>E</math> un fibré vectoriel de base <math>M</math>. On définie <math>E \wedge E = \bigcup_{x\in M} E_x \wedge E_x </math>}}
| |||