Existence of on to continuous map from the closed disc to closed interval
$begingroup$
This kind of questions is perhaps very familier here but still I'm in trouble to solve it. The problem that I have asked is "Consider closed unit disc in $mathbb{R}^2$ i.e. the set $D={zin mathbb{C}:|z|leq 1$$}$ and the closed interval $I=[-1,1]$ .Prove that there does not exist any continuous on to map from $D$ to $I$?"
MY TRY: If possible let $f$ be such on to continuous map from $D$ to $I$. let $f(x)in (-1,1)$ ,For some $xin D$.By continuty ,for some $s>0$ at $f(x)$ if we consider an open ball $B_s(f(x))$ we can find an open set at $x$ in $R^2$ say, $U_x$ such that the second ball is the inverse image of the first ball. This tells us that those $x$ cann't lie at the boundary of the disc as every open sets at the boundaries are not contained in $D$ but $f$ is defined only in $D$. So the image of the boundary is need to be either ${$$-1,1$$}$ or singletons${$$-1$$}$ or ${$$ 1$$}$. The image cann't be ${$$ -1,1 $$}$ as the boundary of $D$ is connected. If the image is ${$ 1$}$ then the inverse image of ${$$-1$$}$ is the set set obtained by removing two sets ,the boundary of $D$ and an open set (inverse image of $(-1,1)$) which is not closed. This also can't be happen as inverse image of closed sets is closed under continuous map!By similar argument we can disprove ${$$-1$$}$ as image of boundary points.
Considering these arguments I'm saying such $f$ does not exist. Have I done correct? If there are any other way to do it, please give me a hint! I have always find hard to solve such problems like "existense of on to or one one continuous map between interval to interval,disc etc", can you suggest me any book or notes regerding those problems? Thanks for reading.
general-topology continuity
edited Feb 3 at 21:16
Javi
2,8762829
asked Dec 25 '18 at 12:38
Subhajit SahaSubhajit Saha
271114
$endgroup$
|
show 2 more comments
$begingroup$
This kind of questions is perhaps very familier here but still I'm in trouble to solve it. The problem that I have asked is "Consider closed unit disc in $mathbb{R}^2$ i.e. the set $D={zin mathbb{C}:|z|leq 1$$}$ and the closed interval $I=[-1,1]$ .Prove that there does not exist any continuous on to map from $D$ to $I$?"
MY TRY: If possible let $f$ be such on to continuous map from $D$ to $I$. let $f(x)in (-1,1)$ ,For some $xin D$.By continuty ,for some $s>0$ at $f(x)$ if we consider an open ball $B_s(f(x))$ we can find an open set at $x$ in $R^2$ say, $U_x$ such that the second ball is the inverse image of the first ball. This tells us that those $x$ cann't lie at the boundary of the disc as every open sets at the boundaries are not contained in $D$ but $f$ is defined only in $D$. So the image of the boundary is need to be either ${$$-1,1$$}$ or singletons${$$-1$$}$ or ${$$ 1$$}$. The image cann't be ${$$ -1,1 $$}$ as the boundary of $D$ is connected. If the image is ${$ 1$}$ then the inverse image of ${$$-1$$}$ is the set set obtained by removing two sets ,the boundary of $D$ and an open set (inverse image of $(-1,1)$) which is not closed. This also can't be happen as inverse image of closed sets is closed under continuous map!By similar argument we can disprove ${$$-1$$}$ as image of boundary points.
Considering these arguments I'm saying such $f$ does not exist. Have I done correct? If there are any other way to do it, please give me a hint! I have always find hard to solve such problems like "existense of on to or one one continuous map between interval to interval,disc etc", can you suggest me any book or notes regerding those problems? Thanks for reading.
general-topology continuity
edited Feb 3 at 21:16
Javi
2,8762829
asked Dec 25 '18 at 12:38
Subhajit SahaSubhajit Saha
271114
$endgroup$
$begingroup$
What about the projection onto the $x$-axis? Isn't it a continous and onto map from $D$ to $I$?
$endgroup$
– Javi
Dec 25 '18 at 12:45
1
$begingroup$
and also on to indeed! oh! I have given wrong statement to prove
$endgroup$
– Subhajit Saha
Dec 25 '18 at 12:49
$begingroup$
So, definitely my argument is wrong, I said inverse of (-1,1) is open! Here if you consider projection map it is D excluding 1 and -1, open in D,under subspace topology! But I thaught open in $R^2$ , I guess here I made misstake. Isn't it @Javi?
$endgroup$
– Subhajit Saha
Dec 25 '18 at 12:56
$begingroup$
The inverse image of an open set under a continuous map is always an open subset. Indeed, if you replace $I=[-1,1]$ by its interior $(-1,1)$ the statement does hold, i.e., there is no onto continous map from $D$ to $(-1,1)$ since the continuous image of a compact set is compact ($D$ is compact and $(-1,1)$ is not).
$endgroup$
– Javi
Dec 25 '18 at 13:07
1
$begingroup$
There is a small chance that where you wrote the two words "on to" you should have written "one to one". Then your question would make sense.
$endgroup$
– Ethan Bolker
Dec 25 '18 at 13:33
|
show 2 more comments
$begingroup$
This kind of questions is perhaps very familier here but still I'm in trouble to solve it. The problem that I have asked is "Consider closed unit disc in $mathbb{R}^2$ i.e. the set $D={zin mathbb{C}:|z|leq 1$$}$ and the closed interval $I=[-1,1]$ .Prove that there does not exist any continuous on to map from $D$ to $I$?"
MY TRY: If possible let $f$ be such on to continuous map from $D$ to $I$. let $f(x)in (-1,1)$ ,For some $xin D$.By continuty ,for some $s>0$ at $f(x)$ if we consider an open ball $B_s(f(x))$ we can find an open set at $x$ in $R^2$ say, $U_x$ such that the second ball is the inverse image of the first ball. This tells us that those $x$ cann't lie at the boundary of the disc as every open sets at the boundaries are not contained in $D$ but $f$ is defined only in $D$. So the image of the boundary is need to be either ${$$-1,1$$}$ or singletons${$$-1$$}$ or ${$$ 1$$}$. The image cann't be ${$$ -1,1 $$}$ as the boundary of $D$ is connected. If the image is ${$ 1$}$ then the inverse image of ${$$-1$$}$ is the set set obtained by removing two sets ,the boundary of $D$ and an open set (inverse image of $(-1,1)$) which is not closed. This also can't be happen as inverse image of closed sets is closed under continuous map!By similar argument we can disprove ${$$-1$$}$ as image of boundary points.
Considering these arguments I'm saying such $f$ does not exist. Have I done correct? If there are any other way to do it, please give me a hint! I have always find hard to solve such problems like "existense of on to or one one continuous map between interval to interval,disc etc", can you suggest me any book or notes regerding those problems? Thanks for reading.
general-topology continuity
edited Feb 3 at 21:16
Javi
2,8762829
asked Dec 25 '18 at 12:38
Subhajit SahaSubhajit Saha
271114
$endgroup$
This kind of questions is perhaps very familier here but still I'm in trouble to solve it. The problem that I have asked is "Consider closed unit disc in $mathbb{R}^2$ i.e. the set $D={zin mathbb{C}:|z|leq 1$$}$ and the closed interval $I=[-1,1]$ .Prove that there does not exist any continuous on to map from $D$ to $I$?"
MY TRY: If possible let $f$ be such on to continuous map from $D$ to $I$. let $f(x)in (-1,1)$ ,For some $xin D$.By continuty ,for some $s>0$ at $f(x)$ if we consider an open ball $B_s(f(x))$ we can find an open set at $x$ in $R^2$ say, $U_x$ such that the second ball is the inverse image of the first ball. This tells us that those $x$ cann't lie at the boundary of the disc as every open sets at the boundaries are not contained in $D$ but $f$ is defined only in $D$. So the image of the boundary is need to be either ${$$-1,1$$}$ or singletons${$$-1$$}$ or ${$$ 1$$}$. The image cann't be ${$$ -1,1 $$}$ as the boundary of $D$ is connected. If the image is ${$ 1$}$ then the inverse image of ${$$-1$$}$ is the set set obtained by removing two sets ,the boundary of $D$ and an open set (inverse image of $(-1,1)$) which is not closed. This also can't be happen as inverse image of closed sets is closed under continuous map!By similar argument we can disprove ${$$-1$$}$ as image of boundary points.
Considering these arguments I'm saying such $f$ does not exist. Have I done correct? If there are any other way to do it, please give me a hint! I have always find hard to solve such problems like "existense of on to or one one continuous map between interval to interval,disc etc", can you suggest me any book or notes regerding those problems? Thanks for reading.
general-topology continuity
general-topology continuity
edited Feb 3 at 21:16
Javi
2,8762829
asked Dec 25 '18 at 12:38
Subhajit SahaSubhajit Saha
271114
edited Feb 3 at 21:16
Javi
2,8762829
asked Dec 25 '18 at 12:38
Subhajit SahaSubhajit Saha
271114
edited Feb 3 at 21:16
Javi
2,8762829
edited Feb 3 at 21:16
Javi
2,8762829
edited Feb 3 at 21:16
Javi
2,8762829
2,8762829
asked Dec 25 '18 at 12:38
Subhajit SahaSubhajit Saha
271114
asked Dec 25 '18 at 12:38
Subhajit SahaSubhajit Saha
271114
asked Dec 25 '18 at 12:38
Subhajit SahaSubhajit Saha
271114
271114
$begingroup$
What about the projection onto the $x$-axis? Isn't it a continous and onto map from $D$ to $I$?
$endgroup$
– Javi
Dec 25 '18 at 12:45
1
$begingroup$
and also on to indeed! oh! I have given wrong statement to prove
$endgroup$
– Subhajit Saha
Dec 25 '18 at 12:49
$begingroup$
So, definitely my argument is wrong, I said inverse of (-1,1) is open! Here if you consider projection map it is D excluding 1 and -1, open in D,under subspace topology! But I thaught open in $R^2$ , I guess here I made misstake. Isn't it @Javi?
$endgroup$
– Subhajit Saha
Dec 25 '18 at 12:56
$begingroup$
The inverse image of an open set under a continuous map is always an open subset. Indeed, if you replace $I=[-1,1]$ by its interior $(-1,1)$ the statement does hold, i.e., there is no onto continous map from $D$ to $(-1,1)$ since the continuous image of a compact set is compact ($D$ is compact and $(-1,1)$ is not).
$endgroup$
– Javi
Dec 25 '18 at 13:07
1
$begingroup$
There is a small chance that where you wrote the two words "on to" you should have written "one to one". Then your question would make sense.
$endgroup$
– Ethan Bolker
Dec 25 '18 at 13:33
|
show 2 more comments
$begingroup$
What about the projection onto the $x$-axis? Isn't it a continous and onto map from $D$ to $I$?
$endgroup$
– Javi
Dec 25 '18 at 12:45
1
$begingroup$
and also on to indeed! oh! I have given wrong statement to prove
$endgroup$
– Subhajit Saha
Dec 25 '18 at 12:49
$begingroup$
So, definitely my argument is wrong, I said inverse of (-1,1) is open! Here if you consider projection map it is D excluding 1 and -1, open in D,under subspace topology! But I thaught open in $R^2$ , I guess here I made misstake. Isn't it @Javi?
$endgroup$
– Subhajit Saha
Dec 25 '18 at 12:56
$begingroup$
The inverse image of an open set under a continuous map is always an open subset. Indeed, if you replace $I=[-1,1]$ by its interior $(-1,1)$ the statement does hold, i.e., there is no onto continous map from $D$ to $(-1,1)$ since the continuous image of a compact set is compact ($D$ is compact and $(-1,1)$ is not).
$endgroup$
– Javi
Dec 25 '18 at 13:07
1
$begingroup$
There is a small chance that where you wrote the two words "on to" you should have written "one to one". Then your question would make sense.
$endgroup$
– Ethan Bolker
Dec 25 '18 at 13:33
$begingroup$
What about the projection onto the $x$-axis? Isn't it a continous and onto map from $D$ to $I$?
$endgroup$
– Javi
Dec 25 '18 at 12:45
$begingroup$
What about the projection onto the $x$-axis? Isn't it a continous and onto map from $D$ to $I$?
$endgroup$
– Javi
Dec 25 '18 at 12:45
1
1
$begingroup$
and also on to indeed! oh! I have given wrong statement to prove
$endgroup$
– Subhajit Saha
Dec 25 '18 at 12:49
$begingroup$
and also on to indeed! oh! I have given wrong statement to prove
$endgroup$
– Subhajit Saha
Dec 25 '18 at 12:49
$begingroup$
So, definitely my argument is wrong, I said inverse of (-1,1) is open! Here if you consider projection map it is D excluding 1 and -1, open in D,under subspace topology! But I thaught open in $R^2$ , I guess here I made misstake. Isn't it @Javi?
$endgroup$
– Subhajit Saha
Dec 25 '18 at 12:56
$begingroup$
So, definitely my argument is wrong, I said inverse of (-1,1) is open! Here if you consider projection map it is D excluding 1 and -1, open in D,under subspace topology! But I thaught open in $R^2$ , I guess here I made misstake. Isn't it @Javi?
$endgroup$
– Subhajit Saha
Dec 25 '18 at 12:56
$begingroup$
The inverse image of an open set under a continuous map is always an open subset. Indeed, if you replace $I=[-1,1]$ by its interior $(-1,1)$ the statement does hold, i.e., there is no onto continous map from $D$ to $(-1,1)$ since the continuous image of a compact set is compact ($D$ is compact and $(-1,1)$ is not).
$endgroup$
– Javi
Dec 25 '18 at 13:07
$begingroup$
The inverse image of an open set under a continuous map is always an open subset. Indeed, if you replace $I=[-1,1]$ by its interior $(-1,1)$ the statement does hold, i.e., there is no onto continous map from $D$ to $(-1,1)$ since the continuous image of a compact set is compact ($D$ is compact and $(-1,1)$ is not).
$endgroup$
– Javi
Dec 25 '18 at 13:07
1
1
$begingroup$
There is a small chance that where you wrote the two words "on to" you should have written "one to one". Then your question would make sense.
$endgroup$
– Ethan Bolker
Dec 25 '18 at 13:33
$begingroup$
There is a small chance that where you wrote the two words "on to" you should have written "one to one". Then your question would make sense.
$endgroup$
– Ethan Bolker
Dec 25 '18 at 13:33
|
show 2 more comments
2 Answers
2
active
oldest
votes
$begingroup$
The original statement is wrong. Just consider the projection onto de $x$-axis $p:Dto I$ defined as $p(x,y)=x$, which is clearly a continous onto map.
If you replace $I$ by its interior $(-1,1)$ the statement does hold since the continuous image of a compact set must be compact, but $D$ is compact and $(-1,1)$ is not.
In your argument you assumed that an open subset of $D$ cannot touch de boundary, but it can. Open subsets of $D$ with the subspace topology are intersections of open sets of $mathbb{R}^2$ with $D$. Consider the right half-plane in $mathbb{R}^2$. Its intersection with $D$ is the right half-disc, which obviously includes the right half-boundary. This is indeed $p^{-1}((0,1])$.
answered Dec 25 '18 at 13:18
JaviJavi
2,8762829
$endgroup$
1
$begingroup$
yes!i apologiies. thanks
$endgroup$
– Subhajit Saha
Dec 25 '18 at 14:47
add a comment |
$begingroup$
Assuming you want to prove there is no continuous $one-to-one$ $f:Dto I.$ There are many ways to do this.
Assume by contradiction there exists such an $f.$ Take some (any) $pin D$ with $-1ne f(p)ne 1.$ Let $f(q^-)=-1$ and $f(q^+)=1.$
There exists a continuous $g$ from $[0,1]$ into $D$ with $g(0)=q^-$ and $g(1)=q^+,$ such that $pnot in {g(x):x in [0,1]}.$
Let $bar f$ be $f$ restricted to the domain ${g(x):xin [0,1]}.$
Then $bar f g:[0,1]to [-1,1]$ is continuous with $bar f g(0)=-1$ and $bar f g(1)=1 .$
But $-1<f(p)<1$ and no $xin [0,1]$ satisfies $bar fg (x)=f(p).$ This is impossible by the Intermediate Value Property of continuous real functions.
answered Feb 4 at 4:29
DanielWainfleetDanielWainfleet
35.4k31648
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3052078%2fexistence-of-on-to-continuous-map-from-the-closed-disc-to-closed-interval%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The original statement is wrong. Just consider the projection onto de $x$-axis $p:Dto I$ defined as $p(x,y)=x$, which is clearly a continous onto map.
If you replace $I$ by its interior $(-1,1)$ the statement does hold since the continuous image of a compact set must be compact, but $D$ is compact and $(-1,1)$ is not.
In your argument you assumed that an open subset of $D$ cannot touch de boundary, but it can. Open subsets of $D$ with the subspace topology are intersections of open sets of $mathbb{R}^2$ with $D$. Consider the right half-plane in $mathbb{R}^2$. Its intersection with $D$ is the right half-disc, which obviously includes the right half-boundary. This is indeed $p^{-1}((0,1])$.
answered Dec 25 '18 at 13:18
JaviJavi
2,8762829
$endgroup$
1
$begingroup$
yes!i apologiies. thanks
$endgroup$
– Subhajit Saha
Dec 25 '18 at 14:47
add a comment |
$begingroup$
The original statement is wrong. Just consider the projection onto de $x$-axis $p:Dto I$ defined as $p(x,y)=x$, which is clearly a continous onto map.
If you replace $I$ by its interior $(-1,1)$ the statement does hold since the continuous image of a compact set must be compact, but $D$ is compact and $(-1,1)$ is not.
In your argument you assumed that an open subset of $D$ cannot touch de boundary, but it can. Open subsets of $D$ with the subspace topology are intersections of open sets of $mathbb{R}^2$ with $D$. Consider the right half-plane in $mathbb{R}^2$. Its intersection with $D$ is the right half-disc, which obviously includes the right half-boundary. This is indeed $p^{-1}((0,1])$.
answered Dec 25 '18 at 13:18
JaviJavi
2,8762829
$endgroup$
1
$begingroup$
yes!i apologiies. thanks
$endgroup$
– Subhajit Saha
Dec 25 '18 at 14:47
add a comment |
$begingroup$
The original statement is wrong. Just consider the projection onto de $x$-axis $p:Dto I$ defined as $p(x,y)=x$, which is clearly a continous onto map.
If you replace $I$ by its interior $(-1,1)$ the statement does hold since the continuous image of a compact set must be compact, but $D$ is compact and $(-1,1)$ is not.
In your argument you assumed that an open subset of $D$ cannot touch de boundary, but it can. Open subsets of $D$ with the subspace topology are intersections of open sets of $mathbb{R}^2$ with $D$. Consider the right half-plane in $mathbb{R}^2$. Its intersection with $D$ is the right half-disc, which obviously includes the right half-boundary. This is indeed $p^{-1}((0,1])$.
answered Dec 25 '18 at 13:18
JaviJavi
2,8762829
$endgroup$
The original statement is wrong. Just consider the projection onto de $x$-axis $p:Dto I$ defined as $p(x,y)=x$, which is clearly a continous onto map.
If you replace $I$ by its interior $(-1,1)$ the statement does hold since the continuous image of a compact set must be compact, but $D$ is compact and $(-1,1)$ is not.
In your argument you assumed that an open subset of $D$ cannot touch de boundary, but it can. Open subsets of $D$ with the subspace topology are intersections of open sets of $mathbb{R}^2$ with $D$. Consider the right half-plane in $mathbb{R}^2$. Its intersection with $D$ is the right half-disc, which obviously includes the right half-boundary. This is indeed $p^{-1}((0,1])$.
answered Dec 25 '18 at 13:18
JaviJavi
2,8762829
edited Dec 25 '18 at 21:54
answered Dec 25 '18 at 13:18
JaviJavi
2,8762829
answered Dec 25 '18 at 13:18
JaviJavi
2,8762829
answered Dec 25 '18 at 13:18
JaviJavi
2,8762829
2,8762829
1
$begingroup$
yes!i apologiies. thanks
$endgroup$
– Subhajit Saha
Dec 25 '18 at 14:47
add a comment |
1
$begingroup$
yes!i apologiies. thanks
$endgroup$
– Subhajit Saha
Dec 25 '18 at 14:47
1
1
$begingroup$
yes!i apologiies. thanks
$endgroup$
– Subhajit Saha
Dec 25 '18 at 14:47
$begingroup$
yes!i apologiies. thanks
$endgroup$
– Subhajit Saha
Dec 25 '18 at 14:47
add a comment |
$begingroup$
Assuming you want to prove there is no continuous $one-to-one$ $f:Dto I.$ There are many ways to do this.
Assume by contradiction there exists such an $f.$ Take some (any) $pin D$ with $-1ne f(p)ne 1.$ Let $f(q^-)=-1$ and $f(q^+)=1.$
There exists a continuous $g$ from $[0,1]$ into $D$ with $g(0)=q^-$ and $g(1)=q^+,$ such that $pnot in {g(x):x in [0,1]}.$
Let $bar f$ be $f$ restricted to the domain ${g(x):xin [0,1]}.$
Then $bar f g:[0,1]to [-1,1]$ is continuous with $bar f g(0)=-1$ and $bar f g(1)=1 .$
But $-1<f(p)<1$ and no $xin [0,1]$ satisfies $bar fg (x)=f(p).$ This is impossible by the Intermediate Value Property of continuous real functions.
answered Feb 4 at 4:29
DanielWainfleetDanielWainfleet
35.4k31648
$endgroup$
add a comment |
$begingroup$
Assuming you want to prove there is no continuous $one-to-one$ $f:Dto I.$ There are many ways to do this.
Assume by contradiction there exists such an $f.$ Take some (any) $pin D$ with $-1ne f(p)ne 1.$ Let $f(q^-)=-1$ and $f(q^+)=1.$
There exists a continuous $g$ from $[0,1]$ into $D$ with $g(0)=q^-$ and $g(1)=q^+,$ such that $pnot in {g(x):x in [0,1]}.$
Let $bar f$ be $f$ restricted to the domain ${g(x):xin [0,1]}.$
Then $bar f g:[0,1]to [-1,1]$ is continuous with $bar f g(0)=-1$ and $bar f g(1)=1 .$
But $-1<f(p)<1$ and no $xin [0,1]$ satisfies $bar fg (x)=f(p).$ This is impossible by the Intermediate Value Property of continuous real functions.
answered Feb 4 at 4:29
DanielWainfleetDanielWainfleet
35.4k31648
$endgroup$
add a comment |
$begingroup$
Assuming you want to prove there is no continuous $one-to-one$ $f:Dto I.$ There are many ways to do this.
Assume by contradiction there exists such an $f.$ Take some (any) $pin D$ with $-1ne f(p)ne 1.$ Let $f(q^-)=-1$ and $f(q^+)=1.$
There exists a continuous $g$ from $[0,1]$ into $D$ with $g(0)=q^-$ and $g(1)=q^+,$ such that $pnot in {g(x):x in [0,1]}.$
Let $bar f$ be $f$ restricted to the domain ${g(x):xin [0,1]}.$
Then $bar f g:[0,1]to [-1,1]$ is continuous with $bar f g(0)=-1$ and $bar f g(1)=1 .$
But $-1<f(p)<1$ and no $xin [0,1]$ satisfies $bar fg (x)=f(p).$ This is impossible by the Intermediate Value Property of continuous real functions.
answered Feb 4 at 4:29
DanielWainfleetDanielWainfleet
35.4k31648
$endgroup$
Assuming you want to prove there is no continuous $one-to-one$ $f:Dto I.$ There are many ways to do this.
Assume by contradiction there exists such an $f.$ Take some (any) $pin D$ with $-1ne f(p)ne 1.$ Let $f(q^-)=-1$ and $f(q^+)=1.$
There exists a continuous $g$ from $[0,1]$ into $D$ with $g(0)=q^-$ and $g(1)=q^+,$ such that $pnot in {g(x):x in [0,1]}.$
Let $bar f$ be $f$ restricted to the domain ${g(x):xin [0,1]}.$
Then $bar f g:[0,1]to [-1,1]$ is continuous with $bar f g(0)=-1$ and $bar f g(1)=1 .$
But $-1<f(p)<1$ and no $xin [0,1]$ satisfies $bar fg (x)=f(p).$ This is impossible by the Intermediate Value Property of continuous real functions.
answered Feb 4 at 4:29
DanielWainfleetDanielWainfleet
35.4k31648
answered Feb 4 at 4:29
DanielWainfleetDanielWainfleet
35.4k31648
answered Feb 4 at 4:29
DanielWainfleetDanielWainfleet
35.4k31648
answered Feb 4 at 4:29
DanielWainfleetDanielWainfleet
35.4k31648
35.4k31648
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3052078%2fexistence-of-on-to-continuous-map-from-the-closed-disc-to-closed-interval%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
What about the projection onto the $x$-axis? Isn't it a continous and onto map from $D$ to $I$?
$endgroup$
– Javi
Dec 25 '18 at 12:45
1
$begingroup$
and also on to indeed! oh! I have given wrong statement to prove
$endgroup$
– Subhajit Saha
Dec 25 '18 at 12:49
$begingroup$
So, definitely my argument is wrong, I said inverse of (-1,1) is open! Here if you consider projection map it is D excluding 1 and -1, open in D,under subspace topology! But I thaught open in $R^2$ , I guess here I made misstake. Isn't it @Javi?
$endgroup$
– Subhajit Saha
Dec 25 '18 at 12:56
$begingroup$
The inverse image of an open set under a continuous map is always an open subset. Indeed, if you replace $I=[-1,1]$ by its interior $(-1,1)$ the statement does hold, i.e., there is no onto continous map from $D$ to $(-1,1)$ since the continuous image of a compact set is compact ($D$ is compact and $(-1,1)$ is not).
$endgroup$
– Javi
Dec 25 '18 at 13:07
1
$begingroup$
There is a small chance that where you wrote the two words "on to" you should have written "one to one". Then your question would make sense.
$endgroup$
– Ethan Bolker
Dec 25 '18 at 13:33