Vous êtes sur la page 1sur 17

cel-00765690, version 1 - 16 Dec 2012

Volume n Ensembles
Graud Sarrebourse de la Guillonnire 26 novembre 2012

Table des matires


1 Axiomatique 1.1 Axiomatique de Zermelo (Z) . . . . . . . 1.1.1 Axiomatique dextensionnalit . 1.1.2 Axiomes de comprhension ou de 1.1.3 Axiome de la paire . . . . . . . . 1.1.4 Axiome de la runion . . . . . . 1.1.5 Axiome de lensemble des parties 1.1.6 Axiome de linni . . . . . . . . . 1.1.7 Axiome de fondation . . . . . . . 1.1.8 Axiome de lensemble vide . . . . 1.2 Axiomatique de Zermelo-Fraenkel (ZF) . 1.2.1 Axiome de remplacement . . . . 1.3 Axiomatique ZFC . . . . . . . . . . . . 1.3.1 Axiome du choix . . . . . . . . . 1.4 Axiomatique arithmtique (Peano) . . . 2 Ensembles 2.1 Description dun ensemble . . . . . . . . 2.1.1 De faon explicite . . . . . . . . 2.1.2 Par comprhension . . . . . . . . 2.1.3 Famille dlments . . . . . . . . 2.2 Reprsentation graphique dun ensemble 2.2.1 Diagramme de Venn . . . . . . . 2.2.2 Diagramme de Caroll . . . . . . 2.3 Sous-ensemble . . . . . . . . . . . . . . . 2.4 Suites dlments dun ensemble . . . . . 2.5 Ensemble produit . . . . . . . . . . . . . 3 Oprations sur les parties 3.1 Intersection . . . . . . . 3.2 Runion . . . . . . . . . 3.3 Dirence . . . . . . . . 3.4 Dirence symtrique . 3.5 Complmentaire . . . . 3.6 Proprits . . . . . . . . 1 1 1 1 1 1 1 2 2 2 2 2 2 3 3 4 4 4 4 4 4 5 5 5 6 7 8 8 8 9 9 9 10 13 13 13

cel-00765690, version 1 - 16 Dec 2012

. . . . . . . . . . . . . . sparation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

dun ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

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

Rsum

cel-00765690, version 1 - 16 Dec 2012

En 1935, un groupe de mathmaticiens franais eut lambition de reconstruire tout ldice mathmatique (sans S pour bien montrer lunit) selon la pense 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 dun sminaire en Auvergne le groupe Nicolas Bourbaki. Le nom de cette association fait rfrence en fait une anecdote qui se passa au sein de lcole nationale suprieure (ENS). Un tudiant de lENS vers 1880, dans le but de visiter lcole, se passer pour un gnral : Le gnral Bourbaki. Ce dernier a rellement exist, lve de saint cyr, il a t renomm dans les guerres en Crime ou en 1870 dans la guerre du Rhin. Louvrage de Bourbaki (lassociation) se rsume en 40 volumes et quelques 7000 pages. Ils constituent une vritable bible des mathmatiques des annes 1960-70. Trop complexe cependant, trs abstrait, il est aujourdhui moins cit et peu utilis par les tudiants. Dans ce volume, nous ne rentrerons pas volontairement dans les dtails philosophiques, smantiques...que soulve la thorie des ensembles. Nous poserons simplement les bases de cette dernire (Z,ZF,ZFC) ainsi que de larithmtique (Peano), qui sont, nalement celles que nous utilisons depuis le primaire (cohrentes mais incompltes !).

cel-00765690, version 1 - 16 Dec 2012

Rsum

Chapitre

Axiomatique
La thorie des ensembles que lon va tudier ici, est bas sur trois modles daxiomes. En fait ils sont crs en compltant le modle prcdent par un ou des axiomes. Rappelons que ces axiomes ont t mis en place dans le cadre naturel densembles nis.

1.1

Axiomatique de Zermelo (Z)

