You are on page 1of 111

Avertissement Ce document nest pas un cours de mathmatiques.

Ces notes de cours reprennent les rsultats essentiels noncs en cours magistral. On sera attentif au fait que les rsultats y sont donns sans justication et que les exemples ny sont pas dtaills. Pour tout complment, nous renvoyons le lecteur louvrage suivant (dans lequel il trouvera une prsentation dtaille des rsultats cits ici, de nombreux exemples et mises en garde, ainsi que des exercices corrigs) : Algbre et Analyse Cours de Mathmatiques de Premire Anne avec Exercices Corrigs Stphane Balac, Frdric Sturm Presses Polytechniques et Universitaires Romandes Collection Sciences Appliques de lINSA de Lyon - 1046 pages - 2003 - Prix public : 55,00 EUR -

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

INTRODUCTION A LA THORIE DES ENSEMBLES ET A LA LOGIQUE MATHMATIQUE

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

1. Notion de base de thorie des ensembles

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

1.1. Gnralits sur les ensembles

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

On peut dnir de manire intuitive un ensemble comme la runion dans une mme entit de certains objets bien dtermins. On appelle ces objets les lments de lensemble. Si x dsigne lun des lments de lensemble E, on dit que x appartient E et on note x E. Si x nest pas lun des lments de lensemble E, on dit que x nappartient pas E et on note x E. /

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Exemple 1 Ensembles usuels en mathmatiques : N : ensemble des entiers naturels. N : ensemble des entiers naturels non nuls. Z : ensemble des entiers relatifs. Q : ensemble des nombres rationnels. R : ensemble des nombres rels. R+ : ensemble des nombres rels positifs.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Un ensemble peut tre dcrit de 2 manires :


1

en extension : on dresse la liste de tous les lments de lensemble. Exemple : E = {1, 2, 3, 4, 5, 6, 7, 8, 9}. Lordre ainsi que la rptition des lments est sans importance. en comprhension : on nonce la proprit caractristique des lments de lensemble. Exemple : E = {x N | 1 x 9}.

Attention, crire E = {1, 2, . . . , 8, 9} est incorrect.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

On peut reprsenter graphiquement un ensemble laide dun diagramme de Venn.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 1 Un ensemble E est dit ni lorsque le nombre dlments qui le composent est un entier naturel. Dans ce cas, le nombre dlments est appel cardinal de lensemble et est not card(E) ou #E.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Remarques Un ensemble qui nest pas ni est dit inni. On appelle singleton un ensemble compos dun seul lment. Lensemble vide est lensemble qui ne contient aucun lment. On le note . Par convention, card() = 0.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

1.2. Sous-ensembles

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 2 Soient A et B deux ensembles. On dit que A est inclus dans B et on note A B si tout lment de A appartient lensemble B. Lensemble A est alors quali de partie ou de sous-ensemble de lensemble B. Pour signier que A nest pas inclus dans B, on note A \B.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Remarques Pour que lensemble A ne soit pas inclus dans B, il faut et il suft quil existe un lment de A qui nappartienne pas B (par exemple N ). \R Lensemble vide est inclus dans tout ensemble. Un ensemble est inclus dans lui-mme.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

P ROPOSITION 1 La relation dinclusion est une relation transitive : si A, B, C dsignent trois ensembles tels que A B et B C alors on a A C.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 3 Soient A et B deux ensembles. On dit que les ensembles A et B sont gaux et on note A = B si tout lment de lun des ensembles appartient lautre ensemble. Autrement dit, A = B signie que A B et B A.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

P ROPOSITION 2 Soient A et B deux ensembles nis.


1 2

Si A B alors card(A)

card(B).

Si A B et si card(A) = card(B) alors A = B.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Exemple 2 Soient A = {x R | x 2 3x + 2 = 0} et B = {1, 2}. On a A = B.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 4 Soit E un ensemble. Les sous-ensembles de E dnissent un ensemble appel ensemble des parties de E et not P(E). Il y quivalence entre les assertions A P(E) et A E.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Remarques P(E) contient toujours et E. Attention, les lments de P(E) sont des sous-ensembles de E et non pas des lments de E.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Exemple 3 Si E = {a, b, c} alors P(E) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}. Est-on certain davoir numr tous les lments de P(E) ? Oui, car ...

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

