ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4009 on D784: Fréchet topological space
Metrisable topological space is Fréchet
Formulation 0
Let $T = (X, \mathcal{T})$ be a D126: Metrisable topological space.
Proofs
Proof 0
Let $T = (X, \mathcal{T})$ be a D126: Metrisable topological space.
This result is a consequence of the results
(i) R499: Metrisable topological space is Hausdorff
(ii) R519: Hausdorff space is Fréchet space

$\square$