Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Result R4013 on
D784: Fréchet topological space
Subresult of
R4009: Metrisable topological space is Fréchet
Polish space is Fréchet
Formulation 0
Let
T
=
(
X
,
T
)
be a
D2299: Polish topological space
.
Then
T
is a
D784: Fréchet topological space
.
Proofs
Proof 0
Let
T
=
(
X
,
T
)
be a
D2299: Polish topological space
.
This result is a particular case of
R4009: Metrisable topological space is Fréchet
.
◻