ATLAS Ouvrir dans l'atlas →

Théorème 5Algèbre linéaire

Théorème du rang

Énoncé

Soit EE de dimension finie et u∈ℒ(E,F)u \in {\mathcal L}(E, F). Alors Im⁡u\operatorname{Im} u est de dimension finie, appelée le rang de uu, et dim⁡E=dim⁡Ker⁡u+rg⁡u.\dim E = \dim \operatorname{Ker} u + \operatorname{rg} u. En particulier, si dim⁡E=dim⁡F\dim E = \dim F est finie, uu est injective si et seulement si elle est surjective. Pour deux sous-espaces FF et GG d'un espace de dimension finie, dim⁡(F+G)=dim⁡F+dim⁡G−dim⁡(F∩G)\dim(F + G) = \dim F + \dim G - \dim(F \cap G).

Démonstration

Soit (e1,…,ek)(e_1, \dots, e_k) une base de Ker⁡u\operatorname{Ker} u, complétée en une base (e1,…,en)(e_1, \dots, e_n) de EE (Dimension). Les vecteurs u(ek+1),…,u(en)u(e_{k+1}), \dots, u(e_n) engendrent Im⁡u\operatorname{Im} u, puisque u(ei)=0u(e_i) = 0 pour i⩽ki \leqslant k.

Ils sont libres : si ∑j>kλju(ej)=0\sum_{j > k} \lambda_j u(e_j) = 0, alors ∑j>kλjej∈Ker⁡u\sum_{j > k} \lambda_j e_j \in \operatorname{Ker} u s'écrit ∑i⩽kμiei\sum_{i \leqslant k} \mu_i e_i, et la liberté de la base donne λj=0\lambda_j = 0. Donc rg⁡u=n−k\operatorname{rg} u = n - k.

E F Ker u e1 e2 ek ⋮ ek+1 ek+2 en ⋮ 0 Im u u(ek+1) u(ek+2) u(en) ⋮ u k n − k
Les kk vecteurs de la base du noyau sont envoyés sur 00, et les images des n−kn - k vecteurs qui la complètent forment une base de Im⁡u\operatorname{Im} u. Les deux accolades donnent dim⁡E=k+(n−k)=dim⁡Ker⁡u+rg⁡u\dim E = k + (n - k) = \dim \operatorname{Ker} u + \operatorname{rg} u.

Si dim⁡E=dim⁡F\dim E = \dim F, l'injectivité équivaut à Ker⁡u={0}\operatorname{Ker} u = \{0\}, donc à rg⁡u=dim⁡F\operatorname{rg} u = \dim F, donc à Im⁡u=F\operatorname{Im} u = F (Dimension).

Pour la formule de Grassmann, on applique le théorème à s:F×G→Es : F \times G \to E, (f,g)↦f+g(f, g) \mapsto f + g. Son image est F+GF + G, son noyau {(x,−x):x∈F∩G}\{(x, -x) : x \in F \cap G\} est isomorphe à F∩GF \cap G, et dim⁡(F×G)=dim⁡F+dim⁡G\dim(F \times G) = \dim F + \dim G, une base étant formée des (fi,0)(f_i, 0) et des (0,gj)(0, g_j).

□
Remarque

En dimension infinie, l'équivalence entre injectivité et surjectivité tombe. Sur K(ℕ)K^{({\mathbb N})}, le décalage (x0,x1,… )↦(0,x0,x1,… )(x_0, x_1, \dots) \mapsto (0, x_0, x_1, \dots) est injectif sans être surjectif.

Ouvrir dans l'atlas interactif →