Décomposition des noyaux et projecteurs

Aide à la résolution d'exercices ou de problèmes de niveau Supérieur.

Modérateur: gdm_aidesco

Règles du forum
Merci d'éviter le style SMS dans vos messages et de penser à utiliser la fonction Recherche avant de poster un message. Pour joindre des fichiers à vos messages, consulter ce sujet.
> Penser à utiliser le mode LaTeX (voir ici) afin de rendre vos formules plus lisibles.
> Ne poster qu'un exercice (ou problème) par sujet et indiquer son niveau précis dans le titre du message.

Décomposition des noyaux et projecteurs

Messagepar MB » Mardi 15 Août 2017, 11:49

Bonjour, si $f$ est un endomorphisme de $E$, $P$ et $Q$ deux polynômes premiers entre eux, alors on sait que le théorème de décomposition des noyaux assure que.

$$ \ker (PQ)(f) = \ker P(f) \oplus \ker Q(f) $$



L'objectif est de prouver que le projecteur de $\ker (PQ)(f)$ sur $\ker P(f)$ parallèlement à $\ker Q(f)$ est un polynôme de $f$. Voici une méthode trouvée dans un ouvrage.

Il existe deux polynômes $U$ et $V$ tels que $UP+VQ=1$ et donc $(UP)(f)+(VQ)(f) = Id$. On pose $p = (VQ)(f)$ et on prouve que $p$ correspond au projecteur recherché.

Si $x \in \ker P(f)$, alors $x = (UP)(f)(x)+(VQ)(f)(x) = 0+p(x) = p(x)$.

La méthode que j'utiliserais personnellement serait de considérer $x \in \ker Q(f)$ afin d'obtenir immédiatement $p(x) = 0$ et donc d'après moi de prouver que $p$ correspond bien au projecteur recherché.

