Académique Documents
Professionnel Documents
Culture Documents
Enoncs
Dimension et codimension
Exercice 1 [ 00172 ] [correction]
Soient E un K-espace vectoriel de dimension n > 1, f un endomorphisme
nilpotent non nul de E et p le plus petit entier tel que f p = 0.
Montrer quil existe x E tel que la famille (x, f (x), f 2 (x), . . . , f p1 (x)) soit libre
et en dduire que f n = 0.
~a 6= ~b F~a 6= F~b
Exercice 9 [ 00187 ] [correction]
Soient F et G deux sous-espaces vectoriels dun K-espace vectoriel E vrifiant
F G = {0}.
On suppose
codimF = dim G < +
Montrer que F et G sont supplmentaires.
Enoncs
Corrections
Corrections
Exercice 1 : [nonc]
Soit x
/ ker f p1 . Il en existe car f p1 6= 0.
Supposons 0 x + 1 f (x) + + p1 f p1 (x) = 0.
En composant par f p1 la relation ci-dessus, on obtient 0 f p1 (x) = 0. Il sen
suit 0 = 0.
En composant par f p2 , . . . , f 0 la relation initiale, on obtient successivement
1 = 0,..., p1 = 0.
La famille (x, f (x), . . . , f p1 (x)) est donc libre or elle est compose de p vecteurs
en dimension n on a donc p 6 n puis f n = f np f p = 0.
Exercice 2 : [nonc]
a) C L(E), 0 C, , K, g, h C on a
f (g + h) = (f g) + (f h) = (g f ) + (h f ) = (g + h) f donc
g + h C.
b) Soit g = a0 Id + a1 f + + an1 f n1 .
On a g f = a0 f + a1 f 2 + + an1 f n = f g donc g C.
Ainsi a0 Id + a1 f + + an1 f n1 | a0 , . . . , an1 K C.
Inversement, soit g C.
Puisque (x0 , f (x0 ), . . . , f n1 (x0 )) est une base de E, il existe a0 , a1 , . . . , an1 K
tels que : g(x0 ) = a0 x0 + a1 f (x0 ) + + an1 f n1 (x0 ). Introduisons
h = a0 Id + a1 f + + an1 f n1 .
g, h C et g(x0 ) = h(x0 ) donc g(f (x0 )) = f (g(x0 )) = f (h(x0 )) = h(f (x0 ))
et de manire plus gnrale : g(f k (x0 )) = f k (g(x0 )) = f k (h(x0 )) = h(f k (x0 )).
Ainsi g et h prennent mmes valeurs sur la base (x0 , f (x0 ), . . . , f n1 (x0 )) donc
g = h.
Ainsi C an1 f n1 + + a1 f + a0 Id | a0 , . . . , an1 K puis lgalit.
c) On a C = Vect(Id, f, f 2 , . . . , f n1 ).
De plus si a0 Id + a1 f + + an1 f n1 = 0 alors en valuant en x0 :
a0 x0 + a1 f (x0 ) + + an1 f n1 (x0 ) = ~o or la famille (x0 , f (x0 ), . . . , f n1 (x0 ))
est libre donc a0 = a1 = = an1 = 0.
La famille (Id, f, f 2 , . . . , f n1 ) est une famille libre et gnratrice de C, cest donc
une base de C.
Par suite dim C = n.
Exercice 3 : [nonc]
2
Si dim E = n alors dim L(E) = n2 donc la famille (I, f, f 2 , . . . , f n ) est lie car
forme de n2 + 1 lment. Une relation linaire sur les lments de cette famille
donne immdiatement un polynme annulateur non nul.
Exercice 4 : [nonc]
a) Si u et v sannulent sur G, il en est de mme pour u + v.
b) Soit H un supplmentaire de G dans E. Lapplication : u 7 uH dfinie un
isomorphisme entre A et L(H, F ). En effet la connaissance dune application
linaire sur deux espaces supplmentaires la caractrise entirement, ici uG = 0 et
donc uH dtermine u. Par suite dim A = (dim E dim G) dim F .
Exercice 5 : [nonc]
Posons F = {g L(E)/f g = 0}. Soit g L(E). On a clairement
g F Img ker f . Par consquent F = L(E, ker f ) do la dimension.
Exercice 6 : [nonc]
a) Si H = H 0 alors nimporte quel supplmentaire de H est convenable et il en
existe.
Sinon, on a H 6 H 0 et H 0 6 H donc il existe x H et x0 H 0 tels que x
/ H 0 et
0
x
/ H.
On a alors x + x0
/ H H 0 et par suite Vect(x + x0 ) est supplmentaire commun
0
H et H .
b) Raisonnons par rcurrence dcroissante sur
n = dim F = dim G {0, 1, . . . , dim E}.
Si n = dim E et n = dim E 1 : ok
Supposons la proprit tablie au rang n + 1 {1, . . . , dim E}.
Soient F et G deux sous-espaces vectoriels de dimension n.
Si F = G alors nimporte quel supplmentaire de F est convenable.
Sinon, on a F 6 G et G 6 F donc il existe x F et x0 G tels que x
/ G et
x0
/ F.
On a alors x + x0
/ F G.
Posons F 0 = F Vect(x + x0 ) et G0 = G Vect(x + x0 ).
Comme dim F 0 = dim G0 = n + 1, par HR, F 0 et G0 possde un supplmentaire
commun H et par suite H Vect(x + x0 ) est supplmentaire commun F et G.
Rcurrence tablie.
Exercice 7 : [nonc]
a) Par rcurrence sur p = dim E dim F1 .
Si p = dim E dim F1 alors G = {0}.
Supposons la proprit tablie au rang p.
Soient F1 et F2 de mme dimension tels que dim E dim F1 = p + 1.
Si F1 = F2 lexistence dun supplmentaire tout sous-espace vectoriel en
dimension finie permet de conclure.
Corrections
p
P
i~ei = ~x
i=1
p
P
p
P
i (~ei + ~a).
i=1
i=1
~x = ~o.
p
P
~x E, on peut crire ~x = ~u + ~v avec ~u =
i .~ei F et ~v G.
i=1
p
p
P
P
On a alors ~x =
i (~ei + ~a) + ~v
i~a F~a + G.
i=1
i=1
connatre la dfinition des espaces vectoriels et de souligner que qui peut le plus,
peut le moins. . .
Soit (~e1 , . . . , ~en ) une base de K-espace vectoriel E et (1 , . . . , p ) une base du
L-espace vectoriel K.
Considrons la famille des (j ~ei )16i6n,16j6p . Il est facile de justifier que celle-ci
est une famille libre et gnratrice du L-espace vectoriel E. Par suite E est de
dimension finie q = np.
Exercice 11 : [nonc]
Si F est de codimension finie alors F admet un supplmentaire H de dimension
finie.
Soit K un supplmentaire de G H dans H (existe car H est de dimension finie).
G K = G H K = {0} car K H et F G G + K et H G + K donc
E = F + H G + K. G et K sont supplmentaires, or K est de dimension finie
donc G est de codimension finie et codimG = dim K 6 dim H = codimF car K
est sous-espace vectoriel de H.
Exercice 12 : [nonc]
Soit K un supplmentaire de F dans E. Puisque
Ainsi F~a G = E.
b) Par contrapose :
E = F K et F G
p
P
i=1
i~ei ~e1 =
p
P
p
P
i (~ei + ~b).
i=1
i~b ~a F G donc 1 = 1 et 2 6 i 6 p, i = 0.
i=1
(G K) K 0 = K
On vrifie alors
Exercice 9 : [nonc]
Soit H un supplmentaire de F dans E. On a dim H = dim G.
Considrons p la projection sur H paralllement F .
ker pG = ker p G = F G = {0} donc pG : G H est injective et puisque
dim H = dim G < +, pG est un isomorphisme de G vers H.
Pour tout x E, posons a = (pG )1 (p(x)) et b = x a. On a x = a + b, a G et
p(b) = p(x) p(a) = p(x) p(x) = 0 donc b ker p = F . Ainsi E = G + F .
E = G K0
Or
dim K 0 = codimG = codimF = dim K
donc K = K 0 . Ainsi
E =GK
On peut alors montrer que G est inclus dans F .
Soit x G. Puisque F et K sont supplmentaires dans E, on peut crire
Exercice 10 : [nonc]
Il est facile de justifier que E est un L-espace vectoriel sous rserve de bien
x = xF + xK avec xF F et xK K
Corrections
On a alors
xK = x xF G K
car x et xF appartiennent G.
On en dduit xK = 0 puis x = xF F .
Finalement G F puis G = F .
Exercice 13 : [nonc]
Supposons que F soit de codimension finie dans E. F possde un supplmentaire
de dimension finie H. Considrons alors K supplmentaire de H G dans H. G et
K sont supplmentaires dans E et K est de dimension finie donc G est de
codimension finie dans E. De plus, F et H G tant supplmentaires dans G, on
peut dire que F est de codimension finie dans G.
Enfin la relation dim H = dim K + dim H G se relit
codimE F = codimG F + codimE G.
Inversement, si F est de codimension finie dans G et G de codimension finie dans
E alors la somme dun supplmentaire de F dans G et dun supplmentaire de G
dans E dfinit un supplmentaire de dimension finie de F dans E. On peut alors
conclure.
Exercice 14 : [nonc]
G possde un supplmentaire de dimension finie H. Considrons alors K
supplmentaire de H F dans H. F et K sont supplmentaires dans E et K est
de dimension finie donc F est de codimension finie dans E. De plus, G et H F
tant supplmentaires dans F , on peut dire que G est de codimension finie dans F .
Enfin la relation dim H = dim K + dim H G se relit
codimE G = codimE F + codimF G.
Exercice 15 : [nonc]
a) Supposons que H est un supplmentaire commun F1 et F2 .
Considrons la projection p sur F1 paralllement H. Par le thorme du rang, p
induit par restriction un isomorphisme de tout supplmentaire de noyau vers
limage de p. On en dduit que F1 et F2 sont isomorphes.
b) En dimension finie, la rciproque est vraie car lisomorphisme entrane lgalit
des dimensions des espaces et on peut alors montrer lexistence dun
supplmentaire commun (voir lexercice didentifiant 181)
Cest en dimension infinie que nous allons construire un contre-exemple.
Posons E = K [X] et prenons F1 = E, F2 = X.E. Les espaces F1 et F2 sont
isomorphes via lapplication P (X) 7 XP (X). Ils ne possdent pas de
supplmentaires communs car seul {0} est supplmentaire de F1 et cet espace
nest pas supplmentaire de F2 .