Chapitre 12

Relations et fonctions
12.1 n-uplets et produits cartsiens
12.2 Relations
12.3 Fonctions
12.4 Relations dordre
12.1 n-uplets et produits cartsiens
Un n-uplet est une liste ordonne de n lments b1 , . . . , bn , note

)b1 , b2 , . . . , bn * .

La liste est dite ordonne parce que lordre des lments est important (cela
na rien voir avec le fait que les lments de la liste soient tris ou non). Par
exemple, voici deux triplets diffrents :

)4, 2, 3* =
' )3, 2, 4*.

Un 2-uplet sappelle une paire ordonne ou un couple ordonn (on dit souvent
simplement paire ou couple). Par exemple, )13, 4* est un couple.
La notation
(b1 , . . . , bn )
est aussi trs frquemment utilise dans la littrature pour dsigner un n-uplet.
(12.1) Axiome, galit de couples : )b, c* = )b" , c" * b = b" c = c"
Par exemple, )2, 3* =
' )3, 2*.

Produits cartsiens

(12.2) Axiome, produit cartsien : S T = {b, c | b S c T : )b, c*}

(12.3) Exemple.
1. {3, 5} {a, b, c} = {)3, a*, )3, b*, )3, c*, )5, a*, )5, b*, )5, c*}
Notez que les lettres en police sans srif (a,b,c) sont des constantes de type
caractre et non des variables. En programmation, on crirait a, b, c.
2. R R est lensemble des points dans le plan

)3.5, 1.5*
)2, 1*

)0, 0*

R R, avec trois de ses couples

Thormes sur le produit cartsien

(12.4) Appartenance : )x, y* S T x S y T

(12.5) )x, y* S T )y, x* T S
(12.6) S = S T = T S =
(12.7) S T = T S S = T = S = T
(12.8) Distributivit de sur :

S (T U ) = (S T ) (S U )
(S T ) U = (S U ) (T U )

(12.9) Distributivit de sur :

S (T U ) = (S T ) (S U )
(S T ) U = (S U ) (T U )

(12.10) Distributivit de sur :

S (T U ) = (S T ) (S U )
Thormes sur le produit cartsien (suite)

(12.11) Monotonie : T U S T S U
(12.12) S U T V S T U V
(12.13) S T S U S '= T U
(12.14) (S T ) (U V ) = (S U ) (T V )
(12.15) Si S et T sont des ensembles finis, #(S T ) = #S #T

Produit cartsien de n ensembles

S1 . . . Sn = {s1 , . . . , sn | s1 S1 . . . sn Sn : )s1 , . . . , sn *}

Par exemple, R R R est lensemble des points dans lespace 3-D.

Notation f :A B C

Cette notation pour les fonctions utilise le produit cartsien. Elle indique que la
fonction f sapplique un couple, autrement dit, quelle a deux arguments (de
types A et B).
12.2 Relations
Un ensemble R tel que
R B1 . . . Bn
est appel une relation n-aire sur B1 . . . Bn . Si n = 2, la relation est dite
binaire. Si n = 1, la relation est dite unaire. Une relation n-aire contient donc
des n-uplets. Une relation R B B est dite
sur B, plutt que sur B B.

Cette terminologie courante est malheureusement ambige.

(12.16) Remarque. Dans les sections 12.2, 12.3 et 12.4, le terme relation d-
signe une relation binaire.
Exemples de relations binaires

1. La relation vide sur B C est lensemble vide .

2. La relation identit sur B est IB = {x | x B : )x, x*}.
3. La relation parent_de sur lensemble des personnes relie les parents leurs
enfants. Par exemple, Paul parent_de Marie indique que Paul est un parent
de Marie.
4. {b, c | b est lorigine dun arc et c est la destination dun arc : )b, c*} est
une relation sur lensemble des sommets dun graphe. Par exemple,
$ %
)1, 2*, )1, 5*, )3, 2*, )3, 3*, )6, 6*

$
!"#$
%&'(
1 !! ! !"#$
%&'(
2 # %&'(
!"#$
3
!!
!!
!!
!" $
%&'(
!"#$
4 %&'(
!"#$
5 %&'(
!"#$
6

5. {b, c | P dbute lexcution dans ltat b et la termine dans ltat c : )b, c*}
est une relation qui dcrit laction dun programme P .
Notations pour lappartenance une relation

Il y a deux notations utiles que nous utiliserons pour dsigner le fait quun couple
)b, c* est un lment dune relation .

Relation Couple Notation 1 Notation 2

)b, c* )b, c* bc
Parent_de )Paul, Marie* )Paul, Marie* Parent_de Paul Parent_de Marie
< )2, 5* )2, 5* < 2<5
De mme que
3 < 5 < 4 signifie 3 < 5 5 < 4,

