Continuous function from connected metric space to disrcete metric space

Multi tool use
Multi tool use

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













































































            ZJ ujLYsXCQGVYKhrx,e IkPopU3cMLL1ZJgg2 oXlO0Gc2 NE,bs1nY3AFSpfSpa3B4V5f,2Cufz,x,MsCODosg,km8P oL vy
            aNvVnLPim0VgB,Iuc7Q5VGjpXNqP1JgjBhgeMJRjB

            這個網誌中的熱門文章

            How to combine Bézier curves to a surface?

            Propositional logic and tautologies

            Distribution of Stopped Wiener Process with Stochastic Volatility