- #1

- 1,331

- 40

f: X -> Y is a homeomorphism iff it is an open map

While I see that if f is a homeomorphism, it is certainly an open map, but is the implication in the other direction even true? Because I see no reason to believe it is.

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter 1MileCrash
- Start date

- #1

- 1,331

- 40

f: X -> Y is a homeomorphism iff it is an open map

While I see that if f is a homeomorphism, it is certainly an open map, but is the implication in the other direction even true? Because I see no reason to believe it is.

- #2

WannabeNewton

Science Advisor

- 5,800

- 536

- #3

- 611

- 24

f: X -> Y is a homeomorphism iff it is an open map

While I see that if f is a homeomorphism, it is certainly an open map, but is the implication in the other direction even true? Because I see no reason to believe it is.

I think it should be "A bijective, continuous map ##f:X\to Y## is a homeomorphism

For fun, prove "A bijective, continuous map ##f:X\to Y## is a homeomorphism

Edit: WN got there first. Why you type so fast? :rofl:

- #4

mathwonk

Science Advisor

Homework Helper

2020 Award

- 11,119

- 1,319

if f is projection of the plane X onto the y - axis Y, this map is open but not a homeomorphism.

If X and Y are the same set equipped with different topologies so that Y has more open sets than X, then the identity map is open but not a homeomorphism.

etc.....

- #5

lavinia

Science Advisor

Gold Member

- 3,241

- 625

f: X -> Y is a homeomorphism iff it is an open map

While I see that if f is a homeomorphism, it is certainly an open map, but is the implication in the other direction even true? Because I see no reason to believe it is.

take a look at the open mapping theorem for complex analysis.

Let X be any space and Y a point. Map X to Y.

- #6

- 1,331

- 40

I think it should be "A bijective, continuous map ##f:X\to Y## is a homeomorphismiffit is an open map."

For fun, prove "A bijective, continuous map ##f:X\to Y## is a homeomorphismiffit is a closed map." :tongue:

Edit: WN got there first. Why you type so fast? :rofl:

Oh, ok. But isn't that kind of trivial? If it is an open map then that is exactly the same (from what I can see) as saying that f-inverse is continuous. So basically that means I'm asked to show that f is a homeomorphism if f is continuous, f-inverse is continuous, and f is a bijection, but that's just what a homeomorphism is.

Share: