1/6

Les calculatrices sont autorises.

* * *

NB : Le candidat attachera la plus grande importance la clart, la prcision et la concision de la
rdaction.
Si un candidat est amen reprer ce qui peut lui sembler tre une erreur dnonc, il le signalera sur sa
copie et devra poursuivre sa composition en expliquant les raisons des initiatives quil a t amen prendre.

* * *

Groupes disomtries sur
n
\

Notations

Dans ce sujet, n est un entier naturel suprieur ou gal 2 et on note :
E lespace vectoriel
n
\ et ( )
1
,...,
n
e e = B sa base canonique
, < > le produit scalaire canonique sur E : si ( )
1
,...,
n
x x x = et ( )
1
,...,
n
y y y = sont deux
vecteurs de E, on a
1
,
n
t
i i
i
x y XY x y
=
< >= =

o X et Y sont les matrices colonnes des vecteurs x et

y dans la base B ( B est donc une base orthonormale pour , < > )

( ) E L la -algbre \ des endomorphismes de E
( ) ( ), GL E D le groupe des automorphismes de E

( )
,1 n
M \ le -espace vectoriel \ des matrices n lignes et une colonne
( )
n
M \ la -algbre \ des matrices carres relles de taille n
( )
n
GL \ le groupe des matrices inversibles de ( )
n
M \
pour une matrice A de ( )
n
M \ ,
t
A est sa matrice transpose
( )
n
O \ le groupe des matrices orthogonales, cest--dire des matrices A de ( )
n
M \ vrifiant
n
t
AA I = o
n
I est la matrice unit de ( )
n
M \
EPREUVE SPECIFIQUE FILIERE MP
_______________________


MATHEMATIQUES 2


Dure : 4 heures
SESSION 2007
2/6
( )
n
S
++
\ lensemble des matrices symtriques dfinies positives de ( )
n
M \ , cest--dire des
matrices A de ( )
n
S \ vrifiant : pour toute matrice ( )
,1 n
X M \ non nulle, 0
t
XAX > .

Si
1 2
, ,...,
n
x x x sont des rels, on note
1 2
diag( , ,..., )
n
x x x la matrice diagonale de ( )
n
M \ qui admet
pour coefficients diagonaux les rels
1 2
, ,...,
n
x x x dans cet ordre.

Si p est un rel suprieur ou gal 1, on note
p
la norme p sur E :
si ( )
1
1
1
,..., ,
n
p
p
n i
p
i
x x x E x x
=
| |
= =
|
\ .

.
On note

la norme infinie sur E : si ( )

1
1
,..., , max
n i
i n
x x x E x x

= = .
Une norme N sur E est dite euclidienne sil existe un produit scalaire sur E tel que pour tout
, ( ) ( , ) x E N x x x = .


Objectifs

Si N est une norme sur E, on dit quun endomorphisme ( ) u E L est une N-isomtrie si pour tout
( ) , ( ) ( ) x E N u x N x = .
On note Isom( ) N lensemble des N-isomtries.


Lobjectif du problme est de dterminer le nombre dlments de Isom( ) N dans le cas des normes
euclidiennes puis des normes p.


I. Description des normes euclidiennes

1. Identit du paralllogramme

