1. Cours 3: Relations binaires sur un ensemble.
1.1. Notion de relation:
On appelle relation d’un ensemble Avers un ensemble Btoute correpondance R,
qui lie des éléments de Aà des éléments de B:
*On dit que Aest lensemble de départ et Best l’ensemble darrie de la relationR:
*Si xest lié à ypar la relation R, on dit que xest en relation Ravec y; ou (x; y)
véri…e la relation Ret on écrit: xRyou R(x; y), sinon on écrit: x/Ry ou /R(x; y):
*Une relation de Avers Aest dite relation sur A:
Exemples:
1) La correspondance Rqui lie les entiers à leurs multiples est une relation sur Z;
qui est appelée relation de divisibilité et notée Rd:
On a par exemple 1Rxet xR0pour tout x2Z.
2) La correspondance R0qui lie les chi¤res aux voyelles utilisées pour écrire le
chi¤re en toutes lettres est une relation de l’ensemble f0;1;2;3;4;5;6;7;8;9gvers
l’ensemble fa; e; i; o; u; yg
On a par exemple 0R0e,0R0o; 0/R0a,9/R0y,6R0iet 1R0u
3)La correspondance Squi lie les nombres réels ayant les mêmes carrés est une
relation sur R:
On a par exemple 1S1;1/S3et 2S(2).
1.1.1. Graphe d’une relation
Soit Rune relation d’un ensemble Avers un ensemble B.
1) Le graphe de R- noté GR-est lensemble dé…ni par:
GR=f(x; y)2AB = xRyg
Exemples
1) Reprenons la relation Rde l’exemple 1 précédent, alors: GR=f(x; y)2Z2= x divise yg:
Par exemple (3;21) 2GRet (3;20) =2GR
2) Si on reprend la relation R0donnée par l’exemple 2 précédent, on aura:
GR0=f(0; e);(0; o);(1; u);(2; e);(2; u);(3; o);(3; i);(4; u);(4; a);(4; e);
(5; i);(6; i);(7; e);(8; u);(8; i);(9; e);(9; u)g
3) Pour lexemple 3 précédent le graphe GSest le suivant:
GS=f(x; x);(x; x)= x 2Rg
Remarque: Une relation Rest entièrement déterminée par son graphe, la
raison pour laquelle, on identi…e RàGRet on dit quune relation de Avers B
est une partie de AB. Alors R=R0() GR=GR0:
1.2. Relations sur un ensemble
nitions: Une relation Rsur un ensemble Aest dite:
1) Ré‡exive si 8x2A:xRx.
2) Symétrique si 8x; y 2A:xRy)yRx.
3) Antisymétrique si 8x; y 2A: ( xRy^yRx))x=y.
4) Transitive si 8x; y; z 2A: ( xRy^yRz))xRz.
Exemples
1) Soit la relation Rdé…nie sur Zpar: xRy,xdivise y
* Soit x2Z, on a xdivise x(même 0divise 0).
donc 8x2Z:xRx, alors Rest ré‡exive.
* Soit x; y 2Z, on a xRy)(xdivise y)
;(ydivise x)
par exemple 1divise 4et 4ne divise pas 1
C.à.d: 9x; y 2Z:xRy^yRx, alors Rnest pas symétrique.
* Soit x; y 2Z, on a (xRy)^(yRx))(xdivise y)^(ydivise x)
;(y=x)
par exemple (1divise 1) et ( 1divise 1) et 16=1
C.à.d: 9x; y 2Z:xRy^yRx^x6=y, alors Rnest pas antisymétrique.
* Soit x; y; z 2Z, on a (xRy)^(yRz))(xdivise y)^(ydivise z)
)(xdivise z)
)xRz
Alors Rest transitive.
2) La relation Sdonnée sur Rpar: xSy,x2=y2
* Soit x2R, on a x2=x2
donc 8x2R:xSx, alors Sest ré‡exive.
* Soit x; y 2R;on a: xSy)x2=y2
)y2=x2
)ySx
2
Alors Sest symétrique.
* Soit x; y 2R, on a (xSy)^(ySx))(x2=y2)^(y2=x2)
;(y=x)
par exemple (2)2= 22et 22= (2)2et (2) 6= 2:
C.à.d: 9x; y 2R:xSy^ySx^x6=y, alors Snest pas antisymétrique.
* Soit x; y; z 2R, on a (xSy)^(ySz))(x2=y2)^(y2=z2)
)x2=z2
)xSz
Alors Sest transitive.
3) Soit la relation R00 dé…nie sur Zpar: aR00b,(abest impair).
* Soit a2Z, on n’a pas (aaest impair).
par exemple 11n’est pas impair.
C.à.d: 9a2Z:aR00a, alors R00 n’est pas réexive.
* Soit a; b 2Z;on a: aR00b)abest impair
)baest impair
)bR00a
Alors R00 est symétrique.
* Soit a; b 2Z, on a aR00b^bR00a)(abest impair)^(baest impair)
;(a=b)
par exemple (61est impair) et ( 16est impair) et 16= 6
C.à.d: 9a; b 2Z:aR00b^bR00a^a6=b, alors R00 n’est pas antisymétrique.
* Soit a; b; c 2Z, on a aR00b^bR00c)(abest impair)^(bcest impair)
;acest impair
par exemple (74est impair) et ( 41est impair) et 71nest pas impair
C.à.d: 9a; b; c 2Z:aR00b^bR00c^aR00c, alors R00 n’est pas transitive.
Remarque: Une relation peut être non symétrique et non antisymétrique .
(voir exemple 1 )
1.3. Relation déquivalence, classes d’équivalence et ensemble quotient
Soit Rune relation sur un ensemble A
1) Rest dite relation déquivalence si Rest ré‡exive, symétrique et transitive.
2) Si Rest une relation déquivalence, alors
2.1) Pour chaque a2Al’ensemble
a=fx2A = xRagest appelé classe déquivalence
3
de amodulo R.
2.2) L’ensemble A=R=n
a=a2Aoest appelé quotient de Apar R.
Exemples:
1) La relation Sdonnée sur Rpar: xSy,x2=y2est une relation d’équivalence.
Pour a6= 0;on a:
a=fx2R= xSag=fx2R= x2=a2g
=fa; ag
et
0 = f0g:
R=R3=ff0g;fa; ag= a > 0gqui peut être identi…é à R+
2) Soit e
Rla relation de congruence modulo ndé…nie sur Zpar: xe
Ry() (ndivise xy),
est bien une relation d’équivalence.
Pour cette relation on a:
a=fx2Z= n divise xag
=fx2Z= x a=n:k ; k 2Zg
=fx2Z= x =nq +a; q 2Zgnoté nZ+a
Dans ce cas Z=e
R=fnZ+a = a 2Zgqui est souvent noté Z=nZ
Remarques: La classe
aest aussi noté
a; [a]et Cl (a):
1.4. Relation dordre
Soit Rune relation sur un ensemble A
1) Rest dite relation dordre, si elle est ré‡exive, antisymétrique et transitive.
2) Si Rest une relation dordre, on écrit souvent Rau lieu de R.
2.1) Rest dite relation d’ordre total, si 8x; y 2A: (xRy)_(yRx)
2.2) Rest une relation d’ordre partiel, si 9x; y 2A: (x6Ry)^(y6Rx)
Remarque: Deux éléments xet ysont dits comparables par R, si xRy
ou yRx
Exemples:
1) La relation de divisibilité Rdsur Zn’est pas une relation d’ordre;(car elle
n’est pas antisymétrique), mais elle devient une relation dordre partiel si on se
restrient à Net on la note dans ce cas d:
En e¤et: Soit a; b 2Non a:
4
(aRdb)^(bRda))8
<
:
b=qa ,q2N
et
a=q0b,q02N
)8
<
:
b(1 qq0) = 0,q2N
et
a=q0b,q02N
)8
<
:
b= 0 _q=q0= 1
et
a=q0b
)2
4
b= 0 ^a= 0
ou
a=b
)a=b
Donc Rdest antisymetrique sur N:(Il est clair que Rdest reéxive et transitive ).
Rdest un ordre partiel sur Ncar par exemple (3 6Rd7) ^(7 6Rd3) :
2) La façon avec laquelle sont rangés les mots dans un dictionnaire dé…nie une
relation d’ordre total sur l’ensemble des mots appelée ordre lexicographique et
nolex. On a par exemple algèbre lex analyse.
5
1 / 5 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !