[http://mp.cpgedupuydelome.

fr] dD dit le 14 juin 2011

Enoncs

Densit
Exercice 1 [ 01130 ] [correction]
Montrer que GLn (R) est dense dans Mn (R).
On pourra considrer, pour A Mn (R), les matrices de la forme A In .

Exercice 2 [ 01131 ] [correction]

Soient E un espace vectoriel norm et F un sous-espace vectoriel de E.
a) Montrer que F est un sous-espace vectoriel de E.
b) Montrer quun hyperplan est soit ferm, soit dense.

Exercice 3 [ 01132 ] [correction]

Soient U et V deux ouverts denses dun espace vectoriel norm E. Etablir que
U V est encore un ouvert dense de E. En dduire que la runion de deux ferms
dintrieurs vides est aussi dintrieur vide.

Exercice 4 [ 03058 ] [correction]

Soient (un )nN et (vn )nN deux suites relles telles que un +, vn + et
un+1 un 0.
a) Soient > 0 et n0 N tel que pour tout n > n0 , |un+1 un | 6 .
Montrer que pour tout a > un0 , il existe n > n0 tel que |un a| 6 .
b) En dduire que {un vp /n, p N} est dense dans R.
c) Montrer que lensemble {cos(ln n)/n N? } est dense dans [1, 1].

Exercice 5 X MP [ 03017 ] [correction]

Montrer que {m ln n/(m, n) Z N? } est dense dans R.

Exercice 6 [ 01133 ] [correction]

Soit H un sous-groupe de (R, +) non rduit {0}.
a) Justifier lexistence de
a = inf {x H/x > 0}
b) On suppose a > 0. Etablir a H puis H = aZ.
c) On suppose a = 0. Etablir que H est dense dans R.

Exercice 7 [ 00023 ] [correction]

a) Montrer que {cos(n)/n N} est dense dans [1, 1].
b) Montrer que {cos(ln n)/n N? } est dense dans [1, 1].

Exercice 8 [ 01134 ] [correction]

On note R(N) lensemble des suites relles nulles partir dun certain rang.
a) Montrer que R(N) est dense dans `1 (R).
b) R(N) est-il dense dans ` (R) ?

Exercice 9 [ 01135 ] [correction]

Montrer que lensemble des matrices diagonalisables de Mn (C) est dense dans
Mn (C).

Exercice 10 Mines-Ponts MP [ 02779 ] [correction]

Montrer quun hyperplan dun espace vectoriel norm (E, kk) est dense ou ferm
dans E.

Exercice 11 Mines-Ponts MP [ 02780 ] [correction]

On note E lensemble des fonctions relles dfinies et continues sur [0, +[ et
dont le carr est intgrable. On
qRadmet que E est un espace vectoriel rel. On le
+ 2
munit de la norme kk2 : f 7
f (t) dt. On note E0 lensemble des f E
0
telles que f est nulle hors dun certain segment. On note F lensemble des
2
fonctions de E du type x 7 P (ex )ex /2 o P parcourt R [X]. Montrer que E0
est dense dans E puis que F est dense dans E.

Exercice 12 X MP [ 02944 ] [correction]

Soit A une partie convexe et partout dense dun espace euclidien E.
Montrer que A = E.

Exercice 13 [ 03018 ] [correction]

Soit A une partie non vide de R vrifiant
a, b A,

a+b
A
2

Montrer que A est dense dans lintervalle ]inf A, sup A[.

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

Enoncs

Exercice 14 X MP [ 03020 ] [correction]

Soit A une partie non vide de R+? vrifiant : (a, b) A2 , ab A.

Montrer que A (R\Q) est dense dans ]inf A, sup A[.

Exercice 15 [ 03059 ] [correction]

Soient E = C ([0, 1] , R) et E. On note N : E R lapplication dfinie par
N (f ) = kf k
Montrer que N est une norme sur E si, et seulement si, 1 (R? ) est dense dans
[0, 1].

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

Corrections

Corrections
Exercice 1 : [nonc]
Lapplication 7 det(A In ) est polynomiale non nulle en donc possde un
nombre fini de racine.
Par suite : A Mn (R), > 0, B(A, ) GLn (R) 6= .

Exercice 2 : [nonc]
a) Soient u, v F et , R. Il existe (un ), (vn ) F N telles que un u et A.
Comme un + vn u + v et un + vn F on a u + v F .
b) Soit H un hyperplan de E.
= H alors H est ferm.
Si H
est un sous-espace vectoriel de E, contenant H et distinct de H.
Sinon alors H
Puisque H est un hyperplan a
/ H tel que H Vect(a) = E.

