From b46c7cc2fe4eefd63d381d29f3f660a7d621ecf3 Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Sun, 11 May 2025 00:41:12 +0200
Subject: [PATCH] mbp-oskar.lan 2025-5-11:0:41:11

---
 polynôme d'endomorphisme.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/polynôme d'endomorphisme.md b/polynôme d'endomorphisme.md
index 5010a409..e0ef5472 100644
--- a/polynôme d'endomorphisme.md	
+++ b/polynôme d'endomorphisme.md	
@@ -29,9 +29,15 @@ tags:
 
 > [!proposition]+ Commutativité des polynômes d'endomophismes
 > $(PQ)(f) = P(f) \circ Q(f) = (QP)(f)$
+> - I en particulier : $P(f) = (\mathrm{id} \circ P)(f) = \mathrm{id}(f) \circ P(f) = f(P(f))$
 
 > [!proposition]+ Stabilité du [[noyau d'un morphisme de groupes|noyau]] et de l'image
 > $\ker P(f)$ et $\operatorname{Im} Q(f)$ sont stables par $f$
+> 
+> > [!démonstration]- Démonstration
+> > $P(f)(f(x)) = f(P(f)(x))=0$ donc $f(x) = \ker P(f)$
+> > De même, si $x \in \operatorname{Im}(P(f))$ alors il existe $y \in E$ tel que $x = P(f)(y)$, et on a alors $f(x) = f(P(f)(y))$
+
 
 - Si $\lambda$ est [[valeur propre d'une matrice|valeur propre]] de $f$ alors $P(\lambda)$ est valeur propre de $P(f)$