Les travaux de Zermelo et son clbre axiome du choix sont dus aux dicults rencontres dans ltude de la relation dordre (comparaison) des cardinaux des ensembles innis.

1.1.1

Axiomatique dextensionnalit

Il nonce essentiellement quil est susant de vrier que deux ensembles ont les mmes lments pour montrer que ces deux ensembles sont gaux. De faon plus formalis on aura : x, ((x E x F ) E = F ).

1.1.2

Axiomes de comprhension ou de sparation

cel-00765690, version 1 - 16 Dec 2012

tant donn un ensemble A et une proprit P alors il arme lexistence de lensemble B des lments de A vriant la proprit P. Cet axiome est aussi dit axiome des sous-ensembles.

1.1.3

Axiome de la paire

Laxiome arme que deux lments quelconques (pas forcement distincts) forment un nouvel ensemble, que lon appelle paire. Dit autrement laxiome exprime que, pour deux lments quelconques E et F, il est possible de trouver un ensemble G dont les lments sont prcisment E et F.

Corollaire 1. Si E=F alors nous obtenons laxiome du singleton : Il existe un ensemble dont le seul lment est E.

1.1.4

Axiome de la runion

Pour tout ensemble quelconque, il existe un ensemble qui contient exactement les lments de tout lment de lensemble. Autrement dit lunion densembles est un ensemble.

1.1.5

Axiome de lensemble des parties

Laxiome arme lexistence pour tout ensemble E , dun ensemble auquel appartiennent tous les sous-ensembles de E , et seulement ceux-ci. Un tel ensemble est nomm ensemble des parties de E , do le nom de laxiome.

1.1.6

Axiome de linni

Un ensemble qui reprsente celui des entiers naturels existe et sappelle un ensemble inni.

1.1.7

Axiome de fondation

Paradoxe de Russel 1 : Lune des formes les plus connues est celui du barbier. Un barbier se propose de raser tous les hommes qui ne se rasent pas eux-mmes et seulement ceux-ci. Le barbier doit-il se raser lui-mme ? Si le barbier se rase lui-mme alors il ne rase pas uniquement ceux qui ne se rasent pas eux-mme. Sil ne se rase pas lui-mme, il fait partie de ceux quil doit raser. On rsout le problme en armant quun tel barbier ne peut exister (ou, en jouant sur les mots, quil nest pas un homme). Dans un cadre gnral pour luder ce paradoxe on rajoute laxiome de fondation (dit aussi de rgularit) qui est : Aucun ensemble nest lment de lui-mme. Ainsi lensemble des ensembles nexiste pas parce que sil existait il serait lment de lui-mme. Dit autrement : Pour tout ensemble non vide X , il existe un ensemble Y , lment de X tel quaucun lment de X ne soit lment de Y .

cel-00765690, version 1 - 16 Dec 2012

Cet axiome est appel galement axiome de rgularit.

1.1.8

Axiome de lensemble vide

Cet axiome permet de poser lexistence dun ensemble vide. Dans les prsentations modernes, il nest plus mentionn parmi les axiomes des thories des ensembles de Zermelo, car il est la consquence en logique du schma daxiomes de comprhension. Cet ensemble se note (Emplty set) ou {}. Formalis en logique mathmatique, cela donne :E : x, x / E. Proposition 2. Lensemble vide est unique.

Preuve : Lexistence dun (au moins) ensemble qui na aucun lment est le contenu de cet axiome. Daprs laxiome dextentionnalit, llment qui na aucun lment est unique. Remarque : Comme il fallait un symbole qui reprsente lensemble vide et qui ressemble un zro, un mathmaticien du groupe de Bourbaki, Andr Weil, et qui connaissant la langue norvgienne, utilisa en 1937 une lettre de lalphabet 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 dnissons une relation fonctionnelle comme une correspondance (ou une relation) R dlments dun ensemble de dpart E avec des lments dun ensemble darrive F avec la condition supplmentaire quil ne peut y avoir au plus quune correspondance entre ces lments. Si R est une relation fonctionnelle alors pour tout x, lensemble-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 mme de la thorie.

