ATLAS Ouvrir dans l'atlas →

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

Exercice 64

Démonstration

1. Soit n⩾1n \geqslant 1. Montrer que H={P∈ℝn[X]∣P(0)+P′(1)=0}H = \{P \in \mathbb{R}_{n}[X] \mid P(0) + P'(1) = 0\} est un hyperplan de ℝn[X]\mathbb{R}_{n}[X], et donner une droite supplémentaire de HH.

2. Montrer que H′={f∈𝒞([0,1],ℝ)∣f(0)=f(1)}H' = \{f \in \mathcal{C}([0, 1], \mathbb{R}) \mid f(0) = f(1)\} est un hyperplan de 𝒞([0,1],ℝ)\mathcal{C}([0, 1], \mathbb{R}), et que la droite engendrée par x↦xx \mapsto x en est un supplémentaire.

3. Dans ℝ3\mathbb{R}^{3}, les équations x+2y−3z=0x + 2y - 3z = 0 et −2x−4y+6z=0-2x - 4y + 6z = 0 définissent-elles le même plan ? Et x+2y−3z=0x + 2y - 3z = 0 et x−y=0x - y = 0 ?

Corrigé

1. L'application φ:P↦P(0)+P′(1)\varphi : P \mapsto P(0) + P'(1) est une forme linéaire, non nulle puisque φ(1)=1\varphi(1) = 1. Son noyau HH est un hyperplan, et la droite ℝ0[X]\mathbb{R}_{0}[X] des constantes n'est pas contenue dans HH : par le théorème 7, c'est un supplémentaire. ℝn[X]=H⊕ℝ0[X],P=(P−φ(P))+φ(P)\boxed{\mathbb{R}_{n}[X] = H \oplus \mathbb{R}_{0}[X], \qquad P = \big(P - \varphi(P)\big) + \varphi(P)}

2. La forme linéaire f↦f(1)−f(0)f \mapsto f(1) - f(0) est non nulle, et vaut 11 en x↦xx \mapsto x : même conclusion.

3. La seconde équation est −2-2 fois la première : c'est le même plan (proposition 23). En revanche, (1,−1,0)(1, -1, 0) n'est pas proportionnel à (1,2,−3)(1, 2, -3) : les plans sont distincts. Meˆme plan dans le premier cas, plans distincts dans le second.\boxed{\text{Même plan dans le premier cas, plans distincts dans le second.}}

Dans l'édifice

Thèmes

formes linéaires et hyperplans, sous-espace engendré, sommes directes, formes linéaires

Notions

forme linéaire, combinaison linéaire, supplémentaire, somme directe

Ouvrir dans l'atlas interactif →