Theorem T000460

Embeddable into Euclidean space ⇒ Metrizable

Metrizable is a hereditary property, by simply restricting the domain of any metric to a given subset, and $\mathbb R^n$ is Metrizable.

Show markdown

• Converse
• References

• No references available. If appropriate, please consider contributing a reference.