P ROPOSITION 3 Soit E un ensemble ni de cardinal n. Lensemble P(E) des parties de E est de cardinal 2n .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

1.3. Oprations sur les ensembles

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 5 Soient E un ensemble et A, B deux sous-ensembles de E. La runion des 2 ensembles A et B note A B est lensemble constitu par les lments de E appartenant A ou B. Autrement dit A B = {x E | x A ou x B}.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

On a les proprits suivantes :


1 2 3 4 5

A (A B) et B (A B). A A = A et A = A. A B = B A (commutativit de lunion). A (B C) = (A B) C (associativit de lunion). Si A B alors A B = B.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 6 Soient E un ensemble et A, B deux sous-ensemble de E. Lintersection des 2 ensembles A et B note A B est lensemble constitu par les lments de E appartenant A et B.Autrement dit A B = {x E | x A et x B}. Si A B = , on dit que les ensembles A et B sont disjoints.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

On a les proprits suivantes :


1 2 3 4 5

(A B) A et (A B) B. A A = A et A = . A B = B A (commutativit de lintersection). A (B C) = (A B) C (associativit de lintersection). Si A B alors A B = A.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

P ROPOSITION 4 Soient A et B deux ensembles nis. On a card(A B) = card(A) + card(B) card(A B).

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

P ROPOSITION 5 Soient A, B et C trois ensembles. Lintersection est distributrice sur lunion : A (B C) = (A B) (A C). Lunion est distributrice sur lintersection : A (B C) = (A B) (A C).

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 7 Soient A, B deux sous-ensembles dun ensemble E. On appelle diffrence des ensembles A et B, et on note A \ B, lensemble constitu des lments de A qui nappartiennent pas B. Autrement dit, A \ B = {x E | x A et x B}. /

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 8 Soient E un ensemble et A un sous ensemble de E. On appelle complmentaire de A dans E, et on note C E A ou A, lensemble constitu des lments de E qui nappartiennent pas A. Autrement dit, C E A = {x E | x A}. /

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

P ROPOSITION 6 Soient E un ensemble et A, B deux sous-ensembles de E. On a les proprits suivantes :


1 2 3

C E (C E A) = A. C E = E et C E E = . C E (A B) = C E A C E B et C E (A B) = C E A C E B (loi de Morgan).

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

1.4. Produit cartsien de 2 ensembles

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 9 Soient E et F deux ensembles. On appelle produit cartsien de E et de F , et on note E F lensemble constitu des couples (x, y ) o x est un lment de E et y est un lment de F . Autrement dit, E F = {(x, y ) | x E et y F }. Remarque On note E 2 le produit cartsien E E. Attention, les deux ensembles E F et F E ne sont pas gaux (sauf si F = E).

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

P ROPOSITION 7 Soient E et F deux ensembles nis. On a card(E F ) = card(E) card(F ).

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

2. Introduction la logique mathmatique

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

2.1. Assertion et prdicat

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Une assertion est un nonc mathmatique auquel on peut attribuer la valeur de vrit vrai ou faux mais jamais les deux la fois (principe du tiers exclu).

x 24 est un multiple de 2 est une assertion (qui a pour valeur de vrit) vrai. y 19 est un multiple de 2 est une assertion (qui a pour valeur de vrit) faux. z n est un multiple de 2 nest pas une assertion. Il sagit dun prdicat.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Un prdicat est un nonc mathmatique contenant des lettres appeles variables tel que quand on substitue chacune de ces variables un lment donn dun ensemble, on obtient une assertion.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

2.2. Les connecteurs logiques

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Les connecteurs logiques permettent partir dassertions P, Q, . . . de crer de nouvelles assertions dites assertions composes dont on peut dterminer la valeur de vrit partir des valeurs de vrit des assertions P, Q, . . . la dnissant.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

La ngation

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