Soit x H\H.
On peut crire x = h + a avec h H et 6= 0. Par opration
et puisque H H
on obtient E H.
Finalement H
= E et donc H est
aH
dense.

Exercice 3 : [nonc]
Pour tout a E et tout > 0, B(a, ) U 6= car U est dense.
Soit x B(a, ) U . Puisque B(a, ) U est ouvert, il existe > 0 tel que
B(x, ) B(a, ) U et puisque V est dense B(x, ) V 6= . Par suite

A est une partie de N, non vide car n0 A et majore car un +.

La partie A admet donc un plus grand lment n > n0 et pour celui-ci
un 6 a < un+1 .
Par suite |un a| = |un+1 un | 6 car n > n0 .
b) Soient x R et > 0.
Puisque un+1 un 0, il existe n0 N tel que pour tout n > n0 , |un+1 un | 6 .
Puisque vn +, il existe p N tel que x + vp > un0 .
Par ltude prcdente, il existe n N tel que |un (x + vp )| 6 i.e.
|(un vp ) x| 6 .
Par suite lensemble {un vp /n, p N} est dense dans R.
c) Remarquons que
A = {cos(ln n)/n N? } = {cos (ln(n + 1) 2p) /n, p N}
Posons un = ln(n + 1) et vn = 2n. Les hypothses prcdentes sont runies et
donc
B = {un vp /n, p N} = {ln(n + 1) 2p/n, p N}
est dense dans R.
Soient x [1, 1] et = arccos x.
Par densit, il existe une suite (n ) dlments de B convergeant vers et, par
continuit de la fonction cosinus, la suite (xn ) de terme gnral xn = cos(n )
converge vers x = cos .
Or cette suite (xn ) est une suite dlments de cos(B) = A et donc A est dense
dans [1, 1].

B(a, ) (U V ) 6=
Soient F et G deux ferms dintrieurs vides.
CE (F G) = CE (F G) = CE F CE G
avec CE F et CE G ouverts denses donc
CE F CE G = E

Exercice 5 : [nonc]
Soient x R et > 0.
Il existe n0 N? tel que 1/n0 6 .
Pour a > ln n0 et n = E(ea ) > n0 , on a ln n 6 a 6 ln(n + 1).
On en dduit
|a ln n| 6 ln(n + 1) ln n = ln(1 + 1/n) 6 1/n 6 1/n0 6
Puisque m x +, pour m assez grand, on a a = m x > ln n0 et donc

puis

m+

(F G) =

il existe n N? vrifiant |a ln n| 6 i.e.

|m ln n x| 6

Exercice 4 : [nonc]
a) Posons

Par suite {m ln n/(m, n) Z N? } est dense dans R.

A = {n > n0 /a > un }

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

Corrections

