How to prove a continuous bijection on a compact set is a homeomorphism? [duplicate]

Solution 1:

The continuous image of a compact space is compact. We don't need sequences to see this; in fact sequences don't even suffice to see it, in general. The definition of compactness is by open covers, so use that:

If $f:X \to Y$ is continuous, $A \subseteq X$ is compact, then consider an open cover $O_i, i \in I$ of $f[A]$. Then $f^{-1}[O_i], i \in I$ is a cover of $A$ (by basic set theory) and an open cover as $f$ is continuous. So finitely many $f^{-1}[O_i], i \in F$ (so $F \subseteq I$ finite) exist that also cover $A$ and again simple set theory tells us that the $O_i, i \in F$ is a finite subcover of the original cover for $f[A]$. Hence $f[A]$ is compact.

The lemma then follows from the basic fact that if $Y$ is Hausdorff, and $B \subseteq Y$ is compact, then $B$ is closed in $Y$. This too is shown using open covers and the definition of Hausdorffness. Plenty of proofs can be found online.

Now if a bijection $f: X \to Y$ is closed, this is the same as saying its inverse map $g: Y \to X$ is continuous: $g$ is continuous iff $g^{-1}[C]$ is closed for all closed $C \subseteq X$. And $g^{-1}[C] = f[C]$ because $g$ is the inverse of the bijection $f$. As $f$ is a closed map by the lemma, you're done.

Solution 2:

Your proof that $f$ is closed is (a little) bad. Because you suppose to begin with a closed $A$ not a compact $A$. However this is not a big deal because a closed subset of a compact set is compact. Moreover the fact that $f(A)$ is compact in a compact space $Y$ doesn't necessarily means that is closed$^1$. For this you need the fact that $Y$ is Hausdorff (compact set in an Hausdorff space is closed).

About the second, you're right. A bijection that is also closed is necessarily open because $f(X\backslash C) = Y\backslash f(C)$.

To prove this you can show that each of the sets is included in the other. Let $y\in f(X\backslash C)$ then clearly $y\in Y$ but $y\not \in f(C)$ because $f$ is injective.

On the other hand if $y\in Y$ then since $f$ is onto there exists $x\in X$ such that $f(x)=y$. Moreover if $y\not\in f(C)$ then $x\not\in C$ again because $f$ is injective.


  1. For example if $Y$ is equipped with the trivial topology it is always compact (and every subset of it is compact) but no non-trivial subset is closed.