Thorme C.

2 Soient B et C, deux ensembles, et

B C. Alors







1. est total 1 est surjectif ;

est dterministe 1 est injectif ;


2.





3. est injectif 1 est dterministe ;



4.
est surjectif 1 est total.
Dmonstration Soit B C.

1.- est total 1 est surjectif.

est total.
=h dfinition de la totalit de . i
(b : B| : (c : C| : bc)).
=h dfinition de 1. i
(b : B| : (c : C| : c1b)).
=h dfinition de la surjectivit de 1. i
1 est surjectif.
2.- est dterministe 1 est injectif.
est dterministe.
=h dfinition du dterminisme de . i
(b : B, c, c0 : C|bc bc0 : c = c0)).
=h dfinition de 1. i
(b : B, c, c0 : C|c1b c01b : c = c0)).
=
(c, c0 : C, b : B|c1b c01b : c = c0))
=h dfinition de linjectivit de 1. i
1 est injectif.
3.- est injectif 1 est dterministe.
est injectif.
=h dfinition de la injectivit de . i
(b, b0 : B, c : C|bc b0c : b = b0))
=h dfinition de 1. i
(b, b0 : B, c : C|c1b c1b0 : b = b0)).
=
(c : C, b, b0 : B|c1b c1b0 : b = b0))
=h dfinition du dterminisme de 1. i
1 est dterministe.
4.- est surjectif 1 est total.
est surjectif.
=h dfinition de la surjectivit de . i
(c : C| : (b : B| : bc)).
=h dfinition de 1. i
(c : C| : (b : B| : c1b)).
=h dfinition de la totalit de 1. i
1 est total.

C.Q.F.D.
Dfinitions 1 : tant donne une application f :
B C, alors

f est injective (b, b0 : B| f (b) = f (b0) : b = b0)

ce qui est quivalent :

f est injective (b, b0 : B| b 6= b0 : f (b) 6= f (b0))

et, ce qui est quivalent :

f est injective (b, b0 : B, c : C| bf cb0f c : b = b0)

Dfinitions 2 : tant donne une application f :
B C, alors

f est surjective (c : C| : (b : B| : f (b) = c))

ce qui est quivalent :

f est surjective (c : C| : (b : B| : bf c))

 EXEMPLES de dmonstrations de type
classique appliqus la thorie des
relations :

(Ici, les diffrentes proprits relies larithmtique sont supposes

connues et nont pas tre dmontres. )
tant donnes les deux relations suivantes :

a) Z Z, dfinie par : = {i, j|j = 1/i : hi, ji}

b) k : Z Z, dfinie par la rgle : h.x = 2x

Pour chacune delle, dterminez sil sagit :

(1) dune fonction (c.--d. : dterministe) ;

(2) dune application (c.--d. : dterministe et totale) ;

(3) dune application injective (c.--d. : dterministe,

totale et injective) ;

(4) dune application surjective (c.--d. : dterministe,

totale et surjective) ;
a)(1) (Intuitivement, semble tre une relation dterministe.)

Dmontrons donc que

(b, c, c0|b c b c0 : c = c0)
Soient b, c, c0 choisis tels que b c et b c0
het montrons que c = c0. i

Comme b c, alors par la dfinition de , on a

c = 1/b.
Comme b c0, alors par la dfinition de , on a
c0 = 1/b.
Donc, par la transitivit de =, on a c = c0.
est donc une relation dterministe.
C.Q.F.D.
a)(2) (Intuitivement, semble ne pas tre une relation totale, car la divi-
sion par zro nest pas dfinie.)

Nous devons donc dmontrer que

(b : Z| : (c : Z| : b c))
Ce qui est quivalent dmontrer
(b : Z| : (c : Z| : b c)).
h Voir (7.20), Axiome, De Morgan i

Ce qui est quivalent dmontrer

(b : Z| : (c : Z| : (b c))).
h Voir (7.21)(b), De Morgan i
Dmontrons donc que
(b : Z| : (c : Z| : (b c))).
Soit b := 0. h Un tel b existe car clairement 0 : Z. i
Soit c : Z
Alors, comme 1/0 nest pas de type Z
h proprit de larithmtique i,
on ne peut pas avoir c = 1/0
Donc par la dfinition de , on ne peut avoir b c,
On a donc (b c). nest donc pas une relation
totale, et par consquent nest pas une applica-
tion.
C.Q.F.D.
 ont tous deux des rponses ngatives puisque
a)(3)et(4)
nest pas une application.
C.Q.F.D.
b)(1)et(2) k est ncessairement un application ( moins
dune erreur faite par le professeur dans lnonc)
puisque cest ce que signifie la notation

k : Z Z

k est donc une relation dterministe et totale.

