Find a continuous surjection from $mathbb{R}^2$ to $Y = {(x, y) : 0 < x leq 1, y = sin (1/x)}$












0












$begingroup$


I'm looking for $f:mathbb{R}^2rightarrow Y$, where $f$ is a continuous surjection in the context of the following problem:



-Show the subspace $Y = {(x, y) : 0 < x leq 1, y = sin (1/x)}$ of $mathbb{R}^2$ is connected.



My solution strategy:



I want to apply the theorem that says: Let $f:(X, tau)rightarrow (Y,tau_1)$ be a surjective, continuous function from one topological space to another. Then, if $X$ is connected, so is $Y$.



Question: Will the following function work:



$$f(x,y)= left{ begin{array}{lcc}
(x, sin(1/x)), & 0 < x leq 1\
\ emptyset , &mbox{ otherwise,i.e., not defined}
\
end{array}right.$$



Clearly, this is a surjection since each element in $Y$ has an inverse image in $mathbb{R}^2$.



But I'm unsure about how to rigorously establish that $f$ is continuous by means of the general topological definition of a continuous function as a map from open sets to open sets.



Intuitively, I can envisage a correspondence between open rectangles in $mathbb{R}^2$ whose intersection with the infinite vertical strip $(0,1]times(-infty, infty)$ is mapped vertically to a connected portion of the curve $y=sin(1/x)$, and the inverse map where connected portions of the curve are mapped to the infinite vertical strip that covers its x-values. But this seems vague and hand-wavy.



Am I on the right track?



[P.S.: Apologies for one more question relating to the Topologist's Sine Curve, but I believe this one is different in its focus on continuity rather than connectedness:



Citation: S. Morris "Topology without Tears", 5.2.6 (i)]










share|cite|improve this question











$endgroup$












  • $begingroup$
    What you defined is not a function $f:mathbb{R}^2to Y$. $f$ is only defined on a subset of $mathbb{R}$.
    $endgroup$
    – Eclipse Sun
    Dec 6 '18 at 22:23










  • $begingroup$
    Ok, then let's just use the subspace (0,1]×(−∞,∞) as the domain and skip the piecewise portion.
    $endgroup$
    – Cassius12
    Dec 6 '18 at 22:26










  • $begingroup$
    That's fine, and what you need to do next is to show $f$ is continuous. Do you know the fact that restriction of codomain preserves continuity? That is, if $f$ is a continuous map into $mathbb{R}^2$, and the image of $f$ is contained in $Y$, then $f$ is continuous as a map into $Y$.
    $endgroup$
    – Eclipse Sun
    Dec 6 '18 at 22:36










  • $begingroup$
    If you really wanted an answer to the title question, you could use something like $(x, y) mapsto (frac{1}{1+x^2}, sin(1+x^2))$ or $(x, y) mapsto e^{-x^2}, sin(e^{x^2}))$.
    $endgroup$
    – Daniel Schepler
    Dec 6 '18 at 23:30
















0












$begingroup$


I'm looking for $f:mathbb{R}^2rightarrow Y$, where $f$ is a continuous surjection in the context of the following problem:



-Show the subspace $Y = {(x, y) : 0 < x leq 1, y = sin (1/x)}$ of $mathbb{R}^2$ is connected.



My solution strategy:



I want to apply the theorem that says: Let $f:(X, tau)rightarrow (Y,tau_1)$ be a surjective, continuous function from one topological space to another. Then, if $X$ is connected, so is $Y$.



Question: Will the following function work:



$$f(x,y)= left{ begin{array}{lcc}
(x, sin(1/x)), & 0 < x leq 1\
\ emptyset , &mbox{ otherwise,i.e., not defined}
\
end{array}right.$$



Clearly, this is a surjection since each element in $Y$ has an inverse image in $mathbb{R}^2$.



But I'm unsure about how to rigorously establish that $f$ is continuous by means of the general topological definition of a continuous function as a map from open sets to open sets.



Intuitively, I can envisage a correspondence between open rectangles in $mathbb{R}^2$ whose intersection with the infinite vertical strip $(0,1]times(-infty, infty)$ is mapped vertically to a connected portion of the curve $y=sin(1/x)$, and the inverse map where connected portions of the curve are mapped to the infinite vertical strip that covers its x-values. But this seems vague and hand-wavy.



Am I on the right track?



[P.S.: Apologies for one more question relating to the Topologist's Sine Curve, but I believe this one is different in its focus on continuity rather than connectedness:



Citation: S. Morris "Topology without Tears", 5.2.6 (i)]










share|cite|improve this question











$endgroup$












  • $begingroup$
    What you defined is not a function $f:mathbb{R}^2to Y$. $f$ is only defined on a subset of $mathbb{R}$.
    $endgroup$
    – Eclipse Sun
    Dec 6 '18 at 22:23










  • $begingroup$
    Ok, then let's just use the subspace (0,1]×(−∞,∞) as the domain and skip the piecewise portion.
    $endgroup$
    – Cassius12
    Dec 6 '18 at 22:26










  • $begingroup$
    That's fine, and what you need to do next is to show $f$ is continuous. Do you know the fact that restriction of codomain preserves continuity? That is, if $f$ is a continuous map into $mathbb{R}^2$, and the image of $f$ is contained in $Y$, then $f$ is continuous as a map into $Y$.
    $endgroup$
    – Eclipse Sun
    Dec 6 '18 at 22:36










  • $begingroup$
    If you really wanted an answer to the title question, you could use something like $(x, y) mapsto (frac{1}{1+x^2}, sin(1+x^2))$ or $(x, y) mapsto e^{-x^2}, sin(e^{x^2}))$.
    $endgroup$
    – Daniel Schepler
    Dec 6 '18 at 23:30














0












0








0





$begingroup$


I'm looking for $f:mathbb{R}^2rightarrow Y$, where $f$ is a continuous surjection in the context of the following problem:



-Show the subspace $Y = {(x, y) : 0 < x leq 1, y = sin (1/x)}$ of $mathbb{R}^2$ is connected.



My solution strategy:



I want to apply the theorem that says: Let $f:(X, tau)rightarrow (Y,tau_1)$ be a surjective, continuous function from one topological space to another. Then, if $X$ is connected, so is $Y$.



Question: Will the following function work:



$$f(x,y)= left{ begin{array}{lcc}
(x, sin(1/x)), & 0 < x leq 1\
\ emptyset , &mbox{ otherwise,i.e., not defined}
\
end{array}right.$$



Clearly, this is a surjection since each element in $Y$ has an inverse image in $mathbb{R}^2$.



But I'm unsure about how to rigorously establish that $f$ is continuous by means of the general topological definition of a continuous function as a map from open sets to open sets.



Intuitively, I can envisage a correspondence between open rectangles in $mathbb{R}^2$ whose intersection with the infinite vertical strip $(0,1]times(-infty, infty)$ is mapped vertically to a connected portion of the curve $y=sin(1/x)$, and the inverse map where connected portions of the curve are mapped to the infinite vertical strip that covers its x-values. But this seems vague and hand-wavy.



Am I on the right track?



[P.S.: Apologies for one more question relating to the Topologist's Sine Curve, but I believe this one is different in its focus on continuity rather than connectedness:



Citation: S. Morris "Topology without Tears", 5.2.6 (i)]










share|cite|improve this question











$endgroup$




I'm looking for $f:mathbb{R}^2rightarrow Y$, where $f$ is a continuous surjection in the context of the following problem:



-Show the subspace $Y = {(x, y) : 0 < x leq 1, y = sin (1/x)}$ of $mathbb{R}^2$ is connected.



My solution strategy:



I want to apply the theorem that says: Let $f:(X, tau)rightarrow (Y,tau_1)$ be a surjective, continuous function from one topological space to another. Then, if $X$ is connected, so is $Y$.



Question: Will the following function work:



$$f(x,y)= left{ begin{array}{lcc}
(x, sin(1/x)), & 0 < x leq 1\
\ emptyset , &mbox{ otherwise,i.e., not defined}
\
end{array}right.$$



Clearly, this is a surjection since each element in $Y$ has an inverse image in $mathbb{R}^2$.



But I'm unsure about how to rigorously establish that $f$ is continuous by means of the general topological definition of a continuous function as a map from open sets to open sets.



Intuitively, I can envisage a correspondence between open rectangles in $mathbb{R}^2$ whose intersection with the infinite vertical strip $(0,1]times(-infty, infty)$ is mapped vertically to a connected portion of the curve $y=sin(1/x)$, and the inverse map where connected portions of the curve are mapped to the infinite vertical strip that covers its x-values. But this seems vague and hand-wavy.



Am I on the right track?



[P.S.: Apologies for one more question relating to the Topologist's Sine Curve, but I believe this one is different in its focus on continuity rather than connectedness:



Citation: S. Morris "Topology without Tears", 5.2.6 (i)]







general-topology continuity proof-writing






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 6 '18 at 22:32







Cassius12

















asked Dec 6 '18 at 22:20









Cassius12Cassius12

11611




11611












  • $begingroup$
    What you defined is not a function $f:mathbb{R}^2to Y$. $f$ is only defined on a subset of $mathbb{R}$.
    $endgroup$
    – Eclipse Sun
    Dec 6 '18 at 22:23










  • $begingroup$
    Ok, then let's just use the subspace (0,1]×(−∞,∞) as the domain and skip the piecewise portion.
    $endgroup$
    – Cassius12
    Dec 6 '18 at 22:26










  • $begingroup$
    That's fine, and what you need to do next is to show $f$ is continuous. Do you know the fact that restriction of codomain preserves continuity? That is, if $f$ is a continuous map into $mathbb{R}^2$, and the image of $f$ is contained in $Y$, then $f$ is continuous as a map into $Y$.
    $endgroup$
    – Eclipse Sun
    Dec 6 '18 at 22:36










  • $begingroup$
    If you really wanted an answer to the title question, you could use something like $(x, y) mapsto (frac{1}{1+x^2}, sin(1+x^2))$ or $(x, y) mapsto e^{-x^2}, sin(e^{x^2}))$.
    $endgroup$
    – Daniel Schepler
    Dec 6 '18 at 23:30


















  • $begingroup$
    What you defined is not a function $f:mathbb{R}^2to Y$. $f$ is only defined on a subset of $mathbb{R}$.
    $endgroup$
    – Eclipse Sun
    Dec 6 '18 at 22:23










  • $begingroup$
    Ok, then let's just use the subspace (0,1]×(−∞,∞) as the domain and skip the piecewise portion.
    $endgroup$
    – Cassius12
    Dec 6 '18 at 22:26










  • $begingroup$
    That's fine, and what you need to do next is to show $f$ is continuous. Do you know the fact that restriction of codomain preserves continuity? That is, if $f$ is a continuous map into $mathbb{R}^2$, and the image of $f$ is contained in $Y$, then $f$ is continuous as a map into $Y$.
    $endgroup$
    – Eclipse Sun
    Dec 6 '18 at 22:36










  • $begingroup$
    If you really wanted an answer to the title question, you could use something like $(x, y) mapsto (frac{1}{1+x^2}, sin(1+x^2))$ or $(x, y) mapsto e^{-x^2}, sin(e^{x^2}))$.
    $endgroup$
    – Daniel Schepler
    Dec 6 '18 at 23:30
















$begingroup$
What you defined is not a function $f:mathbb{R}^2to Y$. $f$ is only defined on a subset of $mathbb{R}$.
$endgroup$
– Eclipse Sun
Dec 6 '18 at 22:23




$begingroup$
What you defined is not a function $f:mathbb{R}^2to Y$. $f$ is only defined on a subset of $mathbb{R}$.
$endgroup$
– Eclipse Sun
Dec 6 '18 at 22:23












$begingroup$
Ok, then let's just use the subspace (0,1]×(−∞,∞) as the domain and skip the piecewise portion.
$endgroup$
– Cassius12
Dec 6 '18 at 22:26




$begingroup$
Ok, then let's just use the subspace (0,1]×(−∞,∞) as the domain and skip the piecewise portion.
$endgroup$
– Cassius12
Dec 6 '18 at 22:26












$begingroup$
That's fine, and what you need to do next is to show $f$ is continuous. Do you know the fact that restriction of codomain preserves continuity? That is, if $f$ is a continuous map into $mathbb{R}^2$, and the image of $f$ is contained in $Y$, then $f$ is continuous as a map into $Y$.
$endgroup$
– Eclipse Sun
Dec 6 '18 at 22:36




$begingroup$
That's fine, and what you need to do next is to show $f$ is continuous. Do you know the fact that restriction of codomain preserves continuity? That is, if $f$ is a continuous map into $mathbb{R}^2$, and the image of $f$ is contained in $Y$, then $f$ is continuous as a map into $Y$.
$endgroup$
– Eclipse Sun
Dec 6 '18 at 22:36












$begingroup$
If you really wanted an answer to the title question, you could use something like $(x, y) mapsto (frac{1}{1+x^2}, sin(1+x^2))$ or $(x, y) mapsto e^{-x^2}, sin(e^{x^2}))$.
$endgroup$
– Daniel Schepler
Dec 6 '18 at 23:30




$begingroup$
If you really wanted an answer to the title question, you could use something like $(x, y) mapsto (frac{1}{1+x^2}, sin(1+x^2))$ or $(x, y) mapsto e^{-x^2}, sin(e^{x^2}))$.
$endgroup$
– Daniel Schepler
Dec 6 '18 at 23:30










1 Answer
1






active

oldest

votes


















1












$begingroup$

I think it's easier to just take the domain to be $(0,1]$. Hopefully, the surjection (bijection in fact) to $Y$ is self-evident. Crucially, in your problem you don't have to worry about $x=0$, which is the real thorn for the Topologist's sine curve.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Oh, wait, I see. I think I'm making things more difficult than they have to be. Are you saying, since the x-axis interval (0,1] x {0} is a subset of R^2, then that interval itself can be made into a subspace which I can then use as my domain to bijectively map the points (x,0) to (x, sin(1/x))?
    $endgroup$
    – Cassius12
    Dec 6 '18 at 22:45












  • $begingroup$
    Yes, basically. But I don't think it's that essential that (0,1] is a subspace of $mathbb{R}^2$. Image of a connected space under a continuous map is connected in general.
    $endgroup$
    – maridia
    Dec 6 '18 at 22:46












  • $begingroup$
    Ok, I agree. Now that I re-read the theorem I want to apply, I was incorrectly thinking that since Y was a subset of R^2, then X also had to be. But that's a false assumption -- (0,1] with the normal Euclidean topology is fine for X with no further details.
    $endgroup$
    – Cassius12
    Dec 6 '18 at 22:52











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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3029132%2ffind-a-continuous-surjection-from-mathbbr2-to-y-x-y-0-x-leq-1%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









1












$begingroup$

I think it's easier to just take the domain to be $(0,1]$. Hopefully, the surjection (bijection in fact) to $Y$ is self-evident. Crucially, in your problem you don't have to worry about $x=0$, which is the real thorn for the Topologist's sine curve.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Oh, wait, I see. I think I'm making things more difficult than they have to be. Are you saying, since the x-axis interval (0,1] x {0} is a subset of R^2, then that interval itself can be made into a subspace which I can then use as my domain to bijectively map the points (x,0) to (x, sin(1/x))?
    $endgroup$
    – Cassius12
    Dec 6 '18 at 22:45












  • $begingroup$
    Yes, basically. But I don't think it's that essential that (0,1] is a subspace of $mathbb{R}^2$. Image of a connected space under a continuous map is connected in general.
    $endgroup$
    – maridia
    Dec 6 '18 at 22:46












  • $begingroup$
    Ok, I agree. Now that I re-read the theorem I want to apply, I was incorrectly thinking that since Y was a subset of R^2, then X also had to be. But that's a false assumption -- (0,1] with the normal Euclidean topology is fine for X with no further details.
    $endgroup$
    – Cassius12
    Dec 6 '18 at 22:52
















1












$begingroup$

I think it's easier to just take the domain to be $(0,1]$. Hopefully, the surjection (bijection in fact) to $Y$ is self-evident. Crucially, in your problem you don't have to worry about $x=0$, which is the real thorn for the Topologist's sine curve.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Oh, wait, I see. I think I'm making things more difficult than they have to be. Are you saying, since the x-axis interval (0,1] x {0} is a subset of R^2, then that interval itself can be made into a subspace which I can then use as my domain to bijectively map the points (x,0) to (x, sin(1/x))?
    $endgroup$
    – Cassius12
    Dec 6 '18 at 22:45












  • $begingroup$
    Yes, basically. But I don't think it's that essential that (0,1] is a subspace of $mathbb{R}^2$. Image of a connected space under a continuous map is connected in general.
    $endgroup$
    – maridia
    Dec 6 '18 at 22:46












  • $begingroup$
    Ok, I agree. Now that I re-read the theorem I want to apply, I was incorrectly thinking that since Y was a subset of R^2, then X also had to be. But that's a false assumption -- (0,1] with the normal Euclidean topology is fine for X with no further details.
    $endgroup$
    – Cassius12
    Dec 6 '18 at 22:52














1












1








1





$begingroup$

I think it's easier to just take the domain to be $(0,1]$. Hopefully, the surjection (bijection in fact) to $Y$ is self-evident. Crucially, in your problem you don't have to worry about $x=0$, which is the real thorn for the Topologist's sine curve.






