Vous êtes sur la page 1sur 21

Chapitre 1 : Logique, Ensemble et

Applications
Ce premier chapitre, commun aux deux modules dAlgbre et dAnalyse, traite des quelques
notions et des concepts de bases dont vous aurez besoin durant le reste du cours de
mathmatiques. Beaucoup de ces notions nont pas t vues au lyce et reviendront de faon
rmanente tout au long du programme de mathmatiques. Il faudra donc les assimiler et se
familiariser avec elles au travers dexercices nombreux et varis.

Tire de :
Cours 1 : Logique, Ensembles et applications par AIT AMRANE R. (2013-2014).
Note de Cours : Cours de M. DIB (2011-2012).
Rsum par : BELFODIL Aymen & BELFODIL Adnane

Remerciement :
CHERIFI Yanis
GHERBI Adel

Page 1
TABLE DES MATIERES
I. Logique : ................................................................................................................................ 4
1. Assertion et prdicat ....................................................................................................... 4
1.1. Dfinition : Assertion ................................................................................................ 4
1.2. Dfinitions : ................................................................................................................ 4
1.3. Prdicat : ..................................................................................................................... 4
2. Connecteurs Logique : .................................................................................................... 5
2.1. Dfinition : Ngation ................................................................................................ 5
2.2. Dfinition : Conjonction et Disjonction .................................................................. 5
2.3. Dfinition : Implication et Equivalence ................................................................. 5
2.4. Table de vrit : ......................................................................................................... 5
2.5. Dfinition : Tautologie et Antilogie ........................................................................ 6
2.6. Proprits des connecteurs : .................................................................................... 6
3. Quantificateurs logiques : ............................................................................................... 7
3.1. Quantificateurs : ........................................................................................................ 7
3.2. Ngation dune proposition quantifie:................................................................. 7
II. logique du raisonnement : ................................................................................................. 8
1. Raisonnement par hypothse auxiliaire : ..................................................................... 8
2. Raisonnement par contre-exemple :.............................................................................. 8
3. Raisonnement par contrapos :...................................................................................... 8
4. Raisonnement cas par cas : ............................................................................................. 9
5. Raisonnement par absurde : ........................................................................................... 9
6. Raisonnement par rcurrence : .................................................................................... 11
III. Ensembles : ....................................................................................................................... 12
1. Gnralises sur les ensembles : .................................................................................. 12
1.1. Dfinition : Ensemble ............................................................................................. 12
1.2. Dfinition : Cardinal ............................................................................................... 12
1.3. Dfinition : Ensemble Vide .................................................................................... 12
1.4. Dfinition : Ensemble de parties ........................................................................... 12
2. Relations entre ensembles : ....................................................................................... 12
3. Oprations dans P(E) :................................................................................................... 13

Page 2
3.1. lintersection : ........................................................................................................... 13
3.2. La runion : .............................................................................................................. 13
3.3. Le complmentaire :................................................................................................ 13
3.4. La diffrence : .......................................................................................................... 14
3.5. La diffrence symtrique : ..................................................................................... 14
4. Partition dun ensemble : .......................................................................................... 15
5. Produit cartsien : ...................................................................................................... 15
IV. Les Relations .................................................................................................................... 16
1. Relation Binaires: ........................................................................................................... 16
1.1. Dfinition : Relation binaire................................................................................... 16
1.2. Dfinitions : Proprits dune relation ................................................................. 16
2. Relation dquivalence : ................................................................................................ 16
2.1. Dfinition : Relation dquivalence ...................................................................... 16
2.2. Classe dquivalence : ............................................................................................. 16
3. Relation dordre: ............................................................................................................ 17
3.1. Dfinition : Relation dordre.................................................................................. 17
3.2. Ordre totale et partiel : ........................................................................................... 17
3.3. Elments particuliers : ............................................................................................ 17
V. Application : ...................................................................................................................... 18
1. Fonction : ......................................................................................................................... 18
1.1. Dfinition : Fonction ............................................................................................... 18
1.2. Dfinition : Domaine de dfinition ....................................................................... 18
2. Application : ................................................................................................................... 18
2.1. Dfinition : Application.......................................................................................... 18
2.2. Image Directe, image rciproque : ....................................................................... 19
2.3. Quelque Proprits des applications :.................................................................. 19
2.4. Injectivit, Surjectivit et Bijection : ...................................................................... 20
2.5. Application compos .............................................................................................. 21

