Professional Documents
Culture Documents
Chapitre 1
1. Les Ensembles
On appelle ensemble E toute collection dobjets, appels lments de lensemble E. Si le
nombre de ces objets ces fini, on lappelle cardinal de E et on le note Card(E), si E Possde
une infinit dlments, on dit quil est de cardinal infinit on note Card E =.
Il existe un ensemble, appel lensemble vide et not , qui ne contient aucun elmnt, on
a alors Card( ) = 0. Un ensemble contenant un seul lment est appel Singleton, donc
de cardinal gal 1.
Un ensemble est dfini en extension si on en donne la liste des lments, liste mise
entre des accolades. ou bien on connait seulement les relations qui lient les lments et qui
nous permettent de les retrouver tous, on dit alors que lensemble est donn par
Comprhension.
Exemple 1 :
1
2
5
309231947.docet dalgbre
-1-
, ,
}.
! x (x A)
x((x A) (y (y A
1.2
y = x)))
Dfinition : On dit quun ensemble A est inclus dans un ensemble B, ou que A est une
partie de lensemble B, ou que A est un sous ensemble de B si tout lment de A est un
lment de B. On note A B et on a formellement :
Quand A nest pas une partie de B, on note A B et on a formellement :
et
(A).
.
309231947.docet dalgbre
-2-
Proprits :
Soient A,B et C trois parties de E, on a :
On dit que lintersection est distributive par rapport la runion et vice-versa.
Dfinition : si
Proprits :
1.
2.
3.
4.
309231947.docet dalgbre
telle que :
-3-
Exemple :
Soit E={1,a,l,3,b,c,d,,,}
Alors
est un partition de lensemble
Dfinition : Soient A et B deux ensembles non vides, on note A B lensemble des couples
ordonns (x, y) tels que x
B. On convient que
A et y
Proprits :
Pour
et
(A C) (B C) = (A B) C.
(A C) (A D) = A (C D).
(A C) (B D) = (A B) (C D).
Preuve :Montrons la premire galits, les deux autres se traitent de la mme faon
(A C) (B C) = {(x, y) : (x, y) A C (x, y) B C}
= {(x, y) : (x A
y C)
(x B
= {(x, y) : (x A
x B)
(y C)} = (A B) C.
Exemple 4:
Soient A={0,2,} ; et B={a ,, ,}
Remarque :
si seulement si A=B
2 . Applications :
309231947.docet dalgbre
-4-
y C)}
il existe un unique
tel
Remarque :
On dit que deux applications et sont gales si :
1. Elles ont un mme ensemble de dpart E et un mme ensemble
darrive F.
2.
.
lapplications E dans G,
,dfinie par
pour fout
En gnral, on a
Par contre la composition des applications est associative
Exemple 5 :
Etant donnes les applications
309231947.docet dalgbre
-5-
, on
Remarque :
Etant donnes deux applications
et
, alors on peut
,si
Propositions
1.
2.
3.
4.
5.
Exemple 6 :
Etant donns
lapplication
309231947.docet dalgbre
,
dfinie par
-6-
et
et
et
, donc
.
Mais si on prend
, alors :
Donc
telle que
On note
2. Etant donn un ensemble G tel que E
de lapplication
G, on appelle prolongement
de G dans F telle
E.
E.
. On dit que :
1 . f est injective si deux lments distincts de E ne peuvent pas tre des antcdents
dun mme lment de F, ce qui revient formellement a :
309231947.docet dalgbre
-7-
, il existe au mois un
tel que
f est surjective
3. f est bijective si tout lment de F est limage par f dun lment et dun seul de E.
f est bijective
Relations
3.
binaires :
Dfinition : On appelle relation binaire, toute assertion entre deux
objets, pouvant tre vrifie ou non. On note x y et on lit x est en
relation avec y.
1.
2.
3.
4.
3.1 Relations dquivalence :
Dfinition : On dit quune relation binaire R sur un ensemble E est une
relation dquivalence si elle est Rflexive, Symtrique et Transitive.
309231947.docet dalgbre
-8-
Montrer que
Solution :
1.
a)
Donc
ce qui montre que
b)
Donc
Donc
309231947.docet dalgbre
-9-
De a) , b) et c) , on dduit que
, alors :
Donc :
, par suite
on dit que x est infrieur ou gal y ou que y est suprieur ou gal x. On dit
aussi que x est plus petit (ou gal ) que y et y est plus grand (ou gal) que x.
Dfinition : Soit _ une relation dordre sur un ensemble E.
1. On dit que deux lments x et y de E sont comparables si :
2. On dit que
est une relation dordre total, ou que E est totalement ordonn par
tous les lments de E sont deux deux comparables. Si non, on dit que la relation
une relation dordre partiel ou que E est partiellement ordonn par
309231947.docet dalgbre
- 10 -
, si
est