Exercices du chapitre I : Notion de matrice

No 1 Vérifier qu’il y a exactement 16 matrices (2,2) dont les coefficients sont 0 ou 1. Ce

sont les matrices
               
0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0
0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0
               
0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1
0 1 1 1 0 1 1 0 1 0 0 1 1 1 1 1

Solution

Chacun des quatre coefficients de la matrice pouvant prendre les valeurs 0 ou 1, il y a donc
24 = 16 matrices possibles.

No 2 (a) Combien y a-t-il de matrices (3,3) dont les coefficients sont 0 ou 1?

(b) Et de matrices (2,2) dont les coefficients sont −1, 0 ou 1?
(c) Plus généralement, n étant fixé, on pourra compter le nombre de matrices (p,q) dont les
coefficients sont 0, 1, 2, . . ., ou n − 1.
(d) Combien y a-t-il de matrices (3,3) dont les coefficients sont 0 ou 1, et qui ont en plus une
ligne entière de 0 ou une colonne entière de 0?

Solution

(a) Le même raisonnement que dans le No 1 pour les 9 coefficients de la matrice, montre qu’il a
29 = 512 matrices différentes.

(b) Cette fois il y a 34 = 81 matrices différentes.

(c) Chacun des p · q coefficients de la matrice peut prendre n valeurs. Il y a donc np·q matrices
possibles.

(d) Le problème est cette fois beaucoup plus compliqué. Voici un calcul possible, puis l’énumération
de toutes les matrices répondant à la question.

Notons
M l’ensemble des matrices carrées d’ordre 3 formées uniquement de zéros et de un,
A le sous-ensemble de M formé des matrices ayant au moins une ligne ou une colonne de zéros,
B le sous-ensemble de M formé
 des matrices
 ayant au moins une ligne ou une colonne de un.
1 1 1
Nous noterons également J = 1 1 1, la matrice formée uniquement de un.
1 1 1

1
L’ensemble M est en bijection avec {0,1}9 donc card M = 29 = 512. D’autre part l’application
qui a une matrice A de A associe la matrice J − A est une bijection de A sur B et donc
card A = card B. Alors
1 1
card A = (card A + card B) = (card(A ∪ B) + card(A ∩ B)) .
2 2
Nous allons calculer card(A ∩ B) et card(A ∪ B).

A∩B

Remarquons qu’une matrice ne peut pas contenir à la fois une ligne de un et une colonne de
zéros (ou l’inverse). Cherchons les matrices contenant au moins une ligne de un et une ligne
de zéros, en étudiant les différents cas possibles. Par symétrie du problème il y en aura autant
pour les colonnes.

Cas 1 : une ligne de un et deux de zéros : 3 possibilités

Cas 2 : une ligne de zéros et deux de un : 3 possibilités
Cas 3 : une ligne de zéros et une ligne de un. Dans ce cas :

On choisit la ligne de un : 3 possibilités

puis la ligne de zéros parmi les lignes restantes : 2 possibilités
dans la dernière ligne figurent )
- soit un chiffre un et deux zéros : 3 possibilités
: 6 possibilités
- soit un chiffre zéro et deux un : 3 possibilités

Finalement on a dans le cas 3 3 × 2 × 6 = 36 possibilités

et
card(A ∩ B) = 2 × (cas 1 + cas 2 + cas 3) = 2 × (3 + 3 + 36) = 84 .

A∪B

On calcule en fait le cardinal du complémentaire Ac ∩ B c . C’est le sous-ensemble formé de ma-

trices ne contenant aucune ligne ni aucune colonne formée du même chiffre. Dans chaque ligne
il y a au plus deux chiffres un, donc 6 au total. On va compter les cas où le nombre de chiffres
un est supérieur au nombre de chiffres zéros, et par symétrie du problème il y en aura autant
dans le cas contraire. On a donc deux cas possibles

Cas 1 : 6 chiffres un. Il y a donc 3 chiffres zéros, et nécessairement un chiffre zéro et un seul
dans chaque ligne et dans chaque colonne. Le nombre de telles matrices est le nombre de per-
mutations de 3 objets soit 3!=6 possibilités

Cas 2 : 5 chiffres un. Il y a donc 4 chiffres zéros. Une colonne contient 2 chiffres zéros et les
deux autres un seul.