Page 3
I. LOGIQUE :
1. ASSERTION ET PREDICAT
1.1. DEFINITION : ASSERTION
Une assertion est un nonc dont on peut dire, sans ambigut, sil est vrai ou faux.
( )
On lui attribue la valeur de vrit : {
( )

Remarque :

1. Certaines assertions sont dclares vraies priori : ce sont les axiomes.


Sinon la vracit dune assertion doit rsulter dune dmonstration.

2. On dit que deux assertions , sont logiquement quivalentes et on note , si


elles ont la mme valeur de vrit.

1.2. DEFINITIONS :
Les assertions dmontres (les rsultats des dmonstrations) sont appeles, suivant
leur importance, thormes ou propositions.
Un lemme est un rsultat pralable utile une dmonstration plus consquente.
Un corollaire est une assertion vraie qui dcoule dune dmonstration prcdente.

1.3. PREDICAT :
Un prdicat est un nonc contenant une ou plusieurs lettres appeles
variables, telles que lorsquon remplace chacune de ces variables par un lment
dun ensemble donn, on obtient une assertion.

Exemple :
1. 6 est multiple de 3 : Assertion dont la valeur logique est V (ou 1)
2. n est diviseur de 9 : Prdicat
a. Si on remplace n par 3 on obtient : P(3) = 3 est diviseur de 9 : assertion (V)
b. Si on remplace n par 4 on obtient : P(4) = 4 est diviseur de 9 : assertion (F)

Page 4
2. CONNECTEURS LOGIQUE :
2.1. DEFINITION : NEGATION :
La ngation dune assertion est une assertion note ( ) , ou et se lit non
, qui est vraie si est fausse, et fausse sinon.

2.2. DEFINITION : CONJONCTION ET DISJONCTION :


Soient et deux assertions.
1. La Conjonction de deux assertions et est une assertion note ( ) et se lit
et , qui est vraie lorsque les deux assertions et sont vraies, et fausse sinon.
2. La Disjonction de deux assertions et est une assertion note ( ) et se lit
ou , qui est vraie lorsquau moins une des deux assertions ou sont vraies,
et fausse sinon.

2.3. DEFINITION : IMPLICATION ET EQUIVALENCE:


Soient et deux assertions.
1. LImplication de vers est une assertion note ( ) qui se lit implique
. Elle est fausse lorsque est vraie et est fausse, et vraie sinon.
2. LEquivalence de et de est une assertion note ( ) qui se lit quivaut
. Elle est vraie si et sont logiquement quivalentes, et fausse sinon.

Remarque :

1. Dans Limplication : est dite condition suffisante et est dite condition


ncessaire de limplication.
2. Limplication sappelle limplication rciproque de .
3. En pratique, si et sont trois assertions, alors :
a. ( ) et ( ) se note .
b. ( ) et ( ) se note

2.4. TABLE DE VERITE :

V V V V V V
V F F V F F
F V F V V F
F F F F V V

Page 5
2.5. DEFINITION : TAUTOLOGIE ET ANTILOGIE
Une tautologie est une assertion qui est toujours vraie quel que soit la valeur de
vrit des assertions lmentaires qui la compose.
Une Antilogie est une assertion qui est toujours fausse quel que soit la valeur de
vrit des assertions lmentaires qui la compose.

Exemple :
1. sont des Tautologie.
2. sont des Antilogie.

2.6. PROPRIETES DES CONNECTEURS :

2.6.1. Proposition 1 :
Soient , et trois assertion, on a :
1.
2. Commutativit de et :
a.
b.
3. Associativit de et :
a. ( ) ( )
b. ( ) ( )

2.6.2. Proposition 2 :
Soient , Q et deux propositions, on a :
1. Distributivit :
a. ( ) ( ) ( )
( ) ( ) ( )
2. Lois de Morgan :
a.
b.

2.6.3. Proposition 3 :
Soient , Q et deux propositions, on a :
1. Limplication : ( )
2. Ngation de limplication : ( )
3. Transitivit de limplication : ( ) ( ) ( )
4. Lquivalence : ( ) ( )

Remarque : la dmonstration des Propositions 2 et 3 se fait laide de la table de


vrit.

Page 6
3. QUANTIFICATEURS LOGIQUES :
3.1. QUANTIFICATEURS :
A partir dun prdicat ( ) une variable dans un ensemble , on peut construire
de nouvelles assertions dites assertions quantifies en utilisant les quantificateurs
il existe et quel que soit :
1. ( ( )) qui se lit quel que soit llment de ( ). Cette assertion est
vraie lorsque lassertion P(x) est vraie pour tout lment de .
2. ( ( )) qui se lit il existe un lment de ( ). Cette assertion est
vraie lorsque lassertion P(x) est vraie pour au moins un lment de .
3. ( ( )) qui se lit il existe un unique lment de ( ). Cette
assertion est vraie lorsque lassertion ( ) est vraie pour un unique lment de .

Remarque : On peut construire des assertions avec plusieurs quantificateurs,


notamment sue des prdicats plusieurs variables ( ) , dans ce cas on
prendra garde lordre de ces quantificateurs.

( ( )) Veut dire que pour tout il yaura un pour lequel ( ) est vrifi;
or ( ) veut dire quil existe un y pour lequel tout vrifie ( )), ainsi
( ( )) nest pas synonyme de ( ( ))