C.Q.F.D.
b)(3) (Intuitivement, k semble tre une relation injective.)

Comme k est une application nous allons d-

montrer :
(x, x0 : Z|k(x) = k(x0) : x = x0).
Soient x, x : Z choisis tels que k(x) = k(x0).
Alors on a 2x = 2x0. h Dfinition de k. i

Alors on a x = x0. h Proprit de larithmtique. i

k est bien une application injective.

C.Q.F.D.
b)(4) (Intuitivement, k semble ne pas tre une relation surjective, les nombres
impairs ne semblant pas faire partie de limage de k.)

Comme k est une application nous devons donc

dmontrer :
(y : Z| : (x : Z| : k(x) = y))
Ce qui est quivalent dmontrer
(y : Z| : (x : Z| : k(x) = y)).
h Voir (7.20), Axiome, De Morgan i

Ce qui est quivalent dmontrer

(y : Z| : (x : Z| : k(x) 6= y)).
h Voir (7.21)(b), De Morgan i
Dmontrons donc
(y : Z| : (x : Z| : k(x) 6= y)).
Soit y := 3. h Un tel y existe car clairement 3 : Z. i
Soit x : Z
Alors clairement, k(x) = 2x 6= 3, car 3 nest
pas un nombre pair.
h Dfinition de la parit proprit de larithmtique. i

k nest pas une application surjective.

C.Q.F.D.
Lemme C.3 Soient AB et B C, deux relations dterministes.
Alors est une relation dterministe sur A C.

Dmonstration

En supposant
: (?) (a : A, b, b0 : B | ab ab0 : b = b0)
et : (??) (b : B, c, c0 : C | bc bc0 : c = c0)




Nous allons dmontrer : (a : A, c, c0 : C | a c a c0 : c = c0)

Soient a : A, c : C, c0 : C choisis tels que a c et a c0

het montrons que c = c0. i

Soit b : B choisi tel que ab bc

h Comme a c, par la dfinition de , un tel b existe.i

Soit b0 : B choisi tel que ab0 b0c0

h Comme a c0, par la dfinition de , un tel b0 existe,

cependant il est a priori possible que b0 soit diffrent de b.i

Comme on a ab et ab0 , on a donc b = b0. h Voir (?).i

Ce dernier fait, combin avec b0c0, nous donne bc0.

Ainsi, on a la fois bc et bc0.

On a donc c = c0 h Voir (??).i

est donc une relation dterministe.

C.Q.F.D.
Lemme C.4 Soient A B et B C, deux relations injectives.
Alors est une relation injective sur A C.

Dmonstration

En supposant
: () (a, a0 : A, b : B | ab a0b : a = a0)
et : () (b, b0 : B, c : C | bc b0c0 : b = b0)




Nous allons dmontrer : (a, a0 : A, c : C | a c a0 c : a = a

Soient a : A, a0 : A, c : C choisis tels que a c et a0 c

het montrons que a = a0. i

Soit b : B choisi tel que ab bc

h Comme a c, par la dfinition de , un tel b existe.i

Soit b0 : B choisi tel que a0b0 b0c

h Comme a0 c, par la dfinition de , un tel b0 existe,

cependant il est a priori possible que b0 soit diffrent de b.i

Comme on a bc et b0c , on a donc b = b0. h Voir ().i

Ce dernier fait, combin avec a0b0, nous donne a0b.

Ainsi, on a la fois ab et a0b.

On a donc a = a0 h Voir ().i

est donc une relation injective.
C.Q.F.D.
Lemme C.5 Soient A B et B C, deux relations totales.
Alors est une relation totale sur A C.

Dmonstration

En supposant : () (a : A |: (b : B |: ab))

et : () (b : B |: (c : C |: bc))




Nous allons dmontrer : (a : A |: (c : C |: a c))

Soient a : A het montrons que (c : C |: a c). i

Soit b : B choisi tel que ab

h par : un tel b appartenant B existe bien.i

Soit c : C choisi tel que bc

h par : un tel c appartenant C existe bien.i

Alors on a bien que a c

h Par la dfinition de , car ab et bc. i
 est donc une relation totale.
C.Q.F.D.
Lemme C.6 Soient A B et B C, deux relations surjectives.
Alors est une relation surjective sur A C.

Dmonstration

En supposant : () (b : B |: (a : A |: ab))

et : () (c : C |: (b : B |: bc))




Nous allons dmontrer : (c : C |: (a : A |: a c))

Soient c : C het montrons que (a : A |: a c). i

Soit b : B choisi tel que bc

h par : un tel b appartenant B existe bien.i

Soit a : A choisi tel que ab

h par : un tel a appartenant A existe bien.i

Alors on a bien que a c

h Par la dfinition de , car ab et bc. i
 est donc une relation surjective.
C.Q.F.D.