Bonjour,
Dans le cas d'un corps commutatif K
D'un K-espace vectoriel E de type fini
D'une forme bilinéaire symétrique b sur E,
Dans mon cours, il est écrit que , avec
On a déjà montré que
La démonstration est sommaire : elle dit que l'une des inclusions est évidente, et qu'on peut conclure avec le calcul des dimensions.
J'ai montré que , que puis que
Il me reste à montrer que
On a déjà montré que
Je sais que :
donc
or donc , donc
et donc
Je crois que j'ai trouvé en rédigeant mon message
Du coup si quelqu'un a eu la curiosité de lire jusqu'ici et peut valider mon raisonnement, ça serait très gentil de sa part !
Merci d'avance