Page "Base (topology)" Paragraph 39
from
Wikipedia
* if is Hausdorff, then there exists a weaker Hausdorff topology so that.
So a fortiori, if is also compact, then such topologies coincide and hence we have, combined with the first fact,.
Page 1 of 1.
1.796 seconds.