3.2. NEGATION DUNE PROPOSITION QUANTIFIEE:


Soit ( ) un prdicat une variable dans un ensemble . On a :
1. ( ( )) ( ( ))
2. ( ( )) ( ( ))

Page 7
II. LOGIQUE DU RAISONNEMENT :
Pour affirmer quune proposition est vraie, on fait un raisonnement ou une
dmonstration. Pour cela, on utilise des propositions que lon sait dj tre vraie et
lon en dduit la proposition grce un petit nombre de rgles prcises.

1. RAISONNEMENT PAR HYPOTHESE AUXILIAIRE :


Si la proposition est vraie et si la proposition ( ) est vraie, alors la
proposition est vraie. ( ( ))

Remarque :
1. Une dmonstration de est introduite par supposons et se termine par
donc .
2. Pour dmontrer une proposition de la forme ( ) on commence par soit
( ) et on termine par .
3. Dmontrer une proposition de la forme ( ) est en gnral un problme
difficile, car on pourra rarement utiliser un thorme gnral dexistence. Il ny aura
alors pas dautres techniques que le recours une construction explicite dun tel
lment.

2. RAISONNEMENT PAR CONTRE-EXEMPLE :


Un raisonnement par contre-exemple sert dmontrer quune proposition quantifie
de la forme ( ) est fausse. Pour cela, on dmontre que sa ngation est vraie.
On a vu que : ( ( )) ( ( )).
Ainsi, pour montrer que ( ( )) est une proposition fausse, la mthode
consiste exhiber un lment de ne vrifiant pas ( ).

3. RAISONNEMENT PAR CONTRAPOSE :


Un raisonnement par contrapos consiste dmontrer la contrapos de la
proposition ( ). Pour cela, on fait lhypothse que est vraie et lon
dmontre que est vraie.
Exemple : sa contrapos , ce dernier est
plus facile a dmontr.

Page 8
4. RAISONNEMENT CAS PAR CAS :
Il sapplique lorsquon veut dmontrer une implication de la forme( ) . La
structure du raisonnement est :
Premier cas : supposons que est vraie donc .
Deuxime cas : supposons que est vraie donc .

Astuce : on a ( )

Exercice : Montrer ( ) ( )

Solution : Lhypothse se dcompose en deux cas :


1. Si : comme ( )( ) et comme le produit de deux
facteurs strictement positives est strictement positive alors .
2. Si ( ) ( ) ( )( ) .

5. RAISONNEMENT PAR ABSURDE :


