Chapitres Maths en MPSI, PCSI, MP2I, PTSI
Chapitres Maths en MPSI, PCSI, MP2I, PTSI
Cours : Ensembles et applications en Maths Sup MP2I, MPSI, PCSI, PTSI
Résumé de cours Exercices et corrigés
Cours en ligne de Maths en Maths Sup
Résumé de cours et méthodes – Ensembles et applications en Maths Sup
Plan :
1. Raisonnements sur les ensembles
2. Raisonnements sur les applications
3. Image directe et image réciproque
4. Relations d’équivalence et d’ordre
5. Lois internes
6. Structures
Ce chapitre fait partie des fondamentaux de l’année de maths sup. Les raisonnements et les propriétés qui seront travaillées en classe de MPSI, PCSI, PTSI ou encore de MP2I vous serviront durant les deux années de CPGE. Pour exceller, n’hésitez pas à faire appel à nos meilleurs professeurs de maths à domicile qui vous aideront à maitriser tous les éléments de ce chapitre.
1. Raisonnements sur les ensembles en MPSI, MP2I, PCSI, PTSI
1.1. Égalité et inclusion
Pour démontrer que l’ensemble
est inclus dans l’ensemble
, on démontre que tout élément de
est élément de
.
Il faut prendre le bon départ :
Si la propriété est vraie, pour démontrer que
, on part de
, pour arriver à
, en utilisant dans la démonstration la propriété
.
Un raisonnement consistant à traduire l’hypothèse ne permet pas de prendre le bon départ, donc ne permet pas de prouver l’inclusion attendue.
exemple : Soient trois parties de
. Démontrer que
.
Correction : Il faut s’assurer de prendre le bon départ : on cherche à prouver une inclusion.
On part donc de : ,
lorsque
,
car
lorsque
,
car
donc
.
Dans les deux cas, .
On a donc prouvé que .
Pour démontrer que l’ensemble
n’est pas inclus dans l’ensemble
, on cherche un élément de
qui n’est pas élément de
.
Pour utiliser le fait que
n’est pas inclus dans
, on introduit
tel que
.
Il est parfois possible de démontrer l’inclusion
en raisonnant directement sur les ensembles et en utilisant les propriétés de l’intersection et de la réunion.
exemple : Soient trois parties de
. Démontrer que
.
Correction : On utilise la suite d’inclusions
pour démontrer que .
Si l’on veut raisonner avec les éléments, on part de .
Alors , donc
et en particulier
.
On a prouvé que tout élément de
est élément de
, donc prouvé que
.
Pour démontrer que les ensembles
et
sont égaux, il suffit de prouver que
et que
.
Pour démontrer que les ensembles E et
sont différents, il suffit de trouver un élément
de
qui n’est pas dans
ou de trouver un élément
de
qui n’est pas dans
.
Il est parfois possible de démontrer l’égalité
en raisonnant directement sur les ensembles et en utilisant les propriétés des lois intersection et réunion.
exemple : Soient quatre parties de
. Si
,
et
,
on peut établir directement que .
Correction : On suppose que et
où
.
En utilisant les hypothèses :

