Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This problem is bugging me for some time.

$f:(X,\mathcal{T}) \to (Y,\mathcal{T}')$ is a continuous bijection where $(X,\mathcal{T})$ is compact and $(Y,\mathcal{T}')$ is $T_2$ (i.e. Hausdorff and $T_1$). Then show that $f$ must be a homeomorphism.

So far I have failed to understand any relation between the compactness of domain and $T_2$-ness of the range. I tried in vain to prove that $f(U)$ is open in $(Y,\mathcal{T}')$ whenever $U$ is so in $(X,\mathcal{T})$. I know $f$ makes $X$ and $Y$ respectively $T_2$ and compact and hence makes both of them $T_4$ spaces. But that is not coming to any use. I would be glad if someone helps me with a solution. Thank you.

share|cite|improve this question
up vote 6 down vote accepted

Hint: You only have to prove that it's a closed map.

Now, if you take a closed subspace $A\subseteq X$ you know it is (BLANK) and so its image is (BLANK). But, by Hausdorffness, (BLANK) subspaces are closed.

share|cite|improve this answer
Those blanks are all "compact", aren't they? Thanks a lot for your cool hint. And I feel like an idiot, as usual. :-( – Sayantan Dec 12 '12 at 7:52
Haha, there is no reason to feel like an idiot--there are just tricks you pick up as you go along. Chin up sailor! – Alex Youcis Dec 12 '12 at 7:56

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.