Exercice 6 : [nonc]
a) Il existe h H tel que h 6= 0 car H nest pas rduit {0}.
Si h > 0 alors h {x H/x > 0}. Si h < 0 alors h {x H/x > 0}.
Dans les deux cas {x H/x > 0} =
6 . De plus {x H/x > 0} R et
{x H/x > 0} est minor par 0 donc a = inf {x H/x > 0} existe dans R.
b) On suppose a > 0.
Si a
/ H alors il existe x, y H tel que a < x < y < 2a et alors y x est lment
de H et vrifie 0 < y x < a ce qui contredit la dfinition de a. Cest absurde.
a H donc aZ =< a > H.
Inversement, soit x H. On peut crire x = aq + r avec q Z, r [0, a[ (en fait
q = E(x/a) et r = x aq)
Puisque r = x aq avec x H et aq aZ H on a r H.
Si r > 0 alors r {x H/x > 0} et r < a contredit la dfinition de a.
Il reste r = 0 et donc x = aq. Ainsi H aZ puis lgalit.
c) Puisque inf {x H/x > 0} = 0, on peut affirmer que pour tout > 0, il existe
x H tel que 0 < x < .
Soient a R et > 0. Montrons H B(a, ) 6= i.e. H ]a , a + [ 6=
Il existe x H tel que 0 < x < . Posons n = E(a/x). On a a = nx + r avec
0 6 r < .
nx < x > H et |a nx| = r < donc nx H B(a, ) et donc
H B(a, ) 6= .
Ainsi H est dense dans R.
Exercice 7 : [nonc]
a) {cos(n)/n N} = {cos(n)/n Z} = {cos(n + 2k)/n, k Z} = cos (Z + 2Z)
Puisque Z + 2Z est un sous-groupe de (R, +) et cest un sous-groupe dense car il
nest pas monogne puisque nest pas rationnel ; cest en effet un rsultat
classique bien quhors programme, les sous-groupes de (Z, +) sont monognes ou
denses.
Pour tout x [1, 1], il existe [0, ] tel que cos = x et puisque Z + 2Z est
dense dans R, il existe une suite dlments Z + 2Z convergeant vers . Limage
de cette suite par la fonction continue cosinus dtermine une suite dlment de
{cos(n)/n N} convergeant vers x.
b) En notant que les 2p avec p N sont des naturels non nuls, on observe
{cos(p ln 2)/p N} {cos(ln n)/n N? }
Ainsi
cos(ln 2.Z + 2Z) {cos(ln n)/n N? }
Si et ln 2 ne sont pas commensurables, on peut conclure en adaptant la
dmarche prcdente.

Si en revanche et ln 2 sont commensurables (ce qui est douteux. . . ), on reprend

lide prcdente avec ln 3 au lieu de ln 2.
Assurment et ln 3 ne sont pas commensurables car sils ltaient, ln 2 et ln 3 le
seraient aussi ce qui signifie quil existe p, q N? tels que p ln 2 = q ln 3 soit encore
2p = 3q ce qui est faux !

