Prove that $G$ is an open interval for two-valued continuous function $f$











up vote
2
down vote

favorite













Suppose $Gsubset mathbb R$ is a non-empty open set such that the function $f:G rightarrow {0,1}$ is a two-valued function and is continuous. Show that any two-valued function on $G$ is a constant if and only if the set $G$ is an open interval.




I am concerning about the construction of open set for set $G$ and have no idea to start off with.










share|cite|improve this question
























  • Do you know about this fact? If $f:Xrightarrow Y$ is continuous and $X$ is connected, then $f(X)$ is connected
    – user25959
    Dec 1 at 3:11










  • I don't know this fact, though.
    – weilam06
    Dec 1 at 3:13










  • So I have to prove the subset $G$ is connected in order to proceed?
    – weilam06
    Dec 1 at 3:36






  • 1




    You can also use the intermediate value theorem.
    – user25959
    Dec 1 at 3:46










  • I would like to listen to the idea that IVT works in the proof here.
    – weilam06
    Dec 1 at 3:52















up vote
2
down vote

favorite













Suppose $Gsubset mathbb R$ is a non-empty open set such that the function $f:G rightarrow {0,1}$ is a two-valued function and is continuous. Show that any two-valued function on $G$ is a constant if and only if the set $G$ is an open interval.




I am concerning about the construction of open set for set $G$ and have no idea to start off with.










share|cite|improve this question
























  • Do you know about this fact? If $f:Xrightarrow Y$ is continuous and $X$ is connected, then $f(X)$ is connected
    – user25959
    Dec 1 at 3:11










  • I don't know this fact, though.
    – weilam06
    Dec 1 at 3:13










  • So I have to prove the subset $G$ is connected in order to proceed?
    – weilam06
    Dec 1 at 3:36






  • 1




    You can also use the intermediate value theorem.
    – user25959
    Dec 1 at 3:46










  • I would like to listen to the idea that IVT works in the proof here.
    – weilam06
    Dec 1 at 3:52













up vote
2
down vote

favorite









up vote
2
down vote

favorite












Suppose $Gsubset mathbb R$ is a non-empty open set such that the function $f:G rightarrow {0,1}$ is a two-valued function and is continuous. Show that any two-valued function on $G$ is a constant if and only if the set $G$ is an open interval.




I am concerning about the construction of open set for set $G$ and have no idea to start off with.










share|cite|improve this question
















Suppose $Gsubset mathbb R$ is a non-empty open set such that the function $f:G rightarrow {0,1}$ is a two-valued function and is continuous. Show that any two-valued function on $G$ is a constant if and only if the set $G$ is an open interval.




I am concerning about the construction of open set for set $G$ and have no idea to start off with.







general-topology continuity metric-spaces






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 1 at 3:31

























asked Dec 1 at 3:07









weilam06

747




747












  • Do you know about this fact? If $f:Xrightarrow Y$ is continuous and $X$ is connected, then $f(X)$ is connected
    – user25959
    Dec 1 at 3:11










  • I don't know this fact, though.
    – weilam06
    Dec 1 at 3:13










  • So I have to prove the subset $G$ is connected in order to proceed?
    – weilam06
    Dec 1 at 3:36






  • 1




    You can also use the intermediate value theorem.
    – user25959
    Dec 1 at 3:46










  • I would like to listen to the idea that IVT works in the proof here.
    – weilam06
    Dec 1 at 3:52


















  • Do you know about this fact? If $f:Xrightarrow Y$ is continuous and $X$ is connected, then $f(X)$ is connected
    – user25959
    Dec 1 at 3:11










  • I don't know this fact, though.
    – weilam06
    Dec 1 at 3:13










  • So I have to prove the subset $G$ is connected in order to proceed?
    – weilam06
    Dec 1 at 3:36






  • 1




    You can also use the intermediate value theorem.
    – user25959
    Dec 1 at 3:46










  • I would like to listen to the idea that IVT works in the proof here.
    – weilam06
    Dec 1 at 3:52
















Do you know about this fact? If $f:Xrightarrow Y$ is continuous and $X$ is connected, then $f(X)$ is connected
– user25959
Dec 1 at 3:11




Do you know about this fact? If $f:Xrightarrow Y$ is continuous and $X$ is connected, then $f(X)$ is connected
– user25959
Dec 1 at 3:11












