Category:Completely Metrizable Topologies

From ProofWiki
Jump to navigation Jump to search

This category contains results about Completely Metrizable Topologies.

Let $\struct {S, \tau}$ be a topological space.

The space $\struct {S, \tau}$ is said to be completely metrizable if and only if there exists a metric $d$ such that:

$\struct {S, d}$ is a complete metric space

and:

$\tau$ is the topological space induced by the metric $d$.

Pages in category "Completely Metrizable Topologies"

This category contains only the following page.