Comment montrer que la somme de sous-espaces vectoriels $F_1,\dots,F_k$ est directe ?

En invoquant que les sous-espaces propres associés à des valeurs propres distinctes sont en somme directe

Que ferais-tu face à un exercice de ce type ?

Soit $A = \mathrm{diag}(1, 2, 3) \in \mathcal{M}_3(\mathbb{R})$ . Montrer que $E_1(A) \oplus E_2(A) \oplus E_3(A)$ .

La méthode

1
J'identifie que les sous-espaces $F_i$ étudiés sont les sous-espaces propres $E_{\lambda_i}(f)$ d'un endomorphisme $f$ , et je vérifie que les valeurs propres $\lambda_i$ sont bien deux à deux distinctes.
2
J'invoque le théorème du cours : la famille $(E_{\lambda_1}(f), \dots, E_{\lambda_k}(f))$ est en somme directe.
3
Je conclus que $E_{\lambda_1}(f) \oplus \dots \oplus E_{\lambda_k}(f)$ , sans démonstration supplémentaire.

Pour comprendre, passons aux exercices.

Exercice d'exemple

Soit $A = \mathrm{diag}(1, 2, 3) \in \mathcal{M}_3(\mathbb{R})$ . Montrer que $E_1(A) \oplus E_2(A) \oplus E_3(A)$ .

1

Les valeurs propres de $A$ sont $1, 2, 3$ , deux à deux distinctes, et $E_\lambda(A) = \ker(A - \lambda I_3)$ pour chacune.

2

Par le théorème du cours, la somme $E_1(A) + E_2(A) + E_3(A)$ est directe.

3

Donc $E_1(A) \oplus E_2(A) \oplus E_3(A)$ .

Les sous-espaces propres $E_1, E_2, E_3$ sont en somme directe.

Les applications suivantes et la correction guidée sont réservées aux membres Premium

La méthode et sa première application corrigée restent en accès libre. Le Premium débloque les applications suivantes, l'aide IA et le suivi de ta maîtrise.

Comment utiliser les formules de changement de base pour obtenir la matrice d'un endomorphisme dans une nouvelle base ?

Comment montrer que deux matrices carrées sont semblables ?

Comment construire une base adaptée à une somme directe

E = F_1 \oplus \dots \oplus F_k

?

Comment calculer la dimension d'une somme directe de sous-espaces vectoriels ?

Comment montrer que la somme de sous-espaces vectoriels F1,…,FkF_1,\dots,F_kF1​,…,Fk​ est directe ?

En invoquant que les sous-espaces propres associés à des valeurs propres distinctes sont en somme directe

Pour comprendre, passons aux exercices.

Comment montrer que la somme de sous-espaces vectoriels $F_1,\dots,F_k$ est directe ?