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
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
Il me reste à montrer que
On a déjà montré que
Je sais que :
donc
or
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
