ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 14 — Espaces vectoriels et applications linéaires · Sous-espaces affines

Exercice 69

Démonstration

Soit 𝒜\mathcal{A} et ℬ\mathcal{B} deux sous-espaces affines de EE, de directions FF et GG.

1. On suppose que F⊕G=EF \oplus G = E. Montrer que 𝒜∩ℬ\mathcal{A} \cap \mathcal{B} est un singleton.

2. On suppose seulement F+G=EF + G = E. Montrer que 𝒜∩ℬ\mathcal{A} \cap \mathcal{B} n'est pas vide. Que dire de cette intersection ?

Corrigé

1. Écrivons 𝒜=a+F\mathcal{A} = a + F et ℬ=b+G\mathcal{B} = b + G. On décompose b−a=f+gb - a = f + g avec f∈Ff \in F et g∈Gg \in G ; alors a+f=b−ga + f = b - g appartient aux deux sous-espaces, qui se rencontrent donc. Par la proposition 25, l'intersection est un sous-espace affine de direction F∩G={0}F \cap G = \{0\}, c'est-à-dire un point. 𝒜∩ℬ est un singleton.\boxed{\mathcal{A} \cap \mathcal{B} \text{ est un singleton.}}

2. L'existence de la décomposition b−a=f+gb - a = f + g n'utilise que F+G=EF + G = E : l'intersection n'est pas vide, et c'est un sous-espace affine de direction F∩GF \cap G. 𝒜∩ℬ=c+(F∩G) pour tout c∈𝒜∩ℬ\boxed{\mathcal{A} \cap \mathcal{B} = c + (F \cap G) \text{ pour tout } c \in \mathcal{A} \cap \mathcal{B}} Par exemple, dans ℝ3\mathbb{R}^{3}, deux plans affines de directions distinctes ont pour directions deux plans dont la somme est ℝ3\mathbb{R}^{3} : ils se coupent selon une droite.

Ouvrir dans l'atlas interactif →