Une définition des réels
Bonjour,
il est usuel de définir les réels par complétion des rationnels, développement en base $n$ ou coupures de Dedekind. Je propose une définition des réels par les fractions continuées. On définit sur les suites d'entiers relatifs $(a_i)$ une addition et une multiplication par troncature de fractions continuées à coefficients la suite d'entiers :
$$
x= a_0 +1/(a_1+1/(a_2 + ...
$$
on somme et on multiplie les fractions tronquées qui sont des rationnels, ce qui donne de nouvelles suites d'entiers naturels représentant le résultat de l'opération. Et de même pour la soustraction et la division.
Merci,
CFGauss
PS: aussi pour les $p$-adiques, on peut faire de même.
il est usuel de définir les réels par complétion des rationnels, développement en base $n$ ou coupures de Dedekind. Je propose une définition des réels par les fractions continuées. On définit sur les suites d'entiers relatifs $(a_i)$ une addition et une multiplication par troncature de fractions continuées à coefficients la suite d'entiers :
$$
x= a_0 +1/(a_1+1/(a_2 + ...
$$
on somme et on multiplie les fractions tronquées qui sont des rationnels, ce qui donne de nouvelles suites d'entiers naturels représentant le résultat de l'opération. Et de même pour la soustraction et la division.
Merci,
CFGauss
PS: aussi pour les $p$-adiques, on peut faire de même.
Réponses
-
J'imagine que c'est possible dans l'absolu, mais ça doit être comme pour la définition disant que les nombres réels sont simplement une suite infinie de décimales, c'est assez peu maniable (penser à l'addition de $0,3333...+0,6666....$).
EDIt: il pourrait être instructif de consulter A new approach to the real numbers (motivated by continued fractions) de G. J. Rieger.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres