Endomorphisme d'un espace vectoriel
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 25 Nov 2014, 14:03
Bonjour à tous,
En dimension finie, pourquoi la composée d'endomorphismes est inversible implique que chacun des endomorphismes est inversibles ?
En dimension infinie, est ce que la composée d'endomorphismes est inversible implique que chacun des endomorphismes est inversibles ? et pourquoi ?
Merci d'avance.
-
arnaud32
- Membre Irrationnel
- Messages: 1982
- Enregistré le: 18 Oct 2010, 14:43
-
par arnaud32 » 25 Nov 2014, 14:17
\subset f(E))
donc
 \leq rg(f))
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 25 Nov 2014, 14:24
Merci pour ta réponse @arnaud32, mais à quoi cela est utile d'évoquer le fait que :
 \leq \mathrm{rang} ( f ))
?
Merci d'avance. :happy3:
-
arnaud32
- Membre Irrationnel
- Messages: 1982
- Enregistré le: 18 Oct 2010, 14:43
-
par arnaud32 » 25 Nov 2014, 14:28

)=(0,x_0,x_1, ...))
est injective, non surjective
)=(x_1,x_2, ...))
es non injective , mais surjective
gof(x)=x donc gof est inversible
-
arnaud32
- Membre Irrationnel
- Messages: 1982
- Enregistré le: 18 Oct 2010, 14:43
-
par arnaud32 » 25 Nov 2014, 14:28
barbu23 a écrit:Merci pour ta réponse @arnaud32, mais à quoi cela est utile d'évoquer le fait que :
 \leq \mathrm{rang} ( f ))
?
Merci d'avance. :happy3:
si fog est inversible rg(fog)=dim(E) tu as donc rg(f)=dim(E) et f qui et inversible
il te reste a voir que

qui est donc aussi inversible
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 25 Nov 2014, 14:35
Merci. je crois que j'ai compris. :happy3:
Donc :
 \geq \mathrm{dim} ( E ))
et :
 \leq \mathrm{dim} (E))
car :

est un sous espace evctoriel de

, et donc :
 = \mathrm{dim} (E))
. Ainsi,

est inversible. Idem pour

, car :
 \leq \mathrm{min} ( \mathrm{rg} (f) , \mathrm{rg} (g) ) = \mathrm{rg} (g))
. Non ?
Cordialement. :happy3:
Edit : Merci @arnaud32. :++:
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 203 invités