for PT being non empty TopSpace st PT is metrizable holds
PT is paracompact