Ensembles

Géraud Sarrebourse de la Guillonnière

To cite this version:

Géraud Sarrebourse de la Guillonnière. Ensembles. Licence. Ensembles, 2012. �cel-00765690�

HAL Id: cel-00765690

[Link]
Submitted on 16 Dec 2012

HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est

archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents
entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non,
lished or not. The documents may come from émanant des établissements d’enseignement et de
teaching and research institutions in France or recherche français ou étrangers, des laboratoires
abroad, or from public or private research centers. publics ou privés.
 Volume n°
Ensembles
Géraud Sarrebourse de la Guillonnière

26 novembre 2012
 Table des matières

1 Axiomatique 1
1.1 Axiomatique de Zermelo (Z) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Axiomatique d’extensionnalité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2 Axiomes de compréhension ou de séparation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.3 Axiome de la paire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.4 Axiome de la réunion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.5 Axiome de l’ensemble des parties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.6 Axiome de l’infini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.7 Axiome de fondation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.8 Axiome de l’ensemble vide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Axiomatique de Zermelo-Fraenkel (ZF) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.1 Axiome de remplacement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 Axiomatique ZFC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3.1 Axiome du choix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.4 Axiomatique arithmétique (Peano) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

2 Ensembles 4
2.1 Description d’un ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.1.1 De façon explicite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.1.2 Par compréhension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.1.3 Famille d’éléments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2 Représentation graphique d’un ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2.1 Diagramme de Venn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2.2 Diagramme de Caroll . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3 Sous-ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.4 Suites d’éléments d’un ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.5 Ensemble produit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

3 Opérations sur les parties d’un ensemble 8

3.1 Intersection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.2 Réunion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.3 Différence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.4 Différence symétrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.5 Complémentaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.6 Propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

4 Couverture, partition 13
4.1 Recouvrement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
4.2 Partitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

1
 Résumé

En 1935, un groupe de mathématiciens français eut l’ambition de reconstruire tout l’édifice mathématique (sans S pour bien
montrer l’unité) selon la pensée formaliste de Hilbert. Les membres fondateurs ont été Henri Cartan, Claude Chevalley, Jean
Delsarte, Jean Dieudonné, André Weil auxquels se joindra René de Possel. En juillet 1935 fut donc créé, lors d’un séminaire
en Auvergne le groupe ’Nicolas Bourbaki’. Le nom de cette association fait référence en fait à une anecdote qui se passa au
sein de l’école nationale supérieure (ENS). Un étudiant de l’ENS vers 1880, dans le but de visiter l’école, se fi passer pour
un général : Le général Bourbaki. Ce dernier a réellement existé, élève de saint cyr, il a été renommé dans les guerres en
Crimée ou en 1870 dans la guerre du Rhin. L’ouvrage de Bourbaki (l’association) se résume en 40 volumes et quelques 7000
pages. Ils constituent une véritable bible des mathématiques des années 1960-70. Trop complexe cependant, très abstrait, il
est aujourd’hui moins cité et peu utilisé par les étudiants.

Dans ce volume, nous ne rentrerons pas volontairement dans les détails philosophiques, sémantiques...que soulève la théorie
des ensembles. Nous poserons simplement les bases de cette dernière (Z,ZF,ZFC) ainsi que de l’arithmétique (Peano), qui
sont, finalement celles que nous utilisons depuis le primaire (cohérentes mais incomplètes !).
Résumé
Chapitre

1
Axiomatique
La théorie des ensembles que l’on va étudier ici, est basé sur trois modèles d’axiomes. En fait ils sont créés en complétant le
modèle précédent par un ou des axiomes. Rappelons que ces axiomes ont été mis en place dans le cadre ’naturel’ d’ensembles
finis.

1.1 Axiomatique de Zermelo (Z)

Les travaux de Zermelo et son célèbre axiome du choix sont dus aux difficultés rencontrées dans l’étude de la relation d’ordre
(comparaison) des cardinaux des ensembles infinis.

1.1.1 Axiomatique d’extensionnalité

Il énonce essentiellement qu’il est suffisant de vérifier que deux ensembles ont les mêmes éléments pour montrer que ces deux
ensembles sont égaux. De façon plus formalisé on aura : ∀x, ((x ∈ E ⇔ x ∈ F ) ⇒ E = F ).

1.1.2 Axiomes de compréhension ou de séparation

Étant donné un ensemble A et une propriété P alors il affirme l’existence de l’ensemble B des éléments de A vérifiant la
propriété P.

Cet axiome est aussi dit axiome des sous-ensembles.

1.1.3 Axiome de la paire

L’axiome affirme que deux éléments quelconques (pas forcement distincts) forment un nouvel ensemble, que l’on appelle
paire. Dit autrement l’axiome exprime que, pour deux éléments quelconques E et F, il est possible de trouver un ensemble
G dont les éléments sont précisément E et F.