b c d signifie b c c d.

La priorit de dans lexpression b c est la mme que celle de <. Voyez lentre
(j) de la table de prsance des oprateurs. Par exemple,

b c c d (b c) (c d) .
Domaine et image dune relation

Le domaine Dom. et limage Im. dune relation sont dfinis comme suit :
(12.17) Dom. = {b | (c |: b c)}
(12.18) Im. = {c | (b |: b c)}

Par exemple,
$ %
Dom. )1, 2*, )1, 5*, )3, 2*, )3, 3*, )6, 6* = {1, 3, 6}
$ %
Im. )1, 2*, )1, 5*, )3, 2*, )3, 3*, )6, 6* = {2, 3, 5, 6}

$
!"#$
%&'(
1 !! ! !"#$
%&'(
2 # %&'(
!"#$
3
!!
!!
!!
!" $
%&'(
!"#$
4 %&'(
!"#$
5 !"#$
%&'(
6

Le domaine est lensemble des lments qui apparaissent comme premire compo-
sante dun couple. Limage est lensemble des lments qui apparaissent comme
deuxime composante dun couple.
Oprations sur les relations

(12.19) Soient B C et B C.
Union comme pour dautres ensembles
Intersection comme pour dautres ensembles
Complment = (B C) B C est lensemble universel
Inverse )b, c* 1 )c, b* pour tous b:B, c:C

(12.20) Exemple. Supposons B = {1, 2, 3} et C = {a, b, c}.

1
!"#$
%&'( %&'(
!"#$
a !"#$
%&'( ! !"#$
%&'( !"#$
%&'( %&'(
!"#$
1 !! 1" # & 'a 1 !( ! a
!! "" ##$$ !!
!! ""### $$ !!
!! #" $ !!
!" ## ""$$ !
%&'(
!"#$ ! %&'(
!"#$
b %&'(
!"#$
2 $$"" #!"#$ %&'( %&'(
!"#$ %&'(
!"#$
2 !! &b 2 !( # ! b
!! $$ #""# !!
!! # !!
!! $$$### """ !!
!" $## % !
%&'(
!"#$
3 %&'(
!"#$
c %&'(
!"#$
3 ! !
%&'(
"#$c %&'(
!"#$
3 %&'(
!"#$
c

{)1, b*, )2, b*, )2, c*} {)1, a*, )1, c*, )2, a* {)b, 1*, )b, 2*, )c, 2*}
)3, a*, )3, b*, )3, c*}
(12.21) Cas particulier de (11.9) : Soit une relation.

= {b, c | )b, c* : )b, c*}

(12.22) Cas particulier de (11.6) :

)b, c* {x, y | R : )x, y*} R[x, y := b, c]

)b, c* {b, c | R : )b, c*} R

(12.23) Thorme : Soient et deux relations.

(a) Dom(1 ) = Im.
(b) Im(1 ) = Dom.
(c) B C 1 C B
(d) (1 )1 =
(e) 1 1
(f) I1
B = IB
Produit de relations
Soient les relations B C et C D. Le produit (aussi dit produit relatif
ou composition) des relations et , not , est dfini comme suit :
(12.24) Dfinition de : )b, d* (c:C |: )b, c* )c, d* )
ou encore, en utilisant la notation alternative et en laissant tomber le type de c,
(12.25) Dfinition de : b d (c |: b c d)

(12.26) Exemple. Supposons B = {1, 2, 3}, C = {a, b, c} et D = {, }.

!"#$
%&'(
1 !! %&'(
!"#$
a !"#$
%&'(
a !! !"#$
%&'(
1 "!!
!! !! "" !!
!! !! "" !!!
!! !! "" !!
!" !" "
%&'(
!"#$
2 !! ! !"#$
%&'(
b %&'(
!"#$
b !! ! !"#$
%&'(
= %&'(
!"#$
2 !! "
"" ! !"#$
%&'(
!! !! !! ""
!! !! !! "
!! !! !!""
!" !" !" %
%&'(
!"#$
3 %&'(
!"#$
c %&'(
!"#$
c %&'(
!"#$
%&'(
!"#$
3 %&'(
!"#$

{)1, b*, )2, b*, )2, c*} {)a, *, )b, *, )b, *} = {)1, *, )1, *, )2, *, )2, *
(12.27) Associativit de : ( ) = ( )
(12.28) Distributivit de sur : ( ) =
( ) =
(12.29) (Sous)-distributivit de sur : ( )
( )

a ( ) d Dmonstration de (12.27) ci-contre :

