Langage Mathmatique

Universit Paris Diderot 2010-2011

Table des matires

Chapitre 1. Introduction : gnralits sur le langage mathmatique 1

iii

CHAPITRE 1

Introduction : gnralits sur le langage mathmatique

Cours n 1 et 2. Mardi 14 et mardi 21 septembre 2010 1. Ce cours intervient un peu tt dans votre scolarit (on nenseigne pas la grammaire avant une pratique minimale du langage). Ce que nous allons y faire, cest rchir ce quest notre activit quand nous faisons des mathmatiques. Nous analyserons notre discours et notre faon de raisonner. Langage et raisonnement seront les deux piliers de notre travail. Contrairement ce qui se passe dans la quasi-totalit des autres cours que vous suivez, lobjectif ici nest pas dacqurir de nouvelles notions mathmatiques. Mais il se peut bien sr que vous ayez loccasion dapprendre ou de r-apprendre des choses qui vous ont en principe dj t enseignnes. mesure que le semestre (sic) avancera, nous disposerons de davantage de matire pour alimenter notre travail, puisque vous apprendrez parralllement des notions nouvelles dans les autres cours, et nous ne nous priverons pas alors de les utiliser. Ce qui est important, cest de bien carter lide, hlas frquente, selon laquelle il est possible de construire un magnique dice mathmatique partir de zro. Un cours comme le ntre sintresse ce quon appelle les fondements des mathmatiques, aborde quelques outils logiques, mais la familiarit que vous avez dj avec les mathmatiques, vos connaissances, votre pratique, sont indispensables. Nous menons une rexion sur ce quest une activit que nous pratiquons dj depuis longtemps. On commence par quelques constatations empiriques sur ce quest le langage mathmatique. On sintressera au raisonnement un peu plus tard. Faire des mathmatiques, cest observer (de lextrieur !) un univers peupl d OBJETS MATHMATIQUES et dcrire le comportement de ces objets en rassemblant le plus dinformations possible leur propos. partir de FAITS connus, on en DDUIT dautres au moyen de procds que nous examinerons un peu plus tard (les rgles du raisonnement logique). Notre activit ncessite la production dun DISCOURS mathmatique, qui peut prendre des aspects divers, par exemple tre oral ou crit. Nous nous intresserons peu ici au discours oral (il est trs compliqu analyser). Le discours mathmatique crit se trouve, imbriqu dans un discours plus gnral, dans les livres de mathmatiques, les manuels scolaires ou universitaires, les articles de recherche, la correspondance entre mathmaticiens, les notes de cours des professeurs, mais aussi les productions crites des lves ou des tudiants. Le langage mathmatique se distingue du langage naturel (celui que nous parlons tous) mais en est troitement dpendant. Le statut du langage mathmatique par rapport au langage naturel est compltement diffrent de celui qua par exemple une langue trangre.
1

CHAPITRE 1. INTRODUCTION : GNRALITS SUR LE LANGAGE MATHMATIQUE

