Vous êtes sur la page 1sur 32

Notes complmentaires sur la thorie des

relations
et
exemples de dmonstrations de type
classique
1 Introduction

Les dmonstrations que nous avons tudies

jusqu maintenant sont de type formel...


2 Deux ides sous-jacentes aux dmons-
trations de type classique

1. Que faire si lnonc quon souhaite dmontrer


contient un quantificateur universel ?

2. Que faire si lnonc quon souhaite dmontrer


contient un quantificateur existentiel ?
2.1 Une dmonstration avec un

(7.23) Mtathorme :
P est un thorme ssi (x| : P ) est un thorme.

(7.3) Axiome, transfert :


(x|R : P ) (x| : R P )
Intuition

On veut montrer : (x : X | Q(x) : P (x)).

Soit x : X, choisit tel que Q(x) est vrai.

Alors pour telle raison blablabla.


Ce qui implique ceci et cela.

Et on peut finalement en conclure que P (x) est


vrai.
C.Q.F.D.
2.2 Une dmonstration avec un

(7.26) Transfert : (x|R : P ) (x| : R P )


Intuition

On veut montrer : (x : X | Q(x) : P (x)).

Soit x : X, un lment qui satisfait Q.


h Un tel x existe car blablabla.i

Alors pour telle raison blablabla.


Ce qui implique ceci et cela.

Ce qui nous permet de conclure que P (x) est vrai.


C.Q.F.D.
2.3 Une dmonstration en gnral

Une dmonstration de type classique est bien

entendu quelque chose de bien plus complexe...


Dmontrons que (n : N | : (m : N | : m > n))

Soit n : N.

Soit m := n + 1,
h Un tel m existe, il est mme lui-mme un nombre de N Voir les pro-

prits de larithmtique. i

Alors bien sr, on a que m=n+1>n.


h Proprit de larithmtique. i

C.Q.F.D.
2.4 Une dmonstration avec un ou
un

(7.24) Axiome, De Morgan :


(x|R : P ) (x|R : P )

(7.25)(a) De Morgan :
(x|R : P ) (x|R : P )
Dmontrons que (m : N | : (n : N | : m > n))

Nous devons donc dmontrer que

(m : N | : (n : N | : m > n))

Ce qui est quivalent dmontrer h(7.25)(b)i

(m : N | : (n : N | : n < m))

Ce qui est quivalent dmontrer h(7.25)(c)i

(m : N | : (n : N | : (n < m)))
Dmontrons donc que
(m : N | : (n : N | : (n < m)))

Soit m : N. Soit n := m + 1,
h Un tel n existe et est bien un nombre de N Proprits de larithm-

tique. i

Alors on a que n = m + 1 m.
h Proprit de larithmtique. i

Ce qui implique que (n < m).


h Proprit de larithmtique. i
C.Q.F.D.
2.5 Une dmonstration avec un ()

(3.97) Implication mutuelle :


(p q) (p q) (q p)

(3.97) Implication mutuelle :


(p q) (p q) (q p)
2.5.1 Exemples de dmonstrations en pr-
sence dun

Thorme C.1 (Dfinitions quivalentes de la tran-


sitivit.)

Soit une relation sur un ensemble B. Alors,

2 (a, b, c | ab bc : ac).
Dmonstration

:
Supposons donc que 2 (c.--d. : ).
Et dmontrons que (a, b, c | ab bc : ac).

Soient a, b, c, choisis tels que ab et bc.


Alors on a a( )c. h Dfinition de . i

Donc, on a a2c. h Dfinition de 2 . i

Cest--dire ha, ci 2.
Donc, on a ha, ci . h Car par hypothse, on a 2 . i
Et donc ac.

(: est dmontr.)
:
Supposons donc que (a, b, c | ab bc : ac).
Et dmontrons que 2 ,
quivalent (a, c | ha, ci 2 : ha, ci ).

Soient a et c, choisis tels que ha, ci 2.


Alors on a ha, ci . h Dfinition de 2. i

Soit b, choisi tel que ab et bc.


h Un tel b existe car ha, ci , voir dfinition de . i

Alors on a ac.
h Car par hypothse : (a, b, c | ab bc : ac). i
Et donc, on a ha, ci ).

(: est dmontr.)

C.Q.F.D.
RAPPEL :
On dira quune relation B C est






(a) totale si (b : B | : (c : C | : bc ))








(b) surjective si (c : C | : (b : B | : bc ))



(c) dterministe si


( b : B, c, c 0 : C | : bc bc0 : c = c0 )










(d) injective si

( b, b0 : B, c : C | : bc b0c : b = b0 )



Une relation est appele une application si elle
est la fois totale et dterministe.
Autrement dit, ne relation f X Y est une
application lorsque pour chaque x X

il existe un et un seul y Y tel que xy

car le fait que pour chaque x X il existe un y


tabli que est une relation totale et le fait que
pour chaque x X il nexiste qu un seul y
tabli que est une relation dterministe.
Ainsi, si une relation f est dfinie par une rgle de
correspondance qui est bien dfinie (cest dire
que cette rgle fait effectivement correspondre
chaque lment de lensemble de dpart un et
un seul lment de lensemble darriv), alors il
la relation f est une application.
NOTATION DONNER

Note1 : lorsquune relation f est une application,


lexpression hx, yi f pourra tre remplac par
f (x) = y (ou encore f.x = y). Contrairement au
cas o la relation f nest pas une application, cette
nouvelle notation ne comporte ici aucune ambigut
puisque qu chaque x de lensemble de dpart
ne correspond quun et un seul y de lensemble
darriv.
Note2 : Une application f peut tre dfinie laide
dune rgle de correspondance pourvu que soit pra-
lablement dfinis lensemble de dpart de f et len-
semble darriv de f .
Il y a plusieurs notations permettant de bien dfinir
une application, nous utiliserons souvent celle-ci :

f : B C
b 7 ...
Par exemple, on dfinit la parabole sur le plan car-
tsien par :
f : R R
x 7 x2
Note3 : Dans le cadre de ce cours, pour dmon-
trer quune relation dfinie par rgle de correspon-
dance est une application, il sera suffisant de dire
que cette rgle de correspondance est bien dfinie
(cest dire que cette rgle associe bien chaque
lment de lensemble de dpart un et un seul l-
ment de lensemble darriv.)
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.
Lorsquune relation est une application, la notation
dfinie la Note1 permet de rcrire les dfinitions
dinjectivit et de surjectivit :
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))

Vous aimerez peut-être aussi