Un nouvel axiome est ajout :

1.3.1

Axiome du choix

Laxiome du choix peut snoncer comme suit : tant donn un ensemble X densembles non vides, il existe une fonction dnie sur X, appele fonction de choix, qui chacun dentre eux associe un de ses lments. Discussion : Si on a 5 yaourts, compltement discernables, je peux faire un choix, une stratgie dachat en ne prenant que le produit le moins cher ou celui dont lemballage est rouge. Je fais donc ici un choix qui est le prix. Cependant, que faire si les 5 yaourts sont au mme prix, mme poids, mme emballage etc...et que seul leur contenu permet de les distinguer (leur ouverture nest pas autoris). Dans le cas ni nous pouvons toujours laborer une stratgie de choix comme je prends le deuxime en partant de la droite (sil sont aligns). Mais, si la liste est inni que faire ? A priori nous sommes bloqu pour justier notre choix. Cet axiome fait partie des axiomes optionnels et controverss de la thorie des ensembles. En eet, lexistence dun objet dni partir de laxiome du choix nest pas une existence constructive, cest--dire que laxiome ne dcrit aucunement comment construire lobjet dont on arme lexistence. En utilisant le thorme du choix dans certaine dmonstration, cela peut dboucher sur des paradoxes, lun des plus remarquable est : Le paradoxe de Banach-Tarsky : Supposons que vous ayez dans lespace une boule de rayon 1. Alors on peut casser la boule en nombre ni de morceaux tel que, si on les rarrange dune autre faon, on peut en faire une boule de rayon 2. Nous donnerons galement dans ce volume les bases axiomatiques de la thorie arithmtique au sens de Peano. Elle se rsume en 5 axiomes.

cel-00765690, version 1 - 16 Dec 2012

1.4

Axiomatique arithmtique (Peano)

1. Llment appel zro 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 na 0 pour successeur. 4. Deux entiers naturels ayant mme successeur sont gaux. 5. Si un ensemble dentiers naturels contient 0 et contient le successeur de chacun de ses lments, alors cet ensemble est gal N. Le premier axiome permet de poser que lensemble des entiers naturels nest pas vide, le troisime quil possde un premier lment et le cinquime quil vrie le principe de rcurrence dont on retrouvera dans la thorie de la logique classique.

Chapitre

Ensembles
2.1 Description dun ensemble
Un ensemble dsigne intuitivement une collection dobjets (que lon appelle lments de lensemble). Les lments peuvent tre de nimporte quelle nature : nombres, points gomtriques, droites, fonctions, autres ensembles... On donne donc volontiers des exemples densembles en dehors du monde mathmatique. Par exemple : lundi est un lment de lensemble des jours de la semaine ; une bibliothque est un ensemble de livres... Pour formaliser quun lment not x appartient lensemble not A, on crit x A. Cette notation peut se lire : x appartient A ou x est lment de A ou x est dans Aou A a pour lment x ou A possde x. Lorsque quun lment x nappartient pas un ensemble E, nous noterons x / E. Le symbole vient de la lettre grecque , premire lettre du verbe tre . Ce symbole fut introduit par Giuseppe Peano ds 1889.

2.1.1

De faon explicite

cel-00765690, version 1 - 16 Dec 2012

Un ensemble peut tre dcrit de faon explicite, cest--dire que lon crit tous les lments. Comme A = {1, 2, 3, 9} ou A = {1, 2, 3, 4, 5, 6, 7, 8, 9} = {1, ..., 9}. Dans le cas inni on aura par exemple N = {0, 1, 2, ...} ou Z = {..., 3, 2, 1, 0, 1, 2, 3, ...}. Les pointills sont utiliss dans le cas dun procd itratif qui na pas dambigut. Par contre pour lensemble des rels, lusage de pointills nest pas appropri. Prcisons ds prsent certaines notations densemble : 1 ;n={1; 2; ...; n} p ;q={p; p + 1; ...; q } avec p q et p; q N 1 ;+={1; 2; ...} k N = {0k ; 1k ; 2k ; ...} avec k N k Z = {...; 2k ; 1k ; 0k ; 1k ; 2k ; ...} avec k N

2.1.2

Par comprhension

Dans certain cas, numrer de faon explicite tous les lments dun ensemble est illusoire. Citons par exemple lensemble des nombres rels compris entre 100 et 10000. Dans ce cas nous dcrirons lensemble par comprhension, cest--dire quon le dnit par une proprit caractristique. Exemple 2.1.1 Lensemble des nombres rels compris entre 7 et 23 scrit en comprhension par {x R| 7 x 23}. Lensemble des entiers naturels pairs sera not : {n N|n pair}. Remarque : Le symbole | se lit tel que. Not que le symbole | signie aussi divise. Pour viter une quelconque ambigut on utilise / ou une virgule. Par exemple A = {x R/x > 0} ou A = {x R, x > 0}

2.1.3

Famille dlments

Lensemble contenant les lments x1 , x2 et x3 est le mme ensemble contenant les lments x2 , x3 et x1 . Donc {x1 , x2 , x3 }={x2 , x3 , x1 }. Une famille dlments est un ensemble o il ny a pas dordre dans lcriture de ses lments. Lcriture i I = {1; 2; 3} signie que lon peut prendre un lment i de I, comme lon veut, nimporte lequel, condition de ne pas le reprendre. Dans notre exemple une famille dlments dans x1 , x2 et x3 scrit {xi }iI . Cela peut tre {x1 , x2 , x3 } ou {x3 , x1 , x2 } etc... Remarque : Si lon veut parler de la famille {x1 , x2 , ..., xn } on notera {xi }1in . De plus {x1 , x2 } sappelle une paire dlments. I peut tre aussi bien une partie nie de N, comme il peut tre N (donc inni).

2.2

Reprsentation graphique dun ensemble


4

2.2.1

Diagramme de Venn

Les diagrammes de Venn (1834-1923) orent un bon moyen de se reprsenter les ensembles. Dans un diagramme de Venn, chaque ensemble est reprsent par un cercle, ou un ovale (une patate). Nous conviendrons bien sr de ne pas rpter les mmes lments. Dans cet type de diagramme, il y a un intrieur (dans lensemble) et lextrieur (en dehors de lensemble).

Discussion : Pour toute partie A de E, A et E . Cette situation est reprsente par le premier diagramme. Mais cela laisse supposer quil existe plusieurs ensembles vides. Or dans laxiome de lensemble vide, il apparat quil est unique.

Donc pour reprsenter correctement ce fait il faudrait faire le diagramme de droite. Il faut donc convenir que la reprsentation de Venn na pas pour but de reprsenter les ensembles vides mais plutt ceux qui sont non vides.

cel-00765690, version 1 - 16 Dec 2012

2.2.2

Diagramme de Caroll

Contemporain de Venn, Lewis Carroll (1832-1898) refusait la dissymtrie pose a priori entre lintrieur et lextrieur, cest-dire entre lattribut et sa ngation. Ainsi pour Carroll lattribut mortel et lattribut immortel ont la mme valeur, et il nest pas lgitime que lun soit reprsent par un espace clos et lautre par un espace non clos. Il proposa donc une reprsentation dans laquelle lunivers est un carr, et chaque attribut divise ce carr en deux parties gales. Ds lors deux attributs divisent lunivers en quatre, trois attributs en huit, et ainsi de suite.

2.3

Sous-ensemble
Dnition 3. tant donns 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 lon 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 dernire est note aussi parfois dans les ouvrages par . A part lui-mme, un ensemble compte toujours au moins un autre sous-ensemble quest lensemble vide. Ces deux sous-ensembles sont parfois dit triviaux a . Les autres sous-ensembles sont appels sous-ensembles propres ou parties propres (proper subset). Pour rsumer (E F ) (x E x F ).
a. En mathmatiques le terme trivial dsigne des cas vidents banals et en soit sans grand intrt.

