Category:Definitions/Real Number Line with Euclidean Topology

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Real Number Line with Euclidean Topology.
Related results can be found in Category:Real Number Line with Euclidean Topology.

Let $\R$ denote the real number line.

Let $d: \R \times \R \to \R$ denote the Euclidean metric on $\R$.

Let $\tau_d$ denote the topology on $\R$ induced by $d$.

The topology $\tau_d$ induced by $d$ is called the Euclidean topology.

Hence $\struct {\R, \tau_d}$ is referred to as the real number line with the Euclidean topology.