Vous êtes sur la page 1sur 12

Logique, ensembles, applications et relations binaires

Essaidi Ali
12 juillet 2015

1
1.1

Notions de logique :
Proposition :

Dfinition 1.1 Une proposition est un nonc qui peut prendre deux valeurs logiques V (vrai) ou F (Faux).
Exemples :
(1 < 2) est une proposition vraie.
(2 = 0) est une proposition fausse.
(Toute fonction drivable est continue) est une proposition vraie.
Remarques :
Une proposition se dit aussi assertion.
Valeur logique se dit aussi valeur de vrit.
Deux propositions ont mme mme valeur de vrit si elles sont la fois vraies ou la fois fausses.
On note aussi 1 pour la valeur logique V et 0 pour F .
On appelle table de vrit dune proposition P un tableau deux lignes qui contient P dans la premire ligne et sa valeur
logique dans la deuxime.
Dfinition 1.2 Un axiome ou tautologie est une proposition que lon suppose vraie.
Exemple : Par un point passe une et une seule droite parallle une droite donne.
Dfinition 1.3 Soient P et Q deux propositions. On appelle :
Ngation de P la proposition, note P ou qP , qui est vraie si P est fausse et fausse si P est vraie.
Conjonction de P et Q la proposition, note (P et Q) ou P Q, qui est vraie si, et seulement si, P et Q sont la fois
vraies.
Disjonction de P et Q la proposition, note (P ou Q) ou P Q, qui est fausse si, et seulement si, P et Q sont la fois
fausses.
Implication de P Q la proposition, note P Q, qui est fausse si, et seulement si, P est vraie et Q est fausse.
Equivalence de P et Q la proposition, note P Q, qui est vraie si, et seulement si, P et Q ont mme valeur de
vrit.
"q", "ou", "et", "" et " " sappellent des connecteurs logiques.
Remarque : On peut rsumer les dfinitions prcdentes dans la table de vrit suivante :
P
V
V
F
F

Q
V
F
V
F

P
F
F
V
V

P et Q
V
F
F
F

P ou Q
V
V
V
F

Proprit 1.1 Soient P, Q et R trois propositions.


Associativit :
((P et Q) et R) (P et (Q et R)).
((P ou Q) ou R) (P ou (Q ou R)).
Distributivit :
(P et (Q ou R)) ((P et Q) ou (P et R)).
(P ou (Q et R)) ((P ou Q) et (P ou R)).
Lois de Morgan :

P et Q (P ou Q).

P Q
V
F
V
V

P Q
V
F
F
V

CPGE Laayoune

Lissane Eddine

Essaidi Ali

