ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 14 — Espaces vectoriels et applications linéaires · Formes linéaires et hyperplans

Exercice 65

Démonstration

Soit E=𝒞([0,1],ℝ)E = \mathcal{C}([0, 1], \mathbb{R}) et φ:f↦∫01f(t) dt\varphi : f \mapsto \int_{0}^{1} f(t)\,\mathrm{d} t.

1. Montrer que H=Ker φH = \mathrm{Ker}\, \varphi est un hyperplan de EE, et que E=H⊕ℝ 1E = H \oplus \mathbb{R}\,\mathbf{1}, où 1\mathbf{1} est la fonction constante égale à 11.

2. Expliciter le projecteur sur HH parallèlement à ℝ 1\mathbb{R}\,\mathbf{1}.

3. Montrer que ψ:f↦f(0)\psi : f \mapsto f(0) est une forme linéaire non nulle, et que Ker φ≠Ker ψ\mathrm{Ker}\, \varphi \neq \mathrm{Ker}\, \psi.

Corrigé

1. La forme φ\varphi est linéaire par linéarité de l'intégrale, et non nulle puisque φ(1)=1\varphi(\mathbf{1}) = 1 : HH est un hyperplan, et 1∉H\mathbf{1} \notin H. Le théorème 7 conclut.

2. La décomposition est f=(f−φ(f)1)+φ(f)1f = \big(f - \varphi(f)\mathbf{1}\big) + \varphi(f)\mathbf{1}. p(f)=f−(∫01f(t) dt)1\boxed{p(f) = f - \Big(\int_{0}^{1} f(t)\,\mathrm{d} t\Big)\mathbf{1}} On retranche à ff sa valeur moyenne : le projeté est la fonction « centrée ».

3. La forme ψ\psi est non nulle, puisque ψ(1)=1\psi(\mathbf{1}) = 1. La fonction g:t↦1−2tg : t \mapsto 1 - 2t vérifie φ(g)=0\varphi(g) = 0 et ψ(g)=1\psi(g) = 1 : elle est dans Ker φ\mathrm{Ker}\,\varphi, mais pas dans Ker ψ\mathrm{Ker}\,\psi. Ker φ≠Ker ψ\boxed{\mathrm{Ker}\,\varphi \neq \mathrm{Ker}\,\psi}

Dans l'édifice

Thèmes

formes linéaires et hyperplans, sommes directes, applications linéaires, projecteurs, formes linéaires, espaces de fonctions et de suites

Notions

forme linéaire, supplémentaire, somme directe, application linéaire, projecteur

Ouvrir dans l'atlas interactif →