Bijective restriction of an open, continuous map proper?
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
I have the following question: Let $f: X rightarrow Y$ be a open, continuous map and let $X' subseteq X$ be a closed subspace such that the restriction $f|_X': X' rightarrow f(X')$ is a bijection. Does this already imply that $f|_X'$ is proper?
My attempt of a proof looks like this: If $Csubseteq f(X')$ is compact and $(U_i cap X')_iin Isubseteq X'$ is an open cover of $f|_X'^-1(C)$, the family $(U_i cup (X')^c)_iin I subseteq X$ is an open cover of $f^-1(C)$. Because $f$ is open $(f(U_i cup (X')^c))_iin I subseteq Y$ is an open cover of $C$ in $Y$, so $(f(U_i cup (X')^c) cap f(X'))_iin I subseteq Y$ is an open cover of $C$ in $f(X')$. Now we can use compactness of $C$ to find a finite subcover. But I don't see how to proceed from here. Is it even possible? Can anyone help?
general-topology compactness
add a comment |Â
up vote
1
down vote
favorite
I have the following question: Let $f: X rightarrow Y$ be a open, continuous map and let $X' subseteq X$ be a closed subspace such that the restriction $f|_X': X' rightarrow f(X')$ is a bijection. Does this already imply that $f|_X'$ is proper?
My attempt of a proof looks like this: If $Csubseteq f(X')$ is compact and $(U_i cap X')_iin Isubseteq X'$ is an open cover of $f|_X'^-1(C)$, the family $(U_i cup (X')^c)_iin I subseteq X$ is an open cover of $f^-1(C)$. Because $f$ is open $(f(U_i cup (X')^c))_iin I subseteq Y$ is an open cover of $C$ in $Y$, so $(f(U_i cup (X')^c) cap f(X'))_iin I subseteq Y$ is an open cover of $C$ in $f(X')$. Now we can use compactness of $C$ to find a finite subcover. But I don't see how to proceed from here. Is it even possible? Can anyone help?
general-topology compactness
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
I have the following question: Let $f: X rightarrow Y$ be a open, continuous map and let $X' subseteq X$ be a closed subspace such that the restriction $f|_X': X' rightarrow f(X')$ is a bijection. Does this already imply that $f|_X'$ is proper?
My attempt of a proof looks like this: If $Csubseteq f(X')$ is compact and $(U_i cap X')_iin Isubseteq X'$ is an open cover of $f|_X'^-1(C)$, the family $(U_i cup (X')^c)_iin I subseteq X$ is an open cover of $f^-1(C)$. Because $f$ is open $(f(U_i cup (X')^c))_iin I subseteq Y$ is an open cover of $C$ in $Y$, so $(f(U_i cup (X')^c) cap f(X'))_iin I subseteq Y$ is an open cover of $C$ in $f(X')$. Now we can use compactness of $C$ to find a finite subcover. But I don't see how to proceed from here. Is it even possible? Can anyone help?
general-topology compactness
I have the following question: Let $f: X rightarrow Y$ be a open, continuous map and let $X' subseteq X$ be a closed subspace such that the restriction $f|_X': X' rightarrow f(X')$ is a bijection. Does this already imply that $f|_X'$ is proper?
My attempt of a proof looks like this: If $Csubseteq f(X')$ is compact and $(U_i cap X')_iin Isubseteq X'$ is an open cover of $f|_X'^-1(C)$, the family $(U_i cup (X')^c)_iin I subseteq X$ is an open cover of $f^-1(C)$. Because $f$ is open $(f(U_i cup (X')^c))_iin I subseteq Y$ is an open cover of $C$ in $Y$, so $(f(U_i cup (X')^c) cap f(X'))_iin I subseteq Y$ is an open cover of $C$ in $f(X')$. Now we can use compactness of $C$ to find a finite subcover. But I don't see how to proceed from here. Is it even possible? Can anyone help?
general-topology compactness
asked Aug 26 at 11:00
worldreporter14
1645
1645
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
1
down vote
The claim is false. Consider $X=Bbb R$, $Y=S^1$, $X'=[0,infty)$ and $f(x)=(cos(4arctan x),sin(4arctan x))$. $f(X')=S^1$ but $left.frightrvert_X'^-1[S^1]=[0,infty)$.
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
The claim is false. Consider $X=Bbb R$, $Y=S^1$, $X'=[0,infty)$ and $f(x)=(cos(4arctan x),sin(4arctan x))$. $f(X')=S^1$ but $left.frightrvert_X'^-1[S^1]=[0,infty)$.
add a comment |Â
up vote
1
down vote
The claim is false. Consider $X=Bbb R$, $Y=S^1$, $X'=[0,infty)$ and $f(x)=(cos(4arctan x),sin(4arctan x))$. $f(X')=S^1$ but $left.frightrvert_X'^-1[S^1]=[0,infty)$.
add a comment |Â
up vote
1
down vote
up vote
1
down vote
The claim is false. Consider $X=Bbb R$, $Y=S^1$, $X'=[0,infty)$ and $f(x)=(cos(4arctan x),sin(4arctan x))$. $f(X')=S^1$ but $left.frightrvert_X'^-1[S^1]=[0,infty)$.
The claim is false. Consider $X=Bbb R$, $Y=S^1$, $X'=[0,infty)$ and $f(x)=(cos(4arctan x),sin(4arctan x))$. $f(X')=S^1$ but $left.frightrvert_X'^-1[S^1]=[0,infty)$.
edited Aug 26 at 11:20
answered Aug 26 at 11:10
Saucy O'Path
3,531424
3,531424
add a comment |Â
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%2f2894919%2fbijective-restriction-of-an-open-continuous-map-proper%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