« Application multilinéaire/Formes n-linéaires » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (- *\| *suivant *= *\[\[([^\/]*)\/([^\/]*)\/\]\]\}\} + | suivant = ../\2/\n}}) |
m Robot : Remplacement de texte automatisé (-(.)\|contenu= +\1\n | contenu =) |
||
Ligne 10 :
{{Théorème
| titre=Théorème fondamental
| contenu =Soit E un <math>\mathbb K</math>-espace vectoriel de dimension finie. L'espace vectoriel des formes n-linéaires alternées sur E est une droite vectorielle.}}
{{Démonstration|titre=Démonstration (en travaux)
| contenu = <math>\forall j,x_j=\sum_{i=1}^n a_{ij}e_i</math>
:<math>\begin{align}
|