tant donn une assertion P, on note non(P) ou P son contraire. Cette nouvelle assertion est appele la ngation de P. Par dnition non(P) est vraie si P est fausse et non(P) est fausse si P est vraie. Les valeurs de vrit de non(P) en fonction de celles de P peuvent tre prsentes dans une table de vrit : P V F non(P) F V

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

La conjonction

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Soient P et Q deux assertions. Lassertion P et Q est appele conjonction des assertions P et Q et est note P Q. On a la table de vrit suivante : P V V F F Q V F V F P Q V F F F

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

La disjonction

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Soient P et Q deux assertions. Lassertion P ou Q est appele disjonction des assertions P et Q et est note P Q. On a la table de vrit suivante : P V V F F Q V F V F P Q V V V F

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Les lois de Morgan

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

On dit que 2 assertions composes, formes partir des mmes assertions, sont tautologiquement quivalentes si leurs tables de vrit concident. On utilise la notation pour symboliser lquivalence tautologique.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

P ROPOSITION 8 (Lois de Morgan) Soient P et Q deux assertions.


1

Lassertion compose non(P ou Q) est tautologiquement quivalente lassertion non(P) et non(Q) , autrement dit, (P Q) (P) (Q)

Lassertion compose non(P et Q) est tautologiquement quivalente lassertion non(P) ou non(Q) , autrement dit (P Q) (P) (Q)

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

2.3. Utilisation des quanticateurs mathmatiques

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Les quanticateurs

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Soit P(x) un prdicat une variable x que lon suppose reprsenter un lment dun ensemble E donn. Nous pouvons associer au prdicat P(x) les deux assertions suivantes :
1

x E P(x) qui snonce P(x) est vrai pour tout lment x de E ou encore quelque soit x lment de E, P(x) est vrai . x E P(x) qui snonce il existe au moins un lment x de E tel que P(x) est vrai .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Remarque On utilise parfois lassertion suivante : !x E P(x) qui snonce il existe un unique lment x de E tel que P(x) est vrai .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Rgles dutilisation des quanticateurs

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Soit P(x, y ) un prdicat deux variable x et y que lon suppose reprsenter respectivement un lment dun ensemble E et un lment dun ensemble F donns. On dnit lassertion : x E y F P(x, y )

qui snonce : pour tout lment x de E et pour tout lment y de F on a P(x, y ) . Cette assertion est tautologiquement quivalente lassertion : y F x E P(x, y ).

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

On dnit lassertion : x E y F P(x, y )

qui snonce : il existe un lment x de E et il existe un lment y de F tel que lon ait P(x, y ) . Cette assertion est tautologiquement quivalente lassertion : y F x E P(x, y ).

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Rgle 1 : Dans une assertion, on peut permuter deux quanticateurs de mme nature qui se suivent.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

On dnit lassertion : x E y F P(x, y )

qui snonce : pour tout lment x de E, il existe un lment y de F tel que lon ait P(x, y ) . En gnral, llment y de F pour lequel P(x, y ) est vrai dpend du choix de llment x. Cette assertion nest pas tautologiquement quivalente lassertion : y F x E P(x, y ) qui snonce : il existe un lment y de F tel que pour tout lment x de E on ait P(x, y ) .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Rgle 2 : Dans une assertion on ne peut pas permuter deux quanticateurs de nature diffrente.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

A partir dun prdicat 3 variables, on peut dnir selon le mme principe des assertions faisant intervenir 3 quanticateurs ou plus. Les rgles 1 et 2 demeurent.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Ngation dune assertion quantie

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Soit P(x) un prdicat une variable x que lon suppose reprsenter un lment dun ensemble E donn.  Lassertion non( x E P(x)) est tautologiquement quivalente lassertion : x E non(P(x)) .  Lassertion non(x E P(x)) est tautologiquement quivalente lassertion : x E non(P(x)) .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Exercice Donner la ngation sous forme dune assertion quantie de ! x E P(x).

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

3. La dmonstration en mathmatique

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Un rsultat mathmatique na de valeur que dans la mesure o il est prouv que sa valeur de vrit est vrai. Ce processus de justication est appel dmonstration ou preuve du rsultat.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

