Académique Documents
Professionnel Documents
Culture Documents
MATHMATIQUES L1-S1
OPRATIONS SUR LES ENSEMBLES 1. Dfinitions On dfinit les oprations suivantes sur les ensembles : ={ } (intersection de et ; on lit : inter A B = { : } (runion de et : union ) = { : } (diffrence de et : moins ) )
On dit que deux ensembles et sont disjoints si = (autrement dit, et nont pas dlment commun). Dans un diagramme dEuler, si les ensembles et sont reprsents, respectivement, par lintrieur dun cercle, leur intersection est la superposition de ces deux rgions. Ainsi, si et ne sont pas disjoints, mais distincts, est reprsent par la zone grise de la Figure 1 :
et
sont disjoints (
= ):
Reprsentation de la runion (rgion grise) : et non-disjoints (mais distincts) Cas o et sont disjoints
Exercice 1. Dterminer les ensembles suivants : , , , , ( ) Exercice 2. Montrer que, pour tous les ensembles et , et .
Exercice 3. Montrer que les noncs suivants sont quivalents pour tous les ensembles et : 1. 2. =A 3. =B 2. Ensemble universel et complmentation Si est un ensemble, on peut dire que, pour tout , ou . Les qui vrifient forment prcisment l'ensemble . Mais les qui vrifient ne forment pas un ensemble (parce qu'il n'existe pas d'ensemble de tous les ensembles). On ne peut donc parler de l'ensemble des objets qui ne sont pas lments de . Mais si est un sous-ensemble d'un ensemble , on peut parler de l'ensemble des lments
de qui ne sont pas lments de . Il s'agit simplement de l'ensemble , que l'on note , ce qui se lit A barre ; il s'agit du complment de A dans U. L'opration correspondante est la complmentation. Cette opration n'a de sens que si l'on donne un ensemble de rfrence non-vide, que l'on appelle un ensemble universel. 3. Diagrammes de Venn La donne d'un ensemble universel permet de reprsenter les relations et oprations lmentaires sur les sous-ensembles (non-vides) de par des diagrammes de Venn. L'ensemble est reprsent par un rectangle, et ses sous-ensembles non-vides par des rgions l'intrieur du rectangle. Par exemple, pour la complmentation :
et