share|cite|improve this answer









$endgroup$



I think it's easier to just take the domain to be $(0,1]$. Hopefully, the surjection (bijection in fact) to $Y$ is self-evident. Crucially, in your problem you don't have to worry about $x=0$, which is the real thorn for the Topologist's sine curve.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Dec 6 '18 at 22:35









maridiamaridia

1,065113




1,065113












  • $begingroup$
    Oh, wait, I see. I think I'm making things more difficult than they have to be. Are you saying, since the x-axis interval (0,1] x {0} is a subset of R^2, then that interval itself can be made into a subspace which I can then use as my domain to bijectively map the points (x,0) to (x, sin(1/x))?
    $endgroup$
    – Cassius12
    Dec 6 '18 at 22:45












  • $begingroup$
    Yes, basically. But I don't think it's that essential that (0,1] is a subspace of $mathbb{R}^2$. Image of a connected space under a continuous map is connected in general.
    $endgroup$
    – maridia
    Dec 6 '18 at 22:46












  • $begingroup$
    Ok, I agree. Now that I re-read the theorem I want to apply, I was incorrectly thinking that since Y was a subset of R^2, then X also had to be. But that's a false assumption -- (0,1] with the normal Euclidean topology is fine for X with no further details.
    $endgroup$
    – Cassius12
    Dec 6 '18 at 22:52


















  • $begingroup$
    Oh, wait, I see. I think I'm making things more difficult than they have to be. Are you saying, since the x-axis interval (0,1] x {0} is a subset of R^2, then that interval itself can be made into a subspace which I can then use as my domain to bijectively map the points (x,0) to (x, sin(1/x))?
    $endgroup$
    – Cassius12
    Dec 6 '18 at 22:45












  • $begingroup$
    Yes, basically. But I don't think it's that essential that (0,1] is a subspace of $mathbb{R}^2$. Image of a connected space under a continuous map is connected in general.
    $endgroup$
    – maridia
    Dec 6 '18 at 22:46












  • $begingroup$
    Ok, I agree. Now that I re-read the theorem I want to apply, I was incorrectly thinking that since Y was a subset of R^2, then X also had to be. But that's a false assumption -- (0,1] with the normal Euclidean topology is fine for X with no further details.
    $endgroup$
    – Cassius12
    Dec 6 '18 at 22:52
















$begingroup$
Oh, wait, I see. I think I'm making things more difficult than they have to be. Are you saying, since the x-axis interval (0,1] x {0} is a subset of R^2, then that interval itself can be made into a subspace which I can then use as my domain to bijectively map the points (x,0) to (x, sin(1/x))?
$endgroup$
– Cassius12
Dec 6 '18 at 22:45






$begingroup$
Oh, wait, I see. I think I'm making things more difficult than they have to be. Are you saying, since the x-axis interval (0,1] x {0} is a subset of R^2, then that interval itself can be made into a subspace which I can then use as my domain to bijectively map the points (x,0) to (x, sin(1/x))?
$endgroup$
– Cassius12
Dec 6 '18 at 22:45














$begingroup$
Yes, basically. But I don't think it's that essential that (0,1] is a subspace of $mathbb{R}^2$. Image of a connected space under a continuous map is connected in general.
$endgroup$
– maridia
Dec 6 '18 at 22:46






$begingroup$
Yes, basically. But I don't think it's that essential that (0,1] is a subspace of $mathbb{R}^2$. Image of a connected space under a continuous map is connected in general.
$endgroup$
– maridia
Dec 6 '18 at 22:46














$begingroup$
Ok, I agree. Now that I re-read the theorem I want to apply, I was incorrectly thinking that since Y was a subset of R^2, then X also had to be. But that's a false assumption -- (0,1] with the normal Euclidean topology is fine for X with no further details.
$endgroup$
– Cassius12
Dec 6 '18 at 22:52




$begingroup$
Ok, I agree. Now that I re-read the theorem I want to apply, I was incorrectly thinking that since Y was a subset of R^2, then X also had to be. But that's a false assumption -- (0,1] with the normal Euclidean topology is fine for X with no further details.
$endgroup$
– Cassius12
Dec 6 '18 at 22:52


















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3029132%2ffind-a-continuous-surjection-from-mathbbr2-to-y-x-y-0-x-leq-1%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Berounka

Sphinx de Gizeh

Different font size/position of beamer's navigation symbols template's content depending on regular/plain...