Aller au contenu

Lemme des tresses

Un article de Wikipédia, l'encyclopédie libre.

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 : E3F 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.

Soit (u, v, w) appartenant à E3. donc f est la fonction nulle.

Application

[modifier | modifier le code]

Ce lemme permet de montrer[2] que pour tout ouvert connexe U d'un espace euclidien E, une application de U dans E de classe C2 dont la différentielle en tout point est une isométrie vectorielle ne peut être qu'une isométrie affine (restreinte à U).

Notes et références

[modifier | modifier le code]