Projecteurs orthogonaux
Bonjour.
J'ai du mal avec une implication.
$E$ est euclidien, et pour $F$ un sous-espace, on note $p_F$ la projection orthogonale sur $F$.
Soient $F$ et $G$ deux sous-espaces de $E$.
Montrer que $p_F$ et $p_G$ commutent ssi $\ \exists H,\ p_F\circ p_G=p_H$.
J'ai le sens direct (avec en résultat supplémentaire $H=F\cap G$),
et je sèche sur la réciproque.
Merci pour toute indication !
J'ai du mal avec une implication.
$E$ est euclidien, et pour $F$ un sous-espace, on note $p_F$ la projection orthogonale sur $F$.
Soient $F$ et $G$ deux sous-espaces de $E$.
Montrer que $p_F$ et $p_G$ commutent ssi $\ \exists H,\ p_F\circ p_G=p_H$.
J'ai le sens direct (avec en résultat supplémentaire $H=F\cap G$),
et je sèche sur la réciproque.
Merci pour toute indication !
Réponses
-
Auto-réponse...
Je crois que je l'ai, en utilisant le résultat :
un projecteur orthogonal est un endomorphisme symétrique.
Pour tous $x, y$ de $E$ :
$$<p_F\circ p_G(x) \mid y> \, =\, <p_H(x)\mid y> \, =\, <x\mid p_H(y)>\, =\, <x\mid p_F\circ p_G(y)>,
$$ car $p_H$ est un projecteur orthogonal, donc est symétrique.
Or :
$$<p_F\circ p_G(x) \mid y> \, =\, <p_G(x)\mid p_F(x)>\, =\, <x\mid p_G\circ p_F(y)>,
$$ car $p_F$ et $p_G$ aussi !
Cqfd. -
Mon cher jp nl
Pas besoin d'utiliser le produit scalaire, il suffit de passer par l'adjoint:
$$p_F\circ p_G=p_H=p_H ^*=(p_F\circ p_G)^*=p_G^*\circ p_H^*=p_G\circ p_F\qquad$$
Amicalement
[small]p[/small]appus
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.8K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres