T4 and first countable topology that is non metrizable

1.1k Views Asked by At

Does anyone know any example of such topology?

2

There are 2 best solutions below

0
On

The first uncountable ordinal with the order topology is normal, first countable and even locally metrizable - but it is not metrizable, since it is non-compact despite the fact that it is sequentially compact

2
On

The Sorgenfrey Line is $T_4$ and first-countable. It cannot be metrizable since it has a countable dense subset $\Bbb Q$ but has no countable base, that means it is separable without being second-countable.