1. Notion d'ensemble, appartenance et inclusion
1.1 Ensemble et éléments
Un ensemble est une collection d'objets appelés éléments. On peut décrire un ensemble :
- En extension : en listant ses éléments, par exemple .
- En compréhension : par une propriété caractéristique, par exemple .
Définition
Soit un ensemble. Dire que appartient à , noté , signifie que est un élément de . Sinon, on écrit .
L'ensemble vide, noté , est l'ensemble ne contenant aucun élément : .
1.2 Inclusion
Définition
On dit que est inclus dans , et on note , lorsque tout élément de est élément de :
On dit alors que est une partie (ou un sous-ensemble) de .
Propriétés de l'inclusion
Pour tous ensembles , , :
- Réflexivité : .
- Transitivité : si et alors .
- Antisymétrie : .
- pour tout ensemble .
Remarque importante : il ne faut pas confondre (relation entre un élément et un ensemble) et (relation entre deux ensembles).
2. Ensemble des parties
Définition
L'ensemble des parties d'un ensemble , noté , est l'ensemble dont les éléments sont toutes les parties de :
En particulier, et .
Propriété (cardinal)
Si est un ensemble fini à éléments, alors possède éléments.
Exemple résolu 1
Soit . Déterminons .
possède éléments, donc possède éléments :
.
On remarque que alors que , et que alors que .
3. Opérations sur les ensembles
Dans toute la suite, , , désignent des parties d'un même ensemble de référence .
3.1 Réunion et intersection
Définition
La réunion de et est l'ensemble des éléments appartenant à ou à :
Définition
L'intersection de et est l'ensemble des éléments appartenant à et à :
Lorsque , on dit que et sont disjoints.
3.2 Complémentaire et différence
Définition
Le complémentaire de dans , noté (ou ), est l'ensemble des éléments de qui n'appartiennent pas à :
Définition
La différence est l'ensemble des éléments de qui ne sont pas dans :
3.3 Propriétés des opérations
Propriétés
- Commutativité : ; .
- Associativité : ; .
- Idempotence : ; .
- Éléments neutres / absorbants : ; ; ; .
- Complémentaire : ; ; .
Distributivité
L'intersection est distributive sur la réunion, et réciproquement :
Lois de De Morgan
Le complémentaire échange réunion et intersection :
Exemple résolu 2
Soit , et . Calculons quelques ensembles.
- .
- .
- et .
- .
Vérifions la loi de De Morgan : , et . Les deux résultats coïncident bien.
4. Produit cartésien
Définition
Le produit cartésien de deux ensembles et est l'ensemble des couples ordonnés où et :
L'égalité de deux couples est définie par : . En général .
Propriété (cardinal)
Si a éléments et a éléments, alors a éléments. On note .
5. Applications : définition, image et antécédent
Définition
Une application d'un ensemble vers un ensemble est une correspondance qui associe à chaque élément de un unique élément de , noté . On écrit :
est l'ensemble de départ, l'ensemble d'arrivée.
Définition (image et antécédent)
Pour , l'élément est l'image de par . Réciproquement, si , on dit que est un antécédent de par .
Chaque admet une image unique, mais un élément de peut avoir aucun, un ou plusieurs antécédents.
Égalité de deux applications
Deux applications et sont égales si elles ont même ensemble de départ, même ensemble d'arrivée, et pour tout .
6. Image directe et image réciproque d'une partie
Image directe
Soit et . L'image directe de par est :
Image réciproque
Soit et . L'image réciproque de par est :
Attention : la notation ne suppose pas que soit bijective ; il s'agit ici d'un ensemble d'antécédents.
7. Applications injective, surjective, bijective
Injection
est injective si deux éléments distincts ont des images distinctes :
Autrement dit, tout élément de admet au plus un antécédent.
Surjection
est surjective si tout élément de admet au moins un antécédent :
De façon équivalente : .
Bijection
est bijective si elle est à la fois injective et surjective : tout élément de admet un unique antécédent.
8. Composition d'applications
Définition
Soit et . La composée est l'application de vers définie par :
Propriétés
- La composition est associative : .
- Elle n'est en général pas commutative : .
- Si et sont injectives, alors est injective.
- Si et sont surjectives, alors est surjective.
- Si et sont bijectives, alors est bijective.
9. Application réciproque, restriction et prolongement
9.1 Application réciproque d'une bijection
Définition
Si est bijective, il existe une unique application , appelée application réciproque, telle que :
Propriétés caractéristiques
Pour une bijection :
où est l'application identité de . De plus, est elle-même bijective et . Si et sont bijectives, .
9.2 Restriction et prolongement
Restriction
Soit et . La restriction de à est l'application définie par pour tout .
Prolongement
Réciproquement, si et , une application est un prolongement de à si , c'est-à-dire pour tout .
Remarque : restreindre une application peut la rendre injective (en réduisant le départ) ; restreindre l'arrivée à la rend surjective. C'est une technique courante pour rendre une application bijective.