[http://mp.cpgedupuydelome.

fr] dit le 4 octobre 2013 Enoncs 1

Densit
Exercice 1 [ 01130 ] [correction]
Montrer que GL
n
(R) est dense dans /
n
(R).
On pourra considrer, pour A /
n
(R), les matrices de la forme AI
n
.
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.
a) Etablir que U V est encore un ouvert dense de E.
b) En dduire que la runion de deux ferms dintrieurs vides est aussi dintrieur
vide.
Exercice 4 [ 03058 ] [correction]
Soient (u
n
)
nN
et (v
n
)
nN
deux suites relles telles que
u
n
+, v
n
+ et u
n+1
u
n
0
a) Soient > 0 et n
0
N tel que pour tout n n
0
, [u
n+1
u
n
[ .
Montrer que pour tout a u
n0
, il existe n n
0
tel que [u
n
a[ .
b) En dduire que u
n
v
p
/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 mln n/(m, n) Z N

est dense dans R.

Exercice 6 [ 01133 ] [correction]
Soit H un sous-groupe de (R, +) non rduit 0.
a) Justier 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 /
n
(C) est dense dans
/
n
(C).
Exercice 10 Mines-Ponts MP [ 02779 ] [correction]
Montrer quun hyperplan dun espace vectoriel norm (E, ||) est dense ou ferm
dans E.
Exercice 11 Mines-Ponts MP [ 02780 ] [correction]
On note E lensemble des fonctions relles dnies et continues sur [0, +[ et
dont le carr est intgrable. On admet que E est un espace vectoriel rel. On le
munit de la norme
||
2
: f

_
+
0
f
2
(t) dt
On note E
0
lensemble des f E telles que f est nulle hors dun certain segment.
On note F lensemble des fonctions de E du type x P(e
x
)e
x
2
/2
o P
parcourt R[X]. Montrer que E
0
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 vriant
a, b A,
a +b
2
A
Montrer que A est dense dans lintervalle ]inf A, supA[.
Diusion autorise titre entirement gratuit uniquement - dD
[http://mp.cpgedupuydelome.fr] dit le 4 octobre 2013 Enoncs 2
Exercice 14 X MP [ 03020 ] [correction]
Soit A une partie non vide de R
+
vriant
(a, b) A
2
,

ab A
Montrer que A (RQ) est dense dans ]inf A, supA[.
Exercice 15 [ 03059 ] [correction]
Soient E = ( ([0, 1] , R) et E. On note N

: E R lapplication dnie par

N

(f) = |f|

Montrer que N

est une norme sur E si, et seulement si,

1
(R

) est dense dans

[0, 1].
Exercice 16 [ 03402 ] [correction]
Soit (u
n
) une suite de rels strictement positifs. On suppose
(u
n
) strictement croissante, u
n
+ et
u
n+1
u
n
1
Montrer que lensemble
A =
_
u
m
u
n
/m > n
_
est une partie dense dans lintervalle [1, +[
Exercice 17 [ 03649 ] [correction]
Soient A et B deux parties denses dun espace norm E.
On suppose la partie A ouverte, montrer que A B est une partie dense.
Exercice 18 [ 00012 ] [correction]
Etablir que o
++
n
(R) est dense dans o
+
n
(R).
Diusion autorise titre entirement gratuit uniquement - dD
[http://mp.cpgedupuydelome.fr] dit le 4 octobre 2013 Corrections 3
Corrections
Exercice 1 : [nonc]
Lapplication det(AI
n
) est polynomiale non nulle en donc possde un
nombre ni de racine.
Par suite : A /
n
(R), > 0, B(A, ) GL
n
(R) ,= .
Exercice 2 : [nonc]
a) Soient u, v

F et , R. Il existe (u
n
), (v
n
) F
N
telles que u
n
u et A.
Comme u
n
+v
n
u +v et u
n
+v
n
F on a u +v

F.
b) Soit H un hyperplan de E.
Si

H = H alors H est ferm.
Sinon alors

H est un sous-espace vectoriel de E, contenant H et distinct de H.
Puisque H est un hyperplan a / H tel que H Vect(a) = E.
Soit x

HH. On peut crire x = h +a avec h H et ,= 0. Par opration
a

H et puisque H

H on obtient E

H. Finalement

H = E et donc H est
dense.
Exercice 3 : [nonc]
a) Pour tout a E et tout > 0, B(a, ) U ,= 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 ,= . Par suite
B(a, ) (U V ) ,=
b) Soient F et G deux ferms dintrieurs vides.
C
E
(F G)

= C
E
(F G) = C
E
F C
E
G
avec C
E
F et C
E
G ouverts denses donc
C
E
F C
E
G = E
puis
(F G)

=
Exercice 4 : [nonc]
a) Posons
A = n n
0
/a u
n

A est une partie de N, non vide car n

0
A et majore car u
n
+.
La partie A admet donc un plus grand lment n n
0
et pour celui-ci
u
n
a < u
n+1
.
Par suite [u
n
a[ = [u
n+1
u
n
[ car n n
0
.
b) Soient x R et > 0.
Puisque u
n+1
u
n
0, il existe n
0
N tel que pour tout n n
0
, [u
n+1
u
n
[ .
Puisque v
n
+, il existe p N tel que x +v
p
u
n0
.
Par ltude prcdente, il existe n N tel que [u
n
(x +v
p
)[ i.e.
[(u
n
v
p
) x[ .
Par suite lensemble u
n
v
p
/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 u
n
= ln(n + 1) et v
n
= 2n. Les hypothses prcdentes sont runies et
donc
B = u
n
v
p
/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 (x
n
) de terme gnral x
n
= cos(
n
)
converge vers x = cos .
Or cette suite (x
n
) est une suite dlments de cos(B) = A et donc A est dense
dans [1, 1].
Exercice 5 : [nonc]
Soient x R et > 0.
Il existe n
0
N

tel que 1/n

0
.
Pour a ln n
0
et n = E(e
a
) n
0
, on a ln n a ln(n + 1).
On en dduit
[a ln n[ ln(n + 1) ln n = ln(1 + 1/n) 1/n 1/n
0

Puisque mx
m+
+, pour m assez grand, on a a = mx ln n
0
et donc
il existe n N

vriant [a ln n[ i.e.
[mln n x[
Par suite mln n/(m, n) Z N

est dense dans R.

Diusion autorise titre entirement gratuit uniquement - dD
[http://mp.cpgedupuydelome.fr] dit le 4 octobre 2013 Corrections 4
Exercice 6 : [nonc]
a) Il existe h H tel que h ,= 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 , = . 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 vrie 0 < y x < a ce qui contredit la dnition 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 dnition 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 armer que pour tout > 0, il existe
x H tel que 0 < x < .
Soient a R et > 0. Montrons H B(a, ) ,= i.e. H ]a , a +[ ,=
Il existe x H tel que 0 < x < . Posons n = E(a/x). On a a = nx +r avec
0 r < .
nx < x > H et [a nx[ = r < donc nx H B(a, ) et donc
H B(a, ) ,= .
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 eet un rsultat
classique bien que en dehors du programme, les sous-groupes de (R, +) 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 2
p
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 signie quil existe p, q N

tels que p ln 2 = q ln 3 soit encore

2
p
= 3
q
ce qui est faux !
Exercice 8 : [nonc]
a) Soit u
1
(R). On a
+

n=N+1
[u
n
[ 0 donc pour tout > 0, il existe N tel que
+

n=N+1
[u
n
[ < .
Considrons alors v dnie par v
n
= u
n
si n N et v
n
= 0 sinon. On a v R
(N)
et |v u|
1
< donc B(u, ) R
(N)
,= .
b) Non, en notant u la suite constante gale 1, B

(u, 1/2) R
(N)
= .
Exercice 9 : [nonc]
Soit A /
n
(C). La matrice A est trigonalisable donc il existe P inversible telle
que P
1
AP = T avec T triangulaire suprieure. Posons alors
T
p
= T + diag(1/p, 2/p, . . . , n/p) et A
p
= PT
p
P
1
. Il est immdiat que T
p
T
quand p + et donc A
p
A. De plus, pour p assez grand, la matrice T
p
est
triangulaire suprieure coecients diagonaux deux deux distincts, cette
matrice admet donc n valeurs propres et est donc diagonalisable. Il en est de
mme pour A
p
qui lui est semblable. Ainsi toute matrice de M
n
(C) est limite
dune suite de matrices diagonalisables.
Exercice 10 : [nonc]
1re mthode (ncessitant quelques rsultats non triviaux mais intuitifs sur la
codimension)
Par dnition, un hyperplan H de E est un sous-espace vectoriel de codimension
1. Son adhrence

H est aussi un sous-espace vectoriel et, puisque contenant H, sa
codimension vaut 0 ou 1.
Si

H est de codimension 0 alors

H = E ce qui signie que H est dense dans E.
Si

H est de codimension 1, puisque

H contient lhyperplan H, on a

H = H et
donc

H est ferm.
2me mthode (plus lmentaire)
Par dnition un hyperplan H de E est un sous-espace vectoriel de codimension
1. Il existe donc un vecteur a E non nul vriant
H Vect(a) = E
Diusion autorise titre entirement gratuit uniquement - dD
[http://mp.cpgedupuydelome.fr] dit le 4 octobre 2013 Corrections 5
Supposons que H ne soit pas ferm. Il existe alors une suite (x
n
) dlments de H
convergeant vers un lment x nappartenant pas H. On peut crire
x = h +a avec h H et ,= 0
En considrant
y
n
=
1

(x
n
h)
on construit une suite (y
n
) dlments de H convergeant vers a.
Il est dsormais facile dtablir que H est dense dans E. En eet pour z E, on
peut crire
z = k +a
avec k H et R de sorte que la suite de terme gnral
z
n
= k +y
n
est une suite dlments de H convergeant vers z.
Exercice 11 : [nonc]
Soit f une fonction lment de E. Pour tout > 0, il existe un rel A vriant
_
+
A
f
2
(t) dt
Considrons alors la fonction : [0, +[ R dnie par (t) = 1 pour t [0, A],
(t) = 0 pour t A+ 1 et (t) = 1 (t A) pour t [A, A+ 1]. La fonction f
est lments de E
0
et
|f f|
2

_
+
A
f
2
(t) dt
Ainsi E
0
est dense dans E.
Pour montrer maintenant que F est dense dans E, nous allons tablir que F est
dense dans E
0
.
Soit f une fonction lment de E
0
. Remarquons
_
+
0
_
f(t) P(e
t
)e
t
2
/2
_
2
dt =
u=e
t
_
1
0
_
f(ln u)e
(ln u)
2
/2
P(u)
_
2
e
(ln u)
2
u
du
La fonction u
e
(ln u)
2
u
est intgrable sur ]0, 1] car

u
e
(ln u)
2
u

u0
0.
La fonction g : u f(ln u)e
(ln u)
2
/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] vriant |g P|
,[0,1]
et pour
: t P(e
t
)e
t
2
/2
on a alors
|f |
2
avec =

_
1
0
e
(ln u)
2
u
du
Cela permet de conclure la densit propose.
Exercice 12 : [nonc]
Par labsurde supposons A ,= E.
Il existe un lment a E tel que a / A. Par translation du problme, on peut
supposer a = 0.
Posons n = dimE.
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 (e
1
, . . . , e
n
) 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
e
1
+ +
n
e
n
A
et donc : R

,
1
, . . . ,
n
0,
1
+ +
n
= 1 (
1
e
1
+ +
n
e
n
) / A.
Ainsi
1
, . . . ,
n
0,
1
e
1
+ +
n
e
n
/ A.
Or la partie
1
e
1
+ +
n
e
n
/
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.
Puisque a, b A,
a+b
2
A, puis
3a+b
4
=
a+(a+b)/2
2
A et
a+3b
4
A etc.
Par rcurrence sur n N, montrons k 0, . . . , 2
n
,
ka+(2
n
k)b
2
n
A.
La proprit est immdiate pour n = 0.
Supposons la proprit vraie au rang n 0.
Soit k
_
0, . . . , 2
n+1
_
.
Cas k pair :
k = 2k

avec k

0, . . . , 2
n
et
ka+(2
n+1
k)b
2
n+1
=
k

a+(2
n
k

)b
2
n
A en vertu de
lhypothse de rcurrence.
Cas k impair :
k = 2k

+ 1 avec k

0, . . . , 2
n
1 et
ka + (2
n+1
k)b
2
n+1
=
1
2
_
k

a + (2
n
k

)b
2
n
+
(k

+ 1)a + (2
n
(k

+ 1))b
2
n
_
A
Diusion autorise titre entirement gratuit uniquement - dD
[http://mp.cpgedupuydelome.fr] dit le 4 octobre 2013 Corrections 6
car par hypothse de rcurrence
k

a + (2
n
k

)b
2
n
,
(k

+ 1)a + (2
n
(k

+ 1))b
2
n
A
La rcurrence est tablie.
Soit x ]inf A, supA[.
Il existe a, b A tel que x [a, b] ce qui permet dcrire x = a + (1 )b.
Soit k
n
= E(2
n
) et x
n
=
kna+(2
n
kn)b
2
n
.
On vrie aisment que x
n
x car 2
n
k et pour tout n N x
n
A
Ainsi A est dense dans ]inf A, supA[.
Exercice 14 : [nonc]
Considrons lensemble B = ln A = ln a/a A.
Pour tout x, y B,
x+y
2
=
ln a+ln b
2
= ln

ab B.
En raisonnant par rcurrence, on montre que pour tout x, y B, on a la proprit
n N, k 0, . . . , 2
n
,
kx + (2
n
k)y
2
n
B
Soit x ]inf A, supA[. 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 k
n
la partie entire de 2
n
et x
n
= exp
_
kn
2
n
ln a +
_
1
kn
2
n
_
ln b
_
Il est immdiat que x
n
x avec pour tout n N, x
n
A.
Si, dans cette suite, il existe une innit dirrationnels, alors x est limite dune
suite dlments de A (RQ).
Sinon, partir dun certain rang, les termes de la suite x
n
sont tous rationnels.
Le rapport x
n+1
/x
n
est alors aussi rationnel ; mais
x
n+1
x
n
=
_
a
b
_
k
n+1
2
n+1

kn
2
n
avec
k
n+1
2
n+1

k
n
2
n
= 0 ou
1
2
n+1
Sil existe une innit de n tels que
kn+1
2
n+1

kn
2
n
=
1
2
n+1
alors il existe une innit de
n N tels que
_
a
b
_ 1
2
n
Q
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 dirent de 1 sont
irrationnelles partir dun certain rang.
Il y a absurdit et donc parti dun certain rang k
n+1
= 2k
n
.
Considrons la suite (x

n
) dnie par
x

n
= exp
_
k

n
2
n
ln a +
_
1
k

n
2
n
_
ln b
_
avec k

n
= k
n
+ 1
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 dnie et on vrie immdiatement
N

(f) = [[ N

(f) et N

(f +g) 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) ,= 0.
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 dnie sur [0, 1] par
f(x) =
_
(x a)(b x) si x [a, b]
0 sinon
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.

Exercice 16 : [nonc]
Soit [a, b] [1, +[ avec a < b. Pour tablir la densit de A, montrons que
A [a, b] est non vide.
Considrons q > 1 tel que qa b.
Il existe N N tel que
n N, n N
u
n+1
u
n
q
Diusion autorise titre entirement gratuit uniquement - dD
[http://mp.cpgedupuydelome.fr] dit le 4 octobre 2013 Corrections 7
Considrons alors
E =
_
m N/m > N et
u
m
u
N
b
_
E est une partie de N, non vide (car N + 1 E) et majore (car u
n
+). La
partie E possde donc un plus grand lment M. Pour celui-ci, on a
u
M
u
N
b et
u
M+1
u
N
> b
Or
u
M+1
qu
M
donc
u
M
u
N
>
b
q
a
Ainsi u
M
/u
N
est un lment de A [a, b].
Exercice 17 : [nonc]
Soient x E et r > 0.
Puisque A est une partie dense, B(a, r) A ,= . On peut donc introduire
x B(a, r) A. Or par intersection douverts, B(a, r) A est aussi une partie
ouverte et donc il existe > 0 tel que B(x, ) B(a, r) A. Puisque la partie B
est dense, B(x, ) B ,= et nalement B(a, r) A B ,= .
On peut donc conclure que A B est une partie dense de E.
Exercice 18 : [nonc]
Pour A o
+
n
(R), on vrie que
A
p
= A+
1
p
I
n
A
avec A
p
o
++
n
(R).
Diusion autorise titre entirement gratuit uniquement - dD