On hereditarily normal topological groups
(2012)
Fundamenta Mathematicae
Similarity:
We investigate hereditarily normal topological groups and their subspaces. We prove that every compact subspace of a hereditarily normal topological group is metrizable. To prove this statement we first show that a hereditarily normal topological group with a non-trivial convergent sequence has -diagonal. This implies, in particular, that every countably compact subspace of a hereditarily normal topological group with a non-trivial convergent sequence is metrizable. Another corollary...