Noncompactness after collapsing a countable real subset
ID: noncompactness-after-collapsing-a-countable-real-subset
Choose , possible because each interval is uncountable. Every tail is closed and disjoint from . Therefore is an open saturated set for collapsing a subset to a point, so its image in the quotient topology is open. These increasing images cover the quotient, but no finite selection covers it, because the largest selected image still misses an infinite tail of distinct singleton classes. This is an open cover with no finite subcover, proving noncompactness. The argument does not require the countable subset to be closed or nondense. For the empty subset, read the quotient as the original line.
New to topics? Read the docs here!