ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 15 — Dimension finie et rang · Sous-espaces et dimension

Exercice 17

Démonstration

1. Dans ℝ4\mathbb{R}^{4}, on pose F={(a,b,c,d)∣b−2c+d=0}F = \{(a, b, c, d) \mid b - 2c + d = 0\} et G={(a,b,c,d)∣a=d et b=2c}G = \{(a, b, c, d) \mid a = d \text{ et } b = 2c\}. Donner une base de FF, de GG et de F∩GF \cap G, puis montrer que F+G=ℝ4F + G = \mathbb{R}^{4}.

2. Dans ℝ4\mathbb{R}^{4}, on pose F={(x,y,z,t)∣x+y+z+t=0}F = \{(x, y, z, t) \mid x + y + z + t = 0\} et G={(2a,−a,0,a)∣a∈ℝ}G = \{(2a, -a, 0, a) \mid a \in \mathbb{R}\}. Montrer que FF et GG sont supplémentaires, et décomposer (1,2,3,4)(1, 2, 3, 4) selon F⊕GF \oplus G.

Corrigé

1. L'équation de FF donne b=2c−db = 2c - d : F=Vect((1,0,0,0),(0,2,1,0),(0,−1,0,1))F = \mathrm{Vect}\big((1, 0, 0, 0), (0, 2, 1, 0), (0, -1, 0, 1)\big), de dimension 33. Pour GG, (d,2c,c,d)=c(0,2,1,0)+d(1,0,0,1)(d, 2c, c, d) = c(0, 2, 1, 0) + d(1, 0, 0, 1) : dim⁡G=2\dim G = 2. Un vecteur de GG appartient à FF si et seulement si 2c−2c+d=02c - 2c + d = 0, soit d=0d = 0. La formule de Grassmann donne dim⁡(F+G)=3+2−1=4\dim(F + G) = 3 + 2 - 1 = 4, donc F+G=ℝ4F + G = \mathbb{R}^{4}. F∩G=ℝ(0,2,1,0),F+G=ℝ4\boxed{F \cap G = \mathbb{R}(0, 2, 1, 0), \qquad F + G = \mathbb{R}^{4}}

2. Le sous-espace FF est un hyperplan, et (2,−1,0,1)∉F(2, -1, 0, 1) \notin F, puisque la somme de ses coordonnées vaut 22 : ℝ4=F⊕G\mathbb{R}^{4} = F \oplus G (théorème 7 du chapitre 14). Pour décomposer (1,2,3,4)=f+a(2,−1,0,1)(1, 2, 3, 4) = f + a(2, -1, 0, 1), la somme des coordonnées donne 10=0+2a10 = 0 + 2a, donc a=5a = 5. (1,2,3,4)=(−9,7,3,−1)+5(2,−1,0,1)\boxed{(1, 2, 3, 4) = (-9, 7, 3, -1) + 5(2, -1, 0, 1)}

Ouvrir dans l'atlas interactif →