Langage et notations des ensembles
1. Notions d’ensemble et d’éléments
Dans les ouvrages de la théorie des ensembles, les notions d’« ensemble », d’ « élément » et d’ « appartenance » sont dites des « notions premières », c’est-à-dire qui ne peuvent pas être définies par d’autres notions.
En mathématiques, intuitivement, « un ensemble désigne une collection d’objets, appelés les éléments de cet ensemble. Ces « éléments » « appartiennent » à cet « ensemble ». Ce qui définit une relation entre ces trois notions.
La formulation en reviendrait au mathématicien allemand Georg Cantor qui énonçait en 1895 : « Par ensemble, nous entendons toute collection M d’objets m de notre intuition ou de notre pensée, définis et distincts, ces objets étant appelés les éléments de M »…
Wikipedia.org
Ce qui est en jeu au premier chef dans la notion d’ensemble, c’est la relation d’« appartenance » : un élément appartient à un ensemble.
Ce sont les propriétés de cette relation d’appartenance que le mathématicien allemand Ernst Zermelo, puis d’autres, ont axiomatisées en théorie des ensembles.
La définition suivante est extraite du livre de Michel Qeysanne, ALGÈBRE, Collection U, Éd. Armand Collin, Paris 1964. p.14-15.
Définition 1.
Un ensemble $E$ est bien défini lorsqu’on possède un critère permettant d’affirmer, pour tout objet $a$, s’il appartient à l’ensemble $E$ ou s’il n’appartient pas à l’ensemble $E$. On écrit et on lit :
$$\begin{array}{c|c}
a\in E\quad(1) & a\not\in E\quad(2) \\
a\text{ appartient à } E & a\text{ n’appartient pas à } E\\
a\text{ est élément de } E & a\text{ n’est pas élément de } E\\
E\text{ contient } a & E\text{ ne contient pas } a\\
\end{array}$$
La formule (1) traduit la proposition appelée appartenance d’un élément à un ensemble. La formule (2) sa négation.
Michel Queysanne, ALGÈBRE.
Remarque.
Il est important que le critère de définition d’un ensemble soit précis. Dans un lycée, on ne peut pas parler de l’ensemble $B$ des élèves qui sont blonds. Cette notion n’est pas très précise et ne permet pas de décider si un élève est dans $B$ ou non.
Exemples.
On peut ainsi parler de l’ensemble des huit premières lettres de l’alphabet, l’ensemble des élèves d’un lycée, l’ensemble des éléphants du Kenya, l’ensemble des nombres entiers, ou encore l’ensemble des points du disque unité dans le plan.
Définition 2.
Un ensemble peut être défini de deux manières :
1°) En extension, en citant TOUS les éléments de $E$, entre deux accolades et séparés par des points-virgules. L’ordre des éléments n’a aucune importance.
$$E=\{a;b;c;d;e;f;g;h\}$$
2°) En compréhension, en donnant la propriété caractéristique $P$ des éléments de $E$, entre accolades. Le « / » se lit « tels que ».
$$ F=\{ x\in E / P(x)\text{ est vraie }\}$$
Lire « $F$ est l’ensemble de tous les $x$, éléments de $E$ tels que $P(x)$ est vraie ».
Dans une définition en compréhension, on doit préciser dans quel ensemble (parent) les $x$ sont choisis pour éliminer toute ambiguïté.
Les deux ensembles : $E_1=\{ x\in\Z / 1\leqslant x \leqslant 8 \}$ et $E_2=\{ x\in\R / 1\leqslant x \leqslant 8 \}$ sont différents. En effet :
- $E_1=\{ x\in\Z / 1\leqslant x \leqslant 8 \}$, défini en compréhension, contient 8 éléments. C’est un ensemble fini. $E$ peut aussi être défini en extension : $$E_1=\{ 1;2;3;4;5;6;7;8\}$$
- et $E_2=\{ x\in\R / 1\leqslant x \leqslant 8 \}$ est un intervalle, donc c’est un ensemble infini. $E_2$ ne peut pas être défini en extension : $$E_2=[1;8]$$
2. Notations
1°) Majuscule, minuscule ?
Les ensembles sont en général notés par une majuscule ; les éléments par une minuscule.
On écrit : $x\in E$. Cependant un plan $\mathcal P$ est un ensemble de points $A$, $B$, $M$, etc. Ici, les éléments sont notés par une majuscule.
2°) Pour désigner un ensemble dont les éléments sont eux-mêmes des ensembles ou écrits en majuscule, on utilise des lettres calligraphiques ou « à l’anglaise ».
Par exemple. Le plan $\mathcal P$ peut contenir un point $P$. On écrit $P\in\mathcal P$.
L’ensemble des parties d’un ensemble $E$ se note en général : ${\mathcal P}(E)$.
Exercice résolu n°1. [Cardinal de $E$ = nombre d’éléments de $E$.]
Écrire en extension les ensembles suivants et déterminer leurs cardinaux.
1°) L’ensemble $V$ des voyelles de l’alphabet français ;
2°) L’ensemble des nombres premiers inférieurs à $50$ ;
3°) L’ensemble des nombres entiers naturels ;
4°) L’ensemble $S$ des couples de nombres entiers naturels dont la somme est égale à $5$.
Exercice résolu n°2.
Écrire en compréhension les ensembles suivants, puis en extension lorsque c’est possible.
1°) L’ensemble $P$ des nombres entiers pairs.
2°) L’ensemble $I$ des nombres entiers pairs.
3°) L’ensemble $E$ des nombres entiers relatifs multiples de $6$ et dont le carré est inférieur à $100$.
Vues : 1289