ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 15 — Dimension finie et rang · Exercices de synthèse

Exercice 48

Vrai ou fauxDémonstration

Vrai ou faux ? Justifier chaque réponse par une démonstration ou un contre-exemple. L'espace EE est de dimension finie n⩾2n \geqslant 2.

1. Toute famille de nn vecteurs de EE est une base de EE.

2. Si FF et GG sont deux sous-espaces de EE tels que dim⁡F+dim⁡G=n\dim F + \dim G = n, alors E=F⊕GE = F \oplus G.

3. Tout sous-espace de EE admet un supplémentaire.

4. Deux plans vectoriels de ℝ4\mathbb{R}^{4} se coupent toujours selon une droite au moins.

5. Si u∈ℒ(E)u \in \mathcal{L}(E) est injectif, alors uu est un automorphisme de EE.

6. Pour tous uu, v∈ℒ(E)v \in \mathcal{L}(E), rg(u+v)⩽rg(u)+rg(v)\mathrm{rg}(u + v) \leqslant \mathrm{rg}(u) + \mathrm{rg}(v).

7. Si u∈ℒ(E,F)u \in \mathcal{L}(E, F) est surjective, alors dim⁡F⩽dim⁡E\dim F \leqslant \dim E.

8. L'intersection de deux hyperplans distincts de EE est de dimension n−2n - 2.

9. Si u∘v=0u \circ v = 0, alors rg(u)+rg(v)⩽n\mathrm{rg}(u) + \mathrm{rg}(v) \leqslant n, pour tous uu, v∈ℒ(E)v \in \mathcal{L}(E).

10. Il existe un endomorphisme uu de ℝ3\mathbb{R}^{3} tel que Ker u=Im⁡u\mathrm{Ker}\, u = \operatorname{Im} u.

Corrigé

1. Faux. Les vecteurs doivent de plus être libres : la famille (x,x,…,x)(x, x, \dots, x) n'est pas une base.

2. Faux. Dans ℝ2\mathbb{R}^{2}, avec F=GF = G une droite, dim⁡F+dim⁡G=2\dim F + \dim G = 2 mais F∩G=F≠{0}F \cap G = F \neq \{0\}. Il faut en plus F∩G={0}F \cap G = \{0\} (proposition 4).

3. Vrai. C'est le théorème 6, obtenu par le théorème de la base incomplète.

4. Faux. Les plans Vect(e1,e2)\mathrm{Vect}(e_{1}, e_{2}) et Vect(e3,e4)\mathrm{Vect}(e_{3}, e_{4}) sont supplémentaires dans ℝ4\mathbb{R}^{4}. Deux plans se coupent selon une droite au moins dans ℝ3\mathbb{R}^{3}, car 2+2>32 + 2 > 3 (exercice 21), mais pas dans ℝ4\mathbb{R}^{4}.

5. Vrai. En dimension finie, un endomorphisme injectif est bijectif (théorème 10).

6. Vrai. On a Im⁡(u+v)⊂Im⁡u+Im⁡v\operatorname{Im}(u + v) \subset \operatorname{Im} u + \operatorname{Im} v, et dim⁡(Im⁡u+Im⁡v)⩽rgu+rgv\dim(\operatorname{Im} u + \operatorname{Im} v) \leqslant \mathrm{rg} u + \mathrm{rg} v (proposition 5).

7. Vrai. On a dim⁡F=rgu=dim⁡E−dim⁡Ker u⩽dim⁡E\dim F = \mathrm{rg} u = \dim E - \dim\mathrm{Ker}\, u \leqslant \dim E par le théorème du rang.

8. Vrai. C'est l'exercice 44, question 1.

9. Vrai. L'égalité u∘v=0u \circ v = 0 signifie Im⁡v⊂Ker u\operatorname{Im} v \subset \mathrm{Ker}\, u, d'où rgv⩽n−rgu\mathrm{rg} v \leqslant n - \mathrm{rg} u.

10. Faux. On aurait 3=dim⁡Ker u+rgu=2rgu3 = \dim\mathrm{Ker}\, u + \mathrm{rg} u = 2\mathrm{rg} u, qui est pair (exercice 38).

Piège. Les assertions 2 et 4 confondent les conditions sur les dimensions, qui sont nécessaires, avec la condition sur l'intersection, qui reste indispensable.

Ouvrir dans l'atlas interactif →