I don't know this fact, though.
– weilam06
Dec 1 at 3:13




I don't know this fact, though.
– weilam06
Dec 1 at 3:13












So I have to prove the subset $G$ is connected in order to proceed?
– weilam06
Dec 1 at 3:36




So I have to prove the subset $G$ is connected in order to proceed?
– weilam06
Dec 1 at 3:36




1




1




You can also use the intermediate value theorem.
– user25959
Dec 1 at 3:46




You can also use the intermediate value theorem.
– user25959
Dec 1 at 3:46












I would like to listen to the idea that IVT works in the proof here.
– weilam06
Dec 1 at 3:52




I would like to listen to the idea that IVT works in the proof here.
– weilam06
Dec 1 at 3:52










2 Answers
2






active

oldest

votes

















up vote
1
down vote



accepted










Theorem: A metric space $X$ is connected if and only if any continuous function $f:Xto {0,1}$ is constant.



Proof:Suppose $X$ is connected and $f:Xto {0,1}$ is continuous. If $f$ is not a constant function, then $f$ is onto. Let $A=f^{-1}(0)$ and $B=f^{-1}(1)$. Then $Acup B=X$,and $A,Bneq emptyset$. Also note that both are proper subsets of $X$ and are open and closed in $X$, a contradiction.



Suppose $X$ is not connected. Let $A$ and $B$ be the disconnection. Then define $f:Xto {0,1}$ such that $$f(x)=begin{cases}
0, &text{if $xin A$}\
1,&text{if $xin B$}
end{cases}$$



$f$ is a non-constant continuous function(verify).



Another useful theorem is




A subset $I$ of $Bbb{R}$ is connected if and only if $I$ is an
interval.




You can find a proof here.



I hope now you can complete your answer on your own.






