ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 6 — Espaces vectoriels · Sous-espaces vectoriels

Exercice 5

Calcul

Dans chacun des cas suivants, l'ensemble FF est-il un sous-espace vectoriel de EE ?

1. E=ℝ2E=\mathbb{R}^{2} et F={(x ;y)∈E  ∣  ax+by+c=0}F=\big\{(x\,;y) \in E \;\big|\; ax+by+c=0\big\}, où aa, bb et cc sont trois réels fixés.

2. E=ℝ3E=\mathbb{R}^{3} et F={(x ;y ;z)∈E  ∣  x+y+3z=0}F=\big\{(x\,;y\,;z) \in E \;\big|\; x+y+3z=0\big\}.

3. E=ℝ3E=\mathbb{R}^{3} et F={(x ;y ;z)∈E  ∣  x+y+3z=2}F=\big\{(x\,;y\,;z) \in E \;\big|\; x+y+3z=2\big\}.

4. E=ℝ2E=\mathbb{R}^{2} et F={(x ;y)∈E  ∣  xy=0}F=\big\{(x\,;y) \in E \;\big|\; xy=0\big\}.

5. E=𝒮(ℝ)E=\mathcal{S}(\mathbb{R}) et FF est l'ensemble des suites convergentes.

6. E=𝒮(ℝ)E=\mathcal{S}(\mathbb{R}) et FF est l'ensemble des suites convergeant vers α\alpha, où α\alpha est un réel fixé.

7. E=𝒮(ℝ)E=\mathcal{S}(\mathbb{R}) et FF est l'ensemble des suites tendant vers +∞+\infty.

8. E=𝒮(ℂ)E=\mathcal{S}(\mathbb{C}) et F={(xn)∈E  ∣  ∀n∈ℕ,  xn+2=5xn+1−2xn}F=\big\{(x_{n}) \in E \;\big|\; \forall n \in \mathbb{N}, \; x_{n+2}=5x_{n+1}-2x_{n}\big\}.

9. E=ℱ([0 ;1] ;ℝ)E=\mathcal{F}\big([0\,;1]\,;\mathbb{R}\big) et F={f∈E  ∣  f(0)=πf(1)}F=\big\{f \in E \;\big|\; f(0)=\pi f(1)\big\}.

Corrigé

1. Le couple (0 ;0)(0\,;0) appartient à FF si et seulement si c=0c=0. Réciproquement, lorsque c=0c=0, soient λ∈ℝ\lambda \in \mathbb{R} et (x ;y)(x\,;y), (x′ ;y′)(x'\,;y') dans FF : a(λx+x′)+b(λy+y′)=λ(ax+by)+(ax′+by′)=0a(\lambda x+x')+b(\lambda y+y')=\lambda(ax+by)+(ax'+by')=0

F est un sous-espace vectoriel si et seulement si c=0.\boxed{F \text{ est un sous-espace vectoriel si et seulement si } c=0.}

2. L'équation est linéaire et homogène, et le même calcul s'applique. F est un sous-espace vectoriel de ℝ3.\boxed{F \text{ est un sous-espace vectoriel de } \mathbb{R}^{3}.}

3. On a 0+0+3×0=0≠20+0+3 \times 0=0 \neq 2. Ce n’est pas un sous-espace vectoriel : 0E∉F.\boxed{\text{Ce n'est pas un sous-espace vectoriel : } 0_{E} \notin F.}

4. Les vecteurs (1 ;0)(1\,;0) et (0 ;1)(0\,;1) appartiennent à FF, mais leur somme (1 ;1)(1\,;1) vérifie xy=1≠0xy=1 \neq 0. Ce n’est pas un sous-espace vectoriel : F n’est pas stable par addition.\boxed{\text{Ce n'est pas un sous-espace vectoriel : } F \text{ n'est pas stable par addition.}}

5. La suite nulle converge. Et si (xn)(x_{n}) et (yn)(y_{n}) convergent, il en va de même de λ(xn)+(yn)\lambda(x_{n})+(y_{n}), par linéarité de la limite. F est un sous-espace vectoriel de 𝒮(ℝ).\boxed{F \text{ est un sous-espace vectoriel de } \mathcal{S}(\mathbb{R}).}

6. La suite nulle converge vers 00, et non vers α\alpha si α≠0\alpha \neq 0. Réciproquement, si α=0\alpha=0, l'ensemble des suites de limite nulle est stable par combinaison linéaire. F est un sous-espace vectoriel si et seulement si α=0.\boxed{F \text{ est un sous-espace vectoriel si et seulement si } \alpha=0.}

7. La suite nulle ne tend pas vers +∞+\infty. De plus, si (xn)(x_{n}) tend vers +∞+\infty, alors (−1)⋅(xn)(-1) \cdot (x_{n}) tend vers −∞-\infty. Ce n’est pas un sous-espace vectoriel.\boxed{\text{Ce n'est pas un sous-espace vectoriel.}}

8. La suite nulle vérifie la relation. Et si (xn)(x_{n}) et (yn)(y_{n}) la vérifient, alors pour tout nn : (λx+y)n+2=λxn+2+yn+2=λ(5xn+1−2xn)+(5yn+1−2yn)=5(λx+y)n+1−2(λx+y)n(\lambda x+y)_{n+2}=\lambda x_{n+2}+y_{n+2}=\lambda\big(5x_{n+1}-2x_{n}\big)+\big(5y_{n+1}-2y_{n}\big)=5(\lambda x+y)_{n+1}-2(\lambda x+y)_{n}

F est un sous-espace vectoriel de 𝒮(ℂ).\boxed{F \text{ est un sous-espace vectoriel de } \mathcal{S}(\mathbb{C}).}

9. La fonction nulle convient, et pour ff, gg dans FF : (λf+g)(0)=λf(0)+g(0)=λπf(1)+πg(1)=π (λf+g)(1)(\lambda f+g)(0)=\lambda f(0)+g(0)=\lambda \pi f(1)+\pi g(1)=\pi\,(\lambda f+g)(1)

F est un sous-espace vectoriel de ℱ([0 ;1] ;ℝ).\boxed{F \text{ est un sous-espace vectoriel de } \mathcal{F}\big([0\,;1]\,;\mathbb{R}\big).}

Piège : les questions 1, 3, 6 et 7 échouent toutes pour la même raison — une condition non homogène, qui exclut le vecteur nul. C'est le premier test à effectuer.

Dans l'édifice

Thèmes

espaces vectoriels, sous-espaces vectoriels, espaces de suites

Notions

espace vectoriel, sous-espace vectoriel

Ouvrir dans l'atlas interactif →