P ou Q (P et Q).
P ).
Contrapos : (P Q) (Q

Ngation de limplication : P Q (P et Q).


Transitivit de limplication : ((P Q) et (Q R)) (P R).
Equivalence : ((P Q) et (Q P )) (P Q).

Remarque : Condition ncessaire, condition suffisante : Soient P et Q deux propositions.


Supposons que P Q est vraie :
Si P est vraie alors Q est vraie. On dit que P est une condition suffisante de Q.
Pour que P soit vraie il faut que Q soit vraie. On dit que Q est une condition ncessaire de P .
Supposons que P Q est vraie :
P est vraie si, et seulement si, Q est vraie. On dit que Q est une condition ncessaire et suffisante de P .
On dit aussi que pour que P soit vraie il faut et il suffit que Q soit vraie.
Exemples : Soit x R. La proposition 1 x 0 x est vraie donc :
La proposition (1 x) est une condition suffisante pour la ralisation de la proposition (0 x).
La proposition (0 x) est une condition ncessaire pour la ralisation de la proposition (1 x).

1.2

Quantificateurs :

Dfinition 1.4 On appelle prdicat ou fonction logique ou fonction propositionnelle sur un ensemble E tout nonc qui contient
des variables de E et qui devient une proposition chaque fois quon donne aux variables des valeurs dans E.
Une fonction logique est note, P (x) ou gnralement P (x1 , . . . , xn ) si le nombre des variables est n.
Exemples :
(x 0) est une fonction propositionnelle sur R. Lorsque x prend une valeur relle on obtient une proposition. Par
exemple, pour x = 1, on obtient (1 0) qui est une proposition vraie.
(x = y) est une fonction propositionnelle sur R2 . Lorsque (x, y) prend une valeur dans R2 on obtient une proposition.
Par exemple, pour (x, y) = (0, 1), on obtient (0 = 1) qui est une proposition fausse.
Dfinition 1.5 Soit E un ensemble et P une fonction logique sur E.
La proposition (x E, P (x)) veut dire quil existe au moins un lment x de E tel que P (x) soit vrai.
La proposition (x E, P (x)) veut dire que pour tout lment x de E, P (x) est vrai.
La proposition (!x E, P (x)) veut dire quil existe un unique lment x de E tel que P (x) soit vrai.
Les symboles et sappellent respectivement quantificateur universel et quantificateur existentiel.
Remarque : Soit E un ensemble et P une fonction logique sur E. Alors :
(!x E, P (x)) [(x E, P (x)) et (a, b E, (P (a) et P (b)) (a = b))]
Exemples :
La proposition (x R, x 0) se lit "pour tout rel x, x est positif" ou "tous les rels sont positifs". Cette proposition
est fausse car 1 est un rel qui nest pas positif.
La proposition (x N, x R) se lit "pour tout entier naturel x, x est un rel" ou "tous les entiers naturels sont des
rels". Cette proposition est vraie car les entiers naturels sont un cas particulier des nombres rels.
La proposition (x R, x 0) se lit "il existe au moins un rel x tel que x soit positif" ou "R contient ou moins un rel
positif". Cette proposition est vraie car 0 est un rel positif.
La proposition (x R, x2 = 1) se lit "il existe au moins un rel x tel que x2 = 1" ou "R contient ou moins un rel
x tel que x2 = 1"". Cette proposition est fausse car un tel rel nexiste pas.
Proprit 1.2 Ngation des quantificateurs : Soit E un ensemble et P une fonction de E vers {V, F }.
x E, P (x) (x E, P (x)).
x E, P (x) (x E, P (x)).
Remarques :
Soit E un ensemble et P une fonction de E vers {V, F }.
Pour montrer que la proposition (x E, P (x)) est fausse, on cherche un lment particulier x de E tel que la
proposition P (x) soit fausse.
Pour montrer que la proposition (x E, P (x)) est fausse on peut montrer que pour tout lment x de E, P (x) est
fausse.
Soit E, F deux ensembles.

www.mathlaayoune.webs.com

2/12

mathlaayoune@gmail.com

CPGE Laayoune

Lissane Eddine

Essaidi Ali

les deux propositions (x E, y F, . . .) et (y F, x E, . . .) nont pas le mme sens. Dans la premire


proposition y dpend de x alors que, dans la seconde, il sagit du mme y pour tous les x. Lordre des quantificateurs
de natures diffrentes est alors important, autrement dit, on ne peut pas intervertir deux quantificateurs de natures
diffrentes.
les deux propositions (x E, y F, . . .) et (y F, x E, . . .) ont mme sens.
les deux propositions (x E, y F, . . .) et (y F, x E, . . .) ont mme sens.
Lordre des quantificateurs de mme nature qui se suivent nest pas important. Autrement dit, on peut intervertir les
quantificateurs de mme nature qui se suivent.
x1 E, . . . , xn E (resp. x1 E, . . . , xn E) se note tout simplement x1 , . . . , xn E (resp. x1 , . . . , xn
E).
Exemple : La proposition (p N, q N, p = q) est vraie car pour tout p N, il suffit de prendre q = p alors que la
proposition (q N, p N, p = q) est fausse car pour tout q N, p = q + 1 N et p 6= q.

1.3

Raisonnements :

Dfinition 1.6 Raisonnement directe :


Le raisonnement directe est le fait de montrer que lassertion P Q en utilisant la transitivit de limplication. Autrement dit,
on suppose que P est vraie et on montre une suite dimplications (P P1 ), (P1 P2 ), . . . , (Pn Q) et par transitivit on
dduit que P Q.
Exemples :
Montrons que n N, 4n(n + 1) + 1 est un carr :
Soit n N donc 4n(n + 1) + 1 = 4n2 + 4n + 1 = (2n + 1)2 do n N, 4n(n + 1) + 1 est un carr.
Montrons que r, s Q, r + s Q :
0
0
0
+p0 q
.
Soit r, s Q donc p, p0 Z, q, q 0 N tels que r = pq et s = pq0 do r + s = pq + pq0 = pq qq
0
0
0

0
0
0
Or p, p Z et q, q N donc pq + p q Z et qq N do r + s Q.
x
est injective sur ] 1, +[ :
Montrons que lapplication f (x) = x+1
Le problme revient montrer que x, y ] 1, +[, (f (x) = f (y)) (x = y).
y
x
Soient x, y ] 1, +[ tels que f (x) = f (y) donc x+1
= y+1
donc x(y + 1) = y(x + 1) donc xy + x = yx + y do
x = y. On dduit que f est injective sur ] 1, +[.
Dfinition 1.7 Raisonnement par contrapose :
P .
Le raisonnement par contrapose est le fait de montrer une implication P Q en montrant sa contrapose Q
Exemples :
Soit n N tel que n2 soit impair. Montrons que n est impair :
On veut montrer que n2 impair n impair, par contrapose, le problme revient montrer que n pair n2 pair.
Si n est pair alors k N, n = 2k donc n2 = 4k 2 do n2 est pair. On dduit que n est impair.
Montrons que x, y R, ((x 6= y) ((x + 1)(y 1) 6= (x 1)(y + 1))) : Soient x, y R.
Par contrapose, le problme revient montrer que (x + 1)(y 1) = (x 1)(y + 1) (x = y).
Si (x + 1)(y 1) = (x 1)(y + 1) alors xy x + y 1 = xy + x y 1 donc 2x = 2y do x = y. On dduit que
x, y R, ((x 6= y) ((x + 1)(y 1) 6= (x 1)(y + 1))).
Proposition 1.1 Si P, Q et R sont trois propositions alors ((P ou Q) R) ((P R) et (Q R)).
Dmonstration :
P
V
V
V
V
F
F
F
F

Q
V
V
F
F
V
V
F
F

R
V
F
V
F
V
F
V
F

P ou Q
V
V
V
V
V
V
F
F

(P ou Q) R
V
F
V
F
V
F
V
V

P R
V
F
V
F
V
V
V
V

QR
V
F
V
V
V
F
V
V

P R et Q R
V
F
V
F
V
F
V
V

On remarque que, dans tous les cas, (P ou Q) R et (P R) et (Q R) ont les mmes valeurs logiques do lquivalence.
Dfinition 1.8 Raisonnement par sparation des cas :
Supposons quon veut montrer une implication P Q. Le raisonnement par sparation des cas consiste chercher une
quivalence P (R ou S) et le problme revient montrer les deux implications R Q et S Q.
On dit que R et S reprsentent les cas possibles de P .
www.mathlaayoune.webs.com

3/12

mathlaayoune@gmail.com

CPGE Laayoune

Lissane Eddine

Essaidi Ali

Exemples :
Montrons que n N, n(n + 1) est pair : Soit n N, on va tudier les deux cas possibles, n pair et n impair :
Si n est pair alors k N, n = 2k donc n(n + 1) = 2k(2k + 1) do n(n + 1) est pair.
Si n est pair alors k N, n = 2k + 1 donc n(n + 1) = (2k + 1)(2k + 1 + 1) = (2k + 1)(2k + 2) = 2(2k + 1)(k + 1)
do n(n + 1) est pair.
On dduit que dans tous les cas n(n + 1) est pair donc n N, n(n + 1) est pair.
2

Montrons quil existe deux irrationnels a et b tels que ab soit rationnel : Prenons a = 2 et b = 2.
On va tudier les deux cas possibles, a rationnel
et a irrationnel :

Si a est rationnel alors pour x = y = 2 on a x et y irrationnels et a = xy rationnel.


Si a est irrationnel alors a et b irrationnels et 2 = ab est rationnel.
On dduit quil existe deux irrationnels a et b tels que ab soit rationnel.
Remarque : Raisonnement par labsurde : On suppose quune proposition P est fausse. Si on aboutit une contradiction avec
une proposition que lon sait tre vraie, alors on a montr que P est vraie.
Exemples :
Soit n N tel que n2 soit impair. Montrons que n est impair :
Supposons que n nest pas impair donc n est pair do p N, n = 2p. On dduit que n2 = 4p2 donc n2 est pair.
Absurde, car n2 est impair donc la proposition "n nest pas impair est fausse do n est impair.
Montrons quil existe une infinit de nombres premiers : Supposons quil ny a quun nombre fini de nombre premier et
soit {p1 , . . . , pn } lensemble des nombres premiers.
k {1, . . . , n} tel que pk divise le nombre N = p1 pn + 1. Or pk divise p1 pn donc pk divise 1 = N p1 pn
do pk = 1. Absurde car 1 nest pas premier donc il y a une infinit de nombres premiers.

2
2.1

Le langage des ensembles :


Gnralits sur les ensembles :

Dfinition 2.1
On appelle ensemble toute collection dobjets appels lments de cet ensemble. Si x est un lment qui
appartient un ensemble E alors on note x E, sinon, on note x
/ E.
On dsigne par lensemble vide, lensemble qui ne contient aucun dlments. On le note .
Un ensemble E est un singleton sil est form de dun seul lment x. On note E = {x}.
Un ensemble E est une paire sil est form de deux lments distincts x et y. On note E = {x, y}.
Remarque :
Un ensemble peut tre dfini :
1. Explicitement ou en extension par la donne de la liste de tous ses lments. Cette liste est place entre accolades
{}, les lements sont spars par une virgule ou un point-virgule, lordre de prsentation des lments nest pas
important et tout lment figure une seule fois dans la liste. Exemples, E = {1, 2, 3} et F = {a, b, c, d}.
2. Implicitement ou en comprhension par la donne dune fonction propositionnelle qui caractrise ses lments.
Dans ce cas, si E est caractrise par la fonction propositionnelle P , on note E = {x/P (x)}. Exemples, E = {x
R/0 x 1}, F = {n N/2 divise n} et G = {(x, y) R2 /2x + 7y = 1}.
Lensemble vide est caractris par la proposition x, x
/ E toujours vraie (On dsigne par x, pour tout objet x).
On a galit de deux ensembles E et F si, et seulement si, x, (x E x F ).
Si x est un objet alors x {x} et pas x = {x}.
Dfinition 2.2
On dit que deux ensembles E et F sont gaux sils ont les mmes lments. Dans ce cas, on note E = F .
Soient E et F deux ensembles. On dit que E est inclu dans F si tous les lments de E sont des lments de F . Dans ce
cas, on dit que E est un sous-ensemble de F ou une partie de F et on note E F .
Soit E un ensemble. On dfinit lensemble des parties P(E) de E par P(E) = {A/A E}.
Remarque : Soient E, F deux ensembles.
E = F (x, (x E x F )).
E = F ((E F ) et (F E)).
et E sont des sous-ensembles de E. On les appellent les sous-espaces triviaux de E.
Un sous-ensemble de E autre que et E sappelle un sous-ensemble propre ou stricte de E.
Lensemble vide est unique.
Pour tout ensemble E, (E ) (E = ).
P(E) et E P(E).
Pour tout ensemble A, A P(E) A E.
E F P(E) P(F ).
www.mathlaayoune.webs.com

4/12

mathlaayoune@gmail.com

CPGE Laayoune

Lissane Eddine

Essaidi Ali

Dfinition 2.3
On appelle couple une collection de deux objets note (a, b) telle que (a, b) = (c, d) ((a =
c) et (b = d)).
Soient E, F deux ensembles. On appelle produit cartsien de E et F lensemble not E F et dfini par E F =
{(x, y)/x E et y F }.
Gnralement, soient E1 , . . . , En des ensembles. On appelle produit cartsien de E1 , . . . , En lensemble not E1
En et dfini par E1 En = {(x1 , . . . , xn )/i {1, . . . , n}, xi Ei }.
Remarques : Soient E, F deux ensembles.
a E, (a, a) 6= a.
Si a E et b F sont distincts alors (a, b) 6= (b, a).
E E se note E 2 . Gnralement, E E se note E n .
{z
}
|
n fois

E F 6= F E.
E = E = .

2.2

Oprations sur les parties dun ensemble :

Dfinition 2.4 Soient E une ensemble et A, B P(E) :


La runion de A et B est le sous-ensemble de E not A B et dfini par A B = {x E/x A ou x B}.
Lintersection de A et B est le sous-ensemble de E not A B et dfini par A B = {x E/x A et x B}.
Proprit 2.1 Soit E un ensemble et A, B, C P(E). Alors :
A = , A = A, A E = A et A E = E.
A B = B A et A B = B A.
(A B) (A B = A) (A B = B).
A (B C) = (A B) C et A (B C) = (A B) C.
A (B C) = (A B) (A C) et A (B C) = (A B) (A C).
((A B) C) ((A C) et (B C)).
(A (B C)) ((A B) et (A C)).
Dfinition 2.5 Soient E une ensemble et A, B P(E). On appelle :

/ A}.
Complmentaire de A dans E est le sous-ensemble de E not A ou {A
E et dfini par A = {x E/x
Diffrence de A par B est le sous-ensemble de E not A \ B et dfini par A \ B = {x E/x A et x
/ B}.
Proprit 2.2 Soit E un ensemble et A, B, C P(E). Alors :
A \ = A, \ A = , A \ E = , E \ A = A et A \ A = .
A \ B = A B.
A B B A.
A = A.
(A \ B = ) (A B).
(A \ B = A) A B B A (A B = ).
(A = B) (A \ B = B \ A = ).
Lois de Morgan : A B = A B et A B = A B.
A \ (B C) = (A \ B) (A \ C) et A \ (B C) = (A \ B) (A \ C).
Dfinition 2.6 Soient E une ensemble et A, B P(E).
On appelle diffrence symtrique de A et B le sous-ensemble de E not AB et dfini par AB = (A \ B) (B \ A).
Proprit 2.3 Soit E un ensemble et A, B, C P(E). Alors :
AB = BA.
AA = , A = A, AE = A et AA = E.
AB = (A B) \ (A B).
(AB)C = A(BC).
A (BC) = (A B)(A C).

2.3

Familles densembles :
Soient I, J deux ensembles non vides.

Dfinition 2.7 Soient E un ensemble et (Fi )iI une famille de sous-ensembles


de E.[On appelle :
[
Runion de la famille (Fi )iI le sous-ensemble de E not
Fi et dfini par
Fi = {x E/i I/x Fi }.
iI

www.mathlaayoune.webs.com

5/12

iI

mathlaayoune@gmail.com

CPGE Laayoune

Lissane Eddine

Intersection de la famille (Fi )iI le sous-ensemble de E not

Essaidi Ali

Fi et dfini par

iI

Fi = {x E/i I; x Fi }.

iI

Exemples
[ :
\

[n, n] = R et
[n, n] = {0}.
nN

nN

]0,

nN

\
1
1
] =]0, 1] et
]0, ] = .
n
n

nN

Proprit 2.4 Soient E un ensemble, (Fi )iI , (Gj )jJ deux familles de sous-ensembles de E et A P(E).
[
\

Fi =
Fi .
iI

iI

Fi =

iI

Fi .
iI

Fi

iI

Gj =

jJ

!
\

iI

(Fi Gj ).

IJ

Fi

Gj =

jJ

(Fi Gj ).

IJ

\A=

Fi

iI

(Fi \ A).

iI

[
iI

A\
A\

[
\A=
(Fi \ A).
! iI
\
[
Fi =
(A \ Fi ).
iI
! iI
[
\
Fi =
(A \ Fi ).

Fi

iI

iI

Remarque : Si E et F sont deux ensembles non vides alors E F =

[
xE

({x} F ) =

(E {y}).

yF

Dfinition 2.8 Soient E un ensemble et (Fi )iI une famille de sous-ensembles de E. On dit que la famille (Fi )iI forme une
partition de E si les conditions suivantes sont vrifies :
1. i I, Fi 6= .
2. i, j I, ((i 6= j) (Fi Fj = )).
[
3.
Fi = E.
iI

Remarques : Soient E un ensemble et (Fi )iI une partition de E. Alors :


x E, !i I, x Fi .
i, j I, ((Fi[
= Fj ) ou (Fi Fj = )).
Fj .
i I, Fi =
jI
j6=i

3
3.1

Applications :
Gnralits sur les applications :

Dfinition 3.1 Soient E, F deux ensembles non vides.


On appelle application f de E vers F toute relation qui chaque lment x de E associe un unique lment y de F . Dans ce
cas :
E sappelle lensemble de dpart de f et F celui darrive.
y sappelle limage de x et x sappelle un antcdant de y. y se note f (x).
f: E F
On note
ou f : x E 7 f (x) F ou f : E F .
x 7 f (x)
www.mathlaayoune.webs.com

6/12

mathlaayoune@gmail.com

CPGE Laayoune

Lissane Eddine

Essaidi Ali

Lensemble des applications de E vers F se note F E ou A (E, F ).


Remarques : Soient E, F deux ensembles et f : E F .
Un lment de F peut ne pas avoir dantcdant.
Un lment de F peut avoir plusieurs antcdants.
Deux lments distincts de E peuvent avoir une mme image.
Exemples :
Soit E, F deux ensembles non vides et a F .
E F
Lapplication
sappelle lapplication constante sur E de valeur a. On la note a.
x 7 a
E E
Lapplication
sappelle lapplication identit sur E. On la note IdE .
x 7 x
E F
On suppose que E F . Lapplication
sappelle linjection canonique de E dans F .
x 7 x
N
N

est une application.


n 7 2n + 1
R R

est une application.


x 7 x2
Dfinition 3.2 Soient E, F, G trois ensembles non vides, f : E F et g : F G deux applications.
On appelle composition de f par g lapplication, note g f , de E vers G dfinie par x E, (g f )(x) = g(f (x)).
Remarque : Soient E, F, G trois ensembles non vides, f : E F et g : F G deux applications.
En gnral, g f 6= f g.
f f se note f n .
| {z }
n fois

Proposition 3.1 Soient E, F, G, H des ensembles non vides.


Si f : E F, g : F G et h : G H sont des applications alors (f g) h = f (g h).
Dfinition 3.3 Soient E, F deux ensembles et f : E F un application.
Soit H E. Lapplication de H vers F qui x H associe f (x) sappelle la restriction de f H. On la note f|H ou
fH .
Soient G un ensemble qui contient E et g : G F . On dit que g est un prolongement de f sur G si f est la restriction
de g sur E.
Remarque : Une application peut avoir plusieurs prolongements sur un mme ensemble. Par exemple, n Z 7 0 et n Z 7
|n| n sont deux prolongements diffrents sur Z de lapplication n N 7 0.

3.2

Injection, surjection et bijection :

Dfinition 3.4 Soient E, F deux ensembles et f : E F . Lapplication f est dite :


Injective si x, y E, ((f (x) = f (y)) (x = y)).
Surjective si y F, x E, y = f (x).
Bijective si f est la fois injective et surjective.
Remarques : Soient E, F deux ensembles et f : E F .
Lapplication f est injective si, et seulement si, x, y E, x 6= y f (x) 6= f (y). Autrement dit, deux lments distincts
de E ont des images distinctes par f .
Pour montrer que lapplication f est injective on commence par crire "Soient x, y E tels que f (x) = f (y) et on essaie
de montrer que x = y.
Lapplication f est surjective si, et seulement si, tout lment de F admet un antcdant.
Pour montrer que lapplication f est surjective on commence par crire "Soient y F et on essaie de montrer que
lquation y = f (x) admet des solutions dans E.
Lapplication f est bijective si y F, !x E, y = f (x).
Pour montrer que lapplication f est bijective on peut commencer par crire "Soient y F et on essaie de montrer que
lquation y = f (x) admet une solution unique dans E.
Proposition 3.2 Soient E, F, G des ensembles non vides, f : E F et g : F G.
Si f et g sont injectives alors g f est injectives.
Si f et g sont surjectives alors g f est surjectives.
www.mathlaayoune.webs.com

7/12

mathlaayoune@gmail.com

CPGE Laayoune

Lissane Eddine

Essaidi Ali

Si f et g sont bijectives alors g f est bijectives.


Proposition 3.3 Soient E, F, G des ensembles non vides, f : E F et g : F G.
Si g f est injective alors f est injective.
Si g f est surjective alors g est surjective.
Proposition et dfinition 3.1 Soient E, F deux ensembles non vides et f : E F .
Lapplication f est bijective si, et seulement si, il existe une application g : F E telle que g f = IdE et f g = IdF .
Dans ce cas, g est unique, on lappelle lapplication rciproque de f et on la note f 1 .
Remarques : Soient E, F deux ensembles non vides et f : E F une application bijective.
Lapplication rciproque f 1 de f est, elle aussi, bijective, sa rciproque est f . Autrement dit, (f 1 )1 = f .
Lapplication rciproque f 1 de f est lapplication qui tout y F associe lunique antcdant x E de y par f .

3.3

Image directe, image rciproque dune partie par une application :

Dfinition 3.5 Soient E, F deux ensembles, A E et f : E F .


Le sous-ensemble {f (x)/x A} de F sappelle limage de A par f ou limage directe de A par f . On le note f (A).
Remarques : Soient E, F deux ensembles, A, B E et f : E F .
Soit y F . y f (A) (x A, f (x) = y).
x E, f ({x}) est un singleton et f ({x}) = {f (x)}. En particulier, f ({x}) 6= f (x), f ({x}) est un sous-ensemble de
F alors que f (x) est un lment de F .
Si A B alors f (A) f (B).
f () = .
(f (E) = F ) f est surjective.
Proprit 3.1 Soient E, F deux ensembles et f : E F .
Si A, B E alors f (A B) f (A) f (B) et f (A B) = f (A) f (B).
Remarque : Linclusion f (A B) f (A) f (B) peut tre stricte. En effet, pour lapplication f : x R 7 |x|, on a
f (R R+ ) = f () = ( R+ = f (R ) f (R+ ).
Dfinition 3.6 Soient E, F deux ensembles, B F et f : E F .
Le sous ensemble {x E/f (x) B} de E sappelle limage rciproque de B par f . On le note f 1 (A).
Remarques : Soient E, F deux ensembles, A, B F et f : E F .
x E, ((x f 1 (B)) (f (x) B)).
f 1 () = et f 1 (F ) = E.
Si A B alors f 1 (A) f 1 (B).
f est une application injective si, et seulement si, y F, Cardf 1 ({y}) 1.
f est une application surjective si, et seulement si, y F, Cardf 1 ({y}) 1.
f est une application bijective si, et seulement si, y F, Cardf 1 ({y}) = 1.
Proprit 3.2 Soient E, F deux ensembles, A, B F , C E et f : E F . Alors :
f 1 (A B) = f 1 (A) f 1 (B) et f 1 (A B) = f 1 (A) f 1 (B).
C f 1 (f (C)).
f (f 1 (A)) A.

3.4

Fonction caractristique ou indicatrice dune partie dun ensemble :

Dfinition 3.7 Soient E un ensemble et A E.


On appelle fonction caractristique ou indicatrice de A lapplication note A ou A et dfinie de E vers {0, 1} par :
(
1 si x A
x E, A (x) =
0 si x
/A
Remarques : Soient E un ensemble et A E.
Lapplication A {0, 1}E (Lensemble des applications de E vers {0, 1}.
1 ({1}) = A et 1 ({0}) = A.
E = 1 et = 0.
A est surjective si, et seulement si, A 6= E et A 6= .
www.mathlaayoune.webs.com

8/12

mathlaayoune@gmail.com

CPGE Laayoune

Lissane Eddine

Essaidi Ali

Soit f {0, 1}E . Si on pose A = f 1 ({1}) alors f = A .


Proprit 3.3 Soient E, F deux ensembles, A, B E et f : E F . Alors :
2A = A .
AB = A B .
AB = A + B A B .
A = 1 A .
A\B = A A B = sup(0, A B ).
AB = A + B 2A B = (A B )2 = |A B |.
A B A B .
f 1 (A) = A f .
Caractrisation 3.1 Soit E un ensemble.
Lapplication A 7 A est une bijection de P(E) vers {0, 1}E . En particulier, A, B P(E), A = B A = B .
Remarque : Cette caractrisation justifie le nom "fonction caractristique" dun sous-ensemble. Elle paermet de dmontrer trs
facilement des relations ensemblistes par des calcules simples sur les applications caractristiques associes.
Exemple : Soient E un ensemble et A, B E. Montrons que A = B A B = A B :
En effet, A B = A B AB = AB A B = A + B A B A + B 2A B = 0
2A + 2B 2A B = 0 (A B )2 = 0 A = B A = B.

4
4.1

Relations binaires :
Gnralits sur les relations binaires :

Dfinition 4.1 Soit E un ensemble non vide.


On appelle relation binaire R sur E tout sous-ensemble de E E.
Soit R une relation binaire sur E et (x, y) E E. Si (x, y) R alors on dit que x est en relation avec y et on note
xRy.
Remarques : Soit E un ensemble non vide.
Si R est une relation binaire sur E on note (E, R).
Si R est une relation binaire sur E alors R = {(x, y) E 2 /xRy}.
En gnral, une relation binaire sur E est donne par la condition pour que deux lments de E soient en relation et
non pas par la donne dun sous-ensemble de E E. Par exemple, on dira " Soit, sur N, la relation R dfinie par
"m, n N, mRn m|n" au lieu de " Soit, sur N, la relation binaire R = {(m, n) N2 /m|n}".
Lensemble de dfinition dune relation R sur E est lensemble {x E/y E, xRy}.
Soit R une relation binaire sur E et x, y E. Si xRy alors on na pas forcment yRx. Donc, il faut faire attention
lordre.
Exemples :
La relation m, n N, mRn m et n ont mme parit est une relation binaire sur N.
La relation x, y R, xRy x y est une relation binaire sur R.
La relation (x1 , x2 ), (y1 , y2 ) R2 , (x1 , x2 )R(y1 , y2 ) x1 < y1 est une relation binaire sur R2 .
Soit E un ensemble non vide. La relation x, y E, xRy x = y est une relation binaire sur E. On lappelle la
relation dgalit sur E.
Soit E, F deux ensembles non vides et f : E F .
La relation x, y E, xRy f (x) = f (y) est une relation binaire sur E.
On suppose que F = E. La relation x, y E, xRy y = f (x) est une relation binaire sur E.
Dfinition 4.2 Soit E un ensemble non vide et R une relation binaire sur E. On dit que R est :
Rflexive si x E, xRx.
Symtrique si x, y E, (xRy yRx).
Anti-symtrique si x, y E, (xRy et yRx x = y).
Transitive si x, y, z E, (xRy et yRz xRz).
Remarques : Soit E un ensemble non vide.
La relation dgalit sur E est la seule relation binaire rflexive sur E qui est la fois symtrique et antisymtrique.
Soit R une relation binaire sur E densemble de dfinition E. Si R est symtrique et transitive alors elle est rflexive. En
effet, soit x E, lensemble de dfinition de la relation R est E donc y E tel que xRy do yRx car la relation R
est symtrique.
On a xRy et yRx donc xRx car la relation R est transitive do la rflexitivit de la relation R.
www.mathlaayoune.webs.com

9/12

mathlaayoune@gmail.com

CPGE Laayoune

Lissane Eddine

Essaidi Ali

Exemples :
Soit E un ensemble non vide. La relation dgalit sur E est rflexive, symtrique et transitive.
Sur N, la relation m, n N, mRn m et n ont mme parit est rflexive, symtrique et transitive.
Sur R, la relation x, y R, xRy x y est rflexive, antisymtrique et transitive.
Sur R2 , la relation (x1 , x2 ), (y1 , y2 ) R2 , (x1 , x2 )R(y1 , y2 ) x1 < y1 est transitive mais nest ni rflexive, ni
symtrique, ni antisymtrique.

4.2

Relations dquivalence :

Dfinition 4.3 Soit E un ensemble non vide.


On appelle relation dquivalence sur E toute relation binaire sur E rflexive, symtrique et transitive.
Remarques : Soit E un ensemble non vide.
Une relation dquivalence sur E est souvent note .
Si est une relation dquivalence sur E et x, y E alors on note x y pour dire que x et y vrifient la relation .
La relation binaire R sur E est une relation dquivalence si, et seulement si, :
x E, xRx.
x, y E, xRy yRx.
x, y, z E, (xRy et yRz) xRz.
Exemples :
Soit E un ensemble non vide. La relation dgalit sur E, x, y E, x y x = y est une relation dquivalence
sur E.
Soit n N . La relation p, q Z, p q n|p q est une relation dquivalence sur Z. On lappelle la congruence
modulo n.
Soit D lensemble des droites du plan affine. La relation de paralllisme D, D, D D// est une
relation dquivalence sur D.
Dfinition 4.4 Soit E un ensemble, une relation dquivalence sur E et x E.
On appelle classe dquivalence (modulo ) de x le sous-ensemble de E form par les lments quivalents x. On le
note x
et on a x
= {y E/y x}.
Soit x E. Tout lment de x
sappelle un reprsentant de x
.
Lensemble des classes dquivalences de la relation sappelle lensemble-quotient de E par . On le note E/ et on
a E/ = {
x/x E}.
Remarques : Soit E un ensemble non vide et une relation dquivalence sur E.
x E, x
est un sous-ensemble de E.
x E, x x
. En particulier, x
nest jamais vide.
Lensemble-quotient E/ est un sous-ensemble de P(E).
Exemples :
Soit E un ensemble non vide. Pour la relation dquivalence x, y E, x y x = y on a x E, x
= {x}.
Soit n N . Pour la relation dquivalence p, q N, p q n|pq on a p Z, p = {p+nm/m Z} = p+nZ.
Proposition 4.1 Soit E un ensemble non vide et une relation dquivalence sur E.
x, y E, x y x
= y.
x, y E, ou bien x
= y ou bien x
y = .
Lensemble quotient E/ forme une partition de E.
Lapplication x 7 x
est une surjection de E vers E/ . On lappelle la surjection canonique associe et on la note
.
Dmonstration :
) Soit z x
donc z x or x y donc z y. On dduit que z y do x
y.
De mme, y x
donc x
= y.
) On a x x
= y donc x y do x y.
Soient x, y E et supposons que x
y 6= donc z x
y.
On a z x
et z y donc z x et z y do, par transitivit, x y. On dduit que x
= y do le rsultat.
On a :
1. Chaque classe dquivalence est non vide.
2. Les classes dquivalence sont deux deux disjointes daprs la deuxime partie de la dmonstration.
3. E est la runion des classes dquivalence car, par rflexivit, x E, x x
.
Donc lensemble-quotient E/ constitue une partition de E.
Soit a E/ donc x E tel que a = x
donc a = (x) do est surjective.
Remarque : Soit E un ensemble, x E et une relation dquivalence sur E. Si y est un reprsentant de x
alors y = x
.
www.mathlaayoune.webs.com

10/12

mathlaayoune@gmail.com

CPGE Laayoune

4.3

Lissane Eddine

Essaidi Ali

Relations dordre :

Dfinition 4.5 Soit E un ensemble non vide.


On appelle relation dordre sur E toute relation binaire sur E rflexive, antisymtrique et transitive.
Remarques : Soit E un ensemble non vide.
Une relation dordre sur E est souvent note .
On note (E, ) pour dire que E est un ensemble muni de la relation dordre .
Un ensemble non vide muni dune relation dordre est dit ensemble ordonn.
Si est une relation dordre sur E et x, y E. Lexpression x y se lit x est infrieur ou gale y ou y est suprieur
ou gale x.
Si x y alors on note encore y x.
Si x y et x 6= y alors on dit que x et infrieur strictement y ou y et strictement suprieur x et on note x < y.
Si x y ou y x alors x et y sont comparables.
Lensemble E est dit totalement ordonn ou que la relation dordre sur E est totle si tous les lments de E sont comparables. Sinon E est dit partiellement ordonn ou que la relation dordre sur E est partielle.
La relation binaire sur E est une relation dordre si, et seulement si, :
x E, x x.
x, y E, x y et y x x = y.
x, y, z E, (x y et y z) x z.
Exemples :
La relation x, y E, xRy x = y est une relation dordre sur E. Cest la seule relation binaire sur E qui est la
fois une relation dordre et dquivalence.
Lordre naturel sur est une relation dordre total sur N.
Linclusion sur est une relation dordre sur P(E). Si cardE 2 alors cest une relation dordre partiel.
La division est une relation dordre partiel sur N .
La relation (x1 , x2 ), (y1 , y2 ) R2 , (x1 , x2 ) (y1 , y2 ) (x1 y1 ) ou (x1 = y1 et x2 y2 ) est une relation
dordre total sur R2 . On lappelle ordre lexicographique sur R2 .
Dfinition 4.6 Soit (E, ) un ensemble ordonn et A E.
La partie A est dite majore si M E, a A, a M .
La partie A est dite minore si M E, a A, M a.
La partie A est dite borne si elle est la fois minore et majore.
Llment a A est dit le plus petit lment de A si x A, a x. On le note min A.
Llment a A est dit le plus grand lment de A si x A, x a. On le note max A.
Un lment a E est dit majorant de A si x A, x a.
Un lment a E est dit minorant de A si x A, a x.
Si lensemble des majorants admet un plus petit lment alors on lappelle la borne suprieure de A et on le note sup A.
Si lensemble des minorants admet un plus grand lment alors on lappelle la borne infrieure de A et on le note inf A.
Remarques : Soit (E, ) un ensemble ordonn et A E.
La partie A admet un majorant (resp. minorant) si, et seulement si, elle est majore (resp. minore).
Le plus grand (resp. le plus petit) lment dune partie, lorsquil existe, est unique.
La borne suprieure (resp. la borne infrieure) lment dune partie, lorsquelle existe, est unique.
Si min A (resp. max A) existe alors inf A (resp. sup A) existe et on a min A = inf A (resp. max A = sup A).
min A (resp. max A) peut ne pas exister, par exemple sur R muni de lordre usuel, la partie A =]0, 1[ nadmet pas de plus
grand ou de plus petit lment par contre inf A = 0 et sup A = 1.
Un ensemble bien ordon est un ensemble ordonn o toute partie non vide admet un minimum.
Un ensemble ordonn E est un treillis si x, y E lensemble {x, y} admet une borne infrieur et un borne suprieure.
Exemples :
Soient R muni de la relation dordre usuel. Lensemble A =]0, 1] est borne car x A, 0 x 1, lensemble des
majorant est [1, +[, lensemble des minorant est ] , 0], sup A = max A = 1, inf A = 0 et A nadmet pas de plus
petit lment.
Soit N muni de la division et A = {m, n} N . On a A borne, sup A = PPCM(m, n) et inf
n).
[ A = PGCD(m,\
Soit E un ensemble, P(E) muni de linclusion et A P(E). A est borne et on a sup A =
M et inf A =
M.
M A

M A

Dfinition 4.7 Soient E et F deux ensembles non vides ordonns et f : E F . On dit que f est :
Croissante si x, y E, x y f (x) f (y).
Strictement croissante si x, y E, x < y f (x) < f (y).
Dcroissante si x, y E, x y f (y) f (x).
www.mathlaayoune.webs.com

11/12

mathlaayoune@gmail.com

CPGE Laayoune

Lissane Eddine

Essaidi Ali

Strictement dcroissante si x, y E, x < y f (y) < f (x).


Remarques : Soient E et F deux ensembles non vides ordonns et f : E F .
Si lapplication f est croissante alors on dit aussi que f est un morphisme densembles ordonns.
Si lapplication f est bijective et croissante alors on dit aussi que f est un isomorphisme densembles ordonns.
On dit que f est monotone si f est croissante ou dcroissante.
On dit que f est strictement monotone si f est strictement croissante ou strictement dcroissante.
Lapplication f est constante sur E si, et seulement si, f est la fois croissante et dcroissante sur E.
Exemple : Soit E un ensemble non vide et on considre P(E) muni de linclusion.
Lapplication A 7 A est strictement dcroissante.
Dfinition 4.8 Soient E, F deux ensembles non vides avec F ordonn et f : E F . On dit que :
f est majore si lensemble f (E) = {f (x)/x E} est major.
f admet une borne suprieure si lensemble f (E) admet une borne suprieure. Dans ce cas, on la note sup f .
f est minore si lensemble f (E) = {f (x)/x E} est minor.
f admet une borne infrieure si lensemble f (E) admet une borne infrieure. Dans ce cas, on la note inf f .
f est borne si elle est la fois minore et majore.
Proposition 4.2 Soient E, F deux ensembles non vides avec F ordonn.
Lensemble F E des applications de E vers F muni de la relation f g x E, f (x) g(x) est un ensemble ordon.
Remarque : Soient E, F deux ensembles non vides avec F ordonn et R la relation dordre dfinie dans la proposition prcdente.
La relation dordre R est, en gnral, partielle mme si lordre sur F est totale.
La relation dordre R se note souvent de la mme faon que la relation dordre sur F .

www.mathlaayoune.webs.com

12/12

mathlaayoune@gmail.com