Remarque : Un sous-ensemble est un ensemble. Le symbole de linclusion apparu la premire fois sous la plume de Gergonne en 1816. Il tait contraire au sens actuel dans le sens o C dsignait la premire lettre du mot Contient dans A Contient B : A B . Cest 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 gnral dire que EF signie quil existe au moins un lment de E qui nest pas dans F. Il sagit ni plus ni moins de la ngation de x E, x F . N dsigne lensemble 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... Cest lItalien Giuseppe Peano (1858-1932) qui a utilis la lettre N pour leur ensemble (naturale en italien). Z est linitiale de nombre en allemand (Zahl). Cette appellation est due lAllemand Richard Dedekind (1831-1916). Ceci nempchera pas les profs de maths de dire aux lves que cest lensemble des zentiers. Z est lensemble des nombres entiers relatifs (integer), cest--dire des entiers naturels munis dun signe. D est lensemble des nombres dcimaux, cest--dire de la forme
a 10n

avec a dans Z et n dans N.

Q est lensemble des nombres rationnels (rationnal number), baptis ainsi par Cassiodore ; cest Peano qui a utilis la lettre Q pour leur ensemble (quotiente = quotient en italien). De faon plus formelle cest lensemble des nombres de la forme p q avec p et q des lments de Z. R est lensemble des nombres rels (real number), baptis ainsi par Descartes en 1637 ; cest lallemand Georg Cantor (18451918) qui a dsign pour la premire fois lensemble de ces nombres par R (rel=real en allemand).

cel-00765690, version 1 - 16 Dec 2012

C est lensemble des nombres complexes (complex number), baptiss ainsi par Karl Friedrich Gauss en 1831. Cest (le groupe) Bourbaki qui a rassembl ces notations et les a fait imprimer en caractre gras. Cependant, au tableau noir, il est dicile de faire des caractres gras la craie et de l est venue lide de doubler les traits. Exemple 2.3.2 Nous avons regroup dans le diagramme de Venn ci-dessous, linclusion de ces dirents ensembles.

Si E est un ensemble, il existe un ensemble appel ensemble des parties de E, not P (E ) dont les lments sont tous les ensembles inclus (au sens large) dans E (cest une autre faon dnonce laxiome des parties). F P (E ) F E . Pour dmontrer que A=B il peut tre judicieux de dmontrer 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 linclusion).

Preuve : Dire que E F et F G signie par dnition que x E x F et x F x G donc x E x G soit F G.

2.4

Suites dlments dun ensemble


6

1 ;3 ;8 ;4 ;5 ;... est une suite dlments de N. 7 ;8 ;2 ;5 ;8 ;6 ;...en est une autre (rptition de certains lments). Nous remarquons quune suite dlments de E est une liste ordonne avec rptition possible. Le premier lment de cette liste peut tre not x1 , le deuxime x2 etc...pour prciser quil y a ordre on met des parenthses donc la suite 1; 3; 8; 4; 5 scrit (1 ;3 ;8 ;4 ;5) ou (x1 , x2 , x3 , x4 , x5 ). Soit n 1, une suite nie de n objets est dite n-uplets ou n-uples ou vecteur. (x1 , x2 ) sappelle un couple au lieu de 2-uplets,(x1 , x2 , x3 ) sappelle un triplet au lieu de 3-uples. (x1 ) sidentie au singleton {x1 }. Soit i I = {1; 2; 3, ...n}. Si a x1 , x2 , x3 ..., xn on associe un lment de I (une fois pour toute, rptition possible) alors (x1 , x2 , ..., xn ) scrit (x1 )1in . Par contre (xi )iI peut signier la suite ordonne (x1 , x4 , x2 , ..., xn2 ) ou (xn , x1 , xn2 , ..., x3 )...
n n

