Lemme des tresses
From Wikipedia, the free encyclopedia
En algèbre linéaire, le lemme des tresses[1] énonce une condition suffisante pour qu'une fonction trilinéaire soit la fonction nulle.
Soient E, F deux espaces vectoriels sur un corps commutatif de caractéristique différente de 2. Soit f : E3 → F une fonction trilinéaire, antisymétrique par rapport à ses deux premières variables et symétrique par rapport à ses deux dernières variables. Alors f est la fonction nulle sur E3.
