Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
#1 Re : Entraide (supérieur) » Exercice d'algèbre linéaire - automorphismes. » 15-09-2023 16:09:59
Oui, l'implication $id-{u}\circ{v} \Rightarrow id-{v}\circ{u}$ a déjà été démontrée.
Je m'excuse pour l'imprécision car $E$ est justement de dimension infinie ce qui rend le problème d'une autre difficulté.
#2 Entraide (supérieur) » Exercice d'algèbre linéaire - automorphismes. » 15-09-2023 15:30:02
- pangolin
- Réponses : 3
Bonjour à tous, faisant des exercices d'algèbre je me suis retrouvé coincé devant l'un d'entre eux. Dans cette exercice, on se place dans un $\mathbb{K}ev$ $E$ sur lequel on définit deux endomorphismes $u$ et $v$. Il faut montrer que si $id-{u}\circ{v}$ est bijective alors $id-{v}\circ{u}$ l'est également. Au préalable, j'ai réussi à montrer que l'injectivité de l'une entraine celle de l'autre. Voici là où j'en suis :
On suppose que $id-{u}\circ{v}$ est bijective. Donc, $id-{v}\circ{u}$ est injective. Il reste plus qu'à montrer sa surjectivité soit $Im(id-{v}\circ{u})=E$.
Comme $id-{v}\circ{u}$ est injective alors $E={Ker(id-{v}\circ{u})}\oplus{E}$ donc en appliquant le théorème d'isomorphie, $E$ est isomorphe à $Im(id-{v}\circ{u})$ soit qu'il existe un isomorphisme $f$ de $Im(id-{v}\circ{u})$ vers $E$ tel que :
$\forall y \in E, \exists x \in Im(id-{v}\circ{u}), y=f(x)$
$\Rightarrow \forall y \in E, \exists z \in E, y=f((id-{v}\circ{u})(z))$.
C'est la proposition la plus proche que j'ai de la surjectivité. En remarque, $z$ est même unique dû à l'injectivité et je n'ai pas utilisé la surjectivité de $id-{u}\circ{v}$.
En dernier, je précise que je fais des mathématiques de niveau CPGE Physique et Chimie.
Je remercie d'avance tous ceux qui prendront de leur temps pour aider.
Pages : 1