Corollaire 1.

Si E=F alors nous obtenons l’axiome du singleton : Il existe un ensemble dont le seul élément est E.

1.1.4 Axiome de la réunion

Pour tout ensemble quelconque, il existe un ensemble qui contient exactement les éléments de tout élément de l’ensemble.
Autrement dit l’union d’ensembles est un ensemble.

1.1.5 Axiome de l’ensemble des parties

L’axiome affirme l’existence pour tout ensemble E, d’un ensemble auquel appartiennent tous les sous-ensembles de E, et
seulement ceux-ci. Un tel ensemble est nommé ensemble des parties de E, d’où le nom de l’axiome.

1
1.1.6 Axiome de l’infini

Un ensemble qui représente celui des entiers naturels existe et s’appelle un ensemble infini.

1.1.7 Axiome de fondation

Paradoxe de Russel 1 : L’une des formes les plus connues est celui du barbier. Un barbier se propose de raser tous les hommes
qui ne se rasent pas eux-mêmes et seulement ceux-ci. Le barbier doit-il se raser lui-même ? Si le barbier se rase lui-même
alors il ne rase pas uniquement ceux qui ne se rasent pas eux-même. S’il ne se rase pas lui-même, il fait partie de ceux qu’il
doit raser. On résout le problème en affirmant qu’un tel barbier ne peut exister (ou, en jouant sur les mots, qu’il n’est pas
un homme). Dans un cadre général pour éluder ce paradoxe on rajoute l’axiome de fondation (dit aussi de régularité) qui
est : Aucun ensemble n’est élément de lui-même. Ainsi l’ensemble des ensembles n’existe pas parce que s’il existait il serait
élément de lui-même.

Dit autrement : Pour tout ensemble non vide X, il existe un ensemble Y , élément de X tel qu’aucun élément de X ne soit
élément de Y .

Cet axiome est appelé également axiome de régularité.

1.1.8 Axiome de l’ensemble vide

Cet axiome permet de poser l’existence d’un ensemble vide. Dans les présentations modernes, il n’est plus mentionné parmi
les axiomes des théories des ensembles de Zermelo, car il est la conséquence en logique du schéma d’axiomes de compréhension.

Cet ensemble se note ∅ (Emplty set) ou {}. Formalisé en logique mathématique, cela donne :∃E : ∀x, x ∈
/ E.

Proposition 2.

L’ensemble vide est unique.

Preuve : L’existence d’un (au moins) ensemble qui n’a aucun élément est le contenu de cet axiome. D’après l’axiome d’ex-
tentionnalité, l’élément qui n’a aucun élément est unique.

Remarque : Comme il fallait un symbole qui représente l’ensemble vide et qui ressemble à un zéro, un mathématicien du
groupe de Bourbaki, André Weil, et qui connaissant la langue norvégienne, utilisa en 1937 une lettre de l’alphabet qui est le
o barré.

1.2 Axiomatique de Zermelo-Fraenkel (ZF)

Un nouvel axiome est ajouté :

1.2.1 Axiome de remplacement

A ce stade, nous définissons une relation fonctionnelle comme une correspondance (ou une relation) R d’éléments d’un en-
semble de départ E avec des éléments d’un ensemble d’arrivée F avec la condition supplémentaire qu’il ne peut y avoir au
plus qu’une correspondance entre ces éléments.

Si R est une relation fonctionnelle alors pour tout x, l’ensemble-image de x par R existe.

1.3 Axiomatique ZFC

1. On dit parfois antinomique au sens où il y a une contradiction au sein même de la théorie.

2
Un nouvel axiome est ajouté :

1.3.1 Axiome du choix

L’axiome du choix peut s’énoncer comme suit : étant donné un ensemble X d’ensembles non vides, il existe une fonction
définie sur X, appelée fonction de choix, qui à chacun d’entre eux associe un de ses éléments.

Discussion : Si on a 5 yaourts, complètement discernables, je peux faire un choix, une stratégie d’achat en ne prenant que le
produit le moins cher ou celui dont l’emballage est rouge. Je fais donc ici un choix qui est le prix. Cependant, que faire si
les 5 yaourts sont au même prix, même poids, même emballage etc...et que seul leur contenu permet de les distinguer (leur
ouverture n’est pas autorisé). Dans le cas fini nous pouvons toujours élaborer une stratégie de choix comme ’je prends le
deuxième en partant de la droite (s’il sont alignés). Mais, si la liste est infini que faire ? A priori nous sommes bloqué pour
justifier notre choix. Cet axiome fait partie des axiomes optionnels et controversés de la théorie des ensembles. En effet,
l’existence d’un objet défini à partir de l’axiome du choix n’est pas une existence constructive, c’est-à-dire que l’axiome ne
décrit aucunement comment construire l’objet dont on affirme l’existence.

