ATLAS Ouvrir dans l'atlas →

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

Exercice 30

Démonstration

1. Soit EE l'espace des suites réelles convergentes. Montrer que l'ensemble des suites constantes et l'ensemble des suites de limite nulle sont deux sous-espaces supplémentaires dans EE.

2. Soit EE l'ensemble des fonctions de ℝ\mathbb{R} dans ℝ\mathbb{R} dérivables en 00. Montrer que l'ensemble FF des fonctions f∈Ef \in E telles que f(0)=f′(0)=0f(0) = f'(0) = 0 et l'ensemble des fonctions affines sont deux sous-espaces supplémentaires de EE. Généraliser.

Corrigé

1. Si uu converge vers ℓ\ell, alors u=(ℓ)n+(un−ℓ)nu = (\ell)_{n} + (u_{n} - \ell)_{n}, somme d'une suite constante et d'une suite de limite nulle. Une suite constante de limite nulle est nulle : l'intersection est réduite à 00. E={suites constantes}⊕{suites de limite nulle}\boxed{E = \{\text{suites constantes}\} \oplus \{\text{suites de limite nulle}\}}

2. Les deux ensembles sont des sous-espaces de EE, et leur intersection est nulle, puisqu'une fonction affine x↦a+bxx \mapsto a + bx vérifiant f(0)=f′(0)=0f(0) = f'(0) = 0 a a=b=0a = b = 0. Pour f∈Ef \in E, la fonction g:x↦f(x)−f(0)−f′(0)xg : x \mapsto f(x) - f(0) - f'(0)x appartient à FF, et f=g+(x↦f(0)+f′(0)x)f = g + \big(x \mapsto f(0) + f'(0)x\big). E=F⊕{x↦a+bx}\boxed{E = F \oplus \{x \mapsto a + bx\}} En généralisant : dans l'espace des fonctions nn fois dérivables en 00, l'ensemble des ff telles que f(0)=f′(0)=⋯=f(n)(0)=0f(0) = f'(0) = \cdots = f^{(n)}(0) = 0 est un supplémentaire des fonctions polynomiales de degré au plus nn, la décomposition étant donnée par le polynôme de Taylor ∑k⩽nf(k)(0)k!xk\sum_{k \leqslant n} \frac{f^{(k)}(0)}{k!}x^{k}.

Dans l'édifice

Thèmes

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

Notions

somme directe, sous-espace vectoriel, supplémentaire

Ouvrir dans l'atlas interactif →