3.1. Implication et quivalence

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

 De nombreux rsultats mathmatiques snoncent sous la forme : si lassertion P est vraie alors lassertion Q est vraie . Soient A et B deux ensembles nis. Si A B alors card(A) card(B) .  On dit que lassertion P implique lassertion Q et on note symboliquement P = Q. Soient A et B deux ensembles nis. A B = card(A) card(B) .  Pour que lassertion Q soit vraie, il suft que lassertion P soit vraie. On dit que P est une condition sufsante pour Q.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

 Si lassertion Q est fausse alors ncessairement lassertion P est fausse. On dit que Q est une condition ncessaire pour P. Lassertion non(Q) implique donc lassertion non(P). On note symboliquement non(Q) = non(P).

 On dit que limplication non(Q) = non(P) est la contrapose de limplication P = Q. Ces deux implications sont tautologiquement quivalentes. non(Q) = non(P) P = Q .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

 Le fait que limplication P = Q soit une assertion vraie ne donne aucune indication sur la valeur de vrit de limplication Q = P. Limplication Q = P est appele implication rciproque de limplication P = Q.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

 Si les 2 implications P = Q et Q = P sont simultanment vraies, on dit que lassertion P est quivalente lassertion Q, ou encore que P est une condition ncessaire et sufsante pour Q. On note symboliquement P Exemple 4 Soient A et B deux ensembles nis. (A B et card(A) = card(B)) A = B. Q.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

3.2. Les principales mthodes de dmonstration

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Raisonnement par hypothse auxiliaire

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Pour montrer quune assertion Q est vraie, on prouve quune assertion P est vraie que lassertion P implique lassertion Q.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Exemple 5 Montrons, en utilisant un raisonnement par hypothse auxiliaire, que les 2 ensembles suivants sont gaux : B = {x R | x 4 13 3 17 x +6x 2 + x5 = 0}, 2 2 1 A = {2, , 1, 5}. 2

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Raisonnement par contrapose

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Pour montrer que limplication P = Q est vraie, on prouve que limplication contrapose non(Q) = non(P) (qui lui est tautologiquement quivalente) est vraie.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Exemple 6 Montrons que lassertion n N (n2 est pair = n est pair ) est vraie.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Raisonnement par labsurde

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Pour montrer que lassertion R est vraie, on montre que lassertion non(R) est fausse. Pour cela, on suppose que non(R) est vraie et on tablit que cela conduit une contradiction.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Exemple 7 Montrons, en utilisant un raisonnement par labsurde, que nest pas un nombre rationnel.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Si R est une assertion de la forme P = Q alors non(R) P et non(Q) . On suppose donc que P et non(Q) est vraie et on tablit que cela conduit une contradiction.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Exemple 8 Montrons, en utilisant un raisonnement par labsurde, que lassertion n N (n2 est pair = n est pair ) est vraie.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Raisonnement par rcurrence

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Soit P(n) un prdicat une variable. Le raisonnement par rcurrence est un moyen de montrer que lassertion n N P(n) est vraie. Son principe consiste montrer que
1 2

P(0) est une assertion vraie (phase dinitialisation) ; si pour un entier k quelconque lassertion P(k ) est vraie alors lassertion P(k + 1) est elle aussi vraie (on dit que le prdicat P est hrditaire).

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Exemple 9 Montrons, en utilisant un raisonnement par rcurrence que


n

n N
i=0

i=

n(n + 1) . 2

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

La condition 2 peut tre remplace par : 2 bis. si pour un entier k quelconque les assertions P(0), P(1), . . ., P(k ) sont vraies alors lassertion P(k + 1) est elle aussi vraie.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Raisonnement par contre exemple

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Soit P(x) un prdicat une variable que lon suppose reprsenter un lment dun ensemble E donn. Le raisonnement par contre exemple est un moyen de montrer que lassertion x E P(x) est fausse. Son principe consiste exhiber un lment x0 de lensemble E tel que lassertion P(x0 ) est fausse.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Exemple 10 Montrons que lassertion toute fonction numrique est soit paire soit impaire est fausse.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

4. Applications

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

