Topology of the real numbers