Let be a nonempty infinite set with the cofinite topology, let be any topological space, and let be Hausdorff. For a continuous map , every slice is constant. Thus , where for any fixed . The map is continuous, since is continuous into the product topology. It is unique because the coordinate projection is a surjection. If is a surjection, so is .
For and homeomorphic to the circle, a surjective cannot be injective: otherwise the compact-to-Hausdorff continuous bijection theorem would contradict the fact that the circle and interval are not homeomorphic. Hence distinct satisfy simultaneously for all .

Articles by others on the same topic (0)

There are currently no matching articles.