Dans cet article, nous allons à découverte d’une construction due au mathématicien allemand Richard Dedekind (1831 – 1916), permettant d'obtenir le corps totalement ordonné et complet des réels à partir de corps totalement ordonné, mais incomplet, des nombres rationnels. L'article est organisé en six sections. La première section est consacrée aux définitions. La deuxième section … Lire la suite de Les coupures de Dedekind
Partie dense
Caractérisation des sous-groupes du groupe additif des nombres réels
Dans cet article, notre intérêt se porte sur les sous-groupes du groupe additif des nombres réels. Un sous-groupe d’un groupe est dit monogène s'il est engendré par un unique élément. Tous les sous-groupes du groupe additif des entiers relatifs sont monogènes. Les sous-groupes du groupe du groupe additif des nombres réels sont-ils également tous monogènes … Lire la suite de Caractérisation des sous-groupes du groupe additif des nombres réels
Deux parties denses de la droite réelle
Notoirement, l’ensemble des nombres rationnels est une partie dense de la droite réelle. Dans cette note, nous allons découvrir deux autres parties denses de la droite réelle qui sont elles-mêmes des parties de l’ensemble des rationnels. Il s’agit de l’ensemble multiples des inverses des puissances entières de 2 d’une part, et de l’ensemble des nombres … Lire la suite de Deux parties denses de la droite réelle
Formalis Mathematica 