Machine-translated by Google. Questions are authored in English.
Top

Discussion

Let X and Y be topological spaces and \(f : X \to Y\) be a continuous and bijective mapping. Which one of the following statements is TRUE?

  • A.f is a homeomorphism if X and Y are compact.
  • B.f is a homeomorphism if X is Hausdorff and Y is compact.
  • C.f is a homeomorphism if X is compact and Y is Hausdorff.
  • D.f is a homeomorphism if X and Y are Hausdorff.

Answer: C

The true statement is f is a homeomorphism if X is compact and Y is Hausdorff.

It suffices to show f is a closed map. A closed subset of the compact space X is compact; its continuous image is compact; and a compact subset of the Hausdorff space Y is closed. So f maps closed sets to closed sets, which makes \(f^{-1}\) continuous.

The other conditions are not enough. The identity from [0,1] with the usual topology onto [0,1] with the indiscrete topology is a continuous bijection between compact spaces that is not a homeomorphism; the same map shows that a Hausdorff domain with a compact codomain fails. The map \(t \mapsto (\cos t, \sin t)\) from \([0, 2\pi)\) onto the circle is a continuous bijection between Hausdorff spaces whose inverse is not continuous.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.