• Aucun résultat trouvé

Symétries vectorielles

N/A
N/A
Protected

Academic year: 2022

Partager "Symétries vectorielles"

Copied!
4
0
0

Texte intégral

(1)

Symétries vectorielles

Complément 3

Ce complément de cours présente des résultats sur les symétries vectorielles. Ces résultats sont hors programme en ECS. Mais il pourra être profitable de les travailler en vue des concours, notamment des épreuves écrites et orales de parisiennes.

Commençons par rappeler la définition d’une symétrie vectorielle.

Définition.

Soient F etGdeux sous-espaces vectoriels supplémentaires deE, de sorte que pour toutzE, il existe un unique couple (x, y)∈F ×Gtel que :

z=x+y.

On appelle symétrie de z par rapport à F dans la direction de G, et on notes(z), le vecteur : s(z) =xy.

L’application s:EE ainsi définie est appelée la symétrie par rapport à F dans la direction de G.

Représentation graphique.

{0E}

G

F

z y

x

s(z)

−y

Symétrie dez par rapport àF dans la direction de G.

Rappel. Puisque E=FG, on dispose des projecteurs associés à cette décomposition :

p le projecteur sur F parallèlement àG; • q le projecteur sur Gparallèlement à F. On a de plus les relations suivantes :

p+q= IdE et pq =qp= 0L(E).

(2)

ECS2 Lycée Louis Pergaud

(1) s=pq= 2p−IdE. En particulier sest linéaire.

(2) ss=IdE. En particuliersest un automorphisme de E, ets−1=s. (3) F = Ker(sIdE). Ainsi on a : ∀x∈F,s(x) =x.

(4) G= Ker(s+IdE). Ainsi on a : ∀y∈G,s(y) =−y.

Propriété 1

Preuve.

(1) Pour toutzE, il existe un unique couple (x, y)∈F×Gtel que : z=x+y.

De plus on ap(z) =x etq(z) =y. Ainsi on a :

s(z) =xy=p(z)−q(z).

Ainsi s=pq, doncs est linéaire comme combinaison linéaire d’applications linéaires. De plus comme p+q= IdE, on a aussi s= 2p−IdE.

(2) On compose :

ss= (pq)◦(pq) =pppqqp+qq=p+q=IdE. (3) On procède par double inclusion.

⊂ Soit xF, on a x = x

|{z}

∈F

+ 0E

|{z}∈G

et donc s(x) = x. Ainsi on a (sIdE)(x) = 0E, et donc x∈Ker(sIdE).

⊃ Soitz∈Ker(sIdE),∃!(x, y)∈F×Gtel quez=x+y. On as(z) =z, d’oùxy=x+y, ce qui équivaut à y= 0E. Ainsiz=xF.

On a ainsi montré que F =Inv(s) = Ker(sIdE).

(4) Procédons toujours par double inclusion.

⊂ Soit yG, on a y = 0E

|{z}

∈F

+ y

|{z}∈G

et donc s(y) = −y et (s+IdE)(y) = 0E. Ainsi y ∈ Ker(s+IdE).

⊃ Soitz∈Ker(s+IdE). ∃!(x, y)∈F×Gtel quez=x+y. On as(z) =−z, d’oùx−y=−x−y ce qui équivaut encore à x= 0E. Ainsiz=yG.

Finalement on a bien montré que G= Ker(s+IdE).

Remarque. En particulier, on notera que les sous-espaces F et G sont stables par s. De plus l’endomorphisme induit par ssurF est IdF, et l’endomorphisme induit par ssurGest −IdG.

Soit s∈L(E). Alors :

sest une symétrie ⇔ ss= IdE.

Plus précisément, E = Ker(s−IdE)⊕Ker(s+ IdE) et s est la symétrie par rapport à Ker(s−IdE) dans la direction de Ker(s+ IdE).

Propriété 2

2

(3)

ECS2 Lycée Louis Pergaud

Preuve. On a déjà montré l’implication⇒. Montrons la réciproque. Pour cela, posonsp= s+IdE

2 .

On a :

pp= (s+IdE)◦(s+IdE)

4 = ss+s+s+IdE

4 = s+IdE

2 =p.

Donc pest un projecteur, sur F = Im(p) = Ker(pIdE) parallèlement àG= Ker(p). En particulier on a :

E =FG et s= 2p−IdE.

Donc s est bien la symétrie par rapport à F = Ker(s−Id2 E) = Ker(sIdE) dans la direction de

G= Ker(s+Id2 E) = Ker(s+IdE).

Remarque. Ainsisest une symétrie vectorielle si et seulement siX2−1 est un polynôme annulateur de s.

