Comment démontrer une inclusion… : En montrant une inclusion par… — ECG1 appliquées | MetMat

Comment démontrer une inclusion ou une égalité d'ensembles ?

En montrant une inclusion par appartenance : $x\in A \Rightarrow x\in B$

Démontrer qu'un ensemble $A$ est inclus dans un ensemble $B$ en raisonnant sur un élément générique.

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

Montrer que $\{x\in\mathbb{R}\mid x^2\leq 1\}\subset [-1,1]$ .

L'objectif

Démontrer qu'un ensemble $A$ est inclus dans un ensemble $B$ en raisonnant sur un élément générique.

Le principe

Par définition, $A\subset B$ signifie $\forall x,\;(x\in A \Rightarrow x\in B)$ : il suffit donc de prendre $x\in A$ quelconque et d'établir $x\in B$ .

La méthode

1
Je me donne un élément $x$ quelconque de $A$ et je traduis la condition $x\in A$ à l'aide de la définition de $A$ .
2
À partir des propriétés de $x$ , je déduis, par calculs ou implications logiques, que $x$ vérifie la condition qui définit $B$ .
3
Je conclus $x\in B$ ; comme $x$ était arbitraire dans $A$ , j'ai bien $A\subset B$ .

Pour comprendre, fais des exercices !

Exercice d'exemple

Montrer que $\{x\in\mathbb{R}\mid x^2\leq 1\}\subset [-1,1]$ .

Étape 1 —

Je me donne un élément

x

quelconque de

A

et je traduis la condition

x\in A

à l'aide de la définition de

A

Je prends $x\in\mathbb{R}$ tel que $x^2\leq 1$ , c'est-à-dire $x\in A$ .

Étape 2 —

À partir des propriétés de

x

, je déduis, par calculs ou implications logiques, que

x

vérifie la condition qui définit

B

De $x^2\leq 1$ je déduis $|x|\leq 1$ , d'où $-1\leq x\leq 1$ .

Étape 3 —

Je conclus

x\in B

; comme

x

était arbitraire dans

A

, j'ai bien

A\subset B

Donc $x\in[-1,1]$ , et par suite $A\subset [-1,1]$ .

$\{x\in\mathbb{R}\mid x^2\leq 1\}\subset [-1,1]$ .

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 démontrer une inclusion ou une égalité d'ensembles ?

En montrant une inclusion par appartenance : x∈A⇒x∈Bx\in A \Rightarrow x\in Bx∈A⇒x∈B

Pour comprendre, fais des exercices !

En montrant une inclusion par appartenance : $x\in A \Rightarrow x\in B$