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

En additionnant les dimensions : $\dim(F_1 \oplus \dots \oplus F_k) = \sum \dim F_i$

Calculer rapidement la dimension d'une somme directe.

Maîtriser

Reconnaître

Résoudre

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

Dans $\mathcal{M}_n(\mathbb{R})$ , calculer la dimension de $S_n \oplus A_n$ (symétriques et antisymétriques).

L'objectif

Calculer rapidement la dimension d'une somme directe.

Le principe

Si $F_1, \dots, F_k$ sont des sous-espaces de $E$ en somme directe, alors $\dim(F_1 \oplus \dots \oplus F_k) = \dim F_1 + \dots + \dim F_k$ .

La méthode

1
Je vérifie que les sous-espaces $F_i$ sont bien en somme directe (hypothèse ou démonstration préalable), puis je détermine la dimension $\dim F_i$ de chaque facteur.
Comment montrer que la somme de sous-espaces vectoriels $F_1,\dots,F_k$ est directe ?Voir
2
Je somme : $\dim(F_1 \oplus \dots \oplus F_k) = \sum_{i=1}^k \dim F_i$ .
3
Je conclus en donnant la valeur numérique ou en comparant à $\dim E$ si l'on souhaite en déduire $E = \bigoplus F_i$ .

Pour comprendre, fais des exercices !

Exercice d'exemple

Dans $\mathcal{M}_n(\mathbb{R})$ , calculer la dimension de $S_n \oplus A_n$ (symétriques et antisymétriques).

Étape 1 —

Je vérifie que les sous-espaces

F_i

sont bien en somme directe (hypothèse ou démonstration préalable), puis je détermine la dimension

\dim F_i

de chaque facteur.

La somme est directe (classique, prouvé par $M = \frac{1}{2}(M + {}^tM) + \frac{1}{2}(M - {}^tM)$ et $S_n \cap A_n = \{0\}$ ). $\dim S_n = \frac{n(n+1)}{2}$ , $\dim A_n = \frac{n(n-1)}{2}$ .

Étape 2 —

Je somme :

\dim(F_1 \oplus \dots \oplus F_k) = \sum_{i=1}^k \dim F_i

.

$\dim(S_n \oplus A_n) = \frac{n(n+1)}{2} + \frac{n(n-1)}{2} = \frac{n(n+1) + n(n-1)}{2} = \frac{2n^2}{2} = n^2$ .

Étape 3 —

Je conclus en donnant la valeur numérique ou en comparant à

\dim E

si l'on souhaite en déduire

E = \bigoplus F_i

.

Donc $\dim(S_n \oplus A_n) = n^2 = \dim \mathcal{M}_n(\mathbb{R})$ , d'où $\mathcal{M}_n(\mathbb{R}) = S_n \oplus A_n$ .

$\dim(S_n \oplus A_n) = n^2$ et $\mathcal{M}_n(\mathbb{R}) = S_n \oplus A_n$ .

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 calculer la dimension d'une somme directe de sous-espaces vectoriels ?

En additionnant les dimensions : dim⁡(F1⊕⋯⊕Fk)=∑dim⁡Fi\dim(F_1 \oplus \dots \oplus F_k) = \sum \dim F_idim(F1​⊕⋯⊕Fk​)=∑dimFi​

Pour comprendre, fais des exercices !

En additionnant les dimensions : $\dim(F_1 \oplus \dots \oplus F_k) = \sum \dim F_i$