Le rang des applications antisymétriques

Date de publication : 30/01/2010.

Par Pierre Lecomte (articles mathématiques)
 

I. Le rang des applications antisymétriques

Soit un espace vectoriel de dimension finie sur un corps et muni d'une forme bilinéaire non dégénérée . Si la caractéristique de est différente de deux, alors les images des endomorphismes antisymétriques de sont de dimension paire.

Pour rappel, est antisymétrique si la forme bilinéaire est antisymétrique.

II. Première preuve

Soit la forme bilinéaire antisymétrique . Le rang de est égal au rang de . De plus, il est bien connu et facile de montrer par récurrence qu'il existe une base dans laquelle la matrice de est diagonale par blocs, chaque bloc étant nul ou bien égal à .

III. Seconde preuve

Il n'y a pas besoin de se soucier de l'isotropie pour la forme . Soient et les applications de dans définies par et .

Par définition, le rang de est égal à celui de . Or, et est un isomorphisme, donc le rang de est égal à celui de . Maintenant, on oublie complètement et on doit montrer que le rang de est pair.

Le rang de est égal au rang de la matrice pour toute base de (en effet, est la matrice de dans les bases et , où désigne la base duale de ).

Quitte à remplacer par un supplémentaire du noyau de , on peut supposer que , donc est non dégénérée, ce qui entraîne que est non nul. Or, est antisymétrique donc , ce qui montre que est pair.

Copyright ©2010 Pierre Lecomte. Aucune reproduction, même partielle, ne peut être faite de ce site et de l'ensemble de son contenu : textes, documents, images, etc sans l'autorisation expresse de l'auteur. Sinon vous encourez selon la loi jusqu'à 3 ans de prison et jusqu'à 300 000 E de dommages et intérêts. Droits de diffusion permanents accordés à Developpez LLC. Cette page est déposée à la SACD.