En utilisant le théorème du choix dans certaine démonstration, cela peut déboucher sur des paradoxes, l’un des plus remar-
quable est :

Le paradoxe de Banach-Tarsky : Supposons que vous ayez dans l’espace une boule de rayon 1. Alors on peut casser la boule
en nombre fini de morceaux tel que, si on les réarrange d’une autre façon, on peut en faire une boule de rayon 2.

Nous donnerons également dans ce volume les bases axiomatiques de la théorie arithmétique au sens de Peano. Elle se résume
en 5 axiomes.

1.4 Axiomatique arithmétique (Peano)

1. L’élément appelé zéro et noté : 0, est un entier naturel.
2. Tout entier naturel n a un unique successeur, noté s(n) ou Sn.
3. Aucun entier naturel n’a 0 pour successeur.
4. Deux entiers naturels ayant même successeur sont égaux.
5. Si un ensemble d’entiers naturels contient 0 et contient le successeur de chacun de ses éléments, alors cet ensemble est
égal à N.
Le premier axiome permet de poser que l’ensemble des entiers naturels n’est pas vide, le troisième qu’il possède un premier
élément et le cinquième qu’il vérifie le principe de récurrence dont on retrouvera dans la théorie de la logique classique.

3
Chapitre

2
Ensembles
2.1 Description d’un ensemble
Un ensemble désigne intuitivement une collection d’objets (que l’on appelle éléments de l’ensemble). Les éléments peuvent
être de n’importe quelle nature : nombres, points géométriques, droites, fonctions, autres ensembles... On donne donc vo-
lontiers des exemples d’ensembles en dehors du monde mathématique. Par exemple : lundi est un élément de l’ensemble des
jours de la semaine ; une bibliothèque est un ensemble de livres...

Pour formaliser qu’un élément noté x appartient à l’ensemble noté A, on écrit x ∈ A. Cette notation peut se lire : ’x ap-
partient à A’ ou ’x est élément de A’ ou ’x est dans A’ou ’A a pour élément x’ ou ’A possède x’. Lorsque qu’un élément x
n’appartient pas à un ensemble E, nous noterons x ∈/ E.

Le symbole ∈ vient de la lettre grecque , première lettre du verbe ’être’ στ ι. Ce symbole fut introduit par Giuseppe Peano
dès 1889.

2.1.1 De façon explicite

Un ensemble peut être décrit de façon explicite, c’est-à-dire que l’on écrit tous les éléments. Comme A = {1, 2, 3, 9} ou
A = {1, 2, 3, 4, 5, 6, 7, 8, 9} = {1, ..., 9}.

Dans le cas infini on aura par exemple N = {0, 1, 2, ...} ou Z = {..., −3, −2, −1, 0, 1, 2, 3, ...}. Les pointillés sont utilisés dans le
cas d’un procédé itératif qui n’a pas d’ambiguïté. Par contre pour l’ensemble des réels, l’usage de pointillés n’est pas approprié.

Précisons dès à présent certaines notations d’ensemble :

〚1 ;n〛={1; 2; ...; n}
〚p ;q〛={p; p + 1; ...; q} avec p ≤ q et p; q ∈ N
〚1 ;+∞〛={1; 2; ...}
kN = {0k; 1k; 2k; ...} avec k ∈ N
kZ = {...; −2k; −1k; 0k; 1k; 2k; ...} avec k ∈ N

2.1.2 Par compréhension

Dans certain cas, énumérer de façon explicite tous les éléments d’un ensemble est illusoire. Citons par exemple l’ensemble
des nombres réels compris entre 100 et 10000. Dans ce cas nous décrirons l’ensemble par compréhension, c’est-à-dire qu’on
le définit par une propriété caractéristique.

Exemple 2.1.1 L’ensemble des nombres réels compris entre −7 et 23 s’écrit en compréhension par {x ∈ R| − 7 ≤ x ≤ 23}.
L’ensemble des entiers naturels pairs sera noté : {n ∈ N|n pair}.

Remarque : Le symbole ’|’ se lit ’tel que’. Noté que le symbole ’|’ signifie aussi ’divise’. Pour éviter une quelconque ambiguïté
on utilise ’/’ ou une virgule. Par exemple A = {x ∈ R/x > 0} ou A = {x ∈ R, x > 0}

2.1.3 Famille d’éléments

