Diagonal in a product with cofinite and Euclidean topologies

ID: diagonal-in-a-product-with-cofinite-and-euclidean-topologies

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 .

New to topics? Read the docs here!