Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#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.

Pied de page des forums