Espaces prhilbertiens : corrig

Sur la gomtrie
Exercice 1 - Stricte convexit de la boule - L2/L3/Math Sp - ?
1. Cest du cours ! On a galit dans lingalit de Cauchy-Schwarz si et seulement si les deux
vecteurs x et y sont lis. On a galit dans lingalit de Minkowski si et seulement si il
existe R+ tel que x = y.
2. Soient x 6= y dans B, et 0 < t < 1. Prouvons dabord lingalit au sens large :
ktx + (1 t)yk tkxk + (1 t)kyk t + (1 t) = 1.
Pour que lon ait galit, il faut que les deux ingalits soient des galits, ce qui entrane :
il existe R+ tel que tx = (1 t)y.
kxk = kyk = 1.
Ces deux conditions ensemble entrainent alors que x = y, ce qui est impossible par hypothse.

Exercice 2 - Sur lidentit du paralllogramme - L2/L3/Math Sp - ?

1. Cest une vrification immdiate !
2. On utilise lidendit de la mdiane comme elle est indique :
kx1 + x2 + 2yk2 + kx1 x2 k2 = 2kx1 + yk2 + 2kx2 + yk2 ,
kx1 + x2 2yk2 + kx1 x2 k2 = 2kx1 yk2 + 2kx2 yk2 .
Dautre part, par dfinition du produit scalaire
(x1 + x2 , y) =


1
kx1 + x2 + yk2 kx1 + x2 yk2 ,
4

et


1
kx1 + yk2 + kx2 + yk2 kx1 yk2 kx2 yk2
4
ce qui donne en utilisant lidentit de la mdiane :

(x1 , y) + (x2 , y) =

(x1 , y) + (x2 , y) =


1
kx1 + x2 + 2yk2 kx1 + x2 2yk2 .
8

Pour remonter (x1 + x2 , y), il faut encore transformer kx1 + x2 + 2yk2 et on utilise pour
cela encore une fois lidentit de la mdiane, en crivant (x1 + x2 + 2y) = (x1 + x2 + y) + y.
Il vient :
kx1 + x2 + 2yk2 = 2kx1 + x2 + yk2 + 2kyk2 kx1 + x2 k2 ,
kx1 + x2 2yk2 = 2kx1 + x2 yk2 + 2kyk2 kx1 + x2 k2 .
On obtient bien le rsultat !

http://www.bibmath.net

Espaces prhilbertiens : corrig

3. Dabord, par une rcurrence immdiate, le rsultat est vrai si r N. Prouvons maintenant
que (x, y) = (x, y). On a en effet (x x, y) = (x, y) + (x, y) = 0, ce qui prouve le
rsultat ! Ceci donne le rsultat pour r Z. Enfin, si r = p/q, on pose x1 = xq . On obtient
( pq x, y) = p
Ceci donne

1
q x, y

. Dautre part, en posant x1 = 1q x, on a q(x1 , y) = (qx1 , y) = (x, y).

p
p
( x, y) = (x, y).
q
q
Le rsultat est donc vrai si r Q. Enfin, par compose dapplications continues, pour x
et y fixs, les applications 7 (x, y) et 7 (x, y) sont continues, et sont gales sur
une partie dense de R. Elles sont donc partout gales.
4. Daprs les questions prcdentes, (., .) est un produit scalaire sur E, et on a bien kxk2 =
(x, x).

Exercice 3 - Norme et moyenne - L2/Math Sp/Oral Mines - ???

Soit 1 , . . . , n {1, 1}n . Alors on a
2
n
n

X
X
X


kui k2 + 2
i j hui , uj i.
C i ui =


2

i=1

i=1

i<j

Il suffit donc de prouver que lon peut choisir les signes i de sorte que
X

i j hui , uj i 0.

i<j

On rcrit cette somme sous la forme suivante :

n1
X

n
X

i=1

j=i+1

hi ui ,

j uj i.

Fixons n = 1. Alors on peut choisir n1 {1, 1} de sorte que hn1 un1 , n un i 0. Cette
valeur de n1 tant fixe, on peut choisir n2 {1, 1} de sorte que
hn2 un2 , n1 un1 + n un i 0.
De proche en proche, on peut trouver des valeurs de i de sorte que, pour tout i, on a
hi ui ,

n
X

j uj i 0.

j=i+1

De la sorte, on a

n
X
i=1

ce qui implique

Pn

i=1 kui k

hi ui ,

n
X

j uj i 0

j=i+1

C 2.

Projections et orthogonalit dans un espace prhilbertien

