Exercice 17, § 11
Algèbre, III, p. 200
Soient un corps commutatif, un espace vectoriel sur . a) Soit un -vecteur sur , et soit le sous-espace vectoriel de formé des vecteurs tels que . On a ; si est un système libre de vecteurs de , il existe un -vecteur tel que . Si est de dimension finie, on a , où est l’orthogonal dans du sous-espace associé à . Pour que soit un -vecteur pur, il faut et il suffit que et on a alors . b) Soient un -vecteur pur, un -vecteur pur, et les sous-espaces de associés respectivement à et . Pour que , il faut et il suffit que et qu’il existe un -vecteur tel que . Pour que , il faut et il suffit que ; le sous-espace est alors associé au -vecteur pur . c) Soient et deux -vecteurs purs, et les sous-espaces associés respectivement à et . Pour que soit pur, il faut et il suffit que .
Solution
Aucune solution n’a encore été écrite.