Projecteurs (EV)
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
mathelot
par mathelot » 01 Oct 2015, 12:09
bonjour,
Soit
tout
s'écrit de manière unique
On pose
 := x_i)
1. Montrer que
est un projecteur et que
Une famille de projecteurs vérifiant les deux propriétés ci-dessus est dit "système complet de projecteurs".
Réciproquement, on suppose qu'il existe un système complet de projecteurs
Montrer que E est somme directe des images des
.
Dans la réciproque, comment montrer que la somme est directe?2
-
Robot
par Robot » 01 Oct 2015, 13:14
En montrant que si
, avec
)
pour
, alors tous les
sont nuls. Ca se fait en une demi-ligne.)
-
MouLou
- Membre Rationnel
- Messages: 578
- Enregistré le: 17 Sep 2015, 10:00
-
par MouLou » 01 Oct 2015, 13:24
Si
avec
)
et si
que se passe t il si tu composes par
?
Edit: Oui pas besoin d'écrire une combinaison linéaire mais juste une somme!
-
mathelot
par mathelot » 01 Oct 2015, 13:32
Robot a écrit:En montrant que si
, avec
pour
, alors tous les
sont nuls. Ca se fait en une demi-ligne.)
j'en déduis
=0)
pour tout i. Pour la démo, je ne vois pas.
-
Robot
par Robot » 01 Oct 2015, 14:01
Si
est un
projecteur et
)
, que vaut
)
?
-
MouLou
- Membre Rationnel
- Messages: 578
- Enregistré le: 17 Sep 2015, 10:00
-
par MouLou » 01 Oct 2015, 14:01
mathelot a écrit:j'en déduis
pour tout i. Pour la démo, je ne vois pas.
Et Pi(xi) c'est quoi sachant que xi est dans Im(Pi)?
-
JaCQZz
par JaCQZz » 01 Oct 2015, 14:10
mathelot a écrit:Dans la réciproque, comment montrer que la somme est directe?2
Utiliser que
est projecteur
On a :
 = rg(Id) \\<br />E = Id(E) = (\bigsum_{i=1}^{q} p_i)(E) \\<br /> \subset \bigsum_{i=1}^{q} p_i(E) \subset E \\)
D'où :
On pose :
 \\<br /><br />E = \bigsum_{i=1}^{q} E_i \\<br /><br />dim E = \bigsum_{i=1}^{q} dim E_i)
-
mathelot
par mathelot » 01 Oct 2015, 15:14
ok, c'est bon, merci.
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 90 invités