Pour montrer quune proposition est vraie, un raisonnement par labsurde consiste
montrer que sa ngation, la proposition , entrane une proposition et son
contraire .
Il sappuie sur lquivalence logique : (( ) ( ))
En pratique, on suppose la proposition comme tant vraie et on cherche alors une
proposition (not ci-dessus) qui, sous ces hypothses, serait la fois vraie et fausse.
On dit que lon a obtenu une contradiction ou que cest contradictoire.
Exercice : Dmontrer que la somme dun rationnelle et dun irrationnelle est
irrationnelle.

Solution : Soient , montrons que .


Supposons que Donc , comme donc

do donc
( ) or ce qui est absurde.
Ainsi .

Page 9
Remarque :

1. Pour montrer quune implication est vraie, on fait les hypothses que est
vraie et est fausse et on montre que cela conduit une contradiction. Les deux
hypothses vraie et fausse ne peuvent donc pas tre vrifies en mme temps.
Cela signifie que lune des deux au moins nest pas vraie, autrement dit est fausse
ou bien est vraie. Cette affirmation exprime exactement que limplication
est vraie.

2. Pour prouver une proposition sous la forme ( ) est unique il suffit de


supposer (par absurde), quil existe distinct telle que ( ) et ( ) et darriver
.

Page
10
6. RAISONNEMENT PAR RECURRENCE :
De nombreux rsultats sexpriment sous la forme ( ) . Une
dmonstration par rcurrence permet de montrer quune telle assertion quantifie est
vraie.
Son principe exprime le fait que si la proprit ( ) est vraie et si limplication
( ) ( ) est vraie, alors la proprit ( ) est vraie pour tout entier
naturel .
La mthodologie consiste :
1. Vrifier que la proprit ( ) est vraie ;
2. Puis dmontrer que si la proprit ( ) est vraie alors ( ) est vraie. La
proprit ( ) suppose vraie est appele hypothse de rcurrence.

Exercice :
( )
Soit .Montrer que
Solution : raisonnons par rcurrence :
1. P(0) vrifi car
( )
2. Hypothse de rcurrence : Supposons que pour et montrons que
( ) Vrai
On a :
( )
( ) ( ) ( ) ( ). /

( )( )
Ainsi : Do ( ) Vrai. CQFD

Remarque :

1. Un raisonnement par rcurrence peut tre utilis si la proprit ( ) nest vraie


qu partir dun certain rang , o dsigne un entier naturel non ncessairement
gal . Dans ce cas prcis, la premire tape consistera montrer que la proprit
( ) est vraie.

2. Dans certaines dmonstrations par rcurrence lhypothse de rcurrence devient :


la proprit ( ) (Rcurrence forte).

Page
11
III. ENSEMBLES :
1. GENERALISEES SUR LES ENSEMBLES :
1.1. DEFINITION : ENSEMBLE
Un ensemble est une collection dobjets bien dtermins quon appelle lments.
Il y a deux faons de dcrire un ensemble : ou bien en se donnant la liste de ses
lments, ou bien en se donnant une proprit qui caractrise les lments de cet
ensemble.

1.2. DEFINITION : CARDINAL


On appelle cardinal dun ensemble E le nombre dlments de E, not ( ),
ou .

1.3. DEFINITION : ENSEMBLE VIDE


Un ensemble est dit vide lorsquil ne contient aucun lment et est not

1.4. DEFINITION : ENSEMBLE DE PARTIES


Lensemble des parties de not ( ) est lensemble des sous-ensembles de E quon
( )
peut former et on a ( ( ))
Exemple :
Soit * +, lensemble ( ) * * + * + * + + et ( )

2. RELATIONS ENTRE ENSEMBLES :

2.1. LINCLUSION :
Soient deux parties dun ensemble . On dit que est inclut dans et on
note ssi

Remarque :
1. ( )
2.
3.

2.2. LEGALITE :
Soient deux parties dun ensemble . On dit que et sont gaux et on note
ssi ( ). C'est--dire si lon a simultanment ( ) et
( ). Dans le cas contraire on dit quils sont distincts et on note .

Page
12
3. OPERATIONS DANS P(E) :
Soit et deux parties de .

3.1. LINTERSECTION :
Lintersection de et , not et se lit , la partie de dfinie par :
* +

Proposition :
1.
2.
3. ( ) ( ( ) ( ))

3.2. LA REUNION :
La runion de et , not et se lit , la partie de dfinie par :
* +

