From continuity to homeomorphism, compactness in domain

  • Thread starter jostpuur
  • Start date
  • #1
2,111
17

Main Question or Discussion Point

Is this claim true? Assume that [itex]X,Y[/itex] are topological spaces, and that all closed subsets of [itex]X[/itex] are compact. Then all continuous bijections [itex]f:X\to Y[/itex] are homeomorphisms.

It looks true on my notebook, but I don't have a reference, and I don't trust my skills. Just checking.
 

Answers and Replies

  • #2
quasar987
Science Advisor
Homework Helper
Gold Member
4,775
8
There is this useful theorem that says "If X is compact and Y is Hausdorff, then any continuous bijection f:X-->Y is a homeo" and the proof goes like this:

to show: f(C) is closed for all C in X closed. Take such a C. Since X is compact, C is compact, so f(C) is compact. But compact sets in a Hausdroff and closed, QED.

Observe that to say that all closed subsets of X are compact is equivalent to saying that X is compact. So, modulo Y being Hausdorff, your claim is the above theorem.
 
  • #3
2,111
17
I see. I must have used the Hausdorff assumption without noticing it.
 

Related Threads on From continuity to homeomorphism, compactness in domain

  • Last Post
Replies
9
Views
2K
Replies
6
Views
989
Replies
14
Views
949
Replies
5
Views
2K
  • Last Post
Replies
9
Views
5K
Replies
3
Views
3K
Replies
11
Views
4K
Replies
7
Views
4K
Replies
5
Views
3K
Top