Pour nir (a, b) = (a , b ) a = a , et b = b . I peut tre aussi bien une partie nie de N, comme il peut tre N (donc inni).

2.5

Ensemble produit

tant donns deux ensembles A et B, lensemble des couples de la forme (a,b) avec a A et b B est appel produit cartsien (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 cartsien A A se note aussi A2 .

cel-00765690, version 1 - 16 Dec 2012

Exemple 2.5.1 Si A = {1; 2} et B = {3} alors A B = {(1; 3), (2; 3)}. En pratique au lieu dcrire (x, y ) A A on peut noter x, y A. Attention : En gnral A B = B A. En eet A B = {(1; 3), (2; 3)} alors que B A = {(3; 1), (3; 2)}. Gnralisons cette notion densemble produit. Soit n N, on peut dnir : A1 A2 A3 ... An = {(a1 , a2 , ..., an )|a1 A1 , a2 A2 , ..., an An }. Remarquons ds prsent que A1 A2 A3 ... An contient tous les n-uplets possibles (listes ordonnes n lments, pris dans A1 , puis A2 ...). A1 A2 A3 ... An se note aussi
n

Ai ou
1in i=1

Ai

. (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)

Chapitre

Oprations sur les parties dun ensemble


3.1 Intersection
Dnition 6. Soient A et B deux parties dun ensemble E. On appelle lintersection de A et B note A B , la partie de E dnie par : A B = {x E |x A et x B }

cel-00765690, version 1 - 16 Dec 2012

Remarque : Deux ensembles A et B tel que A B = sont dits disjoints. En dautres termes A et B nont aucun lment en commun. Ce qui revient dire (x E, x / F ) et (x F, x / A). Mais attention ne pas confondre avec deux ensembles distincts. Dire que E et F sont distincts se traduit de faon formalis par : (x E : x / F ) ou (x F : x / E ), ce qui scrit aussi E = F . Proposition 7. x / AB x / A ou x /B

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

3.2

Runion
Dnition 8. Soient A et B deux parties dun ensemble E. On appelle lunion de A et B, la partie de E note A B dnie par : A B = {x E |x A ou x B }

Remarque : Lorsque que lon veut parler de lunion disjointe (disjoint union) de deux ensembles, nous utiliserons la notation : . Do si A et B sont disjoints alors leurs union est A B . Proposition 9. x / AB x / A et x /B

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

3.3

Dirence
Dnition 10. Soient A et B deux parties dun ensemble E. On appelle dirence de A et B, la partie de E note A B dnie par : A B = A\B = {x A|x / B}

Remarque : Si on considre B inclus dans A et B = {x1 } alors A\B signie que lon prend les lments dans A mais pas dans B, cest--dire dans notre cas les lments de A priv de x1 . Nous retrouvons donc la notation usite en lyce comme par exemple R\{1} ou R {1} et qui est en fait un cas particulier des ensembles symtriques.

cel-00765690, version 1 - 16 Dec 2012

3.4

Dirence symtrique
Dnition 11. Soient A et B deux parties dun ensemble E. On appelle la dirence symtrique de A et B, la partie de E note AB dnie par : AB = (A\B ) (B \A) = {x A|x / B }.

3.5

Complmentaire
Dnition 12. Soit A une partie dun ensemble E. On appelle le complmentaire (complement) de A dans E, la partie de E dnie par : CE A = E \A = {x E |x / A}

On pourra noter A au lieu de CE A sil ny a pas de risque de confusion.

Remarque : Les notions A\B et CA B concident si A B ou B A.

3.6

Proprits

CE () = E : CE () = E \ = {x E |x / }. Or tous les lments de E ne sont pas dans lensemble vide sinon ne serait pas vide. CE (E ) = : CE (E )) = {x E |x / E }. Un lment x ne peut pas tre et ne pas tre dans E. CA () = A : Ce sont les lments dans A qui ne sont pas dans . Comme il ny a pas dlment dans lensemble vide, tout lment de A convient.

cel-00765690, version 1 - 16 Dec 2012

A B CE (B ) CE (A) : Soient P(x) et Q(x) deux prdicats. On dnit 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 entrane Q(x) vraie nous voyons donc que lon peut associer cela x A x B soit A B . Comme P Q N on(Q) N on(P ) est une tautologie (On suppose bien que A et B sont plongs dans un ensemble E an que Non(P) et Non(Q) est en sens cest--dire correspondent au complmentaire de A dans E ou de B dans E), le rsultat est alors immdiat. CE (CE (A)) = : prouvons le par un schma :

-A B = A B (lois de Morgan) : x A B alors x / A B do x / A et x / B donc x A et x B . Rciproquement x A B soit x A et x B donc x / A et x / B do x / A B cest--dire x A B do 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 . Rciproquement x A B donc x / A ou x / B soit x / A B donc x A B . Do 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 mme par symtrie. A = A = A :A = {x A ou x } = {x ou x A} = A. Comme x ne peut appartenir (par dnition) on a donc {x A ou x } = {x A}. on dit que est un lment neutre pour . A B A, A B B : si x est dans A et B alors x est dans A. De mme par symtrie. 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, nalement 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, smantiquement est quivalent dire que x est dans B et x est dans A. On dit que est commutative.

10

-A = A=A : Cest un cas particulier du cas prcdent et A = {x et x A}, or il ny a aucun lment dans lensemble 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 prdicats. On dnit 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 lon peut associer cela x A B . Nous savons que P ou (Q ou R) quivaut (P ou Q) ou R), est une tautologie (cest--dire toujours vraie). Ainsi x A (B C ) x (A B ) C , cest--dire A (B C ) (A B ) C et A (B C ) (A B ) C do la conclusion. On dit que est associative. -A B = B A B :

Si A B alors daprs le premier diagramme de Venn, nous avons A B = B . Rciproquement si nous avons A B = B , nous pouvons envisager trois cas. Daprs 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 .

cel-00765690, version 1 - 16 Dec 2012

-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 prdicats, 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 daprs le premier schma, A B = B . Rciproquement si nous envisageons les trois cas possibles, nous remarquons que seul le premier convient. -A (B C ) = (A B ) (A C ) : Il sut de considrer 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 sut de considrer 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 : Cest un corollaire du cas prcdent avec B=A et C=B. On parle dgalits modulaires. -A\B = A B = A B : Nous envisagerons les 3 cas possibles sur un diagramme de Venn :

-AB = B A : AB = (A\B )(B \A), comme est commutative la conclusion est immdiate. On dit que est commutative.

11

-A = A : A = (A\) (\A) = A A = A. On dit que est neutre pour . -AA = : AA = (A\A) (A\A) = (A\A) = {x A et x / A} = . Tout lment de P (E ) est son symtrique par . -AB = (A B )\(B A) : AB = (A\B )(B \A) = (A\(AB )(B \(AB )) = {x A et x / AB }{x B et x / AB }. Do en terme de prdicats, cela donne : (P et R) ou (Q et R). Soit en mettant R en facteur puisque et est distributive par rapport ou, nous obtenons lquivalence (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)

cel-00765690, version 1 - 16 Dec 2012

12

Chapitre

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

4.2
cel-00765690, version 1 - 16 Dec 2012

Partitions

n N . Soient I = {1; 2; ...; n} et E un ensemble. Une famille {Ai }iI de parties de E est appele une partition de E ssi : -i I, Ai = -(i; j ) I 2 , (i = j Ai Aj = ). Ensembles deux deux disjoints. -iI Ai = E Nous aurions pu dire galement quune famille {Ai }iI de parties de E est appele partition de E ssi : -i I, Ai = - i 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 dnie est une partition puisque chaque lment est non vide, deux deux disjoints et videment, la runion de ces trois lments est E.

13