L’ensemble contenant les éléments x1 , x2 et x3 est le même ensemble contenant les éléments x2 , x3 et x1 .
Donc {x1 , x2 , x3 }={x2 , x3 , x1 }. Une famille d’éléments est un ensemble où il n’y a pas d’ordre dans l’écriture de ses éléments.
L’écriture i ∈ I = {1; 2; 3} signifie que l’on peut prendre un élément i de I, comme l’on veut, n’importe lequel, à condition de
ne pas le reprendre. Dans notre exemple une famille d’éléments dans x1 , x2 et x3 s’écrit {xi }i∈I . Cela peut être {x1 , x2 , x3 }
ou {x3 , x1 , x2 } etc...

Remarque : Si l’on veut parler de la famille {x1 , x2 , ..., xn } on notera {xi }1≤i≤n . De plus {x1 , x2 } s’appelle une paire d’élé-
ments. I peut être aussi bien une partie finie de N, comme il peut être N (donc infini).

2.2 Représentation graphique d’un ensemble

4
2.2.1 Diagramme de Venn

Les diagrammes de Venn (1834-1923) offrent un bon moyen de se représenter les ensembles. Dans un diagramme de Venn,
chaque ensemble est représenté par un cercle, ou un ovale (une patate). Nous conviendrons bien sûr de ne pas répéter les
mêmes éléments. Dans cet type de diagramme, il y a un intérieur (dans l’ensemble) et l’extérieur (en dehors de l’ensemble).

Discussion : Pour toute partie A de E, ∅ ⊂ A et ∅ ⊂ E. Cette situation est représentée par le premier diagramme. Mais cela
laisse supposer qu’il existe plusieurs ensembles vides. Or dans l’axiome de l’ensemble vide, il apparaît qu’il est unique.

Donc pour représenter correctement ce fait il faudrait faire le diagramme de droite. Il faut donc convenir que la représentation
de Venn n’a pas pour but de représenter les ensembles vides mais plutôt ceux qui sont non vides.

2.2.2 Diagramme de Caroll

Contemporain de Venn, Lewis Carroll (1832-1898) refusait la dissymétrie posée a priori entre l’intérieur et l’extérieur, c’est-
à-dire entre l’attribut et sa négation. Ainsi pour Carroll l’attribut mortel et l’attribut immortel ont la même valeur, et il n’est
pas légitime que l’un soit représenté par un espace clos et l’autre par un espace non clos. Il proposa donc une représentation
dans laquelle ’l’univers’ est un carré, et chaque attribut divise ce carré en deux parties égales. Dès lors deux attributs divisent
l’univers en quatre, trois attributs en huit, et ainsi de suite.

2.3 Sous-ensemble
Définition 3.

Étant donnés deux ensembles E et F, on dit que E est inclus dans F ou E est une partie de F ou F contient E
ou E est un sous-ensemble (Sub set) ssi ∀x ∈ E, x ∈ F . Cette inclusion (au sens large) se note E ⊆ F ou
F ⊇ E dans le sens où E est inclus dans F. Si l’on veut indiquer que E est une partie de F, mais ne vaut
pas F on notera cette inclusion (au sens strict) E ⊂ F ou F ⊃ E. Cette dernière est notée aussi parfois dans
les ouvrages par $. A part lui-même, un ensemble compte toujours au moins un autre sous-ensemble qu’est
l’ensemble vide. Ces deux sous-ensembles sont parfois dit ’triviaux’ a . Les autres sous-ensembles sont appelés
sous-ensembles propres ou parties propres (proper subset). Pour résumer (E ⊆ F ) ⇔ (x ∈ E ⇒ x ∈ F ).
a. En mathématiques le terme trivial désigne des cas évidents banals et en soit sans grand intérêt.

5
Remarque : Un sous-ensemble est un ensemble. Le symbole de l’inclusion ⊂ apparu la première fois sous la plume de Gergonne
en 1816. Il était contraire au sens actuel dans le sens où C désignait la première lettre du mot ’Contient’ dans ’A Contient
B’ : A ⊂ B. C’est Schroder qui donnera le sens actuel ’A contient B’ : B ⊂ A.
√ √
Exemple 2.3.1 Soient les ensembles N et R. Si x ∈ N alors x ∈ R. De sorte que N ⊂ R. Par contre 2 ∈ R mais 2 ∈ /N
donc RN. En général dire que EF signifie qu’il existe au moins un élément de E qui n’est pas dans F. Il s’agit ni plus ni
moins de la négation de ∀x ∈ E, x ∈ F .

N désigne l’ensemble des entiers naturels (natural number), baptisé ainsi en 1763 par William Emerson, suite à Nicolas
Chuquet parlant de ’progression naturelle’ pour la suite 1,2,3,4... C’est l’Italien Giuseppe Peano (1858-1932) qui a utilisé la
lettre N pour leur ensemble (naturale en italien).

Z est l’initiale de nombre en allemand (Zahl). Cette appellation est due à l’Allemand Richard Dedekind (1831-1916). Ceci
n’empêchera pas les profs de maths de dire aux élèves que c’est l’ensemble des ’zentiers’. Z est l’ensemble des nombres entiers
relatifs (integer), c’est-à-dire des entiers naturels munis d’un signe.

