Travaux dirigs 8

1 Rappels de cours
On identiera souhait les matrices (lignes) de taille 1 n celles (colonnes) de taille n 1 ou encore aux
vecteurs de R
n
.
Par commodit dcriture, les coecients non nots dans les matrices sont nuls.
Par abus de langage, le sous-espace vectoriel f0g sera souvent appel sous-espace nul et un espace lgalant
sera souvent dit nul.
Image.
Limage dune application (non ncessairement linaire) f : E ! F est lensemble des images par f des
lments de E. On la note
Imf = ff (x)g
x2E
.
Limage dune matrice A ayant n colonnes est lensemble des vecteurs de la forme AX o X dcrit les vecteurs
colonnes de R
n
. (Pour se souvenir de la taille, observer que le produit AX multiplie des tailles (x; n) (?; 1),
donc par Chasles le ? doit valoir n). Cest aussi limage de lapplication
_
R
n
! R
x
X 7! AX
. Elle est note ImA.
Noyau.
Le noyau dune application linaire est le sous-espace vectoriel forms des vecteurs (de dpart) qui sont
envoys sur 0. Il est not Ker (de langlo-saxon "kern" ou "kernel", et non pas du breton "village").
Le noyau dune matrice A de taille p q est le sous-espace vectoriel forms des vecteurs colonnes X tels que
AX = 0. Cest galement le noyau de lapplication linaire
_
R
q
! R
p
X 7! AX
. Il est not Ker A.
Rang.
Le rang dune famille (non ncessairement nie) de vecteurs est la dimension du sous-espace vectoriel quils
engendrent. Cest aussi le plus grand cardinal dune sous-famille libre. On le note rg (abbrviation de "rang").
Le rang dune application linaire f est le rang de son image. On le note aussi rg f = rg Imf.
Le rang dune matrice A est le rang de la famille de ses colonnes. Cest aussi le rang de la famille de ses
lignes, ou encore le rang de lapplication X 7! AX. On le note (sans surprise) rg A.
Formule du rang.
Pour f : E ! F linaire, on a rg f + dimKer f = dimE.
Pour tout matrice A de taille p q, on a rg A+ dimKer A = q.
Inverse.
Une matrice A est dite inversible si il y a une matrice B telle que AB = BA = 1 o 1 dsigne la matrice
(dite identit) forme dune diagonale de 1 (et que des 0 ailleurs).
On vriera que A1 = A = 1A pour toute matrice A, ce qui justie la notation 1 (neutre multiplicatif ).
Remarque : une matrice inversible est ncessairement carre.
Critre : une matrice carre de taille n n est inversible ssi son rang vaut n.
Calcul du rang.
Il est toujours possible (voire fortement conseill de ne pas oublier) de revenir la dnition (regarder le
Vect des colonnes/lignes dune matrice).
Le rang dune matrice de la forme
_
1 ?
0 A
_
o le 0 dsigne une colonne de zros vaut 1 + rg A.
Le rang est inchang par nimporte quelle opration lmentaire dun des trois types suivants (le terme
"range" dsigne au choix "ligne" ou "colonne") :
1. tranposition : changer deux ranges, not R
i
$ R
j
("on change les ranges dindice i et j") ;
2. dilatation : multiplier une range par un rel non nul, not R
i
R
i
(" la place de la range dindice
i, on met la range dindice i multiplie par ") ou R
i
: (la range dindice i est multiplies par ") ;
1
3. transvection
1
: ajouter une range un multiple rel dune autre range de mme type (ligne/colonne),
not R
i
R
i
+ R
j
(" la place de la range dindice i, on met la range dindice i plus celle dindice j
multiplie par ") ou R
i
: +R
j
(" la range dindice i est ajoute fois celle dindice j").
Exemple. On cherche le rang de la matrice
_
1 2 5
1 3 5
_
. Retrancher deux fois la premire colonne
la seconde donne la matrice
_
1 5
1 1 5
_
, qui est de mme rang. On notera cette opration C
2
C
2
2C
1
("dans C
2
, on met C
2
moins deux fois C
1
") ou C
2
: 2C
1
(" la colonne C
2
on retranche deux fois C
2
). On
peut ensuite faire C
3
: 5C
1
, ce qui donne
_
1
1 1
_
. On aurait mme pu faire ces deux oprations en
mme temps car le rsultat est le mme (attention, ceci nest pas vrai pour toutes les oprations lmentaires !).
Ensuite, on voit que les colonnes restantes contiennent une base de R
2
( savoir
_
1
1
_
et
_
0
1
_
; la colonne nulle
nintervient pas), donc engendrent tout R
2
qui est de dimension 2, do le rang cherch : 2.
Schmatiquement, on rsumerait sous la forme
rg
_
1 2 5
1 3 5
_
C3:5C1
=
C2:2C1
rg
_
1
1 1
_
= dimVect
__
1
1
_
;
_
0
1
_
;
_
0
0
__
= dimR
2
= 2.
Calcul dun inverse (par pivot de Gauss).
On crit la matrice inverser gauche et la matrice identit droite. On fait alors des oprations lmentaires
sur les deux matrices en mme temps et sur le mme type de range an de se ramener gauche la matrice
identit. La matrice obtenue droite est alors linverse voulu. (Cela revient exactement rsoudre un
systme, mais sans crire les indtermine ni les quations, seulement les coecients.)
Exemple. Inverser
_
2 1
7 3
_
. On raisonne sur les colonnes, on tue le 2 laide de C
1
: 2C
2
, ce qui donne
_
1
1 3
_
, puis on tue le 3 en bas droite laide de C
2
: 3C
1
, ce qui donne
_
1
1
_
, puis on change les
colonnes pour retomber sur lidentit. Schmatiquement, on pourrait prsenter sous la forme
_
2 1
7 3
_ _
1
1
_
C
1
: 2C
2
_
1
1 3
_ _
1
2 1
_
C
2
: 3C
1
_
1
1
_ _
1 3
2 7
_
C
1
$ C
2
_
1
1
_ _
3 1
7 2
_
.
Sanity check (ou preuve par neuf matricielle) : vrier que linverse trouv en est bien un en calculant le
produit
_
2 1
7 3
__
3 1
7 2
_
(on doit trouver la matrice identit).
2 Exercices
Donner les rangs, images, noyaux et inverses (si cela fait sens) des matrices suivantes :
_
0 0
0 0
_ _
1
1
_ _
1 1
1
_ _
1 2
2 4
_ _
1 1
1
_ _
1
1
_
_
_
1
2
3
_
_
_
_
1 1
1
1
_
_
_
_
1 1

1
_
_
_
_
1 1 1
3
2 2
_
_
_
1
_ _
1 2
_
_
4 3
1 3
_
_
_
1 2
2 4
3 6
_
_
.
Solution propose.
1
que lon peut voir comme de la transplantation de vecteurs
2
Un vecteur de limage de
_
0 0
0 0
_
est de la forme
_
0 0
0 0
__
a
b
_
pour certains rels a et b, donc est nul
(calculer le produit). Ainsi, limage est nulle, donc le rang vaut dimf0g = 0. La matrice na donc pas dinverse.
Quant au noyau, le calcul qui prcde montre que tout vecteur est dans le noyau, donc le noyau vaut tout
lespace R
2
.
La matrice
_
1
1
_
est lidentit, cest un neutre multiplicatif, do
_
1
1
_
2
=
_
1
1
_
, ce qui
montre quelle est inversible dinverse elle-mme
2
, do son rang (2). La formule du rang nous dit alors que
dimKer = 2 rg = 0, donc le noyau est nul. Son image est lensemble des vecteurs
_
1
1
__
a
b
_
=
_
a
b
_
lorsque a et b parcourent R : on trouve tout lespace R
2
.
Un vecteur (a; b) dans le noyau de
_
1 1
1
_
vrie 0 =
_
1 1
1
__
a
b
_
=
_
a +b
b
_
, do b = 0 et
a = 0, ce qui montre que le noyau est nul. La formule du rang dit alors que rg
_
1 1
1
_
= 2 0 = 2, donc
la matrice est inversible. Un pivot de Gauss donne immdiatement (C
2
: C
1
) linverse
_
1 1
1
_
(ce qui ne
dispense pas dun sanity check). Enn, puisque limage est incluse dans R
2
et a mme dimension, elle gale R
2
.
La seconde colonne de
_
1 2
2 4
_
sobtient en multipliant la premire par 2, donc les deux colonnes
sont lies ; tant non nulles, leur Vect est une droite, do rg
_
1 2
2 4
_
= 1 (donc pas dinverse). La formule
du rang nous dit que le noyau est de dimension 2 rg = 1 et on voit que (2; 1) est dedans, donc il vaut la
droite dirige par ce vecteur. Autre solution : expliciter le noyau en rsolvant
_
1 2
2 4
__
a
b
_
= 0, ce
qui donne a = 2b, i. e.
_
a
b
_
2 R
_
2
1
_
, do le rang par la formule du rang. Dans les deux cas, une fois que lon
sait que limage est un droite, on peut remarquer quelle contient toujours les colonnes (images des vecteurs de
la base canonique), en particulier la premire, donc est dirige par (1; 2).
On a dj vu que
_
1 1
1
_
est linverse de
_
1 1
1
_
, donc est de rang 2, de noyau nul et dimage tout
R
2
.
changer les ranges montre que
_
1
1
_
est de rang 2 et dinverse elle-mme, do son noyau nul et son
image tout R
2
.
Un vecteur (a; b; c) dans Ker
_
_
1
2
3
_
_
vrie (a; 2b; 3c) = (0; 0; 0), donc est nul, do la nullit du noyau.
Toujours par la formule du rang, le rang vaut 3 (donc la matrice est inversible) et limage est lespace total R
3
.
Un pivot de Gauss montre rapidement (dilater chaque range pour normaliser les coecients diagonaux) que
linverse vaut
_
_
1
1=2
1=3
_
_
(sanity check !).
Un pivot de Gauss rapide (L
1
: L
3
) montre que
_
_
1 1
1
1
_
_
est inversible dinverse
_
_
1 1
1
1
_
_
,
donc est de rang 3, dimage totale R
3
et de noyau nul.
Le rang de
_
_
1 1

1
_
_
vaut 1+rg
_

1
_
L1$L2
= 1+rg
1

= 1+1+rg () = 2, donc la matrice nest
pas inversible et le noyau est de dimension 3 rg = 1 (donc est une droite). On remarque alors que (1; 0; 1)
est dans le noyau (on peut le trouver en rsolvant le systme AX = 0), donc ce dernier est la droite R(1; 0; 1).
Limage est un plan contenant toutes les colonnes, en particulier les deux premires (qui sont libres), donc vaut
R(1; 0; 0) +R(0; 0; 1) = f(a; 0; b)g
a;b2R
.
La matrice
_
_
1 1 1
3
2 2
_
_
a deux colonnes gales et deux colonnes libres, donc ses colonnes engendrent
2
cela conforte notre intuition des rels o 1 est inversible dinverse lui-mme
3
un espace de dimension 2, do son rang (2, ce qui montre que la matrice na pas dinverse), ce que lon peut
retrouver par pivot de Gauss :
rg
_
_
1 1 1
3
2 2
_
_
L3:2L1
= rg
_
_
1 1 1
3
2
_
_
= 1+rg
_
3
2
_
L2:
2
3
L1
= 1+rg
_
3

_
= 1+1+rg () = 2.
Ainsi, son image est le plan engendr par deux de ses colonnes libres, savoir R(1; 0; 2) +R(1; 3; 0). De plus,
son noyau est une droite par la formule du rang et lon vrie que (1; 0; 1) est dedans ( intuiter en rsolvant
le systme).
Aucune des quatres matrices suivantes ntant carre, aucune nest inversible.
On trouve rg
_
1
_
= 1, donc limage est une droite, porte par nimporte laquelle de ses colonnes non
nulles, savoir R (la matrice induit une application linaire de R
2
vers R). La formule du rang nous dit que le
noyau est de dimension 2 1 = 1, donc est aussi une droite, porte par exemple par (0; 1).
Les colonnes de
_
1 2
_
tant lies et non nulles, elles engendrent une droite, donc le rang vaut 1 et limage
vaut tout R. Comme prcedemment, le noyau est une droite, dirige par exemple par (2; 1).
Les colonnes de
_
4 3
1 3
_
contiennent une base de R
2
(les deux premires colonnes), donc engendrent
R
2
et la matrice est de rang 2 (a fortiori dimage tout R
2
puisque cette dernire est incluse dans R
2
). Le noyau
est de dimension 4 rg = 2 et contient les vecteurs libres (0; 0; 1; 0) et (3; 12; 0; 4) ( intuiter en rsolvant le
systme AX = 0) donc est le plan engendr par ces derniers.
La matrice
_
_
1 2
2 4
3 6
_
_
a toutes ses lignes colinaires (L
3
= 3L
1
et L
2
= 2L
1
) non nulles, donc est de
rang 1, dimage porte par nimporte quelle colonne non nulle, mettons R(1; 2; 3). Son noyau est de dimension
2 rg = 1 et contient le vecteur (2; 1), donc est la droite R(2; 1).
4