Double Pointed Fortissimo Space is Lindelöf

From ProofWiki
Jump to: navigation, search

Theorem

Let $T = \left({S, \tau}\right)$ be a Fortissimo space.

Let $T \times D$ be the double pointed topology on $T$.


Then $T \times D$ is a Lindelöf space.


Proof


Sources