- #1

- 6

- 0

f:R^3\{(x1,x2,x3):x1=0}--->R^2 defined by

(x1,x2,x3)|->(x2/x1,x3/x1)

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 SVD
- Start date

- #1

- 6

- 0

f:R^3\{(x1,x2,x3):x1=0}--->R^2 defined by

(x1,x2,x3)|->(x2/x1,x3/x1)

- #2

- 613

- 2

Do you know what the definition of a quotient mapping is?

What properties should it have?

What properties should it have?

- #3

Bacle2

Science Advisor

- 1,089

- 10

- #4

- 111

- 0

I would try using directly the definition.

One direction is definition of continuity, what about the other direction?

I'm honestly not sure myself, but I would try to show that: at least one partial derivative in at least one coordinate is nonzero → it is localy injective → it is open → it is quotient.

OT: I'm having trouble coming up with surjective continuous map between euclidean spaces that is not open. Is there some theorem about it? It would mean that every such map is quotient, it seems. If the map was not subjective, it would be easy.

Another OT, but vaguely related: If a countinuous map between euclidean spaces was open on any open subspace of domain, would it imply all that map would be open? There doesn't seem to be any way of continuously passing from open map on a subspace to a place where it takes open subset to non-open subset. So the OP would need to just check if some nice subspace is open.

One direction is definition of continuity, what about the other direction?

I'm honestly not sure myself, but I would try to show that: at least one partial derivative in at least one coordinate is nonzero → it is localy injective → it is open → it is quotient.

OT: I'm having trouble coming up with surjective continuous map between euclidean spaces that is not open. Is there some theorem about it? It would mean that every such map is quotient, it seems. If the map was not subjective, it would be easy.

Another OT, but vaguely related: If a countinuous map between euclidean spaces was open on any open subspace of domain, would it imply all that map would be open? There doesn't seem to be any way of continuously passing from open map on a subspace to a place where it takes open subset to non-open subset. So the OP would need to just check if some nice subspace is open.

Last edited:

Share:

- Replies
- 3

- Views
- 4K