ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 6 — Espaces vectoriels · Sommes directes et supplémentaires

Exercice 13

DémonstrationCalcul

On pose : F={f∈ℱ(ℝ ;ℝ)  ∣  f(0)=f(1)=0}etG={x↦ax+b  ∣  (a ;b)∈ℝ2}F=\big\{f \in \mathcal{F}(\mathbb{R}\,;\mathbb{R}) \;\big|\; f(0)=f(1)=0\big\} \qquad\text{et}\qquad G=\big\{x \mapsto ax+b \;\big|\; (a\,;b) \in \mathbb{R}^{2}\big\}

1. Démontrer que FF et GG sont des sous-espaces vectoriels de ℱ(ℝ ;ℝ)\mathcal{F}(\mathbb{R}\,;\mathbb{R}).

2. Démontrer que FF et GG sont en somme directe.

3. Soit h∈ℱ(ℝ ;ℝ)h \in \mathcal{F}(\mathbb{R}\,;\mathbb{R}). Déterminer les réels aa et bb pour lesquels la fonction f:x↦h(x)−(ax+b)f : x \mapsto h(x)-(ax+b) appartient à FF.

4. En déduire que FF et GG sont supplémentaires dans ℱ(ℝ ;ℝ)\mathcal{F}(\mathbb{R}\,;\mathbb{R}).

Corrigé

1. La fonction nulle appartient à FF, et si ff, g∈Fg \in F et λ∈ℝ\lambda \in \mathbb{R} : (λf+g)(0)=λf(0)+g(0)=0et(λf+g)(1)=λf(1)+g(1)=0(\lambda f+g)(0)=\lambda f(0)+g(0)=0 \qquad\text{et}\qquad (\lambda f+g)(1)=\lambda f(1)+g(1)=0 Quant à GG, il s'écrit G=Vect(x↦x ; x↦1)G=\mathrm{Vect}\big(x \mapsto x \,;\, x \mapsto 1\big), donc c'est un sous-espace vectoriel d'après l'exercice 7. F et G sont des sous-espaces vectoriels de ℱ(ℝ ;ℝ).\boxed{F \text{ et } G \text{ sont des sous-espaces vectoriels de } \mathcal{F}(\mathbb{R}\,;\mathbb{R}).}

2. Soit f∈F∩Gf \in F \cap G : il existe (a ;b)(a\,;b) tel que f(x)=ax+bf(x)=ax+b pour tout xx, avec f(0)=f(1)=0f(0)=f(1)=0. La première condition donne b=0b=0, la seconde a+b=0a+b=0, donc a=0a=0. F∩G={0} : les sous-espaces F et G sont en somme directe.\boxed{F \cap G=\{0\} \text{ : les sous-espaces } F \text{ et } G \text{ sont en somme directe.}}

3. On veut f(0)=0f(0)=0 et f(1)=0f(1)=0, c'est-à-dire : h(0)−b=0eth(1)−(a+b)=0h(0)-b=0 \qquad\text{et}\qquad h(1)-(a+b)=0

b=h(0)eta=h(1)−h(0)\boxed{b=h(0) \qquad\text{et}\qquad a=h(1)-h(0)}

4. Soit h∈ℱ(ℝ ;ℝ)h \in \mathcal{F}(\mathbb{R}\,;\mathbb{R}) quelconque. En posant g:x↦(h(1)−h(0))x+h(0)g : x \mapsto \big(h(1)-h(0)\big)x+h(0), qui appartient à GG, la question 3 montre que f=h−gf=h-g appartient à FF. Ainsi h=f+g∈F+Gh=f+g \in F+G. ℱ(ℝ ;ℝ)=F⊕G\boxed{\mathcal{F}(\mathbb{R}\,;\mathbb{R})=F \oplus G}

Dans l'édifice

Thèmes

espaces vectoriels, sous-espaces vectoriels, somme directe et supplémentaires, espaces de fonctions

Notions

espace vectoriel, sous-espace vectoriel, supplémentaire

Ouvrir dans l'atlas interactif →