D est l’ensemble des nombres décimaux, c’est-à-dire de la forme a

10n avec a dans Z et n dans N.

Q est l’ensemble des nombres rationnels (rationnal number), baptisé ainsi par Cassiodore ; c’est Peano qui a utilisé la lettre
Q pour leur ensemble (quotiente = quotient en italien). De façon plus formelle c’est l’ensemble des nombres de la forme pq
avec p et q des éléments de Z.

R est l’ensemble des nombres réels (real number), baptisé ainsi par Descartes en 1637 ; c’est l’allemand Georg Cantor (1845-
1918) qui a désigné pour la première fois l’ensemble de ces nombres par R (réel=real en allemand).

C est l’ensemble des nombres complexes (complex number), baptisés ainsi par Karl Friedrich Gauss en 1831.

C’est (le groupe) Bourbaki qui a rassemblé ces notations et les a fait imprimer en caractère gras. Cependant, au tableau noir,
il est difficile de faire des caractères gras à la craie et de là est venue l’idée de doubler les traits.

Exemple 2.3.2 Nous avons regroupé dans le diagramme de Venn ci-dessous, l’inclusion de ces différents ensembles.

Si E est un ensemble, il existe un ensemble appelé ensemble des parties de E, noté P(E) dont les éléments sont tous les
ensembles inclus (au sens large) dans E (c’est une autre façon dénonce l’axiome des parties). F ∈ P(E) ⇔ F ⊆ E.

Pour démontrer que A=B il peut être judicieux de démontrer que A ⊂ B et B ⊂ A. Ou alors A = B ⇔ χA = χB .

Exemple 2.3.3 Si E = {a, b, c} alors P(E) = {∅, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}. Si E = ∅ alors P(E) = {∅}.

Proposition 4.

Si E ⊆ F et F ⊆ G alors E ⊆ G (transitivité de l’inclusion).

Preuve : Dire que E ⊆ F et F ⊆ G signifie par définition que x ∈ E ⇒ x ∈ F et x ∈ F ⇒ x ∈ G donc x ∈ E ⇒ x ∈ G soit

F ⊆ G.

2.4 Suites d’éléments d’un ensemble

6
1 ;3 ;8 ;4 ;5 ;... est une suite d’éléments de N. 7 ;8 ;2 ;5 ;8 ;6 ;...en est une autre (répétition de certains éléments). Nous remar-
quons qu’une suite d’éléments de E est une liste ordonnée avec répétition possible. Le premier élément de cette liste peut être
noté x1 , le deuxième x2 etc...pour préciser qu’il y a ordre on met des parenthèses donc la suite 1; 3; 8; 4; 5 s’écrit (1 ;3 ;8 ;4 ;5)
ou (x1 , x2 , x3 , x4 , x5 ). Soit n ≥ 1, une suite finie de n objets est dite n-uplets ou n-uples ou vecteur.

(x1 , x2 ) s’appelle un couple au lieu de 2-uplets,(x1 , x2 , x3 ) s’appelle un triplet au lieu de 3-uples. (x1 ) s’identifie au singleton
{x1 }.

Soit i ∈ I = {1; 2; 3, ...n}. Si a x1 , x2 , x3 ..., xn on associe un élément de I (une fois pour toute, répétition possible) alors
(x1 , x2 , ..., xn ) s’écrit (x1 )1≤i≤n . Par contre (xi )i∈I peut signifier la suite ordonnée (x1 , x4 , x2 , ..., xn−2 ) ou (xn , x1 , xn−2 , ..., x3 )...
| {z } | {z }
n n
Pour finir (a, b) = (a , b ) ⇔ a = a , et b = b .
0 0 0 0

I peut être aussi bien une partie finie de N, comme il peut être N (donc infini).

2.5 Ensemble produit

Étant donnés deux ensembles A et B, l’ensemble des couples de la forme (a,b) avec a ∈ A et b ∈ B est appelé produit cartésien
(Cartesian product) ou ensemble produit de A par B (de A et B) et se note A × B. On a donc :

A × B = {(a, b)|a ∈ A et b ∈ B}.

Lorsque A=B, le produit cartésien A × A se note aussi A2 .

Exemple 2.5.1 Si A = {1; 2} et B = {3} alors A × B = {(1; 3), (2; 3)}. En pratique au lieu d’écrire ∀(x, y) ∈ A × A on peut
noter ∀x, y ∈ A.
Attention : En général A × B 6= B × A. En effet A × B = {(1; 3), (2; 3)} alors que B × A = {(3; 1), (3; 2)}.

Généralisons cette notion d’ensemble produit. Soit n ∈ N, on peut définir :

