• Aucun résultat trouvé

AlorsF stable parf ⇐⇒F⊥ stable parf∗

N/A
N/A
Protected

Academic year: 2022

Partager "AlorsF stable parf ⇐⇒F⊥ stable parf∗"

Copied!
1
0
0
En savoir plus ( Page)

Texte intégral

(1)

Réduction des endomorphismes symétriques

SoitE un espace euclidien de dimensionn.

Lemme 1. Soient f ∈ L(E)etF un sev deE. AlorsF stable parf ⇐⇒F stable parf.

Preuve. Cela provient de la décompositionE=F ⊕F :

f(F)⊂F ⇐⇒ ∀y∈F, ∀x∈F, hy, f(x)i= 0

⇐⇒

∀x∈F, ∀y∈F, hx, f(y)i= 0 ⇐⇒ f(F)⊂F.

Théorème 2. On supposen>1. Soitf ∈S(E). Alorsf est orthogonalement diagonalisable.

Démonstration.

1. Existence d’une valeur propre. SoitS la sphère unité deE. Sin>1 alorsS 6=∅. Considérons Φ :S−→R

x7−→ hx, f(x)i.

E est de dimension finie, doncS est compacte etΦest continue car les applications linéaires et bilinéaires sont continues. Φ est alors bornée et atteint sa borne inférieure λ∈Ren un point y ∈S : Φ(y) =λ= min Φ. Montrons quey est un vecteur propre def associé à la valeur propre λ.

Considérons pour cela la forme quadratique associée à f−λId: q:E−→R

x7−→ hx,(f−λId)(x)i=hx, f(x)−λxi,

Par définition deλety,q(y) = Φ(y)−λ= 0et pour toutx∈S,q(x) = Φ(x)−λ>0. Six∈E\ {0}, on a aussi par homogénéité q(x) =kxk2q(kxkx )>0, etqest donc une forme quadratique positive. Notons ϕ sa forme polaire. Alors d’après l’inégalité de Cauchy–Schwarz,

∀x∈E, ϕ(x, y)26q(x)q(y) = 0,

c’est-à-dire 0 =ϕ(x, y) =hx, f(y)−λyipour toutx∈E. D’où f(y) =λyet λ∈Spf.

2. Orthogonalité des espaces propres. Soient x, y deux vecteurs propres de f associés à des valeurs propres distinctesλ, µ respectivement. Comme f =f,µhx, yi=hx, f(y)i=hf(x), yi=λhx, yi, donc hx, yi= 0.

Les espaces propres de f sont donc orthogonaux.

3. Conclusion. Soit donc

F :=

M

λ∈Spf

Ker(f−λId). (⋆)

F est stable parf doncF est stable parf=f (lemme 1) ;f induit alors un endomorphisme symétrique de F sans valeur propre. D’après1., ceci n’est possible que si dimF = 0. D’oùF =E, et (⋆) montre

alors quef est orthogonalement diagonalisable.

Application 3(Réduction simultanée). Soient A∈S>0n (R)etB ∈Sn(R). Alors il existeP ∈GLn(R)et une matrice diagonaleD∈ Mn(R)telles queA=tP P et B=tP DP.

Preuve. La forme bilinéaire symétrique définie positiveacanoniquement associée àAdéfinit un produit scalaire sur Rn. Dans toute base de Rn orthonormée pour a, a a pour matrice Idn. Soient e := (e1, . . . , en) la base canonique deRn et ul’endomorphisme symétrique de l’espace euclidien (Rn, a)ayantB pour matrice dans la base e. Par le théorème 2 uadmet une base de diagonalisation ε := (ǫ1, . . . , ǫn) de Rn orthonormée pour a.

SoitP la matrice de passage deεà (e1, . . . , en). La matriceD:=tP1BP1est diagonale ettP1AP1est la matrice deadans la baseεorthonormée poura, donctP1AP1= Idn. D’oùA=tP P etB=tP DP.

Références. [Gri]

153 Polynômes d’endomorphisme en dimension finie. Réduction d’un endomorphisme en dimension finie. Ap- plications.

170 Formes quadratiques sur un espace vectoriel de dimension finie. Orthogonalité, isotropie. Applications.

203 Utilisation de la notion de compacité.

[Gri] JosephGrifone: Algèbre linéaire. 4ème édition.

benjamin.dadoun@ens-cachan.fr – v20140910 1/1

Références

Documents relatifs

Dans un espace vectoriel qui n’est pas de dimension finie, une série peut conver- ger pour une norme et diverger pour une autre norme, converger vers deux li- mites différentes

Si, ` a la fin de la preuve, on forme la base de E dans le mˆ eme ordre mais en multipliant les vecteurs de la k-i` eme colonne par t k−1 , on trouve que la matrice est multipli´ ee

Pour chacune d’entre elles, indiquer si elle est vraie ou fausse en la corrigeant si n´ ecessaire.. Toutes les r´ eponses doivent ˆ etre justifi´

Agrégation – Leçons ��� – Endomorphismes remarquables d’un espace vectoriel euclidien (de dimension finie)..

Forme quadratique, forme polaire associée. Soit q une forme quadratique. Deux matrices congruentes ont même discriminant. Ainsi on peut donc dé- finir le discriminant d’une

– Rem : Cette méthode est moins efficace que la méthode de Gauss mais permet d’avoir une base orthogonale à la fois pour q et pour le produit scalaire ambiant.. Elle est utile

Lorsqu’on connait la dimension n d’un espace et que l’on se donne une famille de n vecteurs, il suffit de montrer que cette famille est soit libre, soit génératrice pour montrer

Soit F un sous-espace vectoriel de E. Calcul du projeté orthogonal à partir d’une base de F... Calcul du projeté orthogonal lorsqu’on dispose d’une B.O.N.. On utilisera donc

Comme l’anneau C [X] est principal (car muni d’une division euclidienne), il existe un unique polynˆ ome unitaire Q f tel que. I = hQ

Propri´ et´ e 2 (Existence de base dans un espace vectoriel de dimension finie)... Comme E est un espace vectoriel de dimension finie, il poss` ede une famille g´ en´ eratrice

LM-115, Suites et int´egrales, MIME 24.1, second semestre 2010-2011 Universit´e Pierre et Marie Curie.. Contrˆole continu num´ero

Finalement on obtient le résultat cherché avec c

dénie, dénie positive, Schwarz, Minkowski, ex de A 7→ tr(A 2 ) , orthogonalisation simultanée et app au lemme pour John- Loewner. 5

Répondre par vrai ou

(Eexo62.tex) L’ensemble des suites de nombres r´ eels qui convergent vers 1 est-il un sous espace vectoriel de l’es- pace des

[r]

D’après le th précédent, toute forme quadratique admet une base orthogonale. Nous allons voir une méthode effective pour trouver une telle décomposition :

Un petit commentaire avant de commencer : Je donne la définition de forme quadratique qui marche sur tous les corps : polynôme homogène de degré 2 en les coefficients du vecteur et

E peut s’´ ecrire comme la somme directe de deux sous-espaces f-stables de dimension 4 mais aucun bloc de la r´ eduite de Jordan de f a taille plus grande que 3.. E peut s’´

× ajoutant à cette matrice une colonne (resp. ligne) qui est une CL des autres colonnes (resp. lignes) de cette matrice,. × ajoutant à l’une des colonnes (resp. lignes) de cette

× ajoutant à l’une des colonnes (resp. lignes) de cette matrice une CL des autres colonnes (resp.. les colonnes) d’une matrice ne modifient pas son rang. Tous les autres blocs sont

[r]

[r]