Comment montrer… : En montrant Fcap G= 0_E — ECG1 approfondies | MetMat

Comment montrer que deux sous-espaces sont en somme directe ?

En montrant $F\cap G=\{0_E\}$

Prouver que $F$ et $G$ sont en somme directe (notée $F\oplus G$ ) via la caractérisation par l'intersection.

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

Dans $\mathbb{R}^3$ , soient $F=\mathrm{Vect}((1,0,0),(0,1,0))$ et $G=\mathrm{Vect}((0,0,1))$ . Montrer que $F$ et $G$ sont en somme directe.

L'objectif

Prouver que $F$ et $G$ sont en somme directe (notée $F\oplus G$ ) via la caractérisation par l'intersection.

Le principe

$F$ et $G$ sont en somme directe $\iff F\cap G=\{0_E\}$ $\iff$ tout vecteur de $F+G$ s'écrit de manière unique $f+g$ avec $f\in F$ et $g\in G$ .

La méthode

1
On prend un vecteur $x$ quelconque dans $F\cap G$ , c'est-à-dire $x\in F$ et $x\in G$ .
2
On exploite les définitions ou équations qui décrivent $F$ et $G$ , et on montre que la seule possibilité est $x=0_E$ .
3
On conclut $F\cap G=\{0_E\}$ , donc la somme $F+G$ est directe et on peut la noter $F\oplus G$ .

Pour comprendre, fais des exercices !

Exercice d'exemple

Dans $\mathbb{R}^3$ , soient $F=\mathrm{Vect}((1,0,0),(0,1,0))$ et $G=\mathrm{Vect}((0,0,1))$ . Montrer que $F$ et $G$ sont en somme directe.

Étape 1 —

On prend un vecteur

x

quelconque dans

F\cap G

, c'est-à-dire

x\in F

x\in G

Soit $x=(a,b,c)\in F\cap G$ : $x\in F$ donne $c=0$ (composante en $(0,0,1)$ nulle), et $x\in G$ donne $a=b=0$ .

Étape 2 —

On exploite les définitions ou équations qui décrivent

F

G

, et on montre que la seule possibilité est

x=0_E

Donc $x=(0,0,0)=0_{\mathbb{R}^3}$ .

Étape 3 —

On conclut

F\cap G=\{0_E\}

, donc la somme

F+G

est directe et on peut la noter

F\oplus G

$F\cap G=\{0_{\mathbb{R}^3}\}$ , donc $F$ et $G$ sont en somme directe : $F\oplus G=\mathrm{Vect}((1,0,0),(0,1,0),(0,0,1))=\mathbb{R}^3$ .

$F\cap G=\{0\}$ donc $F\oplus G$ existe.

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 montrer que deux sous-espaces sont en somme directe ?

En montrant F∩G={0E}F\cap G=\{0_E\}F∩G={0E​}

Pour comprendre, fais des exercices !

En montrant $F\cap G=\{0_E\}$