on choisit la colonne contenant les deux chiffres zéros : 3 possibilités

on place dans cette colonne les chiffres zéros : 3 possibilités

2
 dans la colonne restante située à gauche, on place un chiffre zéro. Il y a deux cas possibles :
le zéro se trouve à côté d’un des zéros déjà placés. Dans ce cas un chiffre un se
trouve à côté du chiffre un déjà placé, et on a nécessairement sur la même ligne un
chiffre zéro dans la troisième colonne : 2 possibilités
le zéro se trouve à côté du chiffre un et les deux un à côtés des deux zéros. Alors
dans la troisième colonne le zéro peut se mettre à une place quelconque :
3 possibilités
Cela fait donc 2+3=5 possibilités

Finalement il y a dans le cas 2, 3 × 3 × 5 = 45 possibilités

Alors
card(Ac ∩ B c ) = 2 × (cas 1 + cas 2) = 2 × (6 + 45) = 102 .
On obtient donc

card(A ∪ B) = card M − card(Ac ∩ B c ) = 512 − 102 = 410 .

Et enfin
1 1
card A = (card(A ∪ B) + card(A ∩ B)) = (410 + 84) = 247 .
2 2

Voici la liste des 247 matrices déterminées avec maple

             
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  0 0 0 
0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0
             
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1  0 0 1 
1 1 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1
             
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0  0 1 0 
1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0
             
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1  0 1 1 
1 0 1 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 1

3
             
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 1 1 0 1 1 0 1 1 0 1 1 1 0 0 1 0 0  1 0 0 
1 0 0 1 0 1 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0
             
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1  1 0 1 
0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0 0 0 1
             
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1  1 1 0 
0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0
             
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0  1 1 0 
0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1
             
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 1 1 
0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0
             
0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1
1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  0 0 0 
1 1 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1
             
0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1
0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1  0 0 1 
1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0
             
0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1
0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1  0 1 1 
1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1
             
0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1
0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0  1 0 1 
0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0
             
0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0
1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0  0 0 0 
0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1
             
0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  0 0 1 
0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0
             
0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0
0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0  0 1 0 
0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1

4
             
0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0
0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1  1 0 0 
1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0
             
0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0
1 0 0 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0  1 1 0 
0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0
             
0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0  0 0 0 
1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0
             
0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1  0 0 1 
1 0 1 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 1
             
0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1  0 1 1 
0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0
             
0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 0 1 0 0
0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0  0 0 0 
0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
             
1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  0 0 1 
0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0
             
1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0
0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0  0 1 0 
0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 1 0
             
1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0
0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0  1 0 0 
0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 1 0
             
1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0
1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0  1 1 0 
0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0
             
1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0  0 0 0 
1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0
             
1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1  0 0 1 
1 0 1 1 1 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 1

5
             
1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0  1 0 1 
0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0
             
1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0
1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0  0 0 0 
0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1
             
1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  0 0 1 
0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0
             
1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0
0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0  1 0 0 
0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0
             
1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0
1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 1 1 0  1 1 0 
1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0
             
1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0  0 0 0 
0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1
             
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0  1 0 1 
1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
   
1 1 1 1 1 1
1 1 0 1 1 1 
0 0 0 0 0 0

Cette liste a été établie avec la procédure MAPLE suivante :

L:=0,1:
test:=proc() B:=[ ];
for a in L do for b in L do for c in L do for d in L do for e in L do for f in L do for g in L do for
h in L do for i in L do if (a=0 and b=0 and c=0) or (d=0 and e=0 and f=0) or (g=0 and h=0
and i=0) or (a=0 and d=0 and g=0) or (b=0 and e=0 and h=0) or (c=0 and f=0 and i=0) then
B:=[op(B),matrix([[a,b,c],[d,e,f],[g,h,i]])]; fi; od od od od od od od od od; print(op(B)); nops(B);
end:

la dernière commande nops(B) donne le nombre de matrices : 247

 
No 3 Ecrire la matrice (3,3) : A= 1
i+j−1 .

6
Solution

C’est la matrice
1 1
 
1

 2 3
 
1 1 1
  .
2 3 4
 
 
1 1 1
3 4 5