Proposition :
1.
2.
3. ( ) ( ) ( ) ( )

3.3. LE COMPLEMENTAIRE :
Le complmentaire de not ou , la partie de dfinie par :
* +

Proposition :
1.
2.
3. ( ) ( ) ( )

Rgles de calcul :
Pour toute partie dun ensemble , nous avons les rgles de calcule suivantes :
1. ( ) ( ) ( )
2. ( ) ( ) ( )
3. ( ) ( )
4. et
5. et
6.
7.
8.
9.
10. ( ) ( ) ( )

Page
13
11. ( ) ( ) ( )

3.4. LA DIFFERENCE :
La diffrence de et , not ou et se lit , la partie de
dfinie par : * +

Proposition :
1.
( ) ( ) ( )

3.5. LA DIFFERENCE SYMETRIQUE :


La diffrence symtrique de et de , not est la partie de dfinie par :
( ) ( ) ( ) ( ) ( ) ( )

Proposition :
1. ( ) ( )
( ) ( )
3. ( ) ( ) ( ) ( )

Remarque : Littralement si alors on a soit ,soit pas les deux.

Page
14
4. PARTITION DUN ENSEMBLE :

Dfinition :
Soit un ensemble non vide, et soit ( ) telle que * +. On
dit que est une partition de ssi :
1. ( )
2. [, -]
3.

5. PRODUIT CARTESIEN :
Dfinition :
Soient deux ensembles, le produit cartsien de et est lensemble
telle que : *( ) +, les lments de sont dit couple.

Proposition :
Si sont finies on a : ( ) ( ) ( ).

Remarque :

1. Soient ensembles, le produit cartsien des ensembles est


lensemble : *( ) +, les
lments de sont dit n-uplets.

2. Dans le cas o les sont gaux on note

Page
15
IV. LES RELATIONS
1. RELATION BINAIRES:
1.1. DEFINITION : RELATION BINAIRE
Soient deux ensembles non vides.
Une relation binaire de vers est la donne dun triplet ( ) o .
Sappelle lensemble de dpart, lensemble darrive et le graphe de la relation ;
si le couple ( ) on dit que est en relation avec et on note .

1.2. DEFINITIONS : PROPRIETES DUNE RELATION


Soit un ensemble et une relation binaire dans (de vers ). Alors :
a. rflexive :
b. Symtrique: ( )
c. Antisymtrique : ( ) ( ) ( )
d. Transitive : ( ) ( ) ( )
e. Circulaire : ( ) ( ) ( )

2. RELATION DEQUIVALENCE :
2.1. DEFINITION : RELATION DEQUIVALENCE
Soit un ensemble et une relation binaire dans .On dit que est une relation
dquivalence dans si et seulement si est : Rflexive, Symtrique et transitive.

2.2. CLASSE DEQUIVALENCE :

2.2.1. Dfinition :
Soit un ensemble et une relation dquivalence dans .
On appelle classe dquivalence de ( ) not ( ) ou lensemble
{ } ; est la classe dquivalence de . Llment est dit
reprsentant de la classe

2.2.2. Proposition :
Soit un ensemble et une relation dquivalence dans . . On a :
1.
2.

2.2.3. Lensemble quotient


Soit une relation dquivalence dans un ensemble .Lensemble quotient par .
est lensemble not telleque : * +, forme une partition de .

Page
16
3. RELATION DORDRE:
3.1. DEFINITION : RELATION DORDRE
Soit un ensemble et une relation binaire dans .On dit que est une relation
dordre dans si et seulement si est : Rflexive, Antisymtrique et transitive.

Remarque : Si est une relation dordre sur . On note souvent par et


lon dit que est infrieur ou gale .

Attention : La relation dfinit dans nest pas une relation dordre car elle nest
pas rflexive.

3.2. ORDRE TOTALE ET PARTIEL :


Soit une relation dordre dans un ensemble , on dit que :
1. Lordre est dit totale si et seulement si ( ) ou
2. Lordre est dit Partiel si et seulement si lordre nest pas totale autrement dit :
( ) et

3.3. ELEMENTS PARTICULIERS :


