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—Ensemble vide, singleton et paire
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
Par la Définition 1.4, une partie de E={1,2,3} est un sous-ensemble de E. D'après la Définition 1.4, l'ensemble des parties de E, noté P(E), contient tous les sous-ensembles de E.
Enumérons systématiquement toutes les parties selon leur cardinal :
Cardinal 0 : ∅ (l'ensemble vide, qui est une partie de tout ensemble).
Cardinal 1 : {1}, {2}, {3}.
Cardinal 2 : {1,2}, {1,3}, {2,3}.
Cardinal 3 : {1,2,3}.
Ainsi P(E)={∅,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}, qui comporte 23=8 éléments. □
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.
Démonstration
Montrons les deux implications.
(⇒) Supposons E=F. Par définition de l'égalité (Définition 1.5), tout élément de E est un élément de F et réciproquement. Par définition de l'inclusion (Définition 1.3), on a donc E⊂F et F⊂E.
(⇐) Supposons E⊂F et F⊂E. Soit x quelconque. Par définition de l'inclusion (Définition 1.3) :x∈E⟹E⊂Fx∈Fetx∈F⟹F⊂Ex∈E.Donc x∈E⟺x∈F, ce qui signifie, par la Définition 1.5, que E=F.
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 :
« Soit x∈E. Montrons que x∈F ».
« Soit x∈F. Montrons que x∈E ».
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
On veut montrer que la médiatrice M de [AB] coïncide avec l'ensemble F={M∈E∣MA=MB} (en notant MA=∥MA∥ la distance euclidienne).
Par la Proposition 1.1, il suffit de montrer la double inclusion M⊂F et F⊂M.
F⊂M : Soit M∈F, c'est-à-dire MA=MB. Notons I le milieu de [AB]. On a MA=MI+IA et MB=MI+IB. Or IB=−IA, donc :MA2−MB2=∥MI+IA∥2−∥MI−IA∥2=4MI⋅IA.Puisque MA=MB, on obtient MI⋅IA=0, c'est-à-dire MI⊥AB et M est à distance égale de A et B. Donc M appartient à la médiatrice de [AB] : M∈M.
M⊂F : Réciproquement, si M∈M, alors M est équidistant de A et B par définition de la médiatrice, donc MA=MB, soit M∈F.
Conclusion : F=M. □
Application
Soient A={(x,y)∈R2,2x−y=1} et B={(t+1,2t+1),t∈R}. Montrer que A=B.
