UNIVERSIT PARIS 1 LICENCE PHILOSOPHIE/LOGIQUE

MATHMATIQUES L1-S1

EN GUISE D'INTRODUCTION :
I Ensembles et nombres 1. Les intelligibles mathmatiques. Une science est gnralement dfinie par son objet (ce qu'elle tudie). On a longtemps peru les mathmatiques comme la science de l'espace (gomtrie) et des nombres (arithmtique), ce que l'on rsumait en disant qu'elle traite de la quantit, discrte ou continue. mesure que l'histoire des mathmatiques avanait, cette dfinition s'est avre rductrice et trop troite. Mais mme si l'on s'en tient aux nombres et aux figures gomtriques, leur nature et leur statut ontologique posent dj quelques problmes. Je vois deux verres d'eau poss sur la table, mais je ne vois pas le nombre deux ; les cts du triangle que je dessine sur le papier, ou simplement que j'imagine, ont une paisseur, ce qui n'est pas le cas de ceux du triangle mathmatique. Platon (Rpublique, VI, 510c-511d) soulignait que les vrais objets d'tude du mathmaticien ne peuvent tre connus par les sens, mais uniquement par la pense pure . Il admettait cependant la possibilit, pour le mathmaticien, de se servir de dessins sensibles pour les connatre. C'est pourquoi il voyait dans la pratique des mathmatiques une propdeutique la philosophie, une prparation l'tude des intelligibles purs (ex : l'Ide de justice). 2. Les nombres naturels. Les premiers nombres que nous apprenons manipuler dans notre enfance sont les nombres naturels, que nous avons appris noter : 0, 1, 2, 3, 4, ... Ces nombres servent compter, et dterminer combien il y a d'lments dans un ensemble d'objets. C'est d'un ensemble d'objets dont on dit qu'il a lments (c'est un ensemble que l'on attribue un nombre). Ces lments sont les units que l'on compte, mme si chacun peut lui-mme tre un ensemble (par exemple, on peut compter les membres d'une famille, mais aussi des familles). C'est cette relation entre les notions de nombre et d'ensemble que nous allons commencer par tudier. Bien entendu, l'tude mathmatique des ensembles concernera des ensembles dont les lments sont eux-mmes des objets mathmatiques : des nombres, des ensembles,... 3. De lacte de compter au nombre naturel. En pratique, lorsque nous voulons connatre le nombre d'lments dun ensemble, nous les comptons. Nous pointons chaque objet, l'un aprs l'autre, en rcitant, dans l'ordre, la suite des nombres (gnralement en partant de 1). De cette manire, nous tablissons une correspondance entre l'ensemble des nombres numrs et l'ensemble des objets compts. Pour que le compte soit bon, la correspondance doit tre un--un, ou bi-univoque : chaque objet, on doit faire correspondre un et un seul

nombre (on ne doit pas oublier un objet, ni en compter un deux fois), de mme qu' chaque nombre numr on doit faire correspondre un et un seul objet. Une telle correspondance est aussi appele une bijection. Il est remarquer que lorsque l'on tablit une bijection entre deux ensembles, on sait alors qu'ils ont le mme nombre d'lments, mme si ce nombre n'est pas connu. Dans un placard chaussures bien entretenu, il y a autant de chaussures droites que de chaussures gauches, quel qu'en soit le nombre... II Ensembles finis et ensembles infinis. Les ensembles que l'on rencontre en mathmatiques ont la particularit de pouvoir tre infinis. Si l'on demande combien de places contient une salle de confrence, ou combien d'habitants rsident dans un pays donn, la rponse est fournie par un nombre. Mais si l'on demandait combien y a-t-il de nombres ? C'est ici qu'on dira qu'il y en a une infinit ; mais que veut-on dire par l ? En pratique, on peut considrer que l'on veut dire que, quel que soit le nombre donn, on peut toujours en donner un plus grand. Mais d'o vient ce nombre, si l'on refuse de considrer que la totalit des nombres naturels existe quelque part (o ?), dans un stock infini, o nous pourrions piocher selon nos besoins ? D'un autre ct, a-t-il attendu que nous le construisions pour exister ? La suite des nombres naturels est-elle indfiniment inacheve (non-finie) et en construction ? Cette conception ne semble pas beaucoup plus claire que celle qui consiste admettre l'existence d'un stock actuellement infini de nombres. Malgr son infinit, la suite des nombres naturels n'a pas suffi aux mathmatiques. Au cours de leur histoire, d'autres nombres ont t introduits. On a ainsi ajout, notamment : les nombres entiers ngatifs ; on obtient ainsi les entiers : ..., -4, -3, -2, 1, 0, 1, 2, 3, 4, ... les nombres fractionnaires, de la forme , o et sont des entiers. On obtient

ainsi les nombres rationnels (ratio = rapport). Les nombres irrationnels, qui ne peuvent s'crire sous la forme , o p et q sont des entiers. Les nombres rationnels et les nombres irrationnels sont les nombres rels. Les nombres dits imaginaires, forms avec le nombre tel que . On obtient les nombres complexes, de la forme , o et .

Remarque : L'introduction des nombres irrationnels avait un motif gomtrique : elle

permet de faire correspondre un (et un seul) nombre chaque point d'une droite (sa distance un point pris pour origine). Si, en effet, sur une droite donne, on choisit arbitrairement un point origine et une longueur unit (cf. Fig.1), on ne pourra attribuer un nombre rationnel chaque point de la droite. En fait, comme l'a dmontr Cantor, la plupart des points de la droite correspondent des nombres irrationnels.

Notation des ensembles de nombres prcdemment cits : ensemble des nombres naturels ensemble des entiers ensemble des nombres rationnels ensemble des rels ensemble des nombres complexes

On ne peut pas mesurer la taille de ces ensembles infinis en utilisant les nombres naturels. Mais on peut encore comparer leurs tailles en tentant de dfinir, entre eux, des bijections. C'est ainsi que Cantor a dmontr les rsultats (surprenants) suivants : Les ensembles , , peuvent tre mis en correspondance biunivoque les uns avec les autres ; ils reprsentent des infinis de mme taille. Il n'y a pas de bijection entre et (ou , ou ). L'ensemble des rels reprsente un infini plus grand que celui de .

C'est dans le but de prciser ces comparaisons d'ensembles infinis que Cantor a fond la thorie des ensembles, dont nous verrons ici quelques concepts de base.