Elments de mathmatiques

I. Les objets 1) Ensembles et lments Df : On appelle ensemble toute collection dobjets appels lments de cet ensemble. Pour signifier quun lment x appartient un ensemble E , on crit x E . Sinon, on crit x E . Df : Deux ensembles E et F sont dits gaux ssi ils sont constitus des mmes lments. On note alors E = F . Df : On appelle ensemble vide, not , lensemble constitu daucun lment. Df : Etant donns deux ensembles E et F , on appelle intersection de E et F lensemble E F forms des lments communs E et F . Df : Etant donns deux ensembles E et F , on appelle union de E et F lensemble E F forms des lments de lun et lautre ensemble. 2) Inclusion E dsigne un ensemble. Df : Un ensemble F est dit inclus dans E ssi tout les lments de F sont aussi lments de E . On note alors F E . Df : On appelle partie (ou sous-ensemble) de E , tout ensemble F dont les lments sont tous lments de E . Df : On appelle ensemble des parties de E lensemble not P (E ) form des sous-ensembles de E . 3) Produit cartsien a) couple Df : A partir de deux lments a et b , on forme le couple (a ,b ) dfini de sorte que : (a ,b ) = (a ,b ) ssi a = a et b = b . Df : On appelle produit cartsien de E par F lensemble form des couples (a ,b ) avec a dans E et b dans F . On le note E F . b) multiplet Df : A partir dlments a1 ,...,an (avec n * ), on forme le n uplet (a1 ,...,an ) dfini de sorte que :

(a1 ,,an ) = (a1,,an ) ssi pour tout i {1,, n } , ai = ai .

Df : On appelle produit cartsien des ensembles E1 ,..., En (avec n * ) lensemble form des n uplets

(a1 ,...,an ) avec pour tout i {1,2,, n } , ai Ei .

n

On le note E1 En ou encore Ei .
i =1

4) Fonctions et applications E et F dsignent des ensembles Df : Une application (ou fonction) f de E vers F est une manipulation qui chaque lment x de E associe un et un seul lment y de F . Llment y est alors not f (x ) et est appel image de x par f . On note f : E F pour signifier que f est une application de E vers F . On note F (E , F ) lensemble des applications de E vers F . II. Notions de logique 1) Assertion Df : On appelle assertion toute phrase mathmatique significative susceptible dtre vraie (V) ou fausse (F). Df : Deux assertions P et Q ayant mmes valeurs de vrit sont dites quivalentes et on note P Q .

-1/3-

Df : Soit P (x ) une assertion dpendant dun paramtre x lment de E . On note {x E tel que P (x )} ou {x E / P (x )} le sous ensemble de E form des lments x qui rendent lassertion P (x ) vraie. 2) Ngation Soit P une assertion. Df : On appelle ngation de P , lassertion note non(P ) dfinie comme tant vraie lorsque P est fausse et inversement. On peut aussi dire que lassertion non(P ) est dfinie par la table de vrit : Prop : non(non(P )) P (le signe signifie : ont mme valeur de vrit). 3) Conjonction et disjonction Soit P , Q et R des assertions. Df : On appelle conjonction (resp. disjonction) de ces deux assertions, lassertion note P et Q (resp. P ou Q ) dfinie comme tant vraie si et seulement si P et Q le sont toutes les deux (resp. lorsquau moins lune des deux lest). Prop : non(P et Q ) non(P ) ou non(Q ) .

P
V F

non(P )
F V

P
V V F F

Q
V F V F

P et Q
V F F F

P ou Q
V V V F

non(P ou Q ) non(P ) et non(Q ) .

Prop : P et P P , P ou P P . P et Q Q et P , P ou Q Q ou P , (P et Q ) et R P et (Q et R ) (que lon note alors P et Q et R ),

(P ou Q ) ou R P ou (Q ou R ) (que lon note alors P ou Q ou R ), P et (Q ou R ) (P et Q ) ou (P et R ) , P ou (Q et R ) (P ou Q ) et (P ou R ) .

4) Implications Soit P et Q deux assertions. Df : On dfinit lassertion P Q comme tant vraie ssi Q ne peut pas tre fausse quand P est vraie. En franais limplication est traduite pas les expressions : si... alors , donc , par suite etc. Plus prcisment, la valeur de vrit de lassertion P Q est donne par : Df : Lorsque P Q est vraie on dit que : + P est une condition suffisante (CS) pour Q , + Q est une condition ncessaire (CN) pour P . Df : Q P est appele implication rciproque de P Q . Prop : (P Q ) = non(P ) ou Q . Prop : P Q = non(Q ) non(P ) . Df : non(Q ) non(P ) est appele contrapose de P Q . Prop : non(P Q ) P et non(Q ) . 5) Equivalence Soit P et Q deux assertions.

P
V V F F

Q
V F V F

P Q
V F V V

-2/3-

Df : On note P Q lassertion P Q et Q P . En franais lquivalence se traduit par les expressions : si et seulement si (ssi), il faut et il suffit ,... La table de vrit de P Q est donne par : Df : Lorsque P Q est vraie, on dit que P et Q sont quivalentes et que P est un condition ncessaire et suffisante (CNS) pour Q . Prop : P Q non(P ) non(Q ) . 6) Quantificateurs Soit P (x ) une assertion dpendant dun lment x E .

P
V V F F

Q
V F V F

P Q
V F V V

QP
V V F V

P Q
V F F V

Df : On dfinit lassertion x E , P (x ) comme tant vraie lorsque P (x ) est vraie pour tout x dans E . Cette assertion se lit : Quel que soit x dans E on a P (x ) Df : On dfinit lassertion x E , P (x ) comme tant vraie lorsque P (x ) est vraie pour au moins un x dans E . Cette assertion se lit : Il existe x dans E tel que P (x ) . Df : On dfinit lassertion !x E , P (x ) comme tant vraie lorsque P (x ) est vraie pour un et un seul lment x dans E . Cette assertion se lit : Il existe un unique x dans E tel que P (x ) . Prop : non( x E , P (x )) x E , non(P (x )) ,

non(x E , P (x )) = x E , non(P (x )) .
Convention : Toute assertion commenant par : x est fausse. Par ngation : toute assertion commenant x est vraie. III. Raisonnements Une assertion vraie est appele nonc, proposition ou thorme. La vracit dune assertion se justifie par une dmonstration. Certaines assertions sont postules vraies sans dmonstration, ce sont les axiomes. 1) Dmonstration dune assertion Pour dmontrer la vracit dune assertion P on peut procder de trois manires : (1) Montrer que P dcoule de rsultats antrieurs i.e. dterminer un nonc Q tel que Q P soit vraie. (2) Oprer par disjonction de cas i.e. dterminer un nonc Q tel que Q P et non(Q ) P soient vraies. (3) Raisonner par labsurde i.e. montrer que non(P ) implique un rsultat faux. 2) Dmonstration dune implication Pour dmontrer la vracit dune implication P Q on peut procder de deux manires : (1) Par dduction : on dtermine une assertion R telle que : P R et R Q . (avec possibilit denchaner plusieurs assertions intermdiaires) (2) Par contrapose : on tablit non(Q ) non(P ) . 3) Dmonstration par rcurrence Thorme de rcurrence simple : Soit n 0 et P (n ) une assertion dpendant dun entier n n 0 . Si alors 1) P (n 0 ) est vraie et 2) n n 0 , P (n ) P (n + 1) .

n n 0 , P (n ) est vraie.

-3/3-