Gli insiemi

Un ensemble est une collection d'objets – les éléments – entre lesquels il peut exister toutes sortes de relations. Au niveau élémentaire, on peut visualiser les ensembles à l'aide de « patatoïdes » reliés par des flèches pour matérialiser les relations qui les lient, mais cette représentation naïve trouve rapidement ses limites, en particulier quand les ensembles sont infinis. La théorie des ensembles offre surtout un cadre à la formalisation rigoureuse de tous les domaines des mathématiques et conduit à des démonstrations renversantes : plus qu'une simple théorie, c'est une nouvelle approche des mathématiques.

Les nombres sont au centre de l'édifice mathématique. Après une longue période où ils étaient appréhendés par l'intuition, le besoin s'est fait sentir de les concevoir à l'aide d'une axiomatique rigoureuse ; celle introduite par Peano pour les entiers naturels en est le plus bel exemple. La théorie des ensembles a ensuite débouché sur la construction des rationnels, des réels, des complexes. S'inspirant de ces méthodes et les généralisant, elle a permis de définir des structures plus générales comme la notion de groupe et de donner un socle rigoureux à la géométrie dans le cadre de la théorie des espaces vectoriels.

Aussi simple et féconde qu'elle soit, la notion d'ensemble révèle, une fois soumise à l'analyse impitoyable du logicien, de redoutables problèmes techniques. Des paradoxes émergent : peut-on considérer l'ensemble de tous les ensembles ? Un ensemble peut-il être un élément de lui-même ? Les ensembles infinis soulèvent d'autres questions. Combien de types d'infinis fondamentalement différents existe-t-il ? L'infini, l'autoréférence, les paradoxes, cachés en embuscade, réservent bien des surprises au voyageur imprudent…