Sans rentrer dans les détails, on appelle ensemble une collection d'objets. Ces objets sont appelés les éléments de l'ensemble.
Définition
L'ensemble qui ne contient aucun élément est appelé ensemble vide et est noté ∅. Un ensemble à un élément est appelé un singleton, un ensemble à deux éléments est une paire.
Définition—Appartenance
On dit que xappartient à un ensemble E si x est un élément de E et on note alors x∈E.
Encadré—Décrire un ensemble
Un ensemble est dit défini en extension lorsqu'il est défini par l'énumération de ses éléments. Par exemple, A={1,3,5,7}.
Un ensemble est dit défini en compréhension lorsqu'il est défini par une propriété caractéristique de ses éléments. Par exemple, l'ensemble des entiers naturels pairs est {n∈N∣∃k∈N,n=2k}. Autrement dit, l'ensemble des entiers naturels pairs est l'ensemble des entiers n pour lesquels il existe un entier naturel k tel que n=2k.
Un ensemble peut être défini à l'aide d'un autre ensemble. Par exemple, l'ensemble des entiers naturels pairs peut se noter {2k,k∈N}. Autrement dit, l'ensemble des entiers naturels pairs est l'ensemble des entiers de la forme 2k lorsque k parcourt N.
Remarque
De manière plus concise, l'ensemble des entiers naturels pairs se note aussi 2N.
Attention
Quand on décrit un ensemble en compréhension, on donne d'abord les éléments puis la condition qu'ils vérifient. Par exemple, la notation {n=2k} pour désigner l'ensemble des entiers naturels pairs n'a AUCUN SENS. Au mieux pourrait-on voir cet « ensemble » comme un ensemble d'équations.
Exemple
L'ensemble des fonctions de R dans R 1-périodiques peut se noter {f∈RR∣∀x∈R,f(x+1)=f(x)}. Là encore, des notations du style {f(x+1)=f(x)} ou {f(x+1)=f(x),x∈R} ou encore {∀x∈R,f(x+1)=f(x)} n'ont AUCUN SENS.
Définition—Inclusion
On dit qu'un ensemble E est inclus dans un ensemble F si tout élément de E est un élément de F et on note alors E⊂F. De manière plus concise, (E⊂F)⟺(∀x,x∈E⟹x∈F)
Exemple
On a la suite d'inclusion bien connue : N⊂Z⊂Q⊂R⊂C.
Attention
Attention à ne pas confondre appartenance et inclusion.
On a bien 0∈N mais 0⊂N. Néanmoins, {0}⊂N.
On a bien {−1,0,1}⊂Z mais {−1,0,1}∈/Z.
Un élément peut appartenir à un ensemble mais ne peut pas être inclus dans un ensemble. Un ensemble peut être inclus dans un ensemble mais ne peut pas appartenir à un ensemble (à moins qu'il s'agisse d'un ensemble d'ensembles ...).
Définition—Partie
On appelle partie d'un ensemble E tout ensemble F inclus dans E. L'ensemble des parties de E se note P(E).
Application
Énumérer les parties de l'ensemble {1,2,3}.
Correction bientôt disponible
Remarque
L'ensemble vide est une partie de tout ensemble (y compris de lui-même).
Définition—Égalité
On dit que deux ensembles E et F sont égaux si tout élément de E est un élément de F et réciproquement. On note alors E=F. De manière plus concise, (E=F)⟺(∀x,x∈E⟺x∈F)
Proposition
Soient E et F deux ensembles alors E=F si et seulement si E⊂F et F⊂E.
Méthode—Inclusion et égalité en pratique
Pour montrer que E⊂F, on montre que tout élément de E est un élément de F. On rédige donc de la manière suivante :
« Soit x∈E. Montrons que x∈F ».
Pour montrer que E=F, on peut soit montrer que x∈E si et seulement si x∈F en raisonnant par équivalence, soit procéder par double inclusion en montrant que E⊂F et F⊂E. Dans ce cas, la rédaction se fait en deux étapes :
\begin{itemize}
« Soit x∈E. Montrons que x∈F ».
« Soit x∈F. Montrons que x∈E ».
\end{itemize}
On peut également raisonner directement sur les ensembles sans considérer les éléments.
Application—Médiatrice
Soient A et B deux points du plan. Montrer que l'ensemble des points du plan équidistants de A et B est la droite orthogonale au segment [AB] en son milieu.
Correction bientôt disponible
Application
Soient A={(x,y)∈R2,2x−y=1} et B={(t+1,2t+1),t∈R}. Montrer que A=B.
2. Opérations sur les ensembles
Cours complets, méthodes de résolution et corrections d'exercices.
