Dimension d`un espace vectoriel. Exemples et applications.

Dimension d’un espace vectoriel. Exemples et applications.
Par Nicolas Lanchier 1
1. Th´eorie de la dimension.
Dans toute la suite, Kd´esigne un corps commutatif et Eun K-espace vectoriel.
D´efinition 1.1 Une famille (xi)iIde vecteurs de Eest dite libre si
X
iI
λixi= 0 =λi= 0 iI.
D´efinition 1.2 Une partie AEest dite g´en´eratrice si vect(A) = E. [3], Sect. 3.1
D´efinition 1.3 On appelle base du K-espace vectoriel Etoute famille (xi)iIE`a la fois libre
et g´en´eratrice. [3], Sect. 3.1
D´efinition 1.4 On dira que Eest de dimension finie, ce que l’on supposera syst´ematiquement
par la suite, s’il existe une famille g´en´eratrice finie de E. [3], Sect. 3.1
Th´eor`eme 1.5 (base incompl`ete) Soient Gun syst`eme fini de en´erateurs de Eet L ⊂ G un
syst`eme libre. Alors il existe une base Bde Etelle que L ⊂ B⊂ G. [3], Sect. 3.1
Th´eor`eme 1.6 Toutes les bases de Eont mˆeme cardinal n. L’entier nainsi d´efini est appel´e
dimension de E, ce que l’on notera dim E=n. [3], Sect. 3.1
Proposition 1.7 Soient E1et E2deux sous-espaces vectoriels de E. Alors les conditions suivantes
sont ´equivalentes :
1. E=E1E2.
2. dim E= dim E1+ dim E2et E1E2={0}.
3. dim E= dim E1+ dim E2et E=E1+E2. [3], Sect. 3.1
Th´eor`eme 1.8 (th´eor`eme du rang) Soient Fun K-espace vectoriel et f:EFune appli-
cation lin´eaire. Alors fest de rang fini et dim E= dim Ker f+ rg f. [3], Sect. 3.2
Th´eor`eme 1.9 Si Fest un sous-espace vectoriel de Ealors dim E= dim F+ dim F. De mˆeme,
si Gest un sous-espace vectoriel de l’espace dual Ealors dim E= dim G+ dim G. [3], Sect. 3.4
2. Application aux invariants de similitudes.
D´efinition 2.1 Soient Eun K-espace vectoriel de dimension finie et fL(E) une application
lin´eaire. Pour tout xE, on appelle polynˆome minimal de xrelatif `a fl’unique polynˆome unitaire
de plus bas degr´e PxK[X] tel que Px(f)(x) = 0. [3], Sect. 4.2
Proposition 2.2 Ex={P(f)(x) : PK[X]}est un espace vectoriel de dimension deg(Px). [3],
Sect. 4.2
D´efinition 2.3 Une application lin´eaire fL(E) est dite cyclique s’il existe xEtel que
E=Ex. [3], Sect. B.1
1Tout usage commercial, en partie ou en totalit´e, de ce document est soumis `a l’autorisation explicite de l’auteur.
Th´eor`eme 2.4 Etant donn´e fL(E), il existe une suite F1, F2,···, Frde sous-espaces vectoriels
de Estables par fet tels que
1. E=F1F2⊕ ··· ⊕ Fr.
2. Pour tout 1 ir, la restriction fide f`a Fiest un endomorphisme cyclique de Fi.
3. Si Piesigne le polyome minimal de fialors pour tout 1 ir,Pi+1 divise Pi.
De plus, la suite P1, P2,··· , Prne d´epend que de fet non du choix de la d´ecomposition. On
l’appelle suite des invariants de similitude de f. [3], Sect. B.1
Application 2.5 (r´eduction de Frobenius) Notons P1, P2,···, Prla suite des invariants de
similitude de fL(E) et pour tout 1 ir,C(Pi) la matrice compagnon de Pi. Alors il existe
une base de Edans laquelle la matrice de fest donn´ee par
A=
C(P1) 0
...
0C(Pr)
[3], Sect. B.1
3. Extensions de corps et points constructibles.
D´efinition 3.1 Le degr´e d’une extension de corps KLest ´egal `a la dimension de Lvu comme
espace vectoriel sur le corps K. Le dege de KLest not´e [L:K].
Th´eor`eme 3.2 (multiplicativit´e des degr´es) Soient KMune extension de corps et Lun
corps interm´ediaire entre Ket M. Alors
[M:K] = [M:L]·[L:K].
Preuve. ´
Etant donn´ees (a1, a2,...,an) une base du K-espace vectoriel Let (b1, b2,...,bm) une
base du L-espace vectoriel M, il est facile de voir que
(a1b1, a1b2, . . . , a1bm, a2b1, . . . , anb1, . . . , anbm)
est une base du K-espace vectoriel M. En notant que son cardinal est ´egal `a n×m, la conclusion
est imm´ediate.
Th´eor`eme 3.3 Soient KLune extension de corps et aun ´el´ement de L. Alors aest alg´ebrique
sur Ksi et seulement si dimKK(a)<. [4], Sect. 3.1
Th´eor`eme 3.4 (Wantzel) Tout r´eel constructible est alg´ebrique sur Qde degr´e une puissance
de 2. [1], Sect. 2.22
Preuve. ´
Etant donn´e xun eel constructible, il existe une suite croissante A0⊂ ··· ⊂ Ande
parties de R2telles que
1. A0={O, I}.
2. Ai=Ai1∪ {Pi}avec Piconstructible en une ´etape `a partir de Ai1.
3. (x, 0) An.
Notons alors Kile corps engendr´e par les coordonn´ees des points de Aide sorte que K0=Q
et xKn. Les ´equations de droites ou de cercles ´etant de degr´e 2, il n’est pas difficile de
montrer que [Ki:Ki1]2. La formule de multiplicativit´e des degr´es implique que
[Kn:Q] = [Kn:Kn1]·[Kn1:Kn2]···[K1:Q] = 2m
= [Kn:Q(x)] ·[Q(x) : Q].
Il en r´esulte que xest alg´ebrique et que [Q(x) : Q] est une puissance de 2.
Corollaire 3.5 Il est impossible de dupliquer un cube `a la r`egle et au compas.
Preuve. En tant que racine du polynˆome irr´eductible X32, le r´eel 3
2 est alg´ebrique sur Qde
degr´e 3. Il esulte du th´eor`eme de Wantzel que 3
2 n’est pas constructible `a la r`egle et au compas
d’o`u bien sˆur l’impossibilit´e de dupliquer un cube.
Corollaire 3.6 Il est impossible de trisecter un angle `a la r`egle et au compas.
Preuve. Montrons par exemple que l’angle π/3 ne peut pas ˆetre trisect´e, i.e. que le eel a=
cos(π/9) n’est pas constructible. L’´equation cos 3θ= 4 cos3θ3 cos θmontre que aest racine
du polynˆome ireductible 4X33X1. En particulier, aest alg´ebrique de degr´e 3 donc non
constructible en vertu du th´eor`eme de Wantzel.
Lemme 3.7 Etant donn´e Gun p-groupe d’ordre pnil existe une suite G0⊂ ··· ⊂ Gnde sous-
groupes distingu´es de Gtels que |Gi|=pipour tout 0 in. [2], Ex. 1.4
Th´eor`eme 3.8 Soient Lun sous-corps de Ret (x, y) un ´el´ement de L2. Si l’extension QLest
normale de degr´e une puissance de 2 alors le point de coordonn´ees (x, y) est constructible `a la
r`egle et au compas. [2], Ex 4.14
Preuve. Soit G= Gal(L|Q) le groupe de Galois de l’extension QL. Cette extension ´etant
normale, il esulte du th´eor`eme de correspondance de Galois que |G|= [L:Q] = 2n. En particulier,
d’apr`es le lemme 3.7, il existe une suite G0⊂ ··· ⊂ Gnde sous-groupes distingu´es de Gtels que
|Gi|= 2ipour tout 0 in. Notons Ki= inv(Gni) le corps des invariants de Gnisoit
Ki={xL:σ(x) = xpour tout σGni}.
Il est clair que K0=Qet Kn=L. Par ailleurs, comme (Gni:Gni1) = 2, Gni1est ´egalement
distingu´e dans Gni. Une nouvelle application du th´eor`eme de correspondance nous permet alors
d’affirmer que
[Ki+1 :Ki] = |Gal(Ki+1 |Ki)|= (Gni:Gni1) = 2.
Pour conclure, montrons par ecurrence que les ´el´ements de Ki, 0 in, sont constructibles `a la
r`egle et au compas. Tout d’abord, la constructibilit´e des ´el´ements de K0=Qest une cons´equence
directe du th´eor`eme de Thal`es (voir Figure 1). Supposons maintenant que les ´el´ements de Kisont
constructibles pour un certain in1. Comme l’extension Ki+1 Kiest de degr´e 2, il suffit de
montrer que l’ensemble des r´eels constructibles est stable par racine carr´ee, ce qui est assur´e par
le th´eor`eme de Pythagore (voir Figure 1). Puisque L=Kn, le esultat s’ensuit.
(x/y, 0) (x, 0)O
(0,1)
(0, y)
O(x+ 1,0)(1,0)
(0,x)
Fig. 1. Les teor`emes de Thal`es (image de gauche) et Pythagore (image de droite) impliquent que l’ensemble des
eels constructibles est un corps stable par racine carr´ee.
ef´erences
[1] Jean-Claude Carrega. Th´eorie des corps. La r`egle et le compas. Hermann, 1989.
[2] Herv´e Francinou, Serge Gianella. Exercices de math´ematiques pour l’agr´egation, alg`ebre 1.
Masson, 1995.
[3] Xavier Gourdon. Les maths en tˆete. Alg`ebre. Ellipses, 1994.
[4] Daniel Perrin. Cours d’alg`ebre. Ellipses, 1996.
1 / 4 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !