1 Cours 3: Relations binaires sur un ensemble.

1.1 Notion de relation

Soit A et B deux ensembles non vides.
Une relation de A vers B est une correspondance R, qui lie des x de A à des y de B:
*On écrit xRy; si x est lié à y par R et on dit que x est en relation R avec y, sinon on écrit: xRy: /
*Si A = B; on dit que R est une relation sur A:
Exemples:
1) La correspondance R qui lie les entiers à leurs multiples est une relation sur Z; qui est appelée relation
de divisibilité et notée Rd :
2) La correspondance S qui lie les nombres réels ayant les mêmes carrés est une relation sur R:
Par exemple 1Rd x et xRd 0, pour tout x 2 Z; 1S1; 1S3 / et 2S ( 2).

1.1.1 Graphe d’une relation

Soit R une relation de A vers B. Le graphe de R est GR = f(x; y) 2 A B = xRyg
Exemples
Reprenons les relations R et S des exemples précédents, alors:
GR = f(x; kx) = x; k 2 Zg et GS = f(x; x) ; (x; x) = x 2 Rg

1.2 Relations sur un ensemble

Dé…nitions: Soit R une relation sur A.
1) R est ré‡exive si 8 x 2 A : xRx.
2) R est symétrique si 8 x; y 2 A : xRy ) yRx.
3) R est antisymétrique si 8 x; y 2 A : ( xRy ^ yRx) ) x = y.
4) R est transitive si 8 x; y; z 2 A : ( xRy ^yRz) ) xRz.
Exemples
1) Soit la relation Rd dé…nie sur N par: xRd y , x divise y
* Soit x 2 N , on a x divise x; c-à-d xRd x; alors Rd est ré‡exive.
* Il su¢ t de prendre x = 1 2 N et y = 4 2 N, on a:
1 divise 4; c-à-d 1Rd 4 et 4 ne divise pas 1; c-à-d 4R/ d 1; alors Rd n’est pas symétrique.
* Soit x; y 2 N , on a:
(xRd y) ^ (yRd x) )(x divise y)^(y divise x)
) (9k 2 N; y = kx) et (9k 0 2 N; x = k 0 y)
) 9k; k 0 2 N; y (1 kk 0 ) = 0 et x = k 0 y
) 9k; k 0 2 N; (y = 0 ou k = k 0 = 1) et x = k 0 y
) (y = 0 et x = 0) ou (x = y)
) y = x; alors Rd est antisymétrique.
* Soit x; y; z 2 N , on a (xRd y) ^ (yRd z) )(x divise y)^(y divise z)
)(x divise z)) xRd z;
alors R est transitive.
2) La relation S dé…nie sur R par: xSy , x2 = y 2
* Soit x 2 R , on a x2 = x2 ; c-à-d xSx; alors S est ré‡exive.

1
* Soit x; y 2 R; on a: xSy ) x2 = y 2 ) y 2 = x2 ) ySx; alors S est symétrique.
* Il su¢ t de prendre x = 2 2 R et y = 2 2 R, on a:
( 2)2 = 22 ; c-à-d ( 2) S2 et 22 = ( 2)2 ; c-à-d 2S ( 2), mais ( 2) 6= 2; alors S n’est pas antisymétrique.
* Soit x; y; z 2 R, on a:
(xSy ) ^ ( ySz) ) (x2 = y 2 ) ^ (y 2 = z 2 ) ) x2 = z 2 ) xSz; alors S est transitive.
3) Soit la relation R00 dé…nie sur Z par: aR00 b , ( a b est impair).
* Il su¢ t de prendre a = 1 2 Z , on a 1 1 n’est pas impair, c-à-d 1R / 00 1; alors R00 n’est pas ré‡exive.
* Soit a; b 2 Z; on a: aR00 b ) a b est impair) b a est impair) bR00 a; alors R00 est symétrique.
* Il su¢ t de prendre a = 6 2 Z et b = 1 2 Z , on a
6 1 est impair, c-à-d 1R00 6 et 1 6 est impair, c-à-d 6R00 1 et 1 6= 6; alors R00 n’est pas antisymétrique.
* Il su¢ t de prendre a = 7 2 Z, b = 4 2 Z et c = 1 2 Z , on a
7 4 est impair, c-à-d 7R00 4 et 4 1 est impair, c-à-d 4R00 1 et 7 / 00 1;
1 n’est pas impair, c-à-d 7R
alors R00 n’est pas transitive.

1.3 Relation d’équivalence, Relation d’ordre

Soit R une relation sur un ensemble A
1) R est une relation d’équivalence si elle est ré‡exive, symétrique et transitive.
2) R est une relation d’ordre, si elle est r é‡exive, antisymétrique et transitive.
3) Si R est une relation d’équivalence et a 2 A,
L’ensemble a = fx 2nA = xRagoest la classe d’équivalence de a modulo R.
et l’ensemble A=R = a = a 2 A est le quotient de A par R.
4) Si R est une relation d’ordre,
R est un ordre total, si 8 x; y 2 A : (xRy ) _ (yRx)
sinon R est un ordre partiel,c- à-d si 9 x; y 2 A : (xRy
/ ) ^ (y Rx
/ )

Exemples:
1) La relation S dé…nie sur R par: xSy , x2 = y 2 est une relation d’équivalence.
Pour a 6= 0; on a: a = fx 2 R = xSag = fx 2 R = x2 = a2 g = fa; ag
et pour a = 0; on a: 0 = f0g :
e dé…nie sur Z par: xRy
2) Soit n 2 N ; la relation R e , (n divise (x y)) est une relation d’équivalence,
appelée congruence modulo n.
Pour cette relation on a: a = fx 2 Z = n divise x ag = fx 2 Z = x a = n:k ; k 2 Zg
( = fx)2 Z = x = nk + a; k 2 Zg noté nZ + a

Dans ce cas Z=Re = 0; 1; :::; n[1 qui est souvent noté Z=nZ :

3) La relation de divisibilité Rd sur N est une relation d’ordre

Rd est un ordre partiel sur N; car Il su¢ t de prendre x = 3 2 N et y = 7 2 N, on a:
3 ne divise pas 7; c-à-d 3R/ d 7 et 7 ne divise pas 3; c-à-d 7R
/ d 3: