0LA theorie des ensembles c est une grande theorie moderne

fondamentale des mathematiques du 21e siecle inventé par georg

cantor mathematicien allemand. Cette theorie est fondé sur la notion
d'ensemble, et d'appartenance a partir des quelles elle reconstruit les
objets usuels des mathématiques : fonctions, relations, entiers
naturels, relatifs, rationnels, nombres réels, complexes…
Dans le monde scientifique La naissance de cette theorie a fait
beaucoup parmé d'elle en bien et en mal car elle utilise des notions
complexes et paradoxale commme l infini qui amene a des conclusions
tout a fait contre intuitive
David hilbert mathematicien allemand qui a considere la theorie des
enembles comme un paradis cree par cantor a beaucoup oeuvré dans
cette derniere notamment avec sa fameuse méthaphore de l'hotel de
hilbert qu on va analyser plus en detail, qui a ete un outils puissants
pour étudier la taille et la complexité des ensembles finis et infinis mais c
est les infinis qui vont nous interesser d autant plus.
Avant d etudier cette metaphore il est necessaire de comprendre
quelques notions :

en effet, il faut d'abord définir ce qu'est un ensemble, c'est un

rassemblement d'objets distincts, et l'on dit que ces objets sont des
éléments de cette ensemble.
On peut donc trouver deux familles d'ensembles qui dependent de la
valeure de ce qu'on appelle leur cardinal c'est a dire le nombre
d'elements qui les constituent ; les ensembles finis comme par exemple
l'ensemblle des entiers de 0 a 10 qui a un cardinal de 11 car 11
elements soit un nombre fini et les ensembles infinis comme par
exemple l'ensemble des entiers naturels donc 0,1,2,3 et ainsi de suite
qui possede un cardinal de valeure infini.
Il faut également comprendre ce qu'est une bijection ; c'est une
application pour laquelle tout élément de son ensemble d'arrivée
possède un et un seul antécédent. Pour simplifier si on prend deux
ensemble finis d'elements et qu'on peut associer a chaque element de
l'un un et un seul element de l'autre on peut dire qu'il existe une bijection
entre ces ensembles. Cette definition implique donc forcement que les
deux ensembles ont le meme nombre d element soit le meme cardinal
Cela dit ces notions que l'on vient d'apprendre peuvent également
fonctionner dans les ensembles d'elements infinis. Si on prend par
exemple l'ensemble des nombre pairs et qu'on ajoute 1 a chaque
elements on trouve l'ensemble des nombres impairs. Une bijection est
possible ils ont donc le meme nombre d'elements.
Mais on peut prendre un cas moins intuitif, si on multiplie par 2 chaque
elements de l'ensemble des entiers naturels, on trouve les elements de
l'ensemble des nombres pairs ; une bijection est possible ils ont le
meme nombre d'elements pourtant on sait tous que les entiers pairs ne
forment qu'une partie des entiers naturels alors la partie peut etre aussi
grande que le tout.

C est la ou notre hotel de hilbert entre en action ; C'est un hotel avec un

nombre infini de chambres numerote 0,1,2,3,..., disposés en une seule
colonne (cette disposition permet de modeliser l ensemble des entiers
naturels enfait l hotel c est l ensemble des entiers naturels)
. Toutes les chambres sont prises par une personne mais si un nouveau
client souhaite y dormir toutes les personnes n'ont cas se déplacer de la
chambre au dessus d'eux. Ainsi la chambre 0 sera disponible (infini +1 =
infini). Si maintenant c'une infinité de nouveaux clients qui souhaitent
entrer dans l'hotel on n'a qu'a deplacer chaque personne deja dans
l'hotel dans la chambre qui porte le dpuble du numero de leurs
chambres actuelles. ( le 0 en 0 1 en 2 2 en 4 etc). De cette maniere
toutes les chambres impairs seront libre et donc l'infinité de nouveaux
clients peut alors entrer dans l'hotel (infini + infini egale donc infini) On
peut également prouver que infini * infini fait inifni
Cela dit, ça paraît pout l instant a peu pres logique mais maintenant
vidons l'hotel, une nouvelle infinité de clients arrivent, c'est l'intervalle
des nombres reels de 0 a 1 (c'est a dire que chaque nouveau client
porte comme un numero entre 0 et 1 un client serait alors une des
decimals rationnels ou irrationnels entre 0 et 1 on pourrait avoir 0,1 pi-3
racine de deux sur deux etc. Essayons de faire rentrer touts ces clients
dans l'hotel 0,1 dans la chambre 0 pi-3 dans la chambre 1 etc tout ceci
dans le desordre. Cantor nous dit alors a partir de son raisonnemebt qu
oin appelle la diagonale de cantor qu'il y a forcement des clients qui ne
peuvent entrer dans l'hotel. En effet composons un nombre de notre
intervalle ; On prend la premiere decimal du premier client logé la
deuxieme du deuxieme logé et ainsi de suite et a ce nombre on rajoute
1 a chaque decimal obtenu. On obtient alors un nombre qui est
forcement different du premier client logé du fait de sa premiere
decimale, different du 2e logé du fait de sa 2e decimale et ainsi desuite
il est donc impossible de disposer ce client dans l'hotel : il est different
de tous les logés or tous les logés occupent l'hotel infini, ceci prouve
donc que la bijection entre ces deux ensemblent n'est pas possible,
l'ensemble des reels de 0 a 1 est plus grand que l'hotel donc que
l'ensemble des entiers naturels. Des infinis peuvent donc etre plus
grand que d'autre.

C est la on en vient a pouvoir differencier les infinis. En effet un infini

comme N on pourrait dire qu il avance de 1 en 1 infiniment alors que l
infini des reels entre 0 et 1 on pourrait trouver des infinités de decimale
et donc des infinités de nombre a l interieur, ils ne sont pas « formes »
pareil on differencie alors les infini denoombrable (N) des
indenombrable
Cantor va nous lister de maniere croissante ces infnis par leur cardinal :
le premier etant N0 celui des N mais donc aussi celui de tout les infinis
denombrables (P,IP, N²,,,,) puis s en suis N1 (=2puissance N0) le plus
petit des indenombrables (R) puis N2 et ainsi de suite

Mais ce modele pose des problemes, cantor pour hierarchiser ces

ensembles se base sur une hypothese qu on appelle hypothese du
continu pour laquelle il ne trouva jamais de reponses et que dans le
cadre de sa theories des ensembles qu on appel ZFC (Zermelo
Fraenkel , Axiome du choix), il a ete prouve par godel et cohen qu elle n
est ni prouvable ni non prouvable : elle est indecidable. Il s en vient
donc apres la theorie de cantor d autre theorie comme la theorie ZF ou
la theorie inttuitioniste qui se base sur d'autres axiomes et qui ont leurs
avantages et leurs inconvenients et qui porte d autre point de vue a l
hypothese du continu et a l axiome du choix
conclu : la tde a permis vraiment de preciser tres clairement notre
connaissance des infninis et parvient meme a les heirarchiser
Cela elle pose des limites comment savoir si y a pas des ensembles
entre N0 et N1
Certaines theories qui ne prennent pazs en coimpte l axiome du choix
peuvent don poruver qu on ne peut rien dire sur le cardinal des
ensembles et sur la bijection : on ne peut donc prouver que des
ensembles sont de meme taille ou pas : ils sont incomprarables