Exercice 4 - Relations usuelles sur les orthogonaux - L2/L3/Math Sp - ?

http://www.bibmath.net

Espaces prhilbertiens : corrig

1. Soit y B . Alors, pour tout x A, on a x B et donc < x, y >= 0, ce qui prouve que
y A .
2. On commence par prendre x (A B) , et prouvons que x A . En effet, si y A, on
a y A B, et donc < x, y >= 0. Ceci montre la premire inclusion. Rciproquement,
si x A B , prenons y (A B). Alors si y A, on a bien < x, y >= 0 puisque
x A , et le cas o y B se rsoud de la mme faon.
3. Soit x A. Choisissons y A . On a alors < x, y >= 0, ce qui prouve que y A . On
na pas toujours galit : A est en effet un sous-espace vectoriel, et il suffit de considrer
le cas o A nen est pas un !
4. Si x A A , x est orthogonal lui-mme (pourquoi ?), et donc puisque le produit
scalaire est dfini positif, ceci entrane x = 0. Remarquons pour terminer que {0} est bien
dans A A .

Exercice 5 - Orthogonal, somme et intersection - L2/Math Sp - ?

On remarque dabord que si A B, alors on a B A , ce qui est immdiat en appliquant
la dfinition. Ainsi, puisque F F + G et G F + G, on obtient (F + G) F G . Prenons
maintenant x F G . Tout z F + G scrit z = f + g, avec f F et g G. Alors :
(x, z) = (x, f ) + (x, g) = 0,
ce qui prouve que F G (F + G) . Dautre part, on a F G F et F G G, ce qui
donne respectivement F (F G) et G (F G) . Puisque (F G) est un sous-espace
vectoriel, il est stable par addition, et donc on a F + G (F G) . Dans le cas o E est
un espace de dimension finie, on peut obtenir lautre inclusion en comparant les dimensions des
sous-espaces :
dim(F + G ) = dim F + dim G dim(F G )
= dim(F ) + dim(G ) dim(F + G)
= dim(E) dim(F ) dim(G) + dim(F + G)
= dim(E) dim(F G)
= dim((F G) ).

Exercice 6 - Pas de supplmentaire orthogonal ! - L2/Math Sp - ?

Soit g F . Remarquons que la
fonction h dfinie par h(x) = xg(x) est dans F . On en
R
dduit que (g, h) = 0, ce qui donne 01 xg 2 (x) = 0dx. Or, la fonction x 7 xg 2 (x) est positive et
continue sur [0, 1]. Puisque son intgrale est nulle, cest quil sagit de la fonction identiquement
nulle. Ainsi, pour tout x > 0, on a g(x) = 0. Maintenant, g est continue, et donc on obtient que
g est identiquement nulle. Ainsi, F = {0}. Dautre part, si F admettait un supplmentaire
orthogonal, on aurait F F = E. Ici, F F = F 6= E. Donc F nadmet pas de supplmentaire
orthogonal !

Exercice 7 - Calcul de distances - L2/Math Sp - ?? R

1

Posons E = C([0, 1]) muni du produit scalaire hf, gi = 0 f (t)g(t)dt. On a 01 |x2 ax

b|2 dx = kx2 (ax + b)k2 . Quand (a, b) dcrit R2 , ax + b dcrit F = vect(1, x) et donc
Z 1

inf

(a,b)R2 0

http://www.bibmath.net

|x2 ax b|2 dx = inf kx2 f k.

f F

Espaces prhilbertiens : corrig

Mais on sait que
inf kx2 f k = kx2 p(x)k2

f F

o p(x2 ) est la projection orthogonale de x2 sur F . Il sagit donc de calculer cette projection.
Ceci peut se faire de deux faons. Dune part, on peut fabriquer une base orthonormale de F
par le procd de Gram-Schmidt partir de 1, x et on sait que
p(x2 ) = hx2 , e1 ie1 + hx2 , e2 ie2 .
On peut aussi poser a priori p(x2 ) = ax + b et crire que ax + b 1, ax + b x. On obtient le
systme :
( R
1 2
x (ax + b)dx = 0
R 10 3
x
(ax2 + bx)dx = 0
0
qui permet de calculer a et b. Par lune ou lautre mthode, on trouve que p(x2 ) = x 1/6 et
1
donc que kx2 p(x2 )k = 180
.
Si vous trouvez une erreur, une faute de frappe, etc... dans ces exercices, merci de la signaler
geolabo@bibmath.net Venez poursuivre le dialogue sur notre forum :
http://www.bibmath.net/forums

http://www.bibmath.net