a. Montrer que si N est une norme euclidienne alors elle vrifie lidentit du paralllogramme,
cest--dire pour tous vecteurs x et y de E, on a
( ) ( ) ( ) ( )
2 2 2 2
( ) ( ) 2 ( ) ( ) N x y N x y N x N y
(
+ + = +

.
En dduire que la norme

nest pas euclidienne.

b. Justifier que la norme
2
est euclidienne puis montrer que pour 2, p la norme
p
nest
pas euclidienne.

2. Soit ( )
n
S S
++
\ .
Si ( )
1
,...,
n
x x x = et ( )
1
,...,
n
y y y = sont deux vecteurs de E, on note
1
n
x
X
x
| |
|
=
|
|
\ .
# et
1
n
y
Y
y
| |
|
=
|
|
\ .
# les
matrices colonnes associes. Montrer que si lon pose ,
t
S
x y XSY < > = , alors ,
S
< > dfinit un
produit scalaire sur E.

3/6

3. Soit un produit scalaire sur E et S la matrice de coefficients
( )
( , )
i j
e e . Justifier que pour
tous vecteurs x et y de E ( , )
t
x y XSY = et que ( )
n
S S
++
\ .
On a donc montr que ,
S
= < > .
Toute norme euclidienne peut donc scrire sous la forme :
t
S
N x XSX 6 avec ( )
n
S S
++
\
o X dsigne la matrice colonne associe x.


II. Quelques gnralits et exemples

Soit N une norme sur E.

4. Montrer que ( ) Isom( ), N D est un sous-groupe de ( ) GL E .

5. Une caractrisation gomtrique des N-isomtries
On note { } ( ) , ( ) 1 N x E N x = = , la sphre unit pour N.
Soit ( ) u E L . Montrer que u est une N-isomtrie si et seulement si ( ) ( ) ( ) u N N = .

Le groupe des N-isomtries est donc lensemble des endomorphismes laissant stable la N-
sphre unit.

6. Dans cette question uniquement 2 n = et donc
2
E = \ .
On note s la symtrie orthogonale par rapport la droite { }
1 2
Vect D e e = o ( )
1 2
, e e est la
base canonique de
2
\ et r la rotation vectorielle dangle
3

.
Les endomorphismes s et r sont-ils des
1
-isomtries ?

7. Dans cette question uniquement 3 n = et donc
3
E = \ .
Si
3
( , , ) , x y z \ on pose
2 2 2
( , , ) 3 2 3 2 q x y z x y z xz = + + , ce qui dfinit une forme
quadratique q.
a. On note
x
X y
z
| |
|
=
|
|
\ .
, dterminer une matrice symtrique
3
( ) S M \ , telle que
( , , )
t
q x y z XSX = .
b. Dterminer une matrice
3
( ) P O \ et une matrice diagonale
3
( ) D M \ telles que
t
S PD P = .
c. Justifier alors que lapplication
q
N : ( , , ) ( , , ) x y z q x y z 6 est une norme euclidienne sur
3
\ .
d. Dterminer la nature gomtrique de la quadrique ( )
q
N , la sphre unit pour la norme
q
N
et en donner une quation simple dans une nouvelle base.
e. Justifier que ( )
q
N est une surface de rvolution, prciser un vecteur qui dirige son axe.
f. Dduire de la question 5, par une considration gomtrique, que
( )
Isom
q
N a une infinit
dlments.
4/6
III. tude de Isom(N) lorsque N est une norme euclidienne

Si ( ) u E L , on note
| |
u
B
la matrice de u dans la base B .
Si N est une norme, on note ( ) | | { }
ISOM , Isom( ) N u u N =
B
. Lensemble ( ) ISOM N est par
construction un groupe isomorphe ( ) Isom N , cest sa version matricielle .

8. Caractrisation matricielle des isomtries euclidiennes
a. Soit ( )
n
S S
++
\ ,
S
N la norme euclidienne associe et ,
S
< > le produit scalaire associ.
Soit ( ) u E L .
Montrer que u est une
S
N -isomtrie si et seulement si pour tous vecteurs x et y de E, on a
( ) , ( ) ,
S S
u x u y x y < > =< > .
b. En dduire que u est une
S
N -isomtrie si et seulement si sa matrice A dans B vrifie
t
ASA S = .

9. Reconnatre alors
( )
2
ISOM . Que peut-on dire du nombre dlments de
( )
2
ISOM ?
Justifier votre rponse.

10. Une application des polynmes interpolateurs
[ ]
r
X \ dsigne le \-espace vectoriel des polynmes coefficients rels de degr infrieur ou
gal r.
On se donne 1 r + rels
0 1
...
r
x x x < < < .

On considre lapplication linaire u de [ ]
r
X \ vers
1 r+
\ dfinie par
( ) ( ) ( ) ( )
0 1
, ,...,
r
P P x P x P x 6 .
a. Dterminer le noyau de u . En dduire que pour tous rels
0 1
, ,...,
r
y y y , il existe un unique
polynme L de [ ]
r
X \ tel que pour tout { } 0,..., , ( )
i i
i r L x y = (un tel polynme est
appel polynme interpolateur).
b. Application : soit n un entier naturel non nul et
1
,...,
n
u u des rels strictement positifs, on
pose
1
diag( ,..., )
n
U u u = et
1
diag( ,..., )
n
V u u = . Montrer quil existe un polynme L,
coefficients rels, tel que ( ) V L U = .

11. Racine carre dans ( )
n
S
++
\
a. Soit ( )
n
S S
++
\ . Dterminer une matrice ( )
n
A S
++
\ telle que
2
A S = . On dit que A est
une racine carre de S.
b. Soit ( )
n
B S
++
\ une autre racine carre de S. Montrer quil existe un polynme Q,
coefficients rels, tel que ( ) A Q B = . En dduire que A et B commutent.
c. Montrer que la somme de deux matrices symtriques dfinies positives est une matrice
inversible.
d. Dduire des questions prcdentes que A B = (on pourra calculer ( )( ) A B A B + ).
Dsormais, on note S lunique racine carre dans ( )
n
S
++
\ de S.



5/6
12. tude du groupe disomtrie pour une norme euclidienne
Soit N une norme euclidienne. Il existe donc une matrice ( )
n
S S
++
\ telle que pour tout
, ( ) ( )
t
S
x E N x N x XSX = = o X est le vecteur colonne associe x.
a. Montrer que si ( )
n
M O \ , la matrice
1
( ) S M S

appartient ( ) ISOM
S
N .
b. Montrer que lapplication de ( )
n
O \ dans ( ) ISOM
S
N dfinie par
( )
1
M S M S

6
est une bijection.
Le groupe disomtrie dune norme euclidienne est-il fini?


IV. tude du cardinal de Isom(p)

Dans cette partie p est un rel strictement suprieur 1, on appelle exposant conjugu de p
lunique rel q tel que
1 1
1
p q
+ = .
Pour allger lcriture, une p-isomtrie dsigne une isomtrie pour la norme
p
et on note
Isom( ) p le groupe des p-isomtries.
Si ( ) u E L , * u dsigne ladjoint de u pour , < > . On rappelle que * ( ) u E L , est
caractris par lgalit suivante : pour tout ( )
2
, , ( ), , *( ) x y E u x y x u y < >=< > .

13. Endomorphismes de permutation signe
n
P dsigne le groupe des permutations de lensemble { } 1, 2,..., n .
Soit
n
P et ( ) { }
1
,..., 1, 1
n
n
= + . On note
,
u

lendomorphisme de E qui vrifie pour
tout { } 1, 2,..., i n ,
, ( )
( )
i i i
u e e

= .
a. Montrer que
,
u

est une p-isomtrie.
b. crire la matrice de
,
u

dans la base canonique dans le cas o 4 n = ,
1 2 3 4
3 4 1 2

| |
=
|
\ .
et
( ) 1,1, 1,1 = .

14. Ingalit de Holdr
a. Montrer que pour tous rels a et b positifs ou nuls, on a
1 1
p q
ab a b
p q
+ . On pourra utiliser
la fonction logarithme nprien.
b. En dduire que pour tous vecteurs x et y de E, on a ,
p q
x y x y < > . Ce rsultat sappelle
lingalit de Holdr (on pourra dabord dmontrer lingalit lorsque 1
p q
x y = = ).
c. Que devient lingalit si 2 p = ?


Dans toute la suite, u dsigne une p-isomtrie. On note
( )
ij
a les coefficients de la matrice
| |
A u =
B
.

15. Montrer que pour tout { } 1, 2,..., j n ,
1
1
n
p
ij
i
a
=
=

. En dduire la valeur de
1 1
n n
p
ij
j i
a
= =

.

6/6
16. Une formule cl de dualit
Soit x E . On note
{ }
, 1
q
q
z E z = = .
a. Justifier lexistence du rel max ,
q
y
x y

< > .
b. Justifier que max ,
q
p
y
x y x

< > .
Soit { } 1, 2,..., i n ; si 0
i
x , on pose
1 1 p p
i i i
p
y x x

= o
i
dsigne le signe de
i
x et si
0
i
x = , on pose 0
i
y = . On dfinit ainsi un vecteur ( )
1
,...,
n
y y y = .
Montrer que ,
p
x y x < > = puis montrer lgalit suivante : max ,
q
p
y
x x y

= < > .

17. En dduire que si u est une p-isomtrie, * u est une q-isomtrie. Donner alors, en justifiant, la
valeur de
1 1
n n
q
ji
j i
a
= =

.

18. On suppose de plus que 2 p .
a. Soient
1 2
, ,...,
r
des rels dans
| |
0,1 vrifiant
1 1
r r
p q
k k
k k

= =
=

. Montrer avec soin que
pour tout { } 1, 2,..., k r ,
k
ne prend quun nombre fini de valeurs dterminer.
b. En dduire que pour tout i et j dans { } 1, 2,..., n ,
ij
a ne peut prendre que 2 valeurs
diffrentes que lon prcisera (on rappelle que les
ij
a sont les coefficients de la matrice
dune p-isomtrie).

19. Conclusion
Montrer alors que lorsque 2 p , Isom( ) p est un groupe fini dont on dterminera le cardinal.
On remarquera en particulier que ce cardinal est indpendant de p.


Commentaire : Les p-isomtries pour 2 p sont seulement en nombre fini, contrairement aux
isomtries euclidiennes qui forment un groupe infini mais compact (pas trs difficile
montrer). Sur
n
\ , la gomtrie euclidienne est donc plus riche que celle des normes p pour
2 p .


Fin de lnonc