Dans l'ouvrage, on considère plutôt $y$ dans l'image de $P(f)$, c'est à dire $y = P(f)(x)$ avec $x \in \ker (PQ)(f)$ et on obtient que $p(y) = (VPQ)(f)(x) = 0$ pour conclure que $p$ est bien le projecteur recherché. Je ne comprends pas pourquoi considérer ce $y$ plutôt que $x \in \ker Q(f)$.
MB (Pas d'aide en Message Privé)
Merci d'utiliser $\LaTeX$ (voir ici) et d'éviter le style SMS pour la lisibilité des messages.
MB
Administrateur
 
Messages: 6782
Inscription: Samedi 28 Mai 2005, 13:23
Localisation: Créteil
Statut actuel: Actif et salarié | Enseignant

Publicité

Re: Décomposition des noyaux et projecteurs

Messagepar guiguiche » Mardi 15 Août 2017, 14:00

Dans ton ouvrage, la décomposition en somme directe initiale est-elle utilisée telle quelle ?
Pas d'aide par MP : les questions sont publiques, les réponses aussi.
Tu as apprécié l'aide qui t'a été fournie ? Alors n'hésite pas à rendre la pareille à quelqu'un d'autre.
Un peu d'autopromotion.
guiguiche
Modérateur
 
Messages: 8019
Inscription: Vendredi 06 Janvier 2006, 15:32
Localisation: Le Mans
Statut actuel: Actif et salarié | Enseignant

Re: Décomposition des noyaux et projecteurs

Messagepar MB » Mardi 15 Août 2017, 14:04

Elle a déjà été prouvée, la suite de la démonstration consistant à justifier que les projecteurs associés à cette décomposition sont des polynômes de $f$.

[Edit] Voici une copie.

img.jpg
MB (Pas d'aide en Message Privé)
Merci d'utiliser $\LaTeX$ (voir ici) et d'éviter le style SMS pour la lisibilité des messages.
MB
Administrateur
 
Messages: 6782
Inscription: Samedi 28 Mai 2005, 13:23
Localisation: Créteil
Statut actuel: Actif et salarié | Enseignant

Re: Décomposition des noyaux et projecteurs

Messagepar guiguiche » Mardi 15 Août 2017, 14:31

Je ne vois donc pas l'intérêt de procéder ainsi car, en plus, l'auteur ne prouve pas que Ker Q(f) = Im P(f).
Pas d'aide par MP : les questions sont publiques, les réponses aussi.
Tu as apprécié l'aide qui t'a été fournie ? Alors n'hésite pas à rendre la pareille à quelqu'un d'autre.
Un peu d'autopromotion.
guiguiche
Modérateur
 
Messages: 8019
Inscription: Vendredi 06 Janvier 2006, 15:32
Localisation: Le Mans
Statut actuel: Actif et salarié | Enseignant

Re: Décomposition des noyaux et projecteurs

Messagepar MB » Mardi 15 Août 2017, 14:44

Tu confirmes donc l'étrangeté de la méthode. On aurait ça ?

$$ \ker (PQ)(f) = \ker P(f) \oplus \mathop{\text{im}} P(f) $$

MB (Pas d'aide en Message Privé)
Merci d'utiliser $\LaTeX$ (voir ici) et d'éviter le style SMS pour la lisibilité des messages.
MB
Administrateur
 
Messages: 6782
Inscription: Samedi 28 Mai 2005, 13:23
Localisation: Créteil
Statut actuel: Actif et salarié | Enseignant

Re: Décomposition des noyaux et projecteurs

Messagepar guiguiche » Mardi 15 Août 2017, 15:36

La méthode proposée n'est pas complète car il y a bien égalité entre Im P(f) et Ker Q(f) (du moins j'en suis presque certain sans le vérifier).
J'ai quand même un doute sur ta méthode car j'ai l'impression que tu confonds PQ et PoQ à un moment (vu de loin sans réflexion approfondie).
Pas d'aide par MP : les questions sont publiques, les réponses aussi.
Tu as apprécié l'aide qui t'a été fournie ? Alors n'hésite pas à rendre la pareille à quelqu'un d'autre.
Un peu d'autopromotion.
guiguiche
Modérateur
 
Messages: 8019
Inscription: Vendredi 06 Janvier 2006, 15:32
Localisation: Le Mans
Statut actuel: Actif et salarié | Enseignant

Re: Décomposition des noyaux et projecteurs

Messagepar MB » Mardi 15 Août 2017, 15:48

Des doutes pour affirmer que si $x \in \ker Q(f)$ alors $p(x) = 0$ ?

$$ p(x) = (VQ)(f)(x) = V(f) \circ Q(f)(x) = V(f)(Q(f)(x)) = V(f)(0) = 0 $$



Il me semble que je n'ai rien fait d'autre que ça.

[Edit] Vérification que Ker Q(f) est bien égal à Im P(f).

Si $y = P(f)(x)$ avec $x \in \ker (PQ)(f)$, alors $Q(f)(y) = (PQ)(f)(x) = 0$ donc $y \in \ker Q(f)$.

Réciproquement, si $y \in \ker Q(f)$, alors $y = (UP)(f)(y)+(VQ)(f)(y) = (UP)(f)(y) = P(f)(U(f)(y)) = P(f)(x)$ avec $x = U(f)(y)$.
De plus, on a bien $x \in \ker (PQ)(f)$ car $(PQ)(f)(x) = (VPQ)(f)(y) = 0$ puisque $y \in \ker Q(f)$.

Peut être que c'était évident mais bon ... En tout cas ça semble fonctionner.
MB (Pas d'aide en Message Privé)
Merci d'utiliser $\LaTeX$ (voir ici) et d'éviter le style SMS pour la lisibilité des messages.
MB
Administrateur
 
Messages: 6782
Inscription: Samedi 28 Mai 2005, 13:23
Localisation: Créteil
Statut actuel: Actif et salarié | Enseignant

Re: Décomposition des noyaux et projecteurs

Messagepar guiguiche » Mardi 15 Août 2017, 22:04

Tu as le théorème du rang qui achève la réciproque si tu es en dimension finie.
Je n'ai peut-être pas bien fait attention pour ton premier calcul.
Pas d'aide par MP : les questions sont publiques, les réponses aussi.
Tu as apprécié l'aide qui t'a été fournie ? Alors n'hésite pas à rendre la pareille à quelqu'un d'autre.
Un peu d'autopromotion.
guiguiche
Modérateur
 
Messages: 8019
Inscription: Vendredi 06 Janvier 2006, 15:32
Localisation: Le Mans
Statut actuel: Actif et salarié | Enseignant

Re: Décomposition des noyaux et projecteurs

Messagepar MB » Mercredi 16 Août 2017, 09:25

guiguiche a écrit:Tu as le théorème du rang qui achève la réciproque si tu es en dimension finie.


Oui, à priori la dimension peut être infinie.

guiguiche a écrit:Je n'ai peut-être pas bien fait attention pour ton premier calcul.


Au final on peut considérer $x \in \ker Q(f)$ au lieu de $x \in \mathop{\text{im}} P(f)$ ?

Ca me semble non seulement plus logique (puisqu'on veut justifier que la projection est parallèle à Ker Q(f)) et plus simple également. Si il n'y a pas d'erreur dans ce que j'ai fait, j'ai du mal à comprendre pourquoi l'auteur ne procède pas ainsi. Il doit y avoir un truc qui m'échappe.
MB (Pas d'aide en Message Privé)
Merci d'utiliser $\LaTeX$ (voir ici) et d'éviter le style SMS pour la lisibilité des messages.
MB
Administrateur
 
Messages: 6782
Inscription: Samedi 28 Mai 2005, 13:23
Localisation: Créteil
Statut actuel: Actif et salarié | Enseignant


Retourner vers Exercices et problèmes : Supérieur

 


  • Articles en relation
    Réponses
    Vus
    Dernier message

Qui est en ligne

Utilisateurs parcourant ce forum: Bing [Bot], Yahoo [Bot] et 4 invités