Soit une partie dun ensemble ordonn (c-.-d. : est une relation dordre totale
sur ) donc ordonn.
1. on dit que est une partie majore de si et seulement si
( est dit majorant)
2. on dit que est une partie minore de si et seulement si
( est dit minorant)
3. si est un majorant de et alors est unique.
4. si est un minorant de et alors est unique.
5. le plus petit des majorant de est dit la borne suprieur de
6. le plus petit des minorant de est dit la borne inferieur de

Page
17
V. APPLICATION :
1. FONCTION :
1.1. DEFINITION : FONCTION
Soient deux ensembles non vides.
Une fonction de vers est une Relation binaire telle que est en relation
avec 1 lment au plus de , on note :
1. ; On dit que est lensemble de dpart, F est lensemble darriv.
2.
Si est en relation avec , on note : ( ) (Ecriture fonctionnel) avec et
. On dit que est limage de par et est lantcdent (limage rciproque) de
par .

1.2. DEFINITION : DOMAINE DE DEFINITION


Soient deux ensembles non vides, une fonction de vers . Le domaine de
dfinition de est lensemble not telle que :
{ ( )}

Remarque : Soient des ensembles ; , deux fonctions,


on dit que les fonctions sont gales ssi : et ( ) ( ).

2. APPLICATION :
2.1. DEFINITION : APPLICATION
Soient deux ensembles non vides.
Une application de vers est une fonction telle que Autrement dit :
( )

Notation : Soit un ensemble non vide, lapplication de vers qui tout lment
de associe se note et sappelle lapplication identit de .

Page
18
2.2. IMAGE DIRECTE, IMAGE RECIPROQUE :
Soient deux ensembles non vides, une application , et .
1. Limage directe : ( ) * ( ) +
2. Limage rciproque : ( ) * ( ) +

Remarque : lcriture ( ) ne signifie pas que lapplication existe.

2.3. QUELQUE PROPRIETES DES APPLICATIONS :


Soient deux ensembles non vides, une application , ,
et .
1. ( )
2. ( ) ( )
3. ( ) ( ) ( )
4. ( ) ( ) ( )
5. ( ) ( ) ( )
6. ( ) ( ) ( )
7. ( ( ))
8. ( ( ))

Attention :
1. ( ) ( ) mais il reste toujours possible quil y a des
( )
2. Limage (respectivement lantcdent) dun ensemble est un ensemble.
3. Si est une application quelconque alors ( ( )) nest pas toujours
Vraie.

Page
19
2.4. INJECTIVITE, SURJECTIVITE ET BIJECTION :

2.4.1. Injectivit :

Dfinition :
Une application est dite injective si et seulement si : ( )
( )
Autrement dit :
1. ( ) ( )
2. il existe au plus un antcdent ( )

Proposition :
1. injective ( ( )) pour tout
2. injective ( ) ( ) ( ) pour tout de .

2.4.2. Surjectivit :

Dfinition :
Une application est dite surjective si et seulement si :
( )

Proposition :
1. surjective ( )
2. surjective ( )
3. surjective ( ( )) pour tout

2.4.3. Bijection :

Dfinition :
Une application est dite bijective si et seulement si : est injective et
surjective.
Formul diffremment une application est bijective sil existe une
application Telle que :
1. ( ( )) ( ( ))
2. ( ( )) ( ( ))

Remarque : on peut toujours faire des restrictions dans pour que lapplication
devient bijective c.--d. : trouver et telle que bijective.

Page
20
2.5. APPLICATION COMPOSE

2.5.1. Dfinition :
Soient et 3 ensembles non vides ; et 2 applications,
lapplication est une application de vers telle que :
( )( ) ( ( ))

Remarque : le est une Loi associatif.

2.5.2. Proposition :
Soient et 3 ensembles non vides ; et 2 applications :
1. et injectives injective
2. et surjectives surjective
3. et bijectives bijective

Remarque :
1. Soit ; ( )
2. Soit ; ( ) mais ( )

2.5.3. Dfinition : Application inverse :


Soient deux ensembles ; une application bijective.
On dfinit lapplication lapplication inverse de telle que :

2.

Remarque : lapplication existe ssi est bijective.

Page
21