La diffrence essentielle rside dans le fait quil nexiste pas de locuteur 1 qui utilise uniquement le langage mathmatique (seuls les ordinateurs pourraient relever dune telle catgorie), alors que, par exemple, des millions de gens ne parlent que lespagnol. Nous ne pouvons utiliser le langage mathmatique quen nous servant simultanment du langage naturel (pour nous, le franais) ; cette imbrication provoque dailleurs de frquentes situations dambigut 2. Il est donc indispensable pour faire des mathmatiques davoir une matrise sufsante de la langue naturelle. [Notez ce propos que RDIGER des mathmatiques sera une partie importante de votre travail tout au long de votre cursus universitaire. Cela prendra des formes varies : solution dun exercice en travaux dirigs, mise au propre de notes de cours, problme dexamen, mmoire, rapport de projet ou de stage, etc. Dans tous les cas, vos professeurs attendrons de vous des textes particulirement soigns. Le fait quil sagisse de mathmatiques ne dispense pas de cette exigence, bien au contraire, il la rend encore plus imprieuse. Vous devez respecter la syntaxe de la langue franaise, faire des phrases compltes, organiser votre texte de faon cohrente. Ayez comme proccupation constante de pouvoir tre compris par toute personne qui vous lirait.] 2. Quest-ce qui distingue le langage mathmatique du langage naturel ? cette question, la rponse la plus frquente mentionne le recours des SYMBOLES. Cest en effet une des diffrences majeures, mais il faut remarquer que le symbolisme est apparu plutt rcemment dans lhistoire des mathmatiques : il nexiste gure avant le quinzime sicle, et on peut considrer que le pas dcisif est franchi avec Descartes (1596-1650). En parcourant certains ouvrages anciens de mathmatiques 3, vous serez frapps dy trouver des squences de plusieurs pages comportant uniquement du texte crit en langue naturelle, sans le moindre symbole (si lon excepte des chiffres ou des dessins gomtriques). Leur lecture est dailleurs assez ardue, car le disours mathmatique ne peut pas tolrer dapproximations, de raccourcis, de sous-entendus. . . Lutilisation de symboles a reprsent une vritable rvolution dans les mathmatiques, car elle permet une conomie de langage dont nous voyons bien maintenant combien il est difcile de se passer. Une des activits qui vous serons proposes lors des travaux dirigs consistera traduire des phrases du discours mathmatique en les transposant de la langue usuelle vers un langage plus formalis (comportant davantage de symboles mathmatiques) ou bien dans lautre direction (vous ferez en quelque sorte du thme et de la version : rappelons que le thme est la traduction de la langue la plus familire vers celle qui lest moins tandis que la version est la dmarche inverse). Voici un exemple. Considrons la phrase suivante :

([1])

Tout entier naturel pair suprieur 3 est la somme de deux nombres premiers.

1. Le locuteur est la personne qui parle. 2. Il est utile, lorsque nous communiquons entre nous pour transmettre les mathmatiques, de faire la distinction dans ce que nous disons entre ce qui relve du langage mathmatique proprement dit et le reste, quon appelle le mta-langage. 3. Prenez lhabitude daller la bibliothque et de consulter des livres en tout genre !

CHAPITRE 1. INTRODUCTION : GNRALITS SUR LE LANGAGE MATHMATIQUE

Elle a exactement la mme signication que celle-ci : ([2]) Pour tout entier n, si n est pair et si n > 3, alors il existe des nombres premiers p et q tels que n = p + q. qui est crite dans un langage plus formalis. Remarque anticipe : On peut imposer des contraintes lcriture formalise attendue. Par exemple, supposons que lon impose de nutiliser que les symboles suivants : des variables toutes astreintes lensemble N des entiers naturels, le symbole dgalit =, le symbole daddition +, le symbole de multiplication , les connecteurs propositionnels , , et =, les quanticateurs et les nombres entiers 0, 1, 2, 3 et les parenthses. Alors lnonc suivant, qui respecte ces contraintes, est synonyme de [1] (pour des raisons de place, lnonc a t scind en neuf tronons qui gurent ci-dessous chacun sur une ligne et quil convient de mettre bout bout dans lordre (on dit aussi concatner) pour reconstituer lnonc voulu) : n( (n > 3 k n = 2 k) = pq( p > 1 q > 1 x (u (u x = p) = (x = 1 x = p)) y (v (v y = q) = (y = 1 y = q)) n = p + q) ). 3. Expressions mathmatiques, noms, noncs. Le discours est form dEXPRESSIONS MATHMATIQUES, qui sont des assemblages de signes qui obissent certaines rgles et certaines conventions, lesquelles peuvent tre soit trs gnrales (voire universellement admises) soit particulires un contexte donn (un ouvrage, un chapitre, un paragraphe...). Nous nallons pas du tout essayer de donner une dnition prcise de ce quest une expression mathmatique. Lexprience montre que, dans la plupart des cas, un consensus se fait assez facilement sur le fait que tel assemblage de signes est ou nest pas une expression mathmatique. Il y a certes des cas o cest moins clair, o cest discutable. Nous nous en accomoderons. Les assemblages [1] et [2] ci-dessus sont des expressions mathmatiques. Cest aussi le cas de la longue suite de symboles que nous avons d dcouper en morceaux pour quelle tienne dans notre page. Voici encore des expressions mathmatiques (nous ne prcisons pas la signication ni la porte de chacun des symboles utiliss ; il faudrait le faire, et il y a souvent plusieurs faons de le faire, mais ce nest pas lessentiel ce stade).