A ne pas confondre les différentes notations.
Si est un ensemble, si
et
sont deux parties de
et
un élément de
, on écrit :
ou
ou
mais
si
est inclus dans
,
ou
.
Bien distinguer « » de «
« .
1.2. Complémentaires
Définition :
Si est une partie de
, le complémentaire de
est l’ensemble des éléments de qui ne sont pas dans
.
Manipuler correctement les complémentaires :
et
Si
,
Si
et
,
et
.
Pour toute famille non vide
de parties de
.
et
.
Une formule utile :
Si et
sont deux parties de
,
.
Elle découle de .
1.3. Propriétés de la réunion et l’intersection (PCSI)
Soit un ensemble.
Si sont trois parties de
,
Associativité :
.
.
Commutativité
.
.
Avec
et
,
.
.
.
Distributivité
de l’intersection par rapport à la réunion
.
de la réunion par rapport à l’intersection
.
1.4. Réunion et intersection d’une famille quelconque
Soit un ensemble et
un ensemble non vide.
On suppose que .
Soit .
ssi
ssi
.
Dans la suite, on garde les mêmes notations.
Propriétés
si
Lois de Morgan
COURS DE MATHS
Nous avons recruté pour vous les meilleurs professeurs particuliers de maths
S'EXERCER ET APPRENDRE
Avis Google France ★★★★★ 4,8 sur 5
2. Raisonnements sur les applications en prepa maths sup
2.1. Les définitions
Connaître les différentes notations
Si et
sont deux ensembles non vides,
est l’ensemble des applications de
dans
.
est l’élément de
défini par
.
Si
, l’indicatrice de
est l’application notée
définie par
.
👍 Si et
sont deux parties de
,
ssi
ssi
.
On peut donc utiliser les fonctions indicatrices pour démontrer l’égalité ou l’inclusion de deux ensembles.
Si
est une partie de
et
, la restriction de
à
est
,
.
Si
est une partie de
, on appelle prolongement de
à
toute application
telle que la restriction de
à
soit égale à
.
Soient
et
une partie de
,
est stable par
ssi
ssi
.
Si
est stable par
, on peut définir l’application induite par
sur
:
.
Composition
Soient
,
et
3 ensembles non vides, si
et
, on peut définir
par
⚠️ Toujours vérifier que la composition a un sens.
Si , on peut toujours définir
et
.
Si
,
,
et
sont quatre ensembles non vides, si
,
et
,
Cette application est notée .
2.2. Injection
Dans ce paragraphe, est une application de
dans
.
pour démontrer que
est une injection, on démontre que si
et
sont deux éléments de
tels que
, alors
.
pour démontrer que
est une injection, il suffit de montrer que
est la composée de deux injections.
pour démontrer que
n’est pas injective, on cherche
dans
tels que
.
⚠️ : pour démontrer que sous l’hypothèse , l’application
définie sur
est injective, il faut prendre le bon départ :
On part de et
dans
tels que
et on obtient (en utilisant
au cours du raisonnement) que
.
exercice : Soit .
S’il existe tel que
est injective,
est injective.
Correction : Soit tel que
, ce sont deux éléments de
.
On prend l’image par :
soit
,
comme est injective,
.
On a prouvé que est injective.
2.3. Surjection
Dans ce paragraphe, est une application de
dans
.
pour démontrer que
est une surjection de
sur
, on démontre que pour tout élément
de
, on peut trouver
dans
tel que
.
Ce qui revient à prouver que .
Pour démontrer que
est surjective, il suffit de montrer que
est la composée de deux surjections.
Pour prouver que
n’est pas surjective, on trouve
tel que pour tout
,
.
⚠️ : pour démontrer que sous l’hypothèse , l’application
définie sur
à valeurs dans
est surjective, il faut prendre le bon départ :
On part de et il faut trouver
(en utilisant
au cours du raisonnement) tel que
.
Exercice : Soit .
S’il existe tel que
est surjective,
est surjective.
Correction : L’application est définie et
.
Soit , comme
est surjective, il existe
tel que
,
on écrit donc où
.
On a prouvé que est une surjection de
sur
.
2.4. Bijection
Dans le paragraphe, est une application de
dans
.
Il y a équivalence entre
est une bijection de
sur
est injective et surjective
pour tout
de
, il existe un et un seul
de
tel que
il existe
tel que
et
( alors ).
Dans le cas où
est une fonction définie dans un intervalle
de
à valeurs dans
, on peut chercher à démontrer que
est continue sur
, strictement monotone sur
et que
. Alors
est une bijection de
sur
.
Dans ce cas les graphes de et de
sont symétriques par rapport à la droite d’équation
.
Si
vérifie
, alors
est une bijection et
.
Lorsque
est une bijection de
sur
, pour déterminer
:
on peut résoudre l’équation :
et
,
, alors
.
on peut déterminer une fonction
de
dans
telle que
ou telle que
, alors
.
Si
est une composée de deux bijections,
est bijective.
⚠️ si
et
, lorsque
et
sont des bijections,
est une bijection de
sur
et
Un petit dessin pour illustrer.
COURS DE MATHS A DOMICILE
Les meilleurs profs de maths pour
réussir sa scolarité
En ligne ou à domicile
Avis Google France ★★★★★ 4,9 sur 5
3. Image directe et image réciproque
3.1. Les définitions
Soient ,
une partie de
et
une partie de
.
Connaître les définitions :
l’image directe de
par
:
c’est une partie de .
l’image réciproque de
par
:
c’est une partie de .
Savoir les traduire :
ssi
ssi
.
⚠️ : Si est une partie de
, on peut définir
même si
n’est pas bijective.
Lorsque est bijective,
est aussi l’image directe de
par l’application réciproque
.
On peut définir pour tout ,
qui est une partie de
, mais pour définir
, l’application
doit être bijective et dans ce cas,
est un élément de
.
⚠️ Il faudra faire attention :
Lorsque
est élément de
,
est un élément de
et
est une partie de
.
Lorsque
est une partie de
,
est une partie de
.
Lorsque
est une partie de
,
est une partie de
.
Deux images pour illustrer (image directe puis image réciproque)


