Adloun

Problème : le rang des lignes égale le rang des colonnes

Exercice de TD · niveau 3 (difficile) · mathématiques (PTSI), chapitre 12 — Matrices · B. Noyau, image, rang

Énoncé

Soit une matrice non nulle, de rang .

1) Montrer que si et seulement s'il existe une colonne et une ligne , non nulles, telles que .

2) Soit une base de . Montrer qu'il existe des lignes , toutes non nulles, telles que : est somme de matrices de rang .

3) Soient . Montrer que , puis que , et en déduire que n'est pas somme de moins de matrices de rang .

4) En transposant l'écriture du 2), montrer que est contenue dans , puis que . Conclure que .

5) Conséquences. a) Montrer que le nombre maximal de lignes linéairement indépendantes de est . b) En déduire qu'un système homogène de équations à inconnues équivaut au système formé de de ses équations, linéairement indépendantes, et que ses solutions forment un sous-espace de dimension .

6) Soit . Écrire la matrice comme somme de deux matrices de rang , et en déduire son rang. Énoncer le théorème obtenu.

Corrigé

1) Les matrices de rang . Si avec et : la -ième colonne de est . Toutes les colonnes sont proportionnelles à , et celle d'un est non nulle : , et . Si : l'image est une droite , ; chaque colonne s'écrit , et en rassemblant, , avec puisque .

2) La décomposition. Chaque colonne de appartient à : . Formons, pour chaque , la ligne . La -ième colonne de est , donc la -ième colonne de est : Chaque est non nulle : si , le vecteur n'interviendrait dans aucune colonne, l'image serait contenue dans l'espace engendré par les autres , de dimension au plus , contre . D'après le 1), chaque est de rang .

Le point délicat. C'est la même matrice lue autrement : au lieu de la décrire colonne par colonne, on la décrit tranche par tranche, une tranche par vecteur de base de l'image. Et la non-nullité des compte : sans elle, on aurait peut-être écrit avec moins de matrices de rang — ce que la question suivante interdit.

3) Sous-additivité et minimalité. , donc , et la dimension d'une somme de sous-espaces est au plus la somme des dimensions (formule de Grassmann) : Par récurrence sur le nombre de termes, si avec chaque de rang , alors . Il faut au moins matrices de rang , et le 2) montre que suffisent : le rang est le nombre minimal de matrices de rang dont est la somme.

4) La transposition. La transposée d'une somme est la somme des transposées, et : donc , où est une colonne et une ligne. Si est la -ième coordonnée de , la -ième colonne de est . Toutes les colonnes de sont des combinaisons de : , de dimension au plus , et L'égalité. L'inégalité vaut pour toute matrice non nulle ; appliquée à , dont la transposée est , elle donne . Donc — et pour la matrice nulle, les deux rangs sont nuls.

5) Conséquences. a) Les lignes de , transposées, sont les colonnes de , et une relation entre lignes est une relation entre ces colonnes : le nombre maximal de lignes indépendantes est . Le rang des lignes est égal au rang des colonnes. b) Choisissons lignes indépendantes de . Toute autre ligne en est combinaison — sinon on aurait lignes indépendantes, contre le a). Si vérifie les équations retenues, il vérifie donc toutes les autres : . Le système équivaut aux équations retenues, qui sont indépendantes, et ses solutions forment , de dimension par le théorème du rang. C'est ce qu'utilisait l'exercice sur les lois de Kirchhoff : équations de nœuds, de rang , dont suffisent.

6) Un exemple, et le théorème. Avec et , la matrice a pour coefficient le nombre , et le nombre : somme de deux matrices de rang : son rang vaut au plus . Il vaut au moins , ses deux premières colonnes et n'étant pas proportionnelles (). Le rang vaut donc pour tout , et le noyau est de dimension . Le théorème se voit sur l'exemple : chaque ligne s'écrit , et le rang des lignes vaut , comme celui des colonnes.

Le théorème obtenu — invariance du rang par transposition. Pour toute matrice , : le nombre maximal de colonnes linéairement indépendantes est égal au nombre maximal de lignes linéairement indépendantes. Ce nombre est aussi le nombre minimal de matrices de rang dont est la somme.

Ce que le problème installe. Le résultat admis par le cours est démontré, et avec lui les trois visages du rang : dimension de l'image, lue sur les colonnes ; nombre d'équations indépendantes, lu sur les lignes ; nombre minimal de briques — la lecture du calcul numérique, qui compresse une grande matrice en une somme de peu de matrices de rang . Le geste de la démonstration : transposer une écriture, plutôt que chercher pour les lignes un argument nouveau.

Les autres exercices de ce chapitre Le cours du chapitre

Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.