shar a écrit:Je ne comprend pas comment tu déduis que E est de dimension au plus n+1 en sachant qu'il existe une injection de E dans un ev de dim n+1.
36 000 façons de le voir : soit avec le rang de la matrice associée, soit avec les images de familles libre, etc...
A mon avis, le plus trivial, c'est sans doute de dire que, si f:E->F est injective, alors alors elle est bijective de E dans im(f) donc dim(im(F))=dim(E) or im(f) est un s.e.v. de F donc de dimension inférieure où égale à celle de F.
Bref, ces histoire de injectif/surjectif pour les application linéaires et les dimensions des espaces, ça marche exactement pareil que injectif/surjectif pour les ensembles finis où il est bien évident que injectif => plus d'élément à l'arrivé qu'au départ et surjectif => plus d'élément au départ qu'à l'arrivé.
shar a écrit:Sinon une base de E est la famille D^k ?
Ben oui : une fois que tu as montré que dim(E)=n+1, tu en déduit que les D^k c'est une famille libre de E dont le cardinal est égal à la dimension de E. Donc c'est bien une base de E.