Académique Documents
Professionnel Documents
Culture Documents
relations
et
exemples de dmonstrations de type
classique
1 Introduction
(7.23) Mtathorme :
P est un thorme ssi (x| : P ) est un thorme.
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
C.Q.F.D.
2.4 Une dmonstration avec un ou
un
(7.25)(a) De Morgan :
(x|R : P ) (x|R : P )
Dmontrons que (m : N | : (n : N | : m > n))
(m : N | : (n : N | : m > n))
(m : N | : (n : N | : n < m))
(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
2 (a, b, c | ab bc : ac).
Dmonstration
:
Supposons donc que 2 (c.--d. : ).
Et dmontrons que (a, b, c | ab bc : ac).
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 ).
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
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.
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