= ) Dfinition (12.25) de * par extensionnalit (11.8) et par le m-
(b |: a b b d) tathorme (7.33), il suffit de montrer
= ) Dfinition (12.25) de * )a, d* ( ) )a, d* ( ) .

(b |: a b (c |: b c c d))
= ) libre(c,a b) & Distributivit de sur (7.4) *
(b |: (c |: a b b c c d))
= ) libre(c,vrai) & Imbrication (6.34) *
(b, c |: a b b c c d)
= ) Le reste de la preuve est semblable ce qui prcde, mais dans lordre
inverse ; compltez-la *
a ( ) d
Autres lois sur les relations

(12.30) Identit de (o B C) : IB = IC =
(12.31) )x, y* IB x = y
(12.32) Zro de : = =
(12.33) Monotonie de :
(12.34) Monotonie de :
(12.35) ( )1 = 1 1
(12.36) 1 =
(12.37) ( )1 = 1 1
(12.38) ( )1 = 1 1
Puissances dune relation
Dfinition inductive des puissances dune relation sur lensemble B.
(12.39) 0 = IB (relation identit sur B)
n+1 = n (si n 0)
Ainsi,
1 =
2 =
3 =
(12.40) Exemple.
1. parent_de2 = parent_de parent_de = grand-parent_de
2. Posons succ_de = {b:Z |: )b + 1, b*}. Par exemple, 5 succ_de 4.
On peut montrer
(a) succ_de2 = {b:Z |: )b + 2, b*}
(b) succ_den = {b:Z |: )b + n, b*} (par induction, bien sr)

(12.41) m n = m+n
(12.42) (m )n = mn
Classes de relations (proprits des relations)

Tab. 12.1 Classes de relations sur un ensemble B

Proprit Dfinition 1 Dfinition 2

(a) rflexivit (b |: b b) IB
(b) irrflexivit (b |: (b b)) IB =
(c) symtrie (b, c |: b c c b) 1 =
(d) antisymtrie (b, c |: b c c b b = c) 1 IB
(e) asymtrie (b, c |: b c (c b)) 1 =
(f) transitivit (b, c, d |: b c c d b d) = (i | i > 0 : i )
2

Exemples.
Proprit = < Proprit = <
rflexivit antisymtrie
irrflexivit asymtrie
symtrie transitivit
Fermeture transitive et fermeture transitive rflexive

(12.43) Dfinition.
La fermeture transitive de , note + , est la plus petite relation transitive qui
contient .
La fermeture transitive rflexive de , note , est la plus petite relation
transitive et rflexive qui contient .
(12.44) Remarque. Quand on dit que la relation est plus petite que la rela-
tion , cela signifie . On dit aussi que contient .
(12.45) Thorme : Soit une relation sur un ensemble B.
(a) + = (i | 0 < i : i )
(b) = + IB = (i | 0 i : i )
Pour dmontrer (12.45a), il faut montrer que
1. (i | 0 < i : i ) contient , ce qui est vident,
2. (i | 0 < i : i ) est transitive, ce qui est partiellement dmontr ci-dessous,
3. toute autre relation transitive qui contient et qui est transitive contient
aussi (i | 0 < i : i ). Cette preuve ne sera pas donne.
(12.45b) se dmontre de manire similaire.
Exemples de fermetures transitives

1. Rappelons que succ_de = {b:Z |: )b + 1, b*}.

a succ_de+ b a > b
a succ_de b a b

2. a parent_de+ b a est un anctre de b

a parent_de b a est un anctre de b ou a = b
3. Soit = {)0, 1*, )1, 0*, )1, 2*, )2, 3*} une relation sur lensemble {0, 1, 2, 3}.
+ = {)0, 0*, )0, 1*, )0, 2*, )0, 3*, )1, 0*, )1, 1*, )1, 2*, )1, 3*, )2, 3*}
= {)0, 0*, )0, 1*, )0, 2*, )0, 3*, )1, 0*, )1, 1*, )1, 2*, )1, 3*, )2, 2*, )2, 3*, )3, 3*}

%&'(
!"#$
0 *
) !"#$
%&'(
1 ! !"#$
%&'(
2 ! %&'(
!"#$
3

- / 1 ,
+ !"#$
%&'(
0 !"#$
%&'(
+ 1 ! !"#$
%&'(
2 0.! %&'(
!"#$
3

- / 1 , 1 1
%&'(
!"#$
0 + !"#$
%&'(
1 ! !"#$
%&'(
2 0! !"#$
%&'(
3
.
Relations dquivalence

(12.46) Dfinition. Une relation dquivalence est une relation qui est rfle-
xive, symtrique et transitive.

