Application linéaire/Rang

**Rang**
Leçon : Application linéaire

Chapitre n^o 4
Chap. préc. :	Projecteurs, symétries
Chap. suiv. :	Sommaire
Exercices :	Rang

En raison de limitations techniques, la typographie souhaitable du titre, « Application linéaire : Rang
Application linéaire/Rang », n'a pu être restituée correctement ci-dessus.

E, F et G sont des K-espaces vectoriels de dimension quelconque (finie ou infinie), sauf dans le dernier théorème.

Isomorphisme fondamental[modifier | modifier le wikicode]

Théorème

Soit $u\in \operatorname {L} (E,F)$ . Un sous-espace vectoriel $G$ de $E$ est supplémentaire de $\operatorname {Ker} u$ si et seulement si la restriction de $u$ , de $G$ dans $\operatorname {Im} u$ , est un isomorphisme.

Démonstration

Notons $u_{G}:G\to \operatorname {Im} u$ la restriction de $u$ .

$\operatorname {Ker} u_{G}=G\cap \operatorname {Ker} u$ , donc $u_{G}$ est injective si et seulement si $G\cap \operatorname {Ker} u=\{0\}$ .
$u_{G}$ est surjective si et seulement si $u(E)\subset u(G)$ , c'est-à-dire : $\forall x\in E\quad \exists y\in G\quad u(x)=u(y)$ , ou encore $x-y\in \operatorname {Ker} u$ , ce qui équivaut à $E=G+\operatorname {Ker} u$ .

Rang d'une application linéaire[modifier | modifier le wikicode]

Définition[modifier | modifier le wikicode]

Définition

Wikipédia possède un article à propos de « Rang ».

Soit $u\in \operatorname {L} (E,F)$ . Le rang de u, noté rg(u), est la dimension de Im(u).

Théorème

Soit $u\in \operatorname {L} (E,F)$ .

$\forall v\in \operatorname {L} (F,G){\text{ bijective }},\mathrm {rg} (v\circ u)=\mathrm {rg} (u)$
$\forall v\in \operatorname {L} (G,E){\text{ bijective }},\mathrm {rg} (u\circ v)=\mathrm {rg} (u)$

La composition par un isomorphisme laisse le rang invariant.

Théorème du rang[modifier | modifier le wikicode]

Le théorème du rang est un théorème-clé de la manipulation des applications linéaires. Il est indispensable de le connaître parfaitement.

Théorème du rang

Wikipédia possède un article à propos de « Théorème du rang ».

Soit

u\in \operatorname {L} (E,F)

.

$\dim E=\dim(\operatorname {Ker} u)+\dim(\operatorname {Im} u)$

Démonstration

D'après l'« isomorphisme fondamental » (voir supra), la dimension de tout supplémentaire G de $\operatorname {Ker} u$ dans E est égale à $\dim(\operatorname {Im} u)$ . À l'aide du théorème sur la dimension d'une somme directe, on en déduit que $\dim(\operatorname {Ker} u)+\dim(\operatorname {Im} u)=\dim(\operatorname {Ker} u)+\dim G=\dim E$ .