ThmDex – An index of mathematical definitions, results, and conjectures.

Processing math: 100%

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

Then

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$