Barre utilisateur

[ID: 1183] [Date de publication: 12 février 2021 11:01] [Catégorie(s): Sous-espaces vectoriels supplémentaires - Somme directe ] [ Nombre commentaires: 1] [nombre d'éditeurs: 1 ] [Editeur(s): Emmanuel Vieillard-Baron ] [nombre d'auteurs: 3 ] [Auteur(s): Emmanuel Vieillard-Baron Alain Soyeur François Capaces ]

Solution(s)

Solution(s)

Exercice 820
Par Emmanuel Vieillard-Baron Alain Soyeur François Capaces le 12 février 2021 11:01

1. La somme est directe : montrons que \((A\cap B) \cap (A' + B') = \{ 0_E\}\). Soit \(x \in (A\cap B) \cap(A' + B')\). Comme \(x \in A' + B'\), il existe \((a', b') \in A' \times B'\) tels que \(x = a' + b'\). Alors \(b' = x - a' \in A\) et donc \(b' \in A \cap B\). Puisque la somme \(A\cap B + B'\) est directe, il vient que \(b' = 0_E\). On montre de la même manière que \(a' = 0_E\) et donc ensuite que \(x = 0_E\).

2. \((A\cap B) + (A' + B') \subset A + B\) est claire. Soit \(x \in (A\cap B) + (A' + B')\). Il existe \((y, a', b') \in (A\cap B) \times A' \times B'\) tels que \(x = (y + a') + b' \in A + B\).

3. \(A + B \subset (A\cap B) + (A' + B')\). Soit \(x \in A + B\). Il existe \((a, b) \in A \times B\) tels que \(x = a + b\). Comme \(A = (A\cap B) + A'\), \(\exists (y_1, a') \in (A\cap B) \times A'\) tels que \(a = y_1 + a'\). De même, \(\exists (y_2, b') \in (A\cap B) \times B'\) tels que \(b = y_2 + b'\). Alors \(x = y_1 + a' + y_2 + b' = \underbrace{(y_1+y_2)}_{\in A \cap B} + (\underbrace{a'}_{\in A'} + \underbrace{b'}_{\in B'})\) et donc \(x \in (A\cap B) + (A' + B')\).