A1 × A2 × A3 × ... × An = {(a1 , a2 , ..., an )|a1 ∈ A1 , a2 ∈ A2 , ..., an ∈ An }.

Remarquons dès à présent que A1 × A2 × A3 × ... × An contient tous les n-uplets possibles (listes ordonnées à n éléments,
pris dans A1 , puis A2 ...). A1 × A2 × A3 × ... × An se note aussi

Y n
Y
Ai ou Ai
1≤i≤n i=1

(a1 , a2 , ..., an ) = (b1 , b2 , ..., bn ) ⇔ (∀i ∈ {1, 2, ..., n}, ai = bi ). Lorsque A1 =A2 =...=An alors A1 × A2 × A3 × ... × An = An .
Par convention, si n=0 on parlera de 0-uplet appelé liste vide. On note A0 .

Proposition 5.

Soient (A, B) ∈ P(E)2 et (C, D) ∈ P(F )2 alors :

1. (A × C) ∪ (B × C) = (A ∪ B) × C
2. (A × C) ∪ (A × D) = A × (C ∪ D)
3. (A × C) ∩ (B × D) = (A ∩ B) × (C ∩ D)

Preuve :
1. (A × C) ∪ (B × C) = {(x, y)|(x ∈ A et y ∈ C) ou (x ∈ B et y ∈ C)} = {(x, y)|(x ∈ A ou x ∈ B) et y ∈ C} = (A ∪ B) × C
2. (A × C) ∪ (A × D) = {(x, y)|(x ∈ A et y ∈ C) ou (x ∈ A et y ∈ D)} = {(x, y)|x ∈ A et (y ∈ C ou x ∈ D)} = A × (C ∪ D)
3. (A × C) ∩ (B × D) = {(x, y)|(x ∈ A et y ∈ C) et (x ∈ B et y ∈ D)} = {(x, y)|(x ∈ A et x ∈ B) et (y ∈ C et y ∈ D)} =
(A ∩ B) × (C ∩ D)

7
Chapitre

3
Opérations sur les parties d’un ensemble
3.1 Intersection
Définition 6.

Soient A et B deux parties d’un ensemble E. On appelle l’intersection de A et B notée A ∩ B, la partie de E

définie par : A ∩ B = {x ∈ E|x ∈ A et x ∈ B}

Remarque : Deux ensembles A et B tel que A ∩ B = ∅ sont dits disjoints. En d’autres termes A et B n’ont aucun élément
en commun. Ce qui revient à dire (∀x ∈ E, x ∈ / A). Mais attention ne pas confondre avec deux ensembles
/ F ) et (∀x ∈ F, x ∈
distincts. Dire que E et F sont distincts se traduit de façon formalisé par : (∃x ∈ E : x ∈ / E), ce qui
/ F ) ou (∃x ∈ F : x ∈
s’écrit aussi E 6= F .

Proposition 7.

x∈
/ A∩B ⇔x∈
/ A ou x ∈
/B

Preuve : Elle provient de la tautologie Non (P et Q) ⇔ Non P ou Non Q.

3.2 Réunion
Définition 8.

Soient A et B deux parties d’un ensemble E. On appelle l’union de A et B, la partie de E notée A ∪ B définie
par : A ∪ B = {x ∈ E|x ∈ A ou x ∈ B}

Remarque : Lorsque que l’on veut parler de l’union disjointe (disjoint union) de deux ensembles, nous utiliserons la notation :
t. D’où si A et B sont disjoints alors leurs union est A t B.

Proposition 9.

x∈
/ A∪B ⇔x∈
/ A et x ∈
/B

8
Preuve (prove) : Elle provient de la tautologie Non (P ou Q)⇔ Non P et Non Q.

3.3 Différence
Définition 10.

Soient A et B deux parties d’un ensemble E. On appelle différence de A et B, la partie de E notée A − B définie
par : A − B = A\B = {x ∈ A|x ∈ / B}

Remarque : Si on considère B inclus dans A et B = {x1 } alors A\B signifie que l’on prend les éléments dans A mais pas
dans B, c’est-à-dire dans notre cas les éléments de A privé de x1 . Nous retrouvons donc la notation usitée en lycée comme
par exemple R\{1} ou R − {1} et qui est en fait un cas particulier des ensembles symétriques.

3.4 Différence symétrique

Définition 11.

Soient A et B deux parties d’un ensemble E. On appelle la différence symétrique de A et B, la partie de E notée
A∆B définie par : A∆B = (A\B) ∪ (B\A) = {x ∈ A|x ∈ / B}.

3.5 Complémentaire
Définition 12.

Soit A une partie d’un ensemble E. On appelle le complémentaire (complement) de A dans E, la partie de E
définie par : CE A = E\A = {x ∈ E|x ∈
/ A}

On pourra noter A au lieu de CE A s’il n’y a pas de risque de confusion.

9
Remarque : Les notions A\B et CA B coïncident si A ⊆ B ou B ⊆ A.

3.6 Propriétés
CE (∅) = E : CE (∅) = E\∅ = {x ∈ E|x ∈
/ ∅}. Or tous les éléments de E ne sont pas dans l’ensemble vide sinon ∅ ne serait
pas vide.

CE (E) = ∅ : CE (E)) = {x ∈ E|x ∈

/ E}. Un élément x ne peut pas être et ne pas être dans E.