(12.47) Dfinition. Soit une relation dquivalence sur un ensemble B, et

soit b B. La classe dquivalence de b par la relation , note [b] , est le sous-
ensemble des lments de B qui sont quivalents par la relation :

x [b] x b .

Si le contexte rend la relation vidente, on crit simplement [b].

(12.48) Exemple.
1. Lgalit sur Z (ou sur tout autre ensemble) est une relation dquivalence.
La classe dquivalence de n, cest--dire [n]= , contient n comme seul l-
ment ; autrement dit, [n]= = {n}.
2. La relation S sur lensemble des personnes dfinie par

a S b a et b ont le mme sexe

est une relation dquivalence. Les classes dquivalence [Marie]S et [Paul]S

contiennent respectivement lensemble des femmes et lensemble des hom-
mes. On a
[Marie]S = [ve]S = . . .
et
[Paul]S = [Adam]S = . . .

3. Les relations < et sur Z ou sur R ne sont pas des relations dquivalence,
car elles ne sont pas symtriques.
 3
4. La relation = dfinie sur Z par
3
b = c b c est divisible par 3 ,

ou encore, de manire quivalente, par

b et c ont le mme reste par la division par 3 ,

est une relation dquivalence. Les classes dquivalence sont

[0] = [3] = [6] = . . . = {0, 3, 6, . . .}

[1] = [4] = [7] = . . . = {1, 4, 7, . . .}
[2] = [5] = [8] = . . . = {2, 5, 8, . . .}

Notez que chaque relation dquivalence sur un ensemble B induit une partition
de B (voyez (11.84) pour la dfinition dune partition). En effet, tout lment de
B est dans une et une seule classe dquivalence.
Autres proprits des relations B C

Proprit Dfinition 1 Dfinition 2

(a) totalit (b:B |: (c:C |: b c)) Dom. = B
(b) surjectivit (c:C |: (b:B |: b c)) Im. = C
(c) dterminisme (b, c, c" | b c b c" : c = c" ) 1 IC
(d) injectivit (b, b" , c | b c b" c : b = b" ) 1 IB

Exemples. Soient les relations , , , donnes ci-dessous. Supposons que =,

<, , , sont des relations sur N, que , sont des relations sur PN et que
est une relation sur {faux, vrai}.
= {)1, 2*, )2, 3*, )3, 3*} = {)1, 2*, )1, 3*, )2, 3*, )3, 3*}
= {a, b:Z | a + 1 = b : )a, b*} = {a, b:Z | a = b2 : )a, b*}

Proprit = <
totalit
surjectivit
dterminisme
injectivit
Dfinition de relations par comprhension :
notation usuelle

{x | R}

est une abrviation de

{x | R : x} .
De mme,
{)b, c* | R} ;
est une abrviation de
{b, c | R : )b, c*} ,
o b et c sont des variables (et pas des expressions arbitraires).

(12.49) Exemple.

{)a:Z, b:Z* | a + 1 = b} = {a:Z, b:Z | a + 1 = b : )a, b*} .

12.3 Fonctions
Les fonctions sont des relations avec une proprit particulire.
(12.50) Dfinition. Une relation binaire f B C est une fonction ssi f est
dterministe, cest--dire, rappelons-le, ssi

(b, c, c" | b f c b f c" : c = c" ) .

Par exemple,
1. {)1, 2*, )2, 3*, )3, 3*} est une fonction.
2. g = {)1, 2*, )1, 3*, )2, 3*, )3, 3*} nest pas une fonction, car 1 g 2 1 g 3,
mais 2 '= 3.
3. {a, b:Z | a + 1 = b : )a, b*} est une fonction.
4. h = {a, b:Z | a = b2 : )a, b*} nest pas une fonction. Par exemple, )4, 2* f
et )4, 2* f .

Quand f est une fonction, on crit habituellement f.a = b plutt que )a, b* f
ou a f b.
Fonctions : notation, fonctions partielles

(12.51) Dfinition. Soit f B C une fonction. Si f est totale (cest--dire

si elle est une relation totale), on note son type de la manire suivante :

f :B C .

Si f nest pas totale, on dit quelle est une fonction partielle et on note son type
de la manire suivante :
f :B ! C .
Une fonction totale est dite une application. Le terme fonction dsigne une fonc-
tion totale ou partielle.

(12.52) Remarque. Pour dautres auteurs (trs nombreux), le terme fonction

dsigne une fonction totale.
Fonctions : bijectivit

(12.53) Dfinition. Une application injective et surjective est dite bijective.

(12.54) Exemple.

fonction type commentaire

