CultureMath

Dans ce texte, nous allons présenter la théorie des cardinaux, du moins son début : définition, cardinal d'un ensemble et théorème de Cantor-Bernstein, addition et multiplication cardinale. En revanche, nous passerons sous silence le problème de l'exponentiation cardinale, qui est autrement plus compliquée.

Ayant construit les rationnels, voici bien sûr les réels, par la méthode des suites de Cauchy. Comme pour les rationnels, il faut vérifier que le nouvel ensemble étends celui des rationnels, et que les opérations, la relation d'ordre, la valeur absolue, se prolongent à l'ensemble des réels. Puis, sans bien sûr épuiser le sujet, nous nous penchons sur les propriétés topologiques de l'ensemble des réels : complétude, propriété de la borne supérieure ; propriétés qui sont à la base de toute l'analyse réelle.

Dans la droite ligne des constructions précédentes, nous construisons ici l'ensemble des rationnels, à partir d'une relation d'équivalence sur les couples de relatifs. Nous définissons les opérations plus et multiplier sur ce nouvel ensemble, la relation d'ordre, etc, en montrant que tout ceci prolonge en réalité les opérations déjà définies pour les relatifs.

Si l'on prends six personnes au hasard, alors trois d'entre elles se connaissent, ou alors on peut en trouver trois dont aucune ne se connaissent. Cette remarque, en apparence anodine, permet de déboucher sur toute une théorie combinatoire. En effet, reformulée en termes de graphe, cela signifie que, si l'on colorie les arêtes du graphe complet à six sommet en deux couleurs, alors on peut trouver un triangle dont les trois arêtes sont de la même couleur. La question se pose alors pour d'autres type de configurations, et l'on verra que le résultat reste valable à condition de colorier les arêtes d'un graphe suffisamment gros.