Is the inverse of a continuous function an open map?
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
The title is pretty self-explanatory, but I'll state the full question.
Let $f: X rightarrow Y$ be a continuous function between topological spaces. Is $f^-1$ an open map?
By definition of continuous function, if $V$ is open in $Y$, $f^-1(V)$ is open in $X$. Since the image under $f^-1$ of an open set is open, $f^-1$ is an open map.
I'm not sure about the converse. Is there something I'm missing?
general-topology continuity open-map
asked Aug 9 at 16:55
Niki Di Giano
658211
add a comment |Â
up vote
0
down vote
favorite
The title is pretty self-explanatory, but I'll state the full question.
Let $f: X rightarrow Y$ be a continuous function between topological spaces. Is $f^-1$ an open map?
By definition of continuous function, if $V$ is open in $Y$, $f^-1(V)$ is open in $X$. Since the image under $f^-1$ of an open set is open, $f^-1$ is an open map.
I'm not sure about the converse. Is there something I'm missing?
general-topology continuity open-map
asked Aug 9 at 16:55
Niki Di Giano
658211
1
You have to assume $f$ is bijective in order for $f^-1$ to exist.
– Cheerful Parsnip
Aug 9 at 16:58
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
The title is pretty self-explanatory, but I'll state the full question.
Let $f: X rightarrow Y$ be a continuous function between topological spaces. Is $f^-1$ an open map?
By definition of continuous function, if $V$ is open in $Y$, $f^-1(V)$ is open in $X$. Since the image under $f^-1$ of an open set is open, $f^-1$ is an open map.
I'm not sure about the converse. Is there something I'm missing?
general-topology continuity open-map
asked Aug 9 at 16:55
Niki Di Giano
658211
The title is pretty self-explanatory, but I'll state the full question.
Let $f: X rightarrow Y$ be a continuous function between topological spaces. Is $f^-1$ an open map?
By definition of continuous function, if $V$ is open in $Y$, $f^-1(V)$ is open in $X$. Since the image under $f^-1$ of an open set is open, $f^-1$ is an open map.
I'm not sure about the converse. Is there something I'm missing?
general-topology continuity open-map
asked Aug 9 at 16:55
Niki Di Giano
658211
asked Aug 9 at 16:55
Niki Di Giano
658211
asked Aug 9 at 16:55
Niki Di Giano
658211
asked Aug 9 at 16:55
Niki Di Giano
658211
658211
1
You have to assume $f$ is bijective in order for $f^-1$ to exist.
– Cheerful Parsnip
Aug 9 at 16:58
add a comment |Â
1
You have to assume $f$ is bijective in order for $f^-1$ to exist.
– Cheerful Parsnip
Aug 9 at 16:58
1
1
You have to assume $f$ is bijective in order for $f^-1$ to exist.
– Cheerful Parsnip
Aug 9 at 16:58
You have to assume $f$ is bijective in order for $f^-1$ to exist.
– Cheerful Parsnip
Aug 9 at 16:58
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
2
down vote
accepted
In order that your problem makes sense, there's one thing that's mission: you must add that $f$ is bijective. Otherewise, there will be no function $f^-1$. After adding this, yes, $f$ is continuous if and only if $f^-1$ is an open map.
answered Aug 9 at 16:59
José Carlos Santos
115k1699177
Suppose I consider $f(x)=x^2$. Even if the inverse is not a function, open intervals of $BbbR$ have a preimage that takes the form of the union of two open intervals (at most) - thus the preimage is open. However, $f^-1$ is not a function and thus cannot be an open map or any other kind of map, is that right?
– Niki Di Giano
Aug 9 at 17:16
@NikiDiGiano Yes, that's right.
– José Carlos Santos
Aug 9 at 17:16
All clear. Thank you.
– Niki Di Giano
Aug 9 at 17:18
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
accepted
In order that your problem makes sense, there's one thing that's mission: you must add that $f$ is bijective. Otherewise, there will be no function $f^-1$. After adding this, yes, $f$ is continuous if and only if $f^-1$ is an open map.
answered Aug 9 at 16:59
José Carlos Santos
115k1699177
Suppose I consider $f(x)=x^2$. Even if the inverse is not a function, open intervals of $BbbR$ have a preimage that takes the form of the union of two open intervals (at most) - thus the preimage is open. However, $f^-1$ is not a function and thus cannot be an open map or any other kind of map, is that right?
– Niki Di Giano
Aug 9 at 17:16
@NikiDiGiano Yes, that's right.
– José Carlos Santos
Aug 9 at 17:16
All clear. Thank you.
– Niki Di Giano
Aug 9 at 17:18
add a comment |Â
up vote
2
down vote
accepted
In order that your problem makes sense, there's one thing that's mission: you must add that $f$ is bijective. Otherewise, there will be no function $f^-1$. After adding this, yes, $f$ is continuous if and only if $f^-1$ is an open map.
answered Aug 9 at 16:59
José Carlos Santos
115k1699177
Suppose I consider $f(x)=x^2$. Even if the inverse is not a function, open intervals of $BbbR$ have a preimage that takes the form of the union of two open intervals (at most) - thus the preimage is open. However, $f^-1$ is not a function and thus cannot be an open map or any other kind of map, is that right?
– Niki Di Giano
Aug 9 at 17:16
@NikiDiGiano Yes, that's right.
– José Carlos Santos
Aug 9 at 17:16
All clear. Thank you.
– Niki Di Giano
Aug 9 at 17:18
add a comment |Â
up vote
2
down vote
accepted
up vote
2
down vote
accepted
In order that your problem makes sense, there's one thing that's mission: you must add that $f$ is bijective. Otherewise, there will be no function $f^-1$. After adding this, yes, $f$ is continuous if and only if $f^-1$ is an open map.
answered Aug 9 at 16:59
José Carlos Santos
115k1699177
In order that your problem makes sense, there's one thing that's mission: you must add that $f$ is bijective. Otherewise, there will be no function $f^-1$. After adding this, yes, $f$ is continuous if and only if $f^-1$ is an open map.
answered Aug 9 at 16:59
José Carlos Santos
115k1699177
answered Aug 9 at 16:59
José Carlos Santos
115k1699177
answered Aug 9 at 16:59
José Carlos Santos
115k1699177
answered Aug 9 at 16:59
José Carlos Santos
115k1699177
115k1699177
Suppose I consider $f(x)=x^2$. Even if the inverse is not a function, open intervals of $BbbR$ have a preimage that takes the form of the union of two open intervals (at most) - thus the preimage is open. However, $f^-1$ is not a function and thus cannot be an open map or any other kind of map, is that right?
– Niki Di Giano
Aug 9 at 17:16
@NikiDiGiano Yes, that's right.
– José Carlos Santos
Aug 9 at 17:16
All clear. Thank you.
– Niki Di Giano
Aug 9 at 17:18
add a comment |Â
Suppose I consider $f(x)=x^2$. Even if the inverse is not a function, open intervals of $BbbR$ have a preimage that takes the form of the union of two open intervals (at most) - thus the preimage is open. However, $f^-1$ is not a function and thus cannot be an open map or any other kind of map, is that right?
– Niki Di Giano
Aug 9 at 17:16
@NikiDiGiano Yes, that's right.
– José Carlos Santos
Aug 9 at 17:16
All clear. Thank you.
– Niki Di Giano
Aug 9 at 17:18
Suppose I consider $f(x)=x^2$. Even if the inverse is not a function, open intervals of $BbbR$ have a preimage that takes the form of the union of two open intervals (at most) - thus the preimage is open. However, $f^-1$ is not a function and thus cannot be an open map or any other kind of map, is that right?
– Niki Di Giano
Aug 9 at 17:16
Suppose I consider $f(x)=x^2$. Even if the inverse is not a function, open intervals of $BbbR$ have a preimage that takes the form of the union of two open intervals (at most) - thus the preimage is open. However, $f^-1$ is not a function and thus cannot be an open map or any other kind of map, is that right?
– Niki Di Giano
Aug 9 at 17:16
@NikiDiGiano Yes, that's right.
– José Carlos Santos
Aug 9 at 17:16
@NikiDiGiano Yes, that's right.
– José Carlos Santos
Aug 9 at 17:16
All clear. Thank you.
– Niki Di Giano
Aug 9 at 17:18
All clear. Thank you.
– Niki Di Giano
Aug 9 at 17:18
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2877445%2fis-the-inverse-of-a-continuous-function-an-open-map%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
1
You have to assume $f$ is bijective in order for $f^-1$ to exist.
– Cheerful Parsnip
Aug 9 at 16:58