Beruflich Dokumente
Kultur Dokumente
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
1 / 55
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
2 / 55
lments de Logique
Assertion
En logique binaire, il ny a que deux situations : ce qui nest pas vrai est faux. Dnition : On appelle assertion A un nonc dont on peut afrmer sil est vrai ou sil est faux sans ambigut. Exemple :
3 < 7 est une assertion vraie ; 2 > 5 est une assertion fausse. 10 000 est un grand nombre nest pas assertion
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
3 / 55
lments de Logique
Assertion
En logique binaire, il ny a que deux situations : ce qui nest pas vrai est faux. Dnition : On appelle assertion A un nonc dont on peut afrmer sil est vrai ou sil est faux sans ambigut. Exemple :
3 < 7 est une assertion vraie ; 2 > 5 est une assertion fausse. 10 000 est un grand nombre nest pas assertion
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
3 / 55
lments de Logique
Proposition
Dnition : Une proposition est un nonc vrai dans certaines situations, faux dans dautres. Pour une situation donne on peut savoir sans ambigut sil est vrai ou faux ; il devient alors une assertion. Exemple :
x 5 est une proposition. Elle est vraie pour les nombres infrieurs 5, fausse pour les autres.
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
4 / 55
lments de Logique
Proposition
Dnition : Une proposition est un nonc vrai dans certaines situations, faux dans dautres. Pour une situation donne on peut savoir sans ambigut sil est vrai ou faux ; il devient alors une assertion. Exemple :
x 5 est une proposition. Elle est vraie pour les nombres infrieurs 5, fausse pour les autres.
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
4 / 55
lments de Logique
A partir de deux propositions quelconques A et B de nouvelles propositions peuvent tre construites. Ces propositions composes sont dnies par leurs tables de vrit suivant les valeurs prises par A et par B . On appelle connecteur lopration qui permet une telle construction
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
5 / 55
lments de Logique
Ngation
Dnition : La ngation dune proposition A , note non A est vraie si, et seulement si, A est fausse. Les valeurs de vrit de (non A ) sont indiques dans le tableau suivant, appel table de vrit : A V F non A F V
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
6 / 55
lments de Logique
Exemples
La ngation de la proposition vraie 3 < 7 est la proposition fausse 3 7 . La ngation de la proposition fausse 1+1=3 est la proposition vraie 1+1=3
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
7 / 55
lments de Logique
Disjonction
Dnition : La disjonction de A et B , note A ou B est vraie ssi lune au moins de ces propositions est vraie. A V V F F B V F V F A ou B V V V F
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
8 / 55
lments de Logique
Exemple
La proposition (1 + 2 = 3) ou (1 + 1 = 3) est vraie. La proposition (1 + 2 = 3) ou (21 est divisible par 7) est vraie La proposition (1 + 1 = 3) ou (21 est divisible par 5 ) est fausse.
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
9 / 55
lments de Logique
Conjonction
Dnition : La conjonction de A et B , note A et B est vraie ssi A et B sont vraies simultanment. A V V F F B V F V F A et B V F F F
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
10 / 55
lments de Logique
Exemple
La proposition (1 + 2 = 3) et (1 + 1 = 3) est fausse. La proposition (1 + 2 = 3) et (21 est divisible par 7) est vraie.
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
11 / 55
lments de Logique
Implication
Dnition : (non A ) ou B est appele implication. On crit : A B . On lit : A implique B . On dit aussi : si A alors B . A V V F F B V F V F non A F F V V A = B V F V V
lments de Logique
Exemple
Rabat est la capitale du Maroc = 1 + 1 = 2 est vraie. Paris est la capitale de France = 1 + 1 = 3 est fausse Madrid est une ville de France = 1 + 1 = 3 est vraie.
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
13 / 55
lments de Logique
Transitivit de limplication
Remarque : Pour montrer que limplication A = B est vraie, il suft de dmontrer que, lorsque A est vraie, la proposition B est vraie. Proposition 1 (Transitivit de limplication) : Soient A , B et C trois propositions, on a : (A = B et B = C ) = (A = C ).
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
14 / 55
lments de Logique
Equivalence
Dnition : A et B sont dites quivalentes si : (A B ) et (B A ). On note A B . A V V F F B V F V F A = B V F V V B = A V V F V A B V F F V
A B est vraies ssi dans les deux cas : a) A et B sont toutes deux vraies, b) A et B sont toutes deux fausses.
Mohamed Hachimi Analyse de mathmatiques I 2010/2011 15 / 55
lments de Logique
Exemple
Rabat et la capitale du Maroc 1 + 1 = 2 est vraie. Casablanca est une ville du Maroc 1 + 1 = 3 est fausse. Paris est une ville du Maroc 1 + 1 = 3 est vraie.
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
16 / 55
lments de Logique
Contrapose
Dans certains cas de dmonstration, il est plus commode de montrer que la contrapose dune implication est vraie, plutt que montrer que limplication elle-mme est vraie.
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
17 / 55
lments de Logique
Exemple
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
18 / 55
lments de Logique
Thorme
Soient A et B deux propositions. Dnition : Limplication A = B est aussi appele thorme. A prend le nom dhypothse et B le nom de conclusion pour que A soit vraie, il faut que B le soit. On dit que B est une condition ncessaire de A . pour que B soit vraie, il suft que A le soit. On dit que A est une condition sufsante de B .
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
19 / 55
lments de Logique
Thorme
Soient A et B deux propositions. Dnition : Limplication A = B est aussi appele thorme. A prend le nom dhypothse et B le nom de conclusion pour que A soit vraie, il faut que B le soit. On dit que B est une condition ncessaire de A . pour que B soit vraie, il suft que A le soit. On dit que A est une condition sufsante de B .
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
19 / 55
lments de Logique
Thorme
Soient A et B deux propositions. Dnition : Limplication A = B est aussi appele thorme. A prend le nom dhypothse et B le nom de conclusion pour que A soit vraie, il faut que B le soit. On dit que B est une condition ncessaire de A . pour que B soit vraie, il suft que A le soit. On dit que A est une condition sufsante de B .
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
19 / 55
lments de Logique
Thorme rciproque
Dnition : Limplication est appele thorme rciproque de A = B . Un thorme peut tre vrai et le thorme rciproque faux. Lorsquun thorme et son thorme rciproque sont vrais simultanment, il y a quivalence (logique) entre hypothse et conclusion du thorme. B = A
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
20 / 55
lments de Logique
Exemple
Soit n N un nombre entier (n N). On a : n N = n N Mais le thorme rciproque est faux, car 2 N mais
2N
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
21 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 1 A ou (non A )
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 2 [non (non A )] A
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 3 (A ou B ) (B ou A )
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 4 (A et B ) (B et A )
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 5 [(A ou B ) ou C ] [A ou (B ou C )]
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 6 [(A et B ) et C ] [A et (B et C )]
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 7 [A ou (B et C )] [(A ou B ) et (A ou C )]
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 8 [A et (B ou C )] [(A et B ) ou (A et C )]
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 9 [non (A et B )] [(non A ) ou (non B )]
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 10 [non (A ou B )] [(non A ) et (non B )]
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 11 [(A = B ) et (B = C )] = [A = C ]
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
22 / 55
lments de Logique
Lois logiques
A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 12 non (A = B ) [A et (non B )]
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
22 / 55
Ensemble
Dnition : Un ensemble E est une collection dobjets qui, par dnition, sont les lments de E. Si a est un lment de lensemble E on crit : aE et on lit : x est un lment de E ou x appartient E
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
23 / 55
Ensemble
Un ensemble peut tre reprsent par la liste complte de ses lments, par exemple : E = {, , , , , , ou par lcriture dune proprit A : E = { x | A (x) } o A est sufsante pour afrmer quun objet appartient ou nappartient pas lensemble E. }
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
24 / 55
Exemple
Parmi les ensembles usuels citons ds maintenant : lensemble des entiers naturels not N : N = {0, 1, 2, 3, . . . , n, . . .} lensemble des entiers relatifs not Z : Z = {. . . , n, . . . , 3, 2, 1 0, 1, 2, 3, . . . , n, . . .} lensemble des nombres rationnels not Q : Q = {p/q | p Z et q Z, q = 0} lensemble des nombres rels (nombres rationnels et irrationnels) not R.
Mohamed Hachimi Analyse de mathmatiques I 2010/2011 25 / 55
Ensemble
On reprsente souvent un ensemble par une partie dun plan limit par une courbe ferme
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
26 / 55
Sous-ensemble
Dnition : Soient A et B deux ensembles. On dit que B est un sousensemble de A si tout lment de B est un lment de A. On note B A.
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
27 / 55
Egalit
Dnition : Soient A et B deux ensembles. Si B A et A B, on dit que A et B sont gaux. On note B = A. Exemple :
Considrons les deux ensembles : A = {0, 3, 6, 9, 12, 15}, On a bien : A = B. B = {x N | x 17, x = 3k, k N}
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
28 / 55
Runion
Soient A et B deux sous-ensembles dun mme ensemble E. Dnition : On appelle runion de A et B lensemble A B dni par : A B = { x E | x A ou x B } B
AB
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
29 / 55
Intersection
Soient A et B deux sous-ensembles dun mme ensemble E. Dnition : On appelle intersection de A et B lensemble A B dni par : A B = { x E | x A et x B } B
A
Mohamed Hachimi Analyse de mathmatiques I
AB
2010/2011
30 / 55
Complmentaire
Soit A une partie dun ensemble E. Dnition : On appelle complmentaire de A dans E lensemble E A (ou A) dni par : A = { x E | x A } E
A A (dans E)
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
31 / 55
Ensemble vide
Dnition : On appelle ensemble vide et on note lensemble ne contenant aucun lment. Convention : Pour tout ensemble A, on a : A. Proposition : Pour tout ensemble A on a : A = et A = A. Soit E un ensemble et A un sous-ensemble de E. On a : E = E, E E = , A E A = .
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
32 / 55
Soit E un ensemble. Dnition : On appelle ensemble des parties de E lensemble de tous les sous-ensembles de E. On note cet ensemble P (E). On a : A E A P (E)
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
33 / 55
Exemple
Si E = {a, b, c} on a : P (E) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, E} Si E = on a : Si E = {} on a : P (E) = {} P (P ()) = {, {}}
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
34 / 55
Produit cartsien
Dnition : On appelle produit cartsien de deux ensembles E et F , donns dans cet ordre, lensemble de tous les couples ordonns (x, y) o x E et y F . On le note E F et on lit E croix F . E F = { (x, y) | x E, y F } Si E = F , E E se note aussi E2 . Exemple :
Soit E = F = R : E F = R R = R2 .
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
35 / 55
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
36 / 55
Exemple
Soit n un entier naturel non nul. et E1 = E2 = = En = R : E1 E2 En = R R R = Rn . Ainsi, Rn est lensemble des n-uplet des rels. On a : Rn = { (x1 , x2 , . . . , xn ) | x1 R, x2 R, . . . , xn R } Si n = 2 : Rn = R2 et tout lment de R2 est un couple de rels (x, y), par exemple : (5, 7) R2 et (7, 5) R2 .
Mais attention lordre des lments des couples : (5, 7) = (7, 5).
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
37 / 55
Quanticateurs
Quanticateur existentiel
Soit E un ensemble et x une variable qui appartient E. Soit A (x) une proprit dpendant de llment x. On dnit lassertion : il existe au moins un lment de E telle que A (x) soit vraie. de la faon suivante : x E, A (x)
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
38 / 55
Quanticateurs
Quanticateur universel
Soit E un ensemble et x une variable qui appartient E. Soit A (x) une proprit dpendant de llment x. On dnit lassertion : quel que soit llment x de E, la proprit A (x) est vraie. de la faon suivante : x E, A (x)
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
39 / 55
Quanticateurs
Exemple
Soit lnonc : n N, 2n n + 1. Cet nonc signie : quel que soit n appartenant N, la proprit A (n) vraie ; o A (n) est dnie par : A (n) : 2n n+1
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
40 / 55
Quanticateurs
Soit A une proprit concernant les lments dun ensemble E. Alors : : la ngation de lassertion : x E, A (x) nest pas mais x E, x E,
En effet, il suft quil existe un lment de E telle que A () est fausse pour nier lassertion.
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
41 / 55
Quanticateurs
Soit A une proprit concernant les lments dun ensemble E. Alors : : la ngation de lassertion : x E, A (x) nest pas mais x E, x E,
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
42 / 55
Quanticateurs
En rsum, pour nier une proposition, il suft dchanger et et de remplacer A (x) par non A (x). Ainsi : non x E, A (x) x E, non A (x) non x E, A (x) x E, non A (x)
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
43 / 55
Quanticateurs
Soient E, F deux ensembles et A une proprit dnie sur E F . Considrons les deux noncs : x E, y F , A (x, y) x E, y F , A (x, y) (1) (2)
Lassertion (1) signie que pour tout x de E, il existe (au moins) un y de F (dpendant de x) tel que lon a : A (x, y) est vraie. Lassertion (2) signie quil existe (au moins) un x0 de E pour lequel on a : A (x0 , y) est vraie pour tous les y de F .
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
44 / 55
Quanticateurs
La ngation de lassertion (1) est : non x E, y F , A (x, y) x E, y F , nonA (x, y) La ngation de lassertion (2) est : non x E, y F , A (x, y) x E, y F , nonA (x, y)
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
45 / 55
Quanticateurs
Attention
Lorsquon modie lordre des deux quanticateurs et , on modie aussi le sens de lassertion. Par exemple, lassertion : ( x R, n Z, n est vraie. Par contre lassertion : ( n Z, x R, n est fausse x) x)
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
46 / 55
Mthodes de dmonstrations
Dmonstration directe
Soient A et B deux propositions. Pour dmontrer que A = B la mthode de dmonstration directe (ou par dduction) consiste supposer que les hypothses A sont vries pour en dduire dautres rsultats, jusqu laboutissement des conclusions B . A = . . . = . . . . . . = B
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
47 / 55
Mthodes de dmonstrations
Exemple
Montrons que :
(x, y) R2 , y = = =
y = 3x
3x + 5
3y + 5
3x + 5 3x + 5
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
48 / 55
Mthodes de dmonstrations
Dmonstration indirecte
Cette mthode consiste remplacer la dmonstration directe de A = B par la dmonstration directe de non B = non A
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
49 / 55
Mthodes de dmonstrations
Exemple
Montrons que : (x, y) R2 , La contrapose de () est (x, y) R2 , 3x + 5 = 3y + 5 = x = y () x = y = 3x + 5 = 3y + 5 ()
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
50 / 55
Mthodes de dmonstrations
Lide dune dmonstration par labsurde utilise lquivalence logique : (A = B ) non A et non B . Cette mthode consiste montrer que la A et non B aboutit une absurdit, du type : A et non B = R et non R o R est une proposition. proposition
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
51 / 55
Mthodes de dmonstrations
Exemple
Montrons que :
Supposons que x2 = 2 et x Q alors il exite p et q deux entiers, p premiers entre eux, tels que x = do p2 = 2q2 . Deux cas sont q possibles lgard des parits : p impair. Ceci est absurde car p2 serait impair et gal 2q2 . p pair et q impair. Alors, p N, tel que p = 2p do p2 = 4(p )2 = 2q2 soit q2 = 2(p )2 ,
x R,
x2 = 2 = x Q
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
52 / 55
Mthodes de dmonstrations
Thorme : Soit P une proprit dnie sur lensemble N telle que la proposition suivante soit vraie : P (0) et ( n N, P (n) = P (n + 1)). P (n).
Alors on a : n N,
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
53 / 55
Mthodes de dmonstrations
Autrement dit, pour dmontrer par rcurrence quune proposition P (n) est vraie pour tout n, on procde en deux tapes : Premire tape : on vrie que P (0) est vraie. Deuxime tape : on suppose que pour n N quelconque P (n) est vraie, et puis on montre que P (n + 1) est vraie.
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
54 / 55
Mthodes de dmonstrations
Exemple
n + 1 .
on suppose que P (n) est vraie, c--d (2n 2n+1 = 2 22 Ainsi : 2n+1 2 (n + 1) 2n + 2
Mohamed Hachimi
Analyse de mathmatiques I
2010/2011
55 / 55