CA (∅) = A : Ce sont les éléments dans A qui ne sont pas dans ∅. Comme il n’y a pas d’élément dans l’ensemble vide, tout
élément de A convient.

A ⊂ B ⇔ CE (B) ⊂ CE (A) : Soient P(x) et Q(x) deux prédicats. On définit les ensembles A = {x ∈ E|P (x) vraie} et
B = {x ∈ E|Q(x) vraie}. Si nous rassemblons les x de E tel que P(x) vraie entraîne Q(x) vraie nous voyons donc que l’on
peut associer cela à x ∈ A ⇒ x ∈ B soit A ⊂ B. Comme 0 P ⇒ Q ⇔ N on(Q) ⇒ N on(P )0 est une tautologie (On suppose
bien que A et B sont plongés dans un ensemble E afin que Non(P) et Non(Q) est en sens c’est-à-dire correspondent au
complémentaire de A dans E ou de B dans E), le résultat est alors immédiat.

CE (CE (A)) = ∅ : prouvons le par un schéma :

-A ∪ B = A ∩ B (lois de Morgan) : x ∈ A ∪ B alors x ∈

/ A ∪ B d’où x ∈
/ A et x ∈
/ B donc x ∈ A et x ∈ B. Réciproque-
ment x ∈ A ∩ B soit x ∈ A et x ∈ B donc x ∈ / A et x ∈/ B d’où x ∈
/ A ∪ B c’est-à-dire x ∈ A ∪ B d’où la conclusion
CE (A ∪ B) = CE (A) ∩ CE (B)

-A ∩ B = A ∪ B (lois de Morgan) : x ∈ A ∩ B donc x ∈/ A ∩ B soit x ∈

/ A ou x ∈
/ B soit x ∈ A ou x ∈ A ou x ∈ A ∪ B. Réci-
proquement x ∈ A∪B donc x ∈ / A ou x ∈/ B soit x ∈
/ A∩B donc x ∈ A ∩ B. D’où la conclusion CE (A∩B) = CE (A)∪CE (B).

A ⊂ (A ∪ B), B ⊂ (A ∪ B) : Si x est dans A alors x est (dans A ou B) est vraie. De même par symétrie.

A ∪ ∅ = ∅ ∪ A = A :A ∪ ∅ = {x ∈ A ou x ∈ ∅} = {x ∈ ∅ ou x ∈ A} = ∅ ∪ A. Comme x ne peut appartenir à ∅ (par définition)

on a donc {x ∈ A ou x ∈ ∅} = {x ∈ A}. on dit que ∅ est un élément neutre pour ∪.

A ∩ B ⊂ A, A ∩ B ⊂ B : si x est dans A et B alors x est dans A. De même par symétrie.

A ∪ A = A :{x ∈ A ou x ∈ A} = {x ∈ A} = A. On dit que A est idempotent pour ∪.

A ∪ E = E : Si x est dans A ou x est dans E, alors puisque x qui est dans A est aussi dans E, finalement les x sont dans E.
On dit que E est absorbant pour ∪

A ∪ B = B ∪ A : {x ∈ A ou x ∈ B} = {x ∈ B ou x ∈ A} = B ∪ A. On dit que ∪ est commutative.

-A ∩ B = A ∩ B : Dire que x est dans A et x est dans B, sémantiquement est équivalent à dire que x est dans B et x est dans
A. On dit que ∩ est commutative.

10
-A ∩ ∅ = ∅ ∩ A=A : C’est un cas particulier du cas précédent et A ∩ ∅ = {x ∈ ∅ et x ∈ A}, or il n’y a aucun élément dans
l’ensemble vide donc {x ∈ ∅ et x ∈ A} = {x ∈ A} = A. On dit que ∅ est absorbant pour ∩.

A ∪ (B ∪ C) = (A ∪ B) ∪ C : Soient P(x) et Q(x) deux prédicats. On définit les ensembles A = {x ∈ E|P (x) vraie} et
B = {x ∈ E|Q(x) vraie}. Si nous rassemblons les x de E tel que P(x) vraie et Q(x) vraie nous voyons donc que l’on peut
associer cela à x ∈ A ∪ B. Nous savons que ’P ou (Q ou R) équivaut à (P ou Q) ou R)’, est une tautologie (c’est-à-dire
toujours vraie). Ainsi x ∈ A ∪ (B ∪ C) ⇔ x ∈ (A ∪ B) ∪ C, c’est-à-dire A ∪ (B ∪ C) ⊂ (A ∪ B) ∪ C et A ∪ (B ∪ C) ⊃ (A ∪ B) ∪ C
d’où la conclusion. On dit que ∪ est associative.