4.1. Relations

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 10 Soient E et F deux ensembles. On appelle relation R de E vers F (ou de E dans F ) tout triplet (E, , F ) o est une partie de E F . Si (x, y ) , on dit que x est en relation avec y ce que lon note xRy . On dit que y est limage de x par R et que x est lantcdent de y par R. Lensemble E est appel ensemble de dpart de la relation R. Lensemble F est appel ensemble darrive de la relation R. Le sous-ensemble de E F est appel graphe de la relation R.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

4.2. Fonctions

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 11 Soient E et F deux ensembles. Une relation f densemble de dpart E, densemble darrive F et de graphe est appele fonction de E vers F (ou de E dans F ) si tout lment de E est en relation avec au plus un lment de F (ie : 0 ou 1). Si (x, y ) , on note y = f (x) pour signier que que x est en relation avec y .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Exemple 11 f la relation dnie par (R, , R) o = {(x, y ) R2 | y = ln(x)} est une fonction que lon note encore f : R R x ln(x) ou f : x R ln(x) R.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 12 Soit f la fonction dnie par la relation (E, , F ). On appelle ensemble de dnition de la fonction f , lensemble Df des lments de E ayant une image par f . Autrement dit, Df = {x E | y F y = f (x)}.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 13 Soit f la fonction dnie par la relation (E, , F ).


1

On appelle image de la fonction f , lensemble not f (E) des lments de F ayant un antcdent par f . Autrement dit, f (E) = {y F | x E y = f (x)}.

Plus gnralement si D est un sous-ensemble de E, on note f (D) lensemble des images par f des lments de D. Autrement dit, f (D) = {y F | x D y = f (x)}.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 14 Soit D est un sous-ensemble de E et f une fonction de E dans F . La fonction g dnie de D dans F par x D g(x) = f (x)

est appele la restriction de f D et est note f |D .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

4.3. Applications

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 15 Soient E et F deux ensembles. Une fonction f de E vers F est appele application si son ensemble de dnition est lensemble E, autrement dit, si tout lment de lensemble E a exactement une image dans lensemble F .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 16
1

Soient E, F deux ensembles et f , g deux applications de E vers F . On dit que les applications f et g sont gales et on note f = g si x E f (x) = g(x). Soient E, F , G trois ensembles, f une application de E vers F et g une application de F vers G. On appelle application compose de f et de g lapplication de E vers G note g f dnie par x E g f (x) = g(f (x)).

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

ATTENTION Ne pas confondre lapplication compose de f et de g note g f et lapplication compose de g et de f note f g. La composition dapplications nest pas commutative.

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

4.4. Injection et surjection

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 17 Soient E et F deux ensembles. Une application f de E vers F est appele injection si tout lment de lensemble F admet au plus un antcdent, autrement dit si (x, x ) E 2 f (x) = f (x ) = x =x .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

P ROPOSITION 9 Soient E et F deux ensembles. Lapplication f de E vers F est une injection si et seulement si (x, x ) E 2 x =x = f (x) = f (x ) .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Exercice Soient E et F deux ensembles. Traduire sous forme dune assertion quantie lapplication f de E vers F nest pas une injection .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 18 Soient E et F deux ensembles. Une application f de E vers F est appele surjection si tout lment de lensemble F admet au moins un antcdent par f , autrement dit si y F x E y = f (x).

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

P ROPOSITION 10 Soient E et F deux ensembles et f une application de E vers F . f est une surjection si et seulement si f (E) = F .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Dnition 19 Soient E et F deux ensembles. Une application f de E vers F est appele bijection si elle est la fois une injection et une surjection, autrement dit si tout lment de F admet un unique antcdent par f .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

Si f est une bijection de E vers F cela signie qu tout lment y de F on peut associer un unique lment de E. La relation ainsi dnie de F vers E est elle aussi une bijection appele rciproque de f et note f 1 .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

P ROPOSITION 11 Soient E et F deux ensembles et f une application de E vers F . Si f 1 dsigne la rciproque de f on a x E f 1 (f (x)) = x et y F f (f 1 (y )) = y .

S. Balac, Ple de Mathmatiques, INSA de Lyon

Cours de Mathmatiques Premire Anne

You might also like