([3])

t 2 3t

CHAPITRE 1. INTRODUCTION : GNRALITS SUR LE LANGAGE MATHMATIQUE

([4]) ([5])

5x7 3x3 + 2x 45 5x7 3x3 + 2x 45 > 0

1

([6])
0

x dx cos x + cos y = cos (x + y) x ln y 1 = yz y ln x + 1

([7])

([8])

x+

lim

([9]) ([10]) ([11]) ([12]) ([13]) ([14]) ([15])

x+

lim

x ln y 1 = + y ln x + 1

/ x R | x2 + 1 = 0 = 0 ei x C |x2 + 1 = 0 {x R | |cos a + i sin x| = 1}

Lquation x2 1 = 0 Lapplication ei de R dans C est 2-priodique inf

t 6 , 3

cost

([16]) ([17]) ([18]) ([19])

x est un rel x

CHAPITRE 1. INTRODUCTION : GNRALITS SUR LE LANGAGE MATHMATIQUE

([20]) ([21]) ([22]) {x R |

Z
1 2

il existe k Z tel que x = a + k ou x = a + k}

En revanche, les assemblages suivants ne sont pas des expressions mathmatiques (mme si certains dentre eux sont des sous-expressions dexpressions mathmatiques) : x) cos y {x R} u x est un rel x est un rel quelconque La preuve du thorme 3 est trs facile 4. On peut classer les expressions mathmatiques en deux grandes catgories. Observons les expressions [1] [21] ci-dessus. On remarque que - les expressions [3], [4], [6], [12], [13], [15], [17], [18], [19], [20], [21] et [22] servent DSIGNER des objets mathmatiques ; nous les appellerons des NOMS (on dit aussi TERMES) ; - les expressions [1], [2], [5], [7], [8], [9], [10], [11], [14] et [16] sont des afrmations de FAITS concernant des objets mathmatiques ; nous les appellerons des NONCS (on dit aussi, entre autres, PROPOSITIONS). Pour exprimer des proprits dobjets mathmatiques, il est indispensable de nommer ces objets. Ainsi tout nonc contient ncessairement au moins un nom comme sousexpression. Les noms peuvent tre des expressions trs complexes. Il peut arriver que certains noms contiennent comme sous-expressions des noncs. Cest le cas ici des noms [12], [13] et [22]. Mais il y a aussi des noms qui se rduisent un seul symbole (ici, [17] [21]). Ce sont alors des lettres (de tel ou tel alphabet : le plus souvent pour nous franais ou grec) ou des symboles spciques utiliss par convention pour dsigner des objets particuliers ([20], [21]).

CHAPITRE 1. INTRODUCTION : GNRALITS SUR LE LANGAGE MATHMATIQUE

Certaines lettres sont parfois galement rserves la dsignation dobjets spciques. Cela rsulte de conventions qui peuvent tre universelles (comme pour les lettres ou e) ou particulires un contexte donn. Mais ce qui est probablement la marque principale du langage mathmatique, et qui le distingue du langage naturel, cest lutilisation de VARIABLES. Il sagit presque toujours de lettres, mais celles-ci sont parfois affectes dindices. Une variable constitue elle seule un nom ([17], [19]). Il y a bien sr des expressions mathmatiques qui ne comportent aucune variable ([1], [18], [21]). Une variable peut apparatre plusieurs fois dans une expression mathmatique. On dit alors quelle y a plusieurs OCCURRENCES. Une occurrence dune variable dans une expression est donc simplement un endroit o la variable apparat dans lexpression. Lorsquune variable apparat dans une expression mathmatique, elle dsigne un objet (variable ou xe, selon les circonstances) qui appartient un ensemble, qui peut tre indiqu par le contexte. On dit que la variable EST ASTREINTE lensemble en question. Par exemple, dans lexpression [3], la variable t pourrait tre astreinte R, ou Z, mais aussi bien dautres ensembles. Dans lexpression [8], il est plausible que les variables x et y soient astreintes lensemble des rels strictement positifs. Quant la variable z, elle pourrait tre astreinte par exemple N, Z ou R. Lindication des ensembles auxquels sont astreintes les variables qui apparaissent dans une expression est indispensable. On lomet cependant lorsquelle est claire daprs le contexte (par exemple, dans lexpression [10], il est clair que x est astreinte R. Cest ce genre de prcision que nous faisions allusion ci-dessus, dans la phrase qui prcde lexpression [3]. 5. Synonymie. On dit que deux expressions mathmatiques sont SYNONYMES si - ou bien ce sont deux noms et ces deux noms dsignent le mme objet quelles que soient les circonstances ; - ou bien ce sont deux noncs et ces deux noncs sont en mme temps vrais et en mme temps faux, quelles que soient les circonstances. Dans le cas des noncs, on dit souvent QUIVALENTS au lieu de synonymes. Par exemple, les noncs [1] et [2] sont synonymes, de mme que les noms [6], [15] et [21], ainsi que les noms [12] et [22] (vriez-le !). 6. Variables libres, variables lies. Considrons les expressions [4] et [6]. Il sagit de deux noms. Chacun deux fait intervenir la variable x (et aucune autre variable). La variable x a trois occurrences dans [4] et deux occurrences dans [6]. On voit bien que la variable x joue des rles de natures trs diffrentes dans ces deux expressions. Dans [4] il est question dun objet nomm x, alors que ce nest pas du tout le cas dans [6]. On dit que la variable x est MUETTE (ou LIE) dans [6], tandis quelle est LIBRE (ou PARLANTE) dans [4]. ATTENTION : il ne faut pas confondre le sens donn ici au qualicatif lie avec celui quil a par exemple dans lexpression les variables u et v sont lies par la relation u2 + v2 = 1 . On notera que, dans cette expression, les variables u et v sont LIBRES, au sens que nous venons de dnir. Curieusement, on dit plus souvent muette que lie et beaucoup plus souvent libre que parlante . Lutilisation de parlante est trs rare.

CHAPITRE 1. INTRODUCTION : GNRALITS SUR LE LANGAGE MATHMATIQUE

En fait il est prfrable de parler des OCCURRENCES LIBRES et des OCCURRENCES MUETTES dune variable dans une expression, pour la raison suivante : il peut arriver quune mme variable ait la fois des occurrences libres et des occurrences muettes dans une mme expression. Cest le cas par exemple de lexpression
1

cos x <
0

x dx

dans laquelle la premire occurrence de x est libre tandis que les deux suivantes sont muettes. Voici le statut (libres ou muettes) des variables dans les 22 expressions ci-dessus : (1) Il ny a pas de variable. (2) Les quatre occurrences de n, les deux occurrences de p et les deux occurrences de q sont muettes. (3) Les deux occurrences de t sont libres. (4) Les trois occurrences de x sont libres. (5) Les trois occurrences de x sont libres. (6) Les deux occurrences de x sont muettes. (7) Les deux occurrences de x et les deux occurrences de y sont libres. (8) Les trois occurrences de x sont muettes. Les trois occurrences de y et loccurrence de z sont libres. (9) Les trois occurrences de x sont muettes. Les deux occurrences de y sont libres. (10) Les deux occurrences de x sont muettes. (11) Les deux occurrences de x sont muettes. Loccurrence de est libre. (12) Les deux occurrences de x sont muettes. Loccurrence de a est libre. (13) Loccurrence de x est muette. Remarquons que, bien que ceci ne se fasse que trs rarement (et mme jamais lorsque seule une variable apparat dans lquation), il serait plus correct dutiliser ici lexpression Lquation en x : x2 1 = 0 . (14) Les deux occurrences de sont muettes. (15) Les deux occurrences de t sont muettes. (16) Loccurrence de x est libre. (17) Loccurrence de x est libre. (18) Il ny a pas de variable. (19) Loccurrence de b est libre. (20) Il ny a pas de variable. (21) Il ny a pas de variable. (22) Les trois occurrences de x et les trois occurrences de k sont muettes. Les deux occurrences de a sont libres.

CHAPITRE 1. INTRODUCTION : GNRALITS SUR LE LANGAGE MATHMATIQUE

Lorsquune variable na aucune occurrence dans une expression, on la considre comme libre dans cette expression. Comment savoir si une variable (disons x) est libre ou muette dans une expression ? Il y a plusieurs tests utiles. Test 1. Substitution dune autre variable : on choisit une variable qui na aucune occurrence dans lexpression considre et on la substitue chaque occurrence de x. - Si la nouvelle expression obtenue NEST PAS synonyme de lexpression initiale, alors la variable x tait certainement libre. - Si lexpression obtenue est synonyme de lexpression initiale, alors il est POSSIBLE (mais pas certain !) que x soit muette dans lexpression initiale. Il vaut mieux faire un autre test pour conrmation. Exemples : 01 x dx est synonyme de 01 t dt : cela peut laisser penser que x est muette dans [6]. t 2 3t NEST PAS synonyme de y2 3y. En effet (on suppose que les variables sont astreintes R), si t dsigne 0 et si y dsigne 1, lobjet dsign par t 2 3t nest pas le mme que celui dsign par y2 3y. On en conclut que t est libre dans [1]. Test 2. limination de la variable : - Si on peut trouver une expression synonyme de lexpression initiale, dans laquelle on a fait compltement disparatre la variable x (sans la remplacer par une autre !), alors il est POSSIBLE (mais pas certain) que la variable x soit muette dans lexpression donne. L encore un autre test est utile. Exemple : [6] est synonyme de [21], dans laquelle aucune variable na doccurrence. On a donc des raisons supplmentaires de penser que x est muette dans [6]. Test 3. Prsence dun SIGNE MUTIFICATEUR (ou LIEUR). Un signe muticateur, comme son nom (pas trs beau, certes !) lindique, a pour fonction de RENDRE MUETTE une variable. En fait, chaque fois quon est en prsence dune variable muette, il y a ncessairement un muticateur. Le problme est que ce muticateur est parfois cach (implicite). Pour en revenir lexpression [6], le signe muticateur est ici le symbole dintgrale coupl la lettre d (qui indique la variable dintgration). La variable x est bien muette dans [6]. Cette fois cest sr. Contrairement aux deux prcdents, ce test est infaillible : si on a dcel un muticateur, la variable sur laquelle il agit est muette dans lexpression (ou tout au moins pour toutes ses occurrences qui sont dans le champ daction du muticateur : dans lexpression cos x < 01 x dx, la premire occurrence de x nest pas dans le champ daction du signe dintgration). Test 4. Voici un autre test infaillible : substituer la variable x un NOM qui ne soit pas lui-mme une variable (cela peut ncessiter lintroduction de parenthses pour viter des ambiguts). Si lexpression ainsi obtenue est encore une expression mathmatique, la variable x est libre dans lexpression initiale. Dans le cas contraire, la variable x est muette. Exemples : essayons de substituer x le nom 1 , respectivement dans les expressions [4] 2 et [6]. Dans le premier cas on obtient 5 1 3 1 +2 2 2 qui est encore une expression mathmatique.
7 3 1 2

45

CHAPITRE 1. INTRODUCTION : GNRALITS SUR LE LANGAGE MATHMATIQUE

Dans le deuxime cas on obtient

1 0 1 2

d1 2

qui nest pas une expression mathmatique. On a ainsi une nouvelle preuve que x est libre dans {4] et muette dans [6]. Les muticateurs rencontrs dans les expressions donnes plus haut en exemple sont les suivants : d ... {. . . | } lim ... Les mots Pour tout Les mots Il existe [. . . ] tel que Le mot quation inf ... Cherchez-en dautres.