ATLAS Ouvrir dans l'atlas →

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

Exercice 32

Démonstration

1. Soit FF l'ensemble des fonctions de ℝ\mathbb{R} dans ℝ\mathbb{R} de période 11, et GG l'ensemble des fonctions de ℝ\mathbb{R} dans ℝ\mathbb{R} de limite nulle en +∞+\infty. Montrer que la somme F+GF + G est directe. Les sous-espaces FF et GG sont-ils supplémentaires dans ℱ(ℝ,ℝ)\mathcal{F}(\mathbb{R}, \mathbb{R}) ?

2. Dans ℝℕ\mathbb{R}^{\mathbb{N}}, montrer que l'ensemble des suites nulles aux indices pairs et l'ensemble des suites telles que u2n=u2n+1u_{2n} = u_{2n + 1} pour tout nn sont supplémentaires.

Corrigé

1. Si ff est 11-périodique et de limite nulle en +∞+\infty, alors pour tout xx, f(x)=f(x+k)→k→+∞0f(x) = f(x + k) \xrightarrow[k \to +\infty]{} 0, donc f(x)=0:F∩G={0}f(x) = 0 : F \cap G = \{0\}. Les sous-espaces ne sont pas supplémentaires : si l'on avait x=p(x)+g(x)x = p(x) + g(x) avec p∈Fp \in F et g∈Gg \in G, alors 0=p(x+1)−p(x)=1−(g(x+1)−g(x))→x→+∞1,0 = p(x + 1) - p(x) = 1 - \big(g(x + 1) - g(x)\big) \xrightarrow[x \to +\infty]{} 1, ce qui est absurde. F∩G={0}, mais F+G≠ℱ(ℝ,ℝ): x↦x∉F+G\boxed{F \cap G = \{0\}, \text{ mais } F + G \neq \mathcal{F}(\mathbb{R}, \mathbb{R}) : \ x \mapsto x \notin F + G}

2. Notons AA et BB les deux ensembles, qui sont des sous-espaces. Une suite de A∩BA \cap B vérifie u2n=0u_{2n} = 0 et u2n+1=u2n=0u_{2n + 1} = u_{2n} = 0 : elle est nulle. Pour u∈ℝℕu \in \mathbb{R}^{\mathbb{N}}, la suite bb définie par b2n=b2n+1=u2nb_{2n} = b_{2n + 1} = u_{2n} appartient à BB, et a=u−ba = u - b a ses termes pairs nuls. ℝℕ=A⊕B\boxed{\mathbb{R}^{\mathbb{N}} = A \oplus B}

Dans l'édifice

Thèmes

somme de sous-espaces, sous-espaces vectoriels, sommes directes, espaces de fonctions et de suites

Notions

somme directe, sous-espace vectoriel, supplémentaire

Ouvrir dans l'atlas interactif →