ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 15 — Dimension finie et rang · Sous-espaces et dimension

Exercice 19

Démonstration

Soit n∈ℕ∗n \in \mathbb{N}^{*}, 𝒫={P∈𝕂2n[X]∣P(−X)=P(X)}\mathcal{P} = \{P \in \mathbb{K}_{2n}[X] \mid P(-X) = P(X)\} et ℐ={P∈𝕂2n[X]∣P(−X)=−P(X)}\mathcal{I} = \{P \in \mathbb{K}_{2n}[X] \mid P(-X) = -P(X)\}.

1. Montrer que 𝒫\mathcal{P} et ℐ\mathcal{I} sont des sous-espaces de 𝕂2n[X]\mathbb{K}_{2n}[X], en somme directe.

2. En exhibant des familles libres explicites, montrer que dim⁡𝒫⩾n+1\dim\mathcal{P} \geqslant n + 1 et dim⁡ℐ⩾n\dim\mathcal{I} \geqslant n.

3. En faisant le moins de calculs possible, montrer que ces inégalités sont des égalités, et en déduire une base de chacun des deux sous-espaces et le fait que 𝕂2n[X]=𝒫⊕ℐ\mathbb{K}_{2n}[X] = \mathcal{P} \oplus \mathcal{I}.

Corrigé

1. Ce sont les noyaux de P↦P(−X)−P(X)P \mapsto P(-X) - P(X) et de P↦P(−X)+P(X)P \mapsto P(-X) + P(X). Si PP est dans les deux, P=−PP = -P, donc P=0P = 0.

2. Les familles (1,X2,…,X2n)(1, X^{2}, \dots, X^{2n}) et (X,X3,…,X2n−1)(X, X^{3}, \dots, X^{2n - 1}) sont libres, à degrés distincts, et formées de n+1n + 1 et nn vecteurs de 𝒫\mathcal{P} et de ℐ\mathcal{I}.

3. La somme étant directe, dim⁡𝒫+dim⁡ℐ=dim⁡(𝒫⊕ℐ)⩽dim⁡𝕂2n[X]=2n+1\dim\mathcal{P} + \dim\mathcal{I} = \dim(\mathcal{P} \oplus \mathcal{I}) \leqslant \dim\mathbb{K}_{2n}[X] = 2n + 1. Avec la question 2, toutes les inégalités sont des égalités : dim⁡𝒫=n+1\dim\mathcal{P} = n + 1, dim⁡ℐ=n\dim\mathcal{I} = n, les familles de la question 2 sont des bases (théorème 4), et 𝒫⊕ℐ\mathcal{P} \oplus \mathcal{I}, de dimension 2n+12n + 1, est égal à 𝕂2n[X]\mathbb{K}_{2n}[X] (théorème 5). 𝕂2n[X]=𝒫⊕ℐ,dim⁡𝒫=n+1,dim⁡ℐ=n\boxed{\mathbb{K}_{2n}[X] = \mathcal{P} \oplus \mathcal{I}, \quad \dim\mathcal{P} = n + 1, \quad \dim\mathcal{I} = n}

Ouvrir dans l'atlas interactif →