Exercice. On considère l’espace vectoriel F(R,R) des applications de R dans R. À tout élément f ∈F(R,R), on associe l’élément T(f)∈F(R,R) défini par :

∀x∈R, T(f)(x) =f(−x).

Montrer queT est une symétrie deF(R,R) et donner ses éléments caractéristiques.

On vérifie facilement que T est un endomorphisme de F(R,R). De plus pour toutf ∈ F(R,R), on a :

∀x∈R, TT(f)(x) =T(T(f))(x) =T(f)(−x) =f(−(−x)) =f(x).

Donc TT =IdF(R,R) et T est la symétrie par rapport àP = Ker(T −IdE) dans la direction de I = Ker(T +IdE). De plus on a :

f ∈P ⇔ ∀x∈R, f(−x) =f(x) ⇔ f est paire.

De même f ∈I ⇔f est impaire.

Enfin on obtient également de cette manière que F(R,R) =P⊕I.

Exercice. Soitf :Mn(R)→Mn(R) définie par f(M) = tM.

1. Montrer quef est une symétrie et la décrire.

2. Retrouver de cette manière que Mn(R) =Sn(R)⊕An(R).

1. L’application f est linéaire par linéarité de la transposée. De plus on a pour tout M ∈ Mn(R) :

ff(M) =f(f(M)) =f( tM) = t(tM)) =M.

Ainsif est bien une symétrie, surF = Ker(f−IdE) dans la direction deG= Ker(f+IdE).

Décrivons ces deux espaces :

• On a :

MFM ∈Ker(f −IdE)⇔f(M) =MtM =MM ∈Sn(R).

Donc F =Sn(R).

• On a :

MGM ∈Ker(f+IdE)⇔f(M) =−M ⇔ tM =−M ⇔M ∈An(R).

3

(4)

ECS2 Lycée Louis Pergaud

Donc F =An(R).

2. On en déduit en particulier, puisque s est une symétrie par rapport à Sn(R) dans la direction deAn(R), que :

Mn(R) =Sn(R)⊕An(R).

On suppose que E est de dimension finie n. Soient F et G des sous-espaces vectoriels supplémentaires de E. Notons k = dim(F). Soit s la symétrie vectoriel par rapport à F dans la direction de G.

(1) La matrice de sdans une base B adaptée à la somme directeE=FGest :

MB(s) =

1 0 0. . . 0

... ... ...

1 0 . . . 0 0 . . . 0 −1

... ... ...

0 . . . 0 −1

= diag(1, . . . ,1

| {z }

kfois

,−1, . . . ,−1

| {z }

n−kfois

).

En particulier, sest diagonalisable.

(2) On a Tr(s) = dim(F)−dim(G).

Propriété 3

Preuve.

(1) Soit donc BF = (e1, . . . , ek) une base de F, BG = (ek+1, . . . , en) une base de G. Puisque E = FG, la familleB= (e1, . . . , en) est une base de E. De plus on a :

• pour tout 1≤ik,eiF et doncs(ei) =ei ;

• pour toutk+ 1≤in,eiG et doncs(ei) =−ei.

On en déduit donc que la matrice de sdans la base B est donnée par :

MB(s) =

1 0 0. . . 0

... ... ...

1 0 . . . 0 0 . . . 0 −1

... ... ...

0 . . . 0 −1

.

(2) Rappelons que la trace d’un endomorphisme est par définition la trace de sa matrice dans n’importe quelle base. Ainsi on a :

Tr(s) = Tr(MB(s)) = 1 +· · ·+ 1

| {z }

kfois

−(1 +· · ·+ 1

| {z }

n−kfois

) = dim(F)−dim(G).

4

Références

Documents relatifs

Dans cet article, nous proposons de détecter automati- quement des symétries de variables en calculant une parti- tion de la portée de chaque contrainte pour exhiber les va-

espace de Banach réticulé. Nous pouvons ainsi définir la Banach réticulé des v.a.. Il suffit, pour cela, de sommer par rapport aux i les inégalités :.. b) Quelques

c) Déterminer les valeurs propres et les sous-espaces propres

Ces outils fournissent également des équivalents ou développements asymptotiques des sommes partielles (en cas de divergence), ou des restes (en cas de convergence), grâce

Le cercle circonscrit au triangle ABC est

E est somme directe orthogonale des sev propres de u , ou encore, il existe une base orthonormée de E constituée de vecteurs propres de u. car : se fait par récurrence

• La recherche d’éléments de symétrie d’un objet (20) a été jugée trop complexe.. Jeux

2°) Une fois ce sommet fixé, on peut encore permuter (ou pas) les trois sommets adjacents par une symétrie axiale (3 possibilités).. 3°) Une fois deux sommets (et donc une