Exercice 8 : [nonc]
a) Soit u `1 (R). On a

+
P

|un | 0 donc pour tout > 0, il existe N tel que

n=N +1
+
P

|un | < .

n=N +1

Considrons alors v dfinie par vn = un si n 6 N et vn = 0 sinon. On a v R(N)

et kv uk1 < donc B(u, ) R(N) 6= .
b) Non, en notant u la suite constante gale 1, B (u, 1/2) R(N) = .
Exercice 9 : [nonc]
Soit A Mn (C). La matrice A est trigonalisable donc il existe P inversible telle
que P 1 AP = T avec T triangulaire suprieure. Posons alors
Tp = T + diag(1/p, 2/p, . . . , n/p) et Ap = P Tp P 1 . Il est immdiat que Tp T
quand p + et donc Ap A. De plus, pour p assez grand, la matrice Tp est
triangulaire suprieure coefficients diagonaux deux deux distincts, cette
matrice admet donc n valeurs propres et est donc diagonalisable. Il en est de
mme pour Ap qui lui est semblable. Ainsi toute matrice de Mn (C) est limite
dune suite de matrices diagonalisables.

Exercice 10 : [nonc]
1re mthode (ncessitant quelques rsultats non triviaux mais intuitifs sur la
codimension)
Par dfinition, un hyperplan H de E est un sous-espace vectoriel de codimension
est aussi un sous-espace vectoriel et, puisque contenant H, sa
1. Son adhrence H
codimension vaut 0 ou 1.
est de codimension 0 alors H
= E ce qui signifie que H est dense dans E.
Si H
est de codimension 1, puisque H
contient lhyperplan H, on a H
= H et
Si H
est ferm.
donc H
2me mthode (plus laborieuse)
Par dfinition un hyperplan H de E est un sous-espace vectoriel de codimension
1. Il existe donc un vecteur a E non nul vrifiant
H Vect(a) = E

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

Corrections

Supposons que H ne soit pas ferm. Il existe alors une suite (xn ) dlments de H
convergeant vers un lment x nappartenant pas H. On peut crire x = h + a
avec h H et 6= 0. En considrant yn = 1 (xn h), on construit une suite (yn )
dlments de H convergeant vers a partir de laquelle il est dsormais facile
dtablir que H est dense dans E. En effet pour tout z E, on peut crire
z = k + a avec k H et R de sorte que la suite de terme gnral
zn = k + yn est une suite dlments de H convergeant vers z.

Exercice 11 : [nonc]
f une fonction lment de E. Pour tout > 0, il existe un rel A vrifiant
RSoit
+ 2
f (t) dt 6 .
A
Considrons alors la fonction : [0, +[ R dfinie par (t) = 1 pour t [0, A],
(t) = 0 pour t > A + 1 et (t) = 1q
(t A) pour t [A, A + 1]. La fonction f
R +
est lments de E0 et kf f k2 6
f 2 (t) dt 6 . Ainsi E0 est dense dans E.
A
Pour montrer maintenant que F est dense dans E, nous allons tablir que F est
dense dans E0 .
Soit f une fonction lment de E0 . Remarquons
2
2 (ln u)2
R + 
R1
e
t t2 /2
(ln u)2 /2
=
du.
f
(t)

P
(e
)e
dt
f
(
ln
u)e

P
(u)
u
0
u=et 0

(ln u)2
(ln u)2
est intgrable sur ]0, 1] car u e u
0.
La fonction u 7 e u
u0

La fonction g : u 7 f ( ln u)e(ln u) /2 peut-tre prolonge par continuit en 0 car

f est nulle en dehors dun segment. Par le thorme de Weierstrass, pour tout
> 0, il existe un polynme P R [X] vrifiant kg P k,[0,1] 6 et pour
qR
2
1 e(ln u)2
du. Cela
: t 7 P (et )et /2 on a alors kf k2 6 avec =
u
0
permet de conclure la densit propose.

Exercice 12 : [nonc]
Par labsurde supposons A 6= E.
Il existe un lment a E tel que a
/ A. Par translation du problme, on peut
supposer a = 0.
Posons n = dim E.
Si Vect(A) est de dimension strictement infrieure n alors A est inclus dans un
hyperplan de E et son adhrence aussi. Cest absurde car cela contredit la densit
de A.
Si Vect(A) est de dimension n, on peut alors considrer (e1 , . . . , en ) une base de E
forme dlments de A.
Puisque 0
/ A, pour tout x A, on remarque : R , x
/ A (car sinon, par
convexit, 0 A).

Par convexit de A : 1 , . . . , n > 0, 1 + + n = 1 1 e1 + + n en A

et donc : R , 1 , . . . , n > 0, 1 + + n = 1 (1 e1 + + n en )
/ A.
Ainsi 1 , . . . , n 6 0, 1 e1 + + n en
/ A.
Or la partie {1 e1 + + n en /i < 0} est un ouvert non vide de A et donc
aucun de ses lments nest adhrent A. Cela contredit la densit de A.

Exercice 13 : [nonc]
Soient a < b A.
3a+b
= a+(a+b)/2
A et a+3b
A etc.
Puisque a, b A, a+b
2 A, puis
4
2
4
ka+(2n k)b
n
Par rcurrence sur n N, montrons k {0, . . . , 2 } ,
A.
2n
La proprit est immdiate pour n = 0.
Supposons
 la proprit
vraie au rang n > 0.
Soit k 0, . . . , 2n+1 .
Cas k pair :
n+1
0
n
0
k = 2k 0 avec k 0 {0, . . . , 2n } et ka+(22n+1 k)b = k a+(22n k )b A en vertu de
lhypothse de rcurrence.
Cas k impair :
k = 2k 0 + 1 avec k 0 {0, . . . , 2n 1} et


ka + (2n+1 k)b
1 k 0 a + (2n k 0 )b (k 0 + 1)a + (2n (k 0 + 1))b
=
+
A
2n+1
2
2n
2n
car par hypothse de rcurrence
k 0 a + (2n k 0 )b (k 0 + 1)a + (2n (k 0 + 1))b
,
A
2n
2n
La rcurrence est tablie.
Soit x ]inf A, sup A[.
Il existe a, b A tel que x [a, b] ce qui permet dcrire x = a + (1 )b.
n
Soit kn = E(2n ) et xn = kn a+(22n kn )b .
On vrifie aisment que xn x car 2n k et pour tout n N xn A
Ainsi A est dense dans ]inf A, sup A[.

Exercice 14 : [nonc]
Considrons lensemble B = ln A = {ln a/a
A}.
ln a+ln b
ab B.
Pour tout x, y B, x+y
=
=
ln
2
2
En raisonnant par rcurrence, on montre que pour tout x, y B, on a la proprit
n N, k {0, . . . , 2n } ,

kx + (2n k)y
B
2n

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

Corrections

Soit x ]inf A, sup A[. Il existe a, b A tels que a < x < b.

On a alors ln a < ln x < ln b avec ln a, ln b B.
On peut crire ln x = ln a + (1 ) ln b avec ]0, 1[.




Posons alors kn la partie entire de 2n et xn = exp k2nn ln a + 1 k2nn ln b
Il est immdiat que xn x avec pour tout n N, xn A.
Si, dans cette suite, il existe une infinit dirrationnels, alors x est limite dune
suite dlments de A (R\Q).
Sinon, partir dun certain rang, les termes de la suite xn sont tous rationnels.
Le rapport xn+1 /xn est alors aussi rationnel ; mais
kn+1

Puisque la fonction continue f est nulle sur la partie 1 (R? ) dense dans [0, 1],
cette fonction est nulle sur [0, 1].
Supposons : 1 (R? ) non dense dans [0, 1].
Puisque le complmentaire de ladhrence est lintrieur du complmentaire, la
partie 1 ({0}) est dintrieur non vide et donc il existe a < b [0, 1] tels que
[a, b] 1 ({0}).
Considrons la fonction f dfinie sur [0, 1] par

(x a)(b x) si x [a, b]
f (x) =
0
sinon

 a  n+1 2nn
xn+1
kn+1
kn
1
2
avec n+1 n = 0 ou n+1
=
xn
b
2
2
2
Sil existe une infinit de n tels que
n N tels que

kn+1
2n+1

 a  21n
b

kn
2n

1
2n+1

alors il existe une infinit de

et puisque llvation au carr dun rationnel est un rationnel, le nombre a/b est
lui-mme rationnel. Or les racines carres itrs dun rationnel diffrent de 1 sont
irrationnelles partir dun certain rang.
Il y a absurdit et donc parti dun certain rang kn+1 = 2kn .
Considrons la suite (x0n ) dfinie par
 0



kn
kn0
x0n = exp
ln
a
+
1

ln
b
avec kn0 = kn + 1
2n
2n
On obtient une suite dlments de A, convergeant vers x et qui, en vertu du
raisonnement prcdent, est forme dirrationnels partir dun certain rang.

Exercice 15 : [nonc]
N : E R+ est bien dfinie et on vrifie immdiatement
N (f ) = || N (f ) et N (f + g) 6 N (f ) + N (g)
Il reste tudier la vracit de limplication
N (f ) = 0 f = 0
Supposons : 1 (R? ) dense dans [0, 1].
Si N (f ) = 0 alors f = 0 et donc pour tout x 1 (R? ), on a f (x) = 0 car
(x) 6= 0.

Cette fonction f est continue sur [0, 1], ce nest pas la fonction nulle mais en
revanche la fonction f est la fonction nulle. Ainsi on a form un lment f non
nul de E tel que N (f ) = 0. On en dduit que N nest pas une norme.