La droite réelle est l'ensemble des nombres réels équipé de sa métrique naturelle. Dans cette note, nous révélons deux traits de cet espace métrique. Précisément, nous allons démontrer que, pour que la somme de deux parties de la droite réelle soit un ouvert, il suffit que l'une de ces parties le soit. Au demeurant, nous … Lire la suite de Deux traits de la droite réelle
Droite réelle
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 