Continuous function from connected metric space to disrcete metric space

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












In the following (Terence 2006, p.38) I have to prove as exercice:



Let $f : X to Y$ be a function from a connected metric space $(X, d)$ to a metric space $(Y, d_disc )$ with the discrete metric. Show that $f$ is continuous if and only if it is constant



I have proven this proposition without using the fact that $X$ is connected, so obviously I did something wrong. I would be very gratefull if you could point out my mistake.



Proof: $impliedby$ Suppose $f$ is constant, i.e.,
$$forall x,x'in X: f(x) = f(x')$$
Choose an arbitrary $varepsilon>0$. Then, no matter what our choice of $delta_varepsilon$ is, due to the definition of the discrete metric we always have
$$ d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))=0<varepsilon$$



$implies$ Now suppose that $f$ is continuous. Then, for any $x_0 in x$ we have
$$forall varepsilon>0 quad exists delta_varepsilon>0 quad forall x in X: quad d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<varepsilon$$
Now suppose, for the sake of contradiction, that $f$ is not constant, i.e.,
$$exists x_0 in X quad forall x in X/x_0: f(x) neq f(x_0)$$
But then, for such $x_0$ we cannot find a $delta_0.5$ so that $d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<0.5$ - a contradiction.










share|cite|improve this question



















  • 1




    Your direction is reversed. In your attempt, $impliedby$ first, $implies$ second.
    – xbh
    Sep 5 at 8:01










  • Corrected it, thanks for pointing out.
    – Cebiş Mellim
    Sep 5 at 8:03






  • 1




    "$f$ is not constant" does not mean that $f(x) neq f(x_0)$ for all $xneq x_0$.
    – xbh
    Sep 5 at 8:03






  • 1




    Also your proof did not use the assumption that $X$ is connected.
    – xbh
    Sep 5 at 8:04






  • 1




    Yes, if you have learned it.
    – xbh
    Sep 5 at 8:20














up vote
1
down vote

favorite












In the following (Terence 2006, p.38) I have to prove as exercice:



Let $f : X to Y$ be a function from a connected metric space $(X, d)$ to a metric space $(Y, d_disc )$ with the discrete metric. Show that $f$ is continuous if and only if it is constant



I have proven this proposition without using the fact that $X$ is connected, so obviously I did something wrong. I would be very gratefull if you could point out my mistake.



Proof: $impliedby$ Suppose $f$ is constant, i.e.,
$$forall x,x'in X: f(x) = f(x')$$
Choose an arbitrary $varepsilon>0$. Then, no matter what our choice of $delta_varepsilon$ is, due to the definition of the discrete metric we always have
$$ d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))=0<varepsilon$$



$implies$ Now suppose that $f$ is continuous. Then, for any $x_0 in x$ we have
$$forall varepsilon>0 quad exists delta_varepsilon>0 quad forall x in X: quad d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<varepsilon$$
Now suppose, for the sake of contradiction, that $f$ is not constant, i.e.,
$$exists x_0 in X quad forall x in X/x_0: f(x) neq f(x_0)$$
But then, for such $x_0$ we cannot find a $delta_0.5$ so that $d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<0.5$ - a contradiction.










share|cite|improve this question



















  • 1




    Your direction is reversed. In your attempt, $impliedby$ first, $implies$ second.
    – xbh
    Sep 5 at 8:01










  • Corrected it, thanks for pointing out.
    – Cebiş Mellim
    Sep 5 at 8:03






  • 1




    "$f$ is not constant" does not mean that $f(x) neq f(x_0)$ for all $xneq x_0$.
    – xbh
    Sep 5 at 8:03






  • 1




    Also your proof did not use the assumption that $X$ is connected.
    – xbh
    Sep 5 at 8:04






  • 1




    Yes, if you have learned it.
    – xbh
    Sep 5 at 8:20












up vote
1
down vote

favorite









up vote
1
down vote

favorite











In the following (Terence 2006, p.38) I have to prove as exercice:



Let $f : X to Y$ be a function from a connected metric space $(X, d)$ to a metric space $(Y, d_disc )$ with the discrete metric. Show that $f$ is continuous if and only if it is constant



I have proven this proposition without using the fact that $X$ is connected, so obviously I did something wrong. I would be very gratefull if you could point out my mistake.



Proof: $impliedby$ Suppose $f$ is constant, i.e.,
$$forall x,x'in X: f(x) = f(x')$$
Choose an arbitrary $varepsilon>0$. Then, no matter what our choice of $delta_varepsilon$ is, due to the definition of the discrete metric we always have
$$ d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))=0<varepsilon$$



$implies$ Now suppose that $f$ is continuous. Then, for any $x_0 in x$ we have
$$forall varepsilon>0 quad exists delta_varepsilon>0 quad forall x in X: quad d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<varepsilon$$
Now suppose, for the sake of contradiction, that $f$ is not constant, i.e.,
$$exists x_0 in X quad forall x in X/x_0: f(x) neq f(x_0)$$
But then, for such $x_0$ we cannot find a $delta_0.5$ so that $d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<0.5$ - a contradiction.










share|cite|improve this question















In the following (Terence 2006, p.38) I have to prove as exercice:



Let $f : X to Y$ be a function from a connected metric space $(X, d)$ to a metric space $(Y, d_disc )$ with the discrete metric. Show that $f$ is continuous if and only if it is constant



I have proven this proposition without using the fact that $X$ is connected, so obviously I did something wrong. I would be very gratefull if you could point out my mistake.



Proof: $impliedby$ Suppose $f$ is constant, i.e.,
$$forall x,x'in X: f(x) = f(x')$$
Choose an arbitrary $varepsilon>0$. Then, no matter what our choice of $delta_varepsilon$ is, due to the definition of the discrete metric we always have
$$ d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))=0<varepsilon$$



$implies$ Now suppose that $f$ is continuous. Then, for any $x_0 in x$ we have
$$forall varepsilon>0 quad exists delta_varepsilon>0 quad forall x in X: quad d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<varepsilon$$
Now suppose, for the sake of contradiction, that $f$ is not constant, i.e.,
$$exists x_0 in X quad forall x in X/x_0: f(x) neq f(x_0)$$
But then, for such $x_0$ we cannot find a $delta_0.5$ so that $d(x,x_0)<delta_varepsilon implies d_disc(f(x),f(x_0))<0.5$ - a contradiction.







real-analysis analysis continuity connectedness






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Sep 5 at 8:02

























asked Sep 5 at 7:44









Cebiş Mellim

1088




1088







  • 1




    Your direction is reversed. In your attempt, $impliedby$ first, $implies$ second.
    – xbh
    Sep 5 at 8:01










  • Corrected it, thanks for pointing out.
    – Cebiş Mellim
    Sep 5 at 8:03






  • 1




    "$f$ is not constant" does not mean that $f(x) neq f(x_0)$ for all $xneq x_0$.
    – xbh
    Sep 5 at 8:03






  • 1




    Also your proof did not use the assumption that $X$ is connected.
    – xbh
    Sep 5 at 8:04






  • 1




    Yes, if you have learned it.
    – xbh
    Sep 5 at 8:20












  • 1




    Your direction is reversed. In your attempt, $impliedby$ first, $implies$ second.
    – xbh
    Sep 5 at 8:01










  • Corrected it, thanks for pointing out.
    – Cebiş Mellim
    Sep 5 at 8:03






  • 1




    "$f$ is not constant" does not mean that $f(x) neq f(x_0)$ for all $xneq x_0$.
    – xbh
    Sep 5 at 8:03






  • 1




    Also your proof did not use the assumption that $X$ is connected.
    – xbh
    Sep 5 at 8:04






  • 1




    Yes, if you have learned it.
    – xbh
    Sep 5 at 8:20







1




1




Your direction is reversed. In your attempt, $impliedby$ first, $implies$ second.
– xbh
Sep 5 at 8:01




Your direction is reversed. In your attempt, $impliedby$ first, $implies$ second.
– xbh
Sep 5 at 8:01












Corrected it, thanks for pointing out.
– Cebiş Mellim
Sep 5 at 8:03




Corrected it, thanks for pointing out.
– Cebiş Mellim
Sep 5 at 8:03




1




1




"$f$ is not constant" does not mean that $f(x) neq f(x_0)$ for all $xneq x_0$.
– xbh
Sep 5 at 8:03




"$f$ is not constant" does not mean that $f(x) neq f(x_0)$ for all $xneq x_0$.
– xbh
Sep 5 at 8:03




1




1




Also your proof did not use the assumption that $X$ is connected.
– xbh
Sep 5 at 8:04




Also your proof did not use the assumption that $X$ is connected.
– xbh
Sep 5 at 8:04




1




1




Yes, if you have learned it.
– xbh
Sep 5 at 8:20




Yes, if you have learned it.
– xbh
Sep 5 at 8:20










1 Answer
1






active

oldest

votes

















up vote
2
down vote



accepted










Let $y_1,y_2 in f(X)$. Write $Y=Y_1 cup Y_2$ where $Y_1 cap Y_2 = emptyset$ and $y_1 in Y_1,y_2 in Y_2$. Since $Y_1$ and $Y_2$ are open sets as its a discrete metric space, $f^-1(Y_i)$ must be open and $X=f^-1(Y_1) cup f^-1(Y_2)$ contradicting the connectedness of the metric space $X$.






share|cite|improve this answer




















    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',
    convertImagesToLinks: true,
    noModals: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    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%2f2905983%2fcontinuous-function-from-connected-metric-space-to-disrcete-metric-space%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    2
    down vote



    accepted










    Let $y_1,y_2 in f(X)$. Write $Y=Y_1 cup Y_2$ where $Y_1 cap Y_2 = emptyset$ and $y_1 in Y_1,y_2 in Y_2$. Since $Y_1$ and $Y_2$ are open sets as its a discrete metric space, $f^-1(Y_i)$ must be open and $X=f^-1(Y_1) cup f^-1(Y_2)$ contradicting the connectedness of the metric space $X$.






    share|cite|improve this answer
























      up vote
      2
      down vote



      accepted










      Let $y_1,y_2 in f(X)$. Write $Y=Y_1 cup Y_2$ where $Y_1 cap Y_2 = emptyset$ and $y_1 in Y_1,y_2 in Y_2$. Since $Y_1$ and $Y_2$ are open sets as its a discrete metric space, $f^-1(Y_i)$ must be open and $X=f^-1(Y_1) cup f^-1(Y_2)$ contradicting the connectedness of the metric space $X$.






      share|cite|improve this answer






















        up vote
        2
        down vote



        accepted







        up vote
        2
        down vote



        accepted






        Let $y_1,y_2 in f(X)$. Write $Y=Y_1 cup Y_2$ where $Y_1 cap Y_2 = emptyset$ and $y_1 in Y_1,y_2 in Y_2$. Since $Y_1$ and $Y_2$ are open sets as its a discrete metric space, $f^-1(Y_i)$ must be open and $X=f^-1(Y_1) cup f^-1(Y_2)$ contradicting the connectedness of the metric space $X$.






        share|cite|improve this answer












        Let $y_1,y_2 in f(X)$. Write $Y=Y_1 cup Y_2$ where $Y_1 cap Y_2 = emptyset$ and $y_1 in Y_1,y_2 in Y_2$. Since $Y_1$ and $Y_2$ are open sets as its a discrete metric space, $f^-1(Y_i)$ must be open and $X=f^-1(Y_1) cup f^-1(Y_2)$ contradicting the connectedness of the metric space $X$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Sep 5 at 8:33









        Balaji sb

        40325




        40325



























             

            draft saved


            draft discarded















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2905983%2fcontinuous-function-from-connected-metric-space-to-disrcete-metric-space%23new-answer', 'question_page');

            );

            Post as a guest













































































            這個網誌中的熱門文章

            How to combine Bézier curves to a surface?

            Mutual Information Always Non-negative

            Why am i infinitely getting the same tweet with the Twitter Search API?