No 4 (a) En notant E (k,`) , l’unique matrice (p,q) dont tous les coefficients sont nuls, sauf
le coefficient d’indice (k,`) qui vaut 1, et

δij = 0 si i 6= j
,
δii = 1

montrer que E (k,`) = (δik · δj` ) .

(b) Montrer qu’il y a exactement pq matrices E (k,`) de format (p,q).

Solution

(a) Le nombre δik · δj` est non nul si et seulement si les deux facteurs δik et δj` sont non nuls,
c’est-à-dire si et seulement si i = k et j = `. Dans ce cas ce coefficient vaut 1. Le nombre δik · δj`
est bien le coefficient (i,j) de la matrice E (k,`) .

(b) Une matrice de format (p,q) comporte pq coefficients, et le nombre 1 peut se trouver en une
de ces pq places. Il y a donc pq matrices E (k,`) de format (p,q).

No 5 Ecrire sous forme canonique, puis sous forme matricielle, les systèmes suivants.

 x + 1 = −y − z

 0=x+y+z+t
 
y − 1 = 2z − x z+t=z−2

2=x−y .
z = 2 − 2x + 3y x − y = −1
3=t−z
 

−y + 3 = z − 2x


Solution

En prenant pour ordre des inconnues x,y,z,t On a successivement

 
   x   
y − 1 = 2z − x x + y − 2z = 1 1 1 −2   1
⇐⇒ ⇐⇒ y =
z = 2 − 2x + 3y 2x − 3y + z = 2 2 −3 1 2
z

7
  
    x  
 0=x+y+z+t  −x − y − z − t = 0 −1 −1 −1 −1   0
y  
2=x−y ⇐⇒ −x + y = −2 ⇐⇒ −1 1 0 0 
z  = −2
3=t−z z − t = −3 0 0 1 −1 −3
 
t

      

 x + 1 = −y − z 
 x + y + z = −1 1 1 1 0 x −1
z+t=z−2 t = −2 0 0 0 1 y  −2
 
⇐⇒ ⇐⇒    =  

 x − y = −1 
 x − y = −1 1 −1 0 0  z  −1
−y + 3 = z − 2x 2x − y − z = −3 2 −1 −1 0 t −3
 

No 6 (a) Si le système X est la base canonique de Rn , quel est son rang?

(b) Si l’on change l’ordre des vecteurs dans le système, le rang change-t-il?
(c) Si l’on change l’ordre des coordonnées dans Rn , de la même façon, pour tous les vecteurs
d’un système, le rang change-t-il?        
0 1 3 5
(d) Quel est le rang du système X0 = , X1 = , X2 = , X3 = de R2 ?
0 2 4 6
(e) Montrer que le rang r d’un système de m vecteurs de Rn vérifie toujours

0 ≤ r ≤ inf(n,m) ,

et que de plus r = 0 si et seulement si tous les vecteurs du système sont nuls.

Solution

(a) La matrice associée à la base canonique est la matrice I(n) . Elle a donc n pivots sur la dia-
gonale principale, et le rang de la matrice, et donc du système, vaut n.

(b) Si l’on change l’ordre des vecteurs dans le système, les pivots changent de place également
mais leur nombre reste le même. Le rang ne change pas.

(c) Si l’on change l’ordre des coordonnées, cela revient à changer l’ordre des lignes de la matrice
du système. Là encore les pivots changent de place mais leur nombre reste le même. Le rang ne
change pas.
 
0 1 3 5
(d) Le système est de rang 2. Un pivot sur la matrice donne
0 2 4 6
   
0 1 3 5 0 1 0 −1
=⇒ .
0 0 -2 −4 0 0 −2 −4
Il y a donc bien deux pivots.

(e) Si le système est formé de m vecteurs de Rn , sa matrice est de format (n,m). Il peut y avoir
au maximum un pivot par ligne donc le nombre de pivots r est inférieur à n. De même il peut
y avoir au maximum un pivot par colonne donc le nombre de pivots r est inférieur à m. Il en
résulte que
r ≤ inf(n,m) .

8
Ce nombre est positif. Dire qu’il est nul signifie que l’on ne peut pas trouver au moins un terme
non nul dans la matrice, c’est-à-dire que la matrice est la matrice nulle, et donc que tous les
vecteurs du système sont nuls.