Physics Forums (http://www.physicsforums.com/index.php)
-   Topology and Analysis (http://www.physicsforums.com/forumdisplay.php?f=228)
-   -   from continuity to homeomorphism, compactness in domain (http://www.physicsforums.com/showthread.php?t=583756)

 jostpuur Mar4-12 11:49 AM

from continuity to homeomorphism, compactness in domain

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

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

 quasar987 Mar4-12 12:10 PM

Re: from continuity to homeomorphism, compactness in domain

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.

 jostpuur Mar4-12 12:23 PM

Re: from continuity to homeomorphism, compactness in domain

I see. I must have used the Hausdorff assumption without noticing it.

 All times are GMT -5. The time now is 06:41 PM.