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

Prouver que les sous-espaces propres d'un endomorphisme sont en somme directe via un résultat de cours.

Maîtriser

Reconnaître

Résoudre

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)$ .

L'objectif

Prouver que les sous-espaces propres d'un endomorphisme sont en somme directe via un résultat de cours.

Le principe

Si $\lambda_1, \dots, \lambda_k$ sont des valeurs propres deux à deux distinctes de $f \in \mathcal{L}(E)$ , alors la somme $E_{\lambda_1}(f) + \dots + E_{\lambda_k}(f)$ est directe.

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, fais des 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)$ .

Étape 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.

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

Étape 2 —

J'invoque le théorème du cours : la famille

(E_{\lambda_1}(f), \dots, E_{\lambda_k}(f))

est en somme directe.

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

Étape 3 —

Je conclus que

E_{\lambda_1}(f) \oplus \dots \oplus E_{\lambda_k}(f)

, sans démonstration supplémentaire.

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, fais des exercices !

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