ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4009 on D784: Fréchet topological space
Subresult of R499: Metrisable topological space is Hausdorff
Metrisable topological space is Fréchet
Formulation 0
Let $T = (X, \mathcal{T})$ be a D126: Metrisable topological space.
Subresults
▶ R4013: Polish space is Fréchet
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$