« Application multilinéaire » : différence entre les versions
Contenu supprimé Contenu ajouté
m robot Ajoute: eo:Plurlineara funkcio; changement de type cosmétique |
m →Forme {{math|''k''}}-linéaire alternée : Orth., Replaced: précedent → précédent, |
||
Ligne 111 :
* si <math>k= n</math> alors il n'est pas possible de trouver de tels <math>k</math>-uplets, ce qui signifie qu'il n'existe pas d'autre forme <math>k</math>-linéaire alternée en dimension <math>n</math> que la forme nulle.
* si <math>k\leq n</math> alors le nombre de tels <math>k</math>-uplets réordonnés est le [[coefficient binomial]] <math>\tbinom{n}{k}</math>. Par une démonstration analogue à celle du paragraphe
En définitive, l'espace des formes <math>k</math>-linéaires alternées sur un espace de dimension <math>n</math> est de dimension <math>\tbinom{n}{k}</math>.
| |||