🔢 La grande matriochka des nombres
Tu as déjà vu cette hiérarchie au collège : . Chaque ensemble est strictement contenu dans le suivant — et chaque extension a été arrachée de force aux mathématiciens, pour résoudre un problème qu'on ne savait pas résoudre dans l'ensemble précédent.
Cette construction a pris 4 000 ans, du comptage des moutons à la mécanique quantique. Voici la grande aventure des nombres.
🎛️ Explore la hiérarchie
🎛️ Cherche le bon ensemble pour chaque nombre
Clique sur les exemples et observe à quelle classe ils appartiennent.
Clique sur un nombre pour voir où il se place.
🧒 — Les entiers naturels (compter)
= {0, 1, 2, 3, …}. Le premier système, celui que tout enfant apprend en premier. Limite : on ne peut pas résoudre 3 − 5 dans .
🇮🇳 — Les entiers relatifs (dettes et températures)
= {…, −2, −1, 0, 1, 2, …}. Inventés en Inde au VIIᵉ siècle (Brahmagupta), pour représenter les dettes en comptabilité. L'Europe les rejettera jusqu'au XVIᵉ siècle.
Limite : on ne peut pas résoudre 1 2 dans .
🍰 — Les rationnels (partages)
= { p/q : p mathbb{Z}, q mathbb{N}* }. Le premier saut conceptuel important. Connus dès les Égyptiens (1500 av. J.-C.), formalisés par les Grecs.
Propriété étrange : est dense dans — entre deux rationnels, il y a toujours un autre rationnel. Pourtant, laisse des trous : n'est pas dedans (voir concept Atlas « Carrés et racines »).
Limite : on ne peut pas résoudre = 2 dans .
📏 — Les réels (le continu)
comble tous les trous laissés par . Construit rigoureusement seulement au XIXᵉ siècle (Dedekind, Cantor), via des « coupures » ou des « suites de Cauchy ».
contient :
- Tous les rationnels ( )
- Les irrationnels algébriques comme , \sqrt[3]{5}, racines de polynômes à coeffs rationnels
- Les nombres transcendants comme , e (pas solutions de polynômes rationnels)
Limite : on ne peut pas résoudre = −1 dans .
🌀 — Les complexes (l'imaginaire devient réel)
= { a + bi : a, b mathbb{R}, i^{2} = −1 }. Inventés au XVIᵉ siècle pour résoudre les équations du 3ᵉ degré (voir concept Atlas « Nombres complexes »). D'abord rejetés comme « impossibles », puis devenus indispensables en physique, ingénierie, mathématiques.
📐 Le tableau récapitulatif
- — addition, multiplication. Soustraction limitée.
- — soustraction OK. Division limitée.
- — division OK (sauf par 0). Pas de \sqrt, pas de complétion.
- — limites OK, complet. Pas de \sqrt des négatifs.
- — toutes les opérations algébriques OK. Plus d'ordre total ( ne se range pas).
🎓 Lien avec le programme BAC SM
- 1BAC SM : découverte de , irrationnels, inégalités, valeur absolue
- 2BAC SM : les nombres complexes , module, argument, forme exponentielle
- Arithmétique 2BAC SM : propriétés fines de (divisibilité, congruences)
- Densité : dense dans — utilisé pour des démonstrations classiques
🌐 Et au-delà ?
Après , les mathématiciens ont essayé d'aller plus loin :
- Quaternions (Hamilton, 1843) : ℍ, 4 dimensions, non-commutatif. Utilisés en infographie 3D et robotique.
- Octonions : 8 dimensions, non-associatif. Utilisés en physique théorique.
- Sédénions : 16 dimensions, contiennent des diviseurs de zéro. Plus exotiques.
Mais à partir de , on perd une propriété à chaque extension. C'est le théorème de Hurwitz : , , ℍ, 𝕆 sont les seules algèbres normées de division. On ne peut pas aller au-delà sans tout casser.
🧠 Réflexion finale
Les systèmes de nombres sont une histoire d'humilité humaine. À chaque génération, les mathématiciens étaient persuadés d'avoir terminé la construction. Pythagore pensait qu'il n'y avait que des rationnels. Au XVIᵉ siècle, on pensait que suffisait. Aujourd'hui, semble suffire — mais qui sait ?
La leçon est que les nombres ne sont pas un donné de la nature. Ils sont des constructions humaines, perpétuellement étendues pour répondre à de nouveaux besoins mathématiques. Chaque génération hérite, élargit, et transmet.