share|cite|improve this answer






























    up vote
    0
    down vote













    If $G$ is an open interval then IVP tells you that if $f$ if takes both the values $0$ and $1$ then it must take all values in between. This proves one way.



    For the other way use the fact any open set is a disjoint union of open intervals. If $G$ is a union of two or mote intervals define $f$ to be $1$ on one of them and $0$ on all the others. You will get a continuous function taking both the values $0$ and $1$ (and no other value).






    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: 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%2f3020937%2fprove-that-g-is-an-open-interval-for-two-valued-continuous-function-f%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








      up vote
      1
      down vote



      accepted










      Theorem: A metric space $X$ is connected if and only if any continuous function $f:Xto {0,1}$ is constant.



      Proof:Suppose $X$ is connected and $f:Xto {0,1}$ is continuous. If $f$ is not a constant function, then $f$ is onto. Let $A=f^{-1}(0)$ and $B=f^{-1}(1)$. Then $Acup B=X$,and $A,Bneq emptyset$. Also note that both are proper subsets of $X$ and are open and closed in $X$, a contradiction.



      Suppose $X$ is not connected. Let $A$ and $B$ be the disconnection. Then define $f:Xto {0,1}$ such that $$f(x)=begin{cases}
      0, &text{if $xin A$}\
      1,&text{if $xin B$}
      end{cases}$$



      $f$ is a non-constant continuous function(verify).



      Another useful theorem is




      A subset $I$ of $Bbb{R}$ is connected if and only if $I$ is an
      interval.




      You can find a proof here.



      I hope now you can complete your answer on your own.






      share|cite|improve this answer



























        up vote
        1
        down vote



        accepted










        Theorem: A metric space $X$ is connected if and only if any continuous function $f:Xto {0,1}$ is constant.



        Proof:Suppose $X$ is connected and $f:Xto {0,1}$ is continuous. If $f$ is not a constant function, then $f$ is onto. Let $A=f^{-1}(0)$ and $B=f^{-1}(1)$. Then $Acup B=X$,and $A,Bneq emptyset$. Also note that both are proper subsets of $X$ and are open and closed in $X$, a contradiction.



        Suppose $X$ is not connected. Let $A$ and $B$ be the disconnection. Then define $f:Xto {0,1}$ such that $$f(x)=begin{cases}
        0, &text{if $xin A$}\
        1,&text{if $xin B$}
        end{cases}$$



        $f$ is a non-constant continuous function(verify).



        Another useful theorem is




        A subset $I$ of $Bbb{R}$ is connected if and only if $I$ is an
        interval.




        You can find a proof here.



        I hope now you can complete your answer on your own.






        share|cite|improve this answer

























          up vote
          1
          down vote



          accepted







          up vote
          1
          down vote



          accepted






          Theorem: A metric space $X$ is connected if and only if any continuous function $f:Xto {0,1}$ is constant.



          Proof:Suppose $X$ is connected and $f:Xto {0,1}$ is continuous. If $f$ is not a constant function, then $f$ is onto. Let $A=f^{-1}(0)$ and $B=f^{-1}(1)$. Then $Acup B=X$,and $A,Bneq emptyset$. Also note that both are proper subsets of $X$ and are open and closed in $X$, a contradiction.



          Suppose $X$ is not connected. Let $A$ and $B$ be the disconnection. Then define $f:Xto {0,1}$ such that $$f(x)=begin{cases}
          0, &text{if $xin A$}\
          1,&text{if $xin B$}
          end{cases}$$



          $f$ is a non-constant continuous function(verify).



          Another useful theorem is




          A subset $I$ of $Bbb{R}$ is connected if and only if $I$ is an
          interval.




          You can find a proof here.



          I hope now you can complete your answer on your own.






          share|cite|improve this answer














          Theorem: A metric space $X$ is connected if and only if any continuous function $f:Xto {0,1}$ is constant.



          Proof:Suppose $X$ is connected and $f:Xto {0,1}$ is continuous. If $f$ is not a constant function, then $f$ is onto. Let $A=f^{-1}(0)$ and $B=f^{-1}(1)$. Then $Acup B=X$,and $A,Bneq emptyset$. Also note that both are proper subsets of $X$ and are open and closed in $X$, a contradiction.



          Suppose $X$ is not connected. Let $A$ and $B$ be the disconnection. Then define $f:Xto {0,1}$ such that $$f(x)=begin{cases}
          0, &text{if $xin A$}\
          1,&text{if $xin B$}
          end{cases}$$



          $f$ is a non-constant continuous function(verify).



          Another useful theorem is




          A subset $I$ of $Bbb{R}$ is connected if and only if $I$ is an
          interval.




          You can find a proof here.



          I hope now you can complete your answer on your own.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Dec 1 at 4:19

























          answered Dec 1 at 4:08









          Thomas Shelby

          777115




          777115






















              up vote
              0
              down vote













              If $G$ is an open interval then IVP tells you that if $f$ if takes both the values $0$ and $1$ then it must take all values in between. This proves one way.



              For the other way use the fact any open set is a disjoint union of open intervals. If $G$ is a union of two or mote intervals define $f$ to be $1$ on one of them and $0$ on all the others. You will get a continuous function taking both the values $0$ and $1$ (and no other value).






              share|cite|improve this answer

























                up vote
                0
                down vote













                If $G$ is an open interval then IVP tells you that if $f$ if takes both the values $0$ and $1$ then it must take all values in between. This proves one way.



                For the other way use the fact any open set is a disjoint union of open intervals. If $G$ is a union of two or mote intervals define $f$ to be $1$ on one of them and $0$ on all the others. You will get a continuous function taking both the values $0$ and $1$ (and no other value).






                share|cite|improve this answer























                  up vote
                  0
                  down vote










                  up vote
                  0
                  down vote









                  If $G$ is an open interval then IVP tells you that if $f$ if takes both the values $0$ and $1$ then it must take all values in between. This proves one way.



                  For the other way use the fact any open set is a disjoint union of open intervals. If $G$ is a union of two or mote intervals define $f$ to be $1$ on one of them and $0$ on all the others. You will get a continuous function taking both the values $0$ and $1$ (and no other value).






                  share|cite|improve this answer












                  If $G$ is an open interval then IVP tells you that if $f$ if takes both the values $0$ and $1$ then it must take all values in between. This proves one way.



                  For the other way use the fact any open set is a disjoint union of open intervals. If $G$ is a union of two or mote intervals define $f$ to be $1$ on one of them and $0$ on all the others. You will get a continuous function taking both the values $0$ and $1$ (and no other value).







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 2 days ago









                  Kavi Rama Murthy

                  43.9k31852




                  43.9k31852






























                      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.





                      Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                      Please pay close attention to the following guidance:


                      • 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.


                      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%2f3020937%2fprove-that-g-is-an-open-interval-for-two-valued-continuous-function-f%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

                      Bressuire

                      Cabo Verde

                      Gyllenstierna