Let be the underlying set of real numbers with the cofinite topology. The diagonal in with its subspace topology is homeomorphic to the usual real line. Indeed, is a continuous bijection: its first coordinate is continuous because usual finite sets are closed, and its second coordinate is the identity. The inverse is the second coordinate projection restricted to . Consequently is not compact, whereas is compact by the fact that every subset of a cofinite space is compact. Thus is not homeomorphic to .
Articles by others on the same topic
There are currently no matching articles.