3.2. Les propriétés
Soit une application de
dans
.
est une surjection de
sur
ssi
.
Vous pouvez utiliser les évidences :
.
.
Dans la suite, les propriétés énoncées ne sont pas explicitement au programme mais seront démontrées dans une des autres tâches.
les propriétés de l’image directe
Si et
,
⚠️ inclusion seulement dans le cas général : prendre ,
et
,
et
.
les propriétés de l’image réciproque
Si et
,
.
les propriétés combinées
Si
,
Si
,
.
⚠️ en général ce ne sont que des inclusions
Démonstration : Première propriété
Si
,
pour tout ,
donc par définition de l’image réciproque,
.
On a prouvé que .
un exemple d’inclusion stricte.
Prendre
,
et
.
Deuxième propriété
Si
,
pour tout , il existe
tel que
et par définition de l’image réciproque,
soit
.
On a prouvé que .
un exemple d’inclusion stricte.
Prendre
,
et
4. Relation d’équivalence et relation d’ordre
4.1. Relation binaire
Soit un ensemble
Se donner une relation binaire
sur
revient à se donner une partie
de
et on écrit alors
.
Soit
une relation binaire sur l’ensemble
.
est réflexive si
est symétrique si
est antisymétrique si
et
est transitive si
et
4.2. Définitions
Soit un ensemble.
Une relation binaire
sur
est une relation d’équivalence lorsqu’elle est réflexive, symétrique et transitive.
exemples :
Sur tout ensemble
, »
» définit une relation d’équivalence.
Sur l’ensemble
des droites du plan
la relation »
est parallèle à
» définit une relation d’équivalence.
Si
est une relation d’équivalence sur
et
,
la classe d’équivalence de suivant
est la partie de
définie par
elle peut aussi être notée ou
.
si
,
ou
.
.
L’ensemble des classes d’équivalence forme une partition de .
4.3.Congruence
Si
, on définit si
,
C’est une relation d’équivalence sur appelée relation de congruence modulo
(cas usuel en trigonométrie :
ou
).
Si
, on définit si
,
C’est une relation d’équivalence sur appelée relation de congruence modulo
.
Pour la relation de congruence modulo , il y a
classes d’équivalence définies pour
par
.
Exercice
La relation de congruence modulo est une relation d’équivalence sur
vérifiant
si et
,
et
.
Correction :
Relation d’équivalence
Pour tout
donc
.
Si
vérifie
donc
avec
, donc
.
Si
vérifie
et
.
et
, donc
avec
, donc
.
On a démontré que la relation de congruence modulo est une relation d’équivalence sur
.
Classes d’équivalence.
On suppose que
, alors
et
ne sont pas congrus modulo
.
En effet n’est pas divisible par
, alors
. Il y a donc au moins
classes d’équivalence.
ssi
est un multiple de
, donc
.
Pour tout
, par division euclidienne, on écrit
avec
et
, donc
et
.
Pour la relation de congruence modulo , il y a
classes d’équivalence
si ,
Opérations sur les congruences.
On suppose que et
tel que
et
.
Par somme,
avec
donc
.
Par produit,
avec
, donc
.
4.4. Relation d’ordre
Soit un ensemble non vide.
Une relation binaire sur
est une relation d’ordre lorsqu’elle est réflexive, antisymétrique et transitive.
On la note souvent .
On dit alors que l’ensemble est un ensemble ordonné.
La relation d’ordre
sur
est une relation d’ordre total lorsque pour tout
, au moins une des deux relations
ou
est vérifiée.
On dit alors que est un ensemble totalement ordonné.
La relation d’ordre
sur
est une relation d’ordre partiel lorsqu’ il existe
tel que les relations
et
soient fausses.
On dit alors que est un ensemble partiellement ordonné.
exemples
sur
, la relation
définit une relation d’ordre total.
Si
est un ensemble contenant au moins deux éléments, la relation
définit une relation d’ordre partiel sur
.
Si
est une partie contenant au moins deux éléments, la relation définie sur
par
est une relation d’ordre partiel.
5. Loi interne
Définir une loi de composition interne sur un ensemble
revient à se donner une application
.
Si , on note souvent
ou
ou
etc …
exemples :
Sur
, l’intersection, la réunion.
Sur
, l’addition définie si
par
.
Sur
, la loi
.
Pour démontrer qu’une loi de composition interne
définie sur
est associative, on démontre que
Pour démontrer qu’une loi de composition interne
définie sur
n’est pas associative, on trouve trois éléments
et
de
tels que
.
Pour démontrer qu’une loi de composition interne
définie sur
est commutative, on démontre que
.
Pour démontrer qu’une loi de composition interne
définie sur
n’est pas commutative, on trouve deux éléments
et
de
tels que
.
Pour démontrer qu’une loi de composition interne
définie sur
est distributive par rapport à la loi
, on démontre que
et
.
👍 la deuxième égalité étant inutile si la loi est commutative.
Pour démontrer qu’une loi de composition interne
définie sur
n’est pas distributive par rapport à la loi
, on trouve trois éléments
et
de
tels que
ou .
Pour démontrer qu’une loi de composition interne
définie sur
admet un élément neutre :
a) si l’on a l’intuition de la valeur de l’élément neutre , on vérifie que l’on a bien
.
👍 La démonstration de suffit dans le cas d’une loi commutative.
b) sinon, on écrit que ,
pour chercher à déterminer .
Si le raisonnement n’a pas été fait par équivalence, après avoir trouvé , il faut vérifier que pour tout
de
,
.
👍 La recherche de peut se faire uniquement au brouillon, et dans un devoir on peut se limiter au raisonnement décrit en a).
Pour démontrer qu’un élément
admet un symétrique pour la loi de composition interne
d’élément neutre e,
a) si l’on a l’intuition de la valeur du symétrique de
: on vérifie que l’on a bien
.
👍 La démonstration de l »égalité suffit dans le cas d’une loi commutative.
b) sinon, on écrit que
pour chercher à déterminer .
Si le raisonnement n’a pas été fait par équivalence, après avoir trouvé , il faut vérifier que
.
👍 La recherche de peut se faire uniquement au brouillon, et dans un devoir, on peut se limiter au raisonnement décrit en a).
Pour démontrer que la partie
de
est une partie stable pour la loi de composition interne
définie sur
, on doit prouver que pour tous
et
de
,
est élément de
.
Pour prouver que
n’est pas une partie stable pour la loi
, on doit trouver
et
dans
tels que
ne soit pas élément de
.
Propriétés
Si la loi interne est associative,
si l’élément neutre existe, il est unique
si la loi
possède un élément neutre, le symétrique de
lorsqu’il existe est unique.
On suppose dans la suite que la loi est associative.
Quand la loi est notée additivement, si la loi possède un élément neutre, il est noté et le symétrique de
, s’il existe, est noté
et appelé opposé de
.
Quand la loi est notée multiplicativement, si la loi possède un élément neutre, il est noté et le symétrique de
, s’il existe, est noté
et appelé inverse de
.
prop Soit un ensemble muni d’une loi interne associative notée multiplicativement.
Si et
possèdent un inverse,
possède un inverse et
.
Exemple :
Soit un ensemble contenant au moins deux éléments. Quelles sont les propriétés des lois internes «
» et «
» dans
?
Correction : Propriétés de la réunion :
La réunion est associative et commutative.
est élément neutre pour la loi
car pour tout .
Seul
a un symétrique pour la loi
Car si , pour tout
,
, donc
.
Propriétés de l’intersection :
L’intersection est associative et commutative.
est élément neutre pour la loi
car pour tout .
Seul
a un symétrique pour la loi
Car si , pour tout
,
, donc
.
Propriétés conjointes :
La réunion est distributive par rapport à l’intersection :
si
.
L’intersection est distributive par rapport à la réunion :
si
.
6. Structures
6.1. Groupe
Soit
un ensemble non vide muni d’une loi interne notée
.
On dit que est un groupe si, et seulement si,
la loi
est associative
la loi
possède un élément neutre noté
tout élément
de
possède un symétrique noté
.
Si, de plus, la loi est commutative, le groupe est dit commutatif.
exemples :
Si
est un ensemble non vide, l’ensemble des bijections de
sur
est un groupe pour la loi
, appelé groupe des permutations de
et noté
.
est un groupe commutatif
est un groupe commutatif.
notations :
Si est un groupe d’élément neutre
et
, on définit
et si
si
.
Si est un groupe d’élément neutre
et
, on définit
et si
si
.
exercice :
Si est une loi de composition interne sur
, associative et admettant un élément neutre
, l’ensemble
des éléments inversibles de
est un groupe pour la multiplication.
Démonstration :
est non vide car
est inversible, d’inverse égal à lui même.
Si
, on a vu que
est inversible.
Donc la loi est une loi interne dans
.
La multiplication est associative dans
car elle l’est dans
.
est encore élément neutre dans
.
Si
,
est inversible d’inverse égal à
, donc
.
On a prouvé que est un groupe .
6.2. Sous-groupe
Soit
un groupe et
une partie non vide de
. Il y a équivalence entre
est un sous-groupe de
.
et
alors est un groupe.
👍 : Pour démontrer que est non vide, on démontre que
contient l’élément neutre de
.
Remarque :
si est un sous groupe de
lui même sous-groupe de
,
est un sous-groupe de
.
exemples
,
,
sont des sous-groupes pour la loi
de
.
,
sont des sous-groupes pour la loi
de
.
(ensemble des complexes de module 1) est un sous groupe de
et pour tout
,
,
(ensemble des racines
-ièmes de 1) est un sous-groupe de
.
En cours d’année :
L’ensemble
des automorphismes de
est un sous-groupe de
.
Si
et
, l’ensemble
des matrices carrées d’ordre
à coefficients dans
inversibles est un groupe pour la multiplication des matrices, appelé groupe spécial linéaire d’ordre
.
6.3. Anneau
Soit
un ensemble non vide muni de deux lois de composition internes notées «
» et «
« .
On dit que est un anneau si, et seulement si,
est un groupe commutatif (l’élément neutre pour l’addition est noté
ou
s’il n’y a pas de confusion possible, le symétrique de
pour l’addition est noté
)
la multiplication est associative, possède un élément neutre noté
(ou
s’il n’y a pas de confusion possible) et la multiplication est distributive par rapport à l’addition.
Si la multiplication est commutative, l’anneau est dit commutatif.
Soient
un anneau et
une partie non vide.
Sur , on définit deux lois internes par
si ,
est définie par
est définie par
.
est un anneau commutatif.
L’élément neutre pour l’addition est .
L’élément neutre pour la multiplication est .
⚠️ Si est un anneau,
et
n’impliquent pas
.
h.p. Si est un anneau tel que si
ou
, on dit que l’anneau est intègre.
En cours d’année, vous rencontrerez les anneaux suivants :
l’anneau des polynômes à coefficients dans
l’anneau des endomorphismes de
Si
,
l’anneau des matrices carrées d’ordre
à coefficients dans
.
Calculs dans l’anneau ,
Si
, on note
On note si et
est défini par récurrence par
,
et
Puis si .
est défini par récurrence par
et si
Prop : Si
,
et
et
,
.
Soient
un anneau et
. Si
et
sont deux éléments de
tels que ⚠️
,
formule de Leibniz :
binôme de Newton :
.
6.4. Corps
Un corps est un triplet tel que
est un anneau commutatif contenant au moins deux éléments et tel que tout élément de
est inversible pour la multiplication.
exemples
,
et
sont des corps.
En cours d’année, vous rencontrerez
le corps des fractions rationnelles à coefficients dans
.
Retrouvez gratuitement les chapitres à venir de Maths au programme de Maths Sup et les méthodes essentielles à la réussite de votre année en Maths Sup :