-A ∪ B = B ⇔ A ⊂ B :

Si A ⊂ B alors d’après le premier diagramme de Venn, nous avons A ∪ B = B. Réciproquement si nous avons A ∪ B = B,
nous pouvons envisager trois cas. D’après les diagrammes ensemblistes nous pouvons voir que seul le premier cas convient.

-A ∩ A = A : {x ∈ A et x ∈ A} = {x ∈ A} = A. On dit que A est idempotent pour ∩.

-A ∩ E = A : si x est dans A et x est dans E alors x est dans A et sera toujours dans E. On dit que E est neutre pour ∩.

-A ∩ (B ∩ C) = (A ∩ B) ∩ C : Traduit en terme de prédicats, nous avons (P et Q) et R ⇔ P et (Q et R). On dit que ∩ est associative.

-A ∩ B = B ⇔ A ⊂ B :

Si A ⊂ B alors d’après le premier schéma, A ∩ B = B. Réciproquement si nous envisageons les trois cas possibles, nous
remarquons que seul le premier convient.

-A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) : Il suffit de considérer la tautologie : R et (P ou Q) ⇔ (R et P ) ou (R et Q). On dit que

∩ est distributive par rapport à ∪.

-A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) : Il suffit de considérer la tautologie : R ou (P et Q) ⇔ (R ou P ) et (R ou Q). On dit que

∪ est distributive par rapport à ∩.

-A ∩ (A ∪ B) = A ∪ (A ∩ B) = A : C’est un corollaire du cas précédent avec B=A et C=B. On parle d’égalités modulaires.

-A\B = A − B = ∅ ⇔ A ⊂ B : Nous envisagerons les 3 cas possibles sur un diagramme de Venn :

-A∆B = B∆A : A∆B = (A\B)∪(B\A), comme ∪ est commutative la conclusion est immédiate. On dit que ∆ est commutative.

11
-A∆∅ = A : A∆∅ = (A\∅) ∪ (∅\A) = A ∪ A = A. On dit que ∅ est neutre pour ∆.

-A∆A = ∅ : A∆A = (A\A) ∪ (A\A) = (A\A) = {x ∈ A et x ∈

/ A} = ∅. Tout élément de P(E) est son symétrique par ∆.

-A∆B = (A ∪ B)\(B ∩ A) : A∆B = (A\B)∪(B\A) = (A\(A∩B)∪(B\(A∩B)) = {x ∈ A et x ∈ / A∩B}∪{x ∈ B et x ∈ / A∩B}.

D’où en terme de prédicats, cela donne : (P et R) ou (Q et R). Soit en mettant R ’en facteur’ puisque ’et’ est distributive
par rapport à ’ou’, nous obtenons l’équivalence (P ou Q) et R. De là {x ∈ A et x ∈
/ A ∩ B} ∪ {x ∈ B et x ∈
/ A ∩ B} = {x ∈
B ou x ∈ A et x ∈
/ A ∩ B} = {x ∈ A ∪ B et x ∈/ A ∩ B} = (A ∪ B)\(B ∩ A)

12
Chapitre

4
Couverture, partition
4.1 Recouvrement
n ∈ N∗ . Soient I = {1; 2; ...; n} et E un ensemble. Une famille {Ai }i∈I de parties de E constitue un recouvrement de E si :

∪i∈I Ai = E

4.2 Partitions
n ∈ N∗ . Soient I = {1; 2; ...; n} et E un ensemble. Une famille {Ai }i∈I de parties de E est appelée une partition de E ssi :

-∀i ∈ I, Ai 6= ∅
-∀(i; j) ∈ I 2 , (i 6= j ⇒ Ai ∩ Aj = ∅). Ensembles deux à deux disjoints.
-∪i∈I Ai = E

Nous aurions pu dire également qu’une famille {Ai }i∈I de parties de E est appelée partition de E ssi :

-∀i ∈ I, Ai 6= ∅
-ti∈I Ai = E

Exemple 4.2.1 Soit A ∈ P(E) non vide, alors {A, Ac } est une partition. A et Ac sont non vides et sont disjoints. De plus
A ∪ Ac = E. Soit E = {a, b, c} et F = {{a}, {b}, {c}}. F ainsi définie est une partition puisque chaque élément est non vide,
deux à deux disjoints et évidement, la réunion de ces trois éléments est E.

13