ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 14 — Espaces vectoriels et applications linéaires · Somme de sous-espaces

Exercice 27

Démonstration

Dans ℝ4\mathbb{R}^{4}, on pose E={(x,y,z,t)∣x−y+z−t=0},F=Vect((1,1,1,1)),G={(x,y,z,t)∣x+z=y+t=0}.E = \{(x, y, z, t) \mid x - y + z - t = 0\}, \qquad F = \mathrm{Vect}\big((1, 1, 1, 1)\big), \qquad G = \{(x, y, z, t) \mid x + z = y + t = 0\}. Montrer que E=F⊕GE = F \oplus G.

Corrigé

Les sous-espaces FF et GG sont contenus dans EE : 1−1+1−1=01 - 1 + 1 - 1 = 0, et si x+z=y+t=0x + z = y + t = 0, alors x−y+z−t=0x - y + z - t = 0. Raisonnons par analyse-synthèse. Si v=(x,y,z,t)∈Ev = (x, y, z, t) \in E s'écrit a(1,1,1,1)+wa(1, 1, 1, 1) + w avec w∈Gw \in G, les conditions (x−a)+(z−a)=0(x - a) + (z - a) = 0 et (y−a)+(t−a)=0(y - a) + (t - a) = 0 imposent a=x+z2=y+t2,a = \frac{x + z}{2} = \frac{y + t}{2}, ces deux valeurs étant égales puisque v∈Ev \in E. Réciproquement, avec cette valeur de aa, le vecteur w=v−a(1,1,1,1)w = v - a(1, 1, 1, 1) appartient à GG. E=F⊕G,v=x+z2(1,1,1,1)+(v−x+z2(1,1,1,1))\boxed{E = F \oplus G, \quad v = \frac{x + z}{2}(1, 1, 1, 1) + \Big(v - \frac{x + z}{2}(1, 1, 1, 1)\Big)}

Dans l'édifice

Thèmes

somme de sous-espaces, sommes directes

Notions

somme directe, supplémentaire

Ouvrir dans l'atlas interactif →