Category:Real Number Line with Euclidean Metric

From ProofWiki
Jump to navigation Jump to search

This category contains results about Real Number Line with Euclidean Metric.
Definitions specific to this category can be found in Definitions/Real Number Line with Euclidean Metric.

On the real number line, the Euclidean metric can be seen to degenerate to:

$\map d {x, y} := \sqrt {\paren {x - y}^2} = \size {x - y}$

where $\size {x - y}$ denotes the absolute value of $x - y$.