d.x = 1/x d:R ! R non bijective, car partielle
g.x = x 3 g:Z Z application bijective
h.x = 0 h:Z Z application non bijective, car non injective
f.x = x f :Z Z application bijective (fonction identit)
f.x = x f :N Z application non bijective (car non surjective)
Inverse dune fonction

(12.55) Dfinition. Soit f :B C. La fonction g:C B est dite linverse

de f ssi

f (g.c) = c et g(f.b) = b , quels que soient b:B et c:C.

Autrement dit,
g f = IC et f g = IB .
Si une fonction f a un inverse, elle est dite inversible.
Par exemple, la fonction g:Z Z dfinie par g.x = x 3 est linverse de la
fonction f :Z Z dfinie par f.x = x + 3.
Remarques :
1. On peut montrer que si g est linverse de f , alors g = f 1 .
2. Directement de la dfinition dinverse, on voit que si g est linverse de f ,
alors f est linverse de g.
(12.56) Thorme : Soit f :B C. Lapplication f est inversible ssi elle est
bijective.
(12.57) Remarque. Vous navez pas tudier la composition de fonctions,
note (page 281 du manuel), ni les inverses gauche et droite (page 283).
12.4 Relations dordre
(12.58) Dfinition. Une relation binaire sur un ensemble B est dite une re-
lation dordre partiel sur B, ou encore un ordre partiel sur B, ssi elle est rflexive,
antisymtrique et transitive. Si est un ordre partiel sur B, la paire )B, * est
appele un ensemble partiellement ordonn.
Une relation dordre compare les lments dun ensemble. Nous utiliserons le
symbole ; pour dsigner un ordre partiel quelconque et nous crirons indiff-
remment a ; b ou b < a.

(12.59) Exemple. Voici des exemples densembles partiellement ordonns.

1. )N, *
2. )PN, *
3. ){Jean, Marc, Paul},
$ %
)Jean, Jean*, )Jean, Marc*, )Jean, Paul*, )Marc, Marc*, )Paul, Paul* *

3 3 3
)*+,
-./0
Jean ! )*+,
-./0
Marc -./0
)*+,
Paul
2
(12.60) Dfinition. Une relation binaire sur un ensemble B est dite une
relation dordre partiel strict sur B, ou encore un ordre partiel strict sur B, ssi
elle est transitive et irrflexive.
(12.61) Thorme : Si est un ordre partiel sur un ensemble B, alors

IB

est un ordre partiel strict. Si est un ordre partiel strict sur B, alors

IB

est un ordre partiel.

Pour passer dun ordre partiel un ordre partiel strict, il suffit donc denlever les
couples de la forme )b, b*. Pour passer dun ordre partiel strict un ordre partiel,
il suffit dajouter les couples )b, b*.
Par exemple, < est un ordre partiel strict sur Z et est un ordre partiel strict
sur PZ. Les ordres partiels correspondants sont et .
Diagrammes de Hasse

On peut reprsenter les ensembles ordonns )B, ;* finis et suffisamment petits

par un diagramme appel diagramme de Hasse. Les lments de B sont les som-
mets du diagramme et certains couples de la relation sont reprsents par des
arcs (lignes entre les sommets). Si b c, alors le sommet b est plac plus bas que
le sommet c. Si b c et quil ny a pas dlment d tel que b d c, un arc est
trac entre b et c. Par exemple, voici les diagrammes de Hasse de deux ordres (
est la relation divise )

84 12
& 4 {1,& 2,
4 !( 3}
!
## ## !!
### ## # !!
## ## !!
## ## !
104 !( ! 44 & 64 &9 {1,4 2}
!( ! {1, & 3}!( ! {2, & 4 3}
!! # # !! ## # !! ## #
!! ### ### !##! !##!
!! ### ### # !! ## !!!
# ! #
! ## ## ## #
5 %5 %% 2 !( ! 34 &7 &&6 11 {1}!( ! {2} 4 {3}
&
%%% ! # & !! #
%%% !!! ### &&&& !! ##
#
%%% !! # && !! #
%%%! ##&##&&&& ! ###
#
&
1
,){i | 1 i 12}, * )P{1, 2, 3}, *
Ensembles totalement ordonns

(12.62) Dfinition. Un ordre partiel ; sur B est appel un ordre total ssi

(b, c |: b ; c b < c) ,

autrement dit, ssi deux lments quelconques b et c sont comparables. Dans ce

cas, la paire )B, ;* est appele un ensemble totalement ordonn ou une chane.

Par exemple,
1. )R, * est un ensemble totalement ordonn.
2. )PN, * nest pas totalement ordonn. Par exemple, on na ni {1} {2}
ni {2} {1}.