Path-conectedness of open balls implies path-connectedness












2














Let $M$ be a subset of a metric space $(E,d)$. I have just proved that $M$ path-connectedness implies $M$ connectedness. Now I need to show that if $M$ is connected and every open ball in $E$ is path-connected (in $E$), then $M$ is path-connected. I don't really know where to begin .Can you give me a hint?



EDIT: I'm really really confused. OK, given $xin S$ I have to prove that the set $ S ={yin M:$ there exists a path in $S$ between $x$ and $y } $ is open and closed ( it's trivially non empty, because $xin S$). I have been trying to prove it's open, I have to prove that for an arbitrary $sin S$ there is a ball $B$ centered in $s$ such that $Bbigcap M$ is contained in $S$. However, although every $B$ is path-connected I cannot assure for any $B$ that $Bbigcap M$ is path-connected , which is what I need. Are you sure I can do it with these hypothesis? Please, I really need help with this.



EDIT2: Do we need $M$ to be an open set?



EDIT3: Tell me if I'm wrong, but I think the topologist's sine is a counterexample for the case when $M$ is not open. Your answers are OK assuming $M$ is open










share|cite|improve this question





























    2














    Let $M$ be a subset of a metric space $(E,d)$. I have just proved that $M$ path-connectedness implies $M$ connectedness. Now I need to show that if $M$ is connected and every open ball in $E$ is path-connected (in $E$), then $M$ is path-connected. I don't really know where to begin .Can you give me a hint?



    EDIT: I'm really really confused. OK, given $xin S$ I have to prove that the set $ S ={yin M:$ there exists a path in $S$ between $x$ and $y } $ is open and closed ( it's trivially non empty, because $xin S$). I have been trying to prove it's open, I have to prove that for an arbitrary $sin S$ there is a ball $B$ centered in $s$ such that $Bbigcap M$ is contained in $S$. However, although every $B$ is path-connected I cannot assure for any $B$ that $Bbigcap M$ is path-connected , which is what I need. Are you sure I can do it with these hypothesis? Please, I really need help with this.



    EDIT2: Do we need $M$ to be an open set?



    EDIT3: Tell me if I'm wrong, but I think the topologist's sine is a counterexample for the case when $M$ is not open. Your answers are OK assuming $M$ is open










    share|cite|improve this question



























      2












      2








      2







      Let $M$ be a subset of a metric space $(E,d)$. I have just proved that $M$ path-connectedness implies $M$ connectedness. Now I need to show that if $M$ is connected and every open ball in $E$ is path-connected (in $E$), then $M$ is path-connected. I don't really know where to begin .Can you give me a hint?



      EDIT: I'm really really confused. OK, given $xin S$ I have to prove that the set $ S ={yin M:$ there exists a path in $S$ between $x$ and $y } $ is open and closed ( it's trivially non empty, because $xin S$). I have been trying to prove it's open, I have to prove that for an arbitrary $sin S$ there is a ball $B$ centered in $s$ such that $Bbigcap M$ is contained in $S$. However, although every $B$ is path-connected I cannot assure for any $B$ that $Bbigcap M$ is path-connected , which is what I need. Are you sure I can do it with these hypothesis? Please, I really need help with this.



      EDIT2: Do we need $M$ to be an open set?



      EDIT3: Tell me if I'm wrong, but I think the topologist's sine is a counterexample for the case when $M$ is not open. Your answers are OK assuming $M$ is open










      share|cite|improve this question















      Let $M$ be a subset of a metric space $(E,d)$. I have just proved that $M$ path-connectedness implies $M$ connectedness. Now I need to show that if $M$ is connected and every open ball in $E$ is path-connected (in $E$), then $M$ is path-connected. I don't really know where to begin .Can you give me a hint?



      EDIT: I'm really really confused. OK, given $xin S$ I have to prove that the set $ S ={yin M:$ there exists a path in $S$ between $x$ and $y } $ is open and closed ( it's trivially non empty, because $xin S$). I have been trying to prove it's open, I have to prove that for an arbitrary $sin S$ there is a ball $B$ centered in $s$ such that $Bbigcap M$ is contained in $S$. However, although every $B$ is path-connected I cannot assure for any $B$ that $Bbigcap M$ is path-connected , which is what I need. Are you sure I can do it with these hypothesis? Please, I really need help with this.



      EDIT2: Do we need $M$ to be an open set?



      EDIT3: Tell me if I'm wrong, but I think the topologist's sine is a counterexample for the case when $M$ is not open. Your answers are OK assuming $M$ is open







      general-topology metric-spaces connectedness path-connected






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 24 at 17:23

























      asked Nov 24 at 11:35









      Seven

      829




      829






















          2 Answers
          2






          active

          oldest

          votes


















          5














          We have to assume that $M$ is open or that every open ball in $M$ is path connected in $M$. Otherwise, as the OP himself pointed out, the topologist's sine curve provides a counterexample. Assuming that the hypothesis is modified here is a hint: let $x in M$. Let $S$ be the set of all points $y in M$ such that there is a path in $M$ from $x$ to $y$. It is fairly elementary to verify (using path connectedness of open balls) that $S$ is open and closed in $M$. Since $M$ is connected (and $S$ is not empty) it must be equal to $M$.






          share|cite|improve this answer























          • So given $sin S$ I need to find a ball centered in $s$ that is contained in S? It doesn't seem so easy
            – Seven
            Nov 24 at 12:39












          • The hypothesis talks about balls in E, it would be obvious if it talked about balls in M.I need to take balls of elements of M, but these are not for sure balls of E and, therefore, they are not for sure path-connected
            – Seven
            Nov 24 at 13:05










          • I'm really confused about these balls' things. I need more help.
            – Seven
            Nov 24 at 13:08










          • @Seven You are absolutely right. I had assumed that $M$ was open. I have revised my answer. Sorry for the oversight.
            – Kavi Rama Murthy
            Nov 24 at 23:15



















          3














          If $M=emptyset$, then it is trivially connected. Otherwise, fix $pin M$ and consider the set$$A=left{qin X,middle|,text{ there is a path in $M$ joining $p$ and q}right}.$$Prove that:





          1. $A$ is open;


          2. $Aneqemptyset$;


          3. $A^complement$ is open.


          Since $M$ is connected, this will prove that $A=M$. In particular, $M$ is path-connected.






          share|cite|improve this answer





















          • Sir can $A^c$ be closed for any additional condition imposed?
            – Yadati Kiran
            Nov 24 at 11:59












          • @YadatiKiran The set $A^complement$ will surely be closed, since $A$ is open.
            – José Carlos Santos
            Nov 24 at 12:03













          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%2f3011444%2fpath-conectedness-of-open-balls-implies-path-connectedness%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









          5














          We have to assume that $M$ is open or that every open ball in $M$ is path connected in $M$. Otherwise, as the OP himself pointed out, the topologist's sine curve provides a counterexample. Assuming that the hypothesis is modified here is a hint: let $x in M$. Let $S$ be the set of all points $y in M$ such that there is a path in $M$ from $x$ to $y$. It is fairly elementary to verify (using path connectedness of open balls) that $S$ is open and closed in $M$. Since $M$ is connected (and $S$ is not empty) it must be equal to $M$.






          share|cite|improve this answer























          • So given $sin S$ I need to find a ball centered in $s$ that is contained in S? It doesn't seem so easy
            – Seven
            Nov 24 at 12:39












          • The hypothesis talks about balls in E, it would be obvious if it talked about balls in M.I need to take balls of elements of M, but these are not for sure balls of E and, therefore, they are not for sure path-connected
            – Seven
            Nov 24 at 13:05










          • I'm really confused about these balls' things. I need more help.
            – Seven
            Nov 24 at 13:08










          • @Seven You are absolutely right. I had assumed that $M$ was open. I have revised my answer. Sorry for the oversight.
            – Kavi Rama Murthy
            Nov 24 at 23:15
















          5














          We have to assume that $M$ is open or that every open ball in $M$ is path connected in $M$. Otherwise, as the OP himself pointed out, the topologist's sine curve provides a counterexample. Assuming that the hypothesis is modified here is a hint: let $x in M$. Let $S$ be the set of all points $y in M$ such that there is a path in $M$ from $x$ to $y$. It is fairly elementary to verify (using path connectedness of open balls) that $S$ is open and closed in $M$. Since $M$ is connected (and $S$ is not empty) it must be equal to $M$.






          share|cite|improve this answer























          • So given $sin S$ I need to find a ball centered in $s$ that is contained in S? It doesn't seem so easy
            – Seven
            Nov 24 at 12:39












          • The hypothesis talks about balls in E, it would be obvious if it talked about balls in M.I need to take balls of elements of M, but these are not for sure balls of E and, therefore, they are not for sure path-connected
            – Seven
            Nov 24 at 13:05










          • I'm really confused about these balls' things. I need more help.
            – Seven
            Nov 24 at 13:08










          • @Seven You are absolutely right. I had assumed that $M$ was open. I have revised my answer. Sorry for the oversight.
            – Kavi Rama Murthy
            Nov 24 at 23:15














          5












          5








          5






          We have to assume that $M$ is open or that every open ball in $M$ is path connected in $M$. Otherwise, as the OP himself pointed out, the topologist's sine curve provides a counterexample. Assuming that the hypothesis is modified here is a hint: let $x in M$. Let $S$ be the set of all points $y in M$ such that there is a path in $M$ from $x$ to $y$. It is fairly elementary to verify (using path connectedness of open balls) that $S$ is open and closed in $M$. Since $M$ is connected (and $S$ is not empty) it must be equal to $M$.






          share|cite|improve this answer














          We have to assume that $M$ is open or that every open ball in $M$ is path connected in $M$. Otherwise, as the OP himself pointed out, the topologist's sine curve provides a counterexample. Assuming that the hypothesis is modified here is a hint: let $x in M$. Let $S$ be the set of all points $y in M$ such that there is a path in $M$ from $x$ to $y$. It is fairly elementary to verify (using path connectedness of open balls) that $S$ is open and closed in $M$. Since $M$ is connected (and $S$ is not empty) it must be equal to $M$.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Nov 24 at 23:14

























          answered Nov 24 at 11:44









          Kavi Rama Murthy

          48.4k31854




          48.4k31854












          • So given $sin S$ I need to find a ball centered in $s$ that is contained in S? It doesn't seem so easy
            – Seven
            Nov 24 at 12:39












          • The hypothesis talks about balls in E, it would be obvious if it talked about balls in M.I need to take balls of elements of M, but these are not for sure balls of E and, therefore, they are not for sure path-connected
            – Seven
            Nov 24 at 13:05










          • I'm really confused about these balls' things. I need more help.
            – Seven
            Nov 24 at 13:08










          • @Seven You are absolutely right. I had assumed that $M$ was open. I have revised my answer. Sorry for the oversight.
            – Kavi Rama Murthy
            Nov 24 at 23:15


















          • So given $sin S$ I need to find a ball centered in $s$ that is contained in S? It doesn't seem so easy
            – Seven
            Nov 24 at 12:39












          • The hypothesis talks about balls in E, it would be obvious if it talked about balls in M.I need to take balls of elements of M, but these are not for sure balls of E and, therefore, they are not for sure path-connected
            – Seven
            Nov 24 at 13:05










          • I'm really confused about these balls' things. I need more help.
            – Seven
            Nov 24 at 13:08










          • @Seven You are absolutely right. I had assumed that $M$ was open. I have revised my answer. Sorry for the oversight.
            – Kavi Rama Murthy
            Nov 24 at 23:15
















          So given $sin S$ I need to find a ball centered in $s$ that is contained in S? It doesn't seem so easy
          – Seven
          Nov 24 at 12:39






          So given $sin S$ I need to find a ball centered in $s$ that is contained in S? It doesn't seem so easy
          – Seven
          Nov 24 at 12:39














          The hypothesis talks about balls in E, it would be obvious if it talked about balls in M.I need to take balls of elements of M, but these are not for sure balls of E and, therefore, they are not for sure path-connected
          – Seven
          Nov 24 at 13:05




          The hypothesis talks about balls in E, it would be obvious if it talked about balls in M.I need to take balls of elements of M, but these are not for sure balls of E and, therefore, they are not for sure path-connected
          – Seven
          Nov 24 at 13:05












          I'm really confused about these balls' things. I need more help.
          – Seven
          Nov 24 at 13:08




          I'm really confused about these balls' things. I need more help.
          – Seven
          Nov 24 at 13:08












          @Seven You are absolutely right. I had assumed that $M$ was open. I have revised my answer. Sorry for the oversight.
          – Kavi Rama Murthy
          Nov 24 at 23:15




          @Seven You are absolutely right. I had assumed that $M$ was open. I have revised my answer. Sorry for the oversight.
          – Kavi Rama Murthy
          Nov 24 at 23:15











          3














          If $M=emptyset$, then it is trivially connected. Otherwise, fix $pin M$ and consider the set$$A=left{qin X,middle|,text{ there is a path in $M$ joining $p$ and q}right}.$$Prove that:





          1. $A$ is open;


          2. $Aneqemptyset$;


          3. $A^complement$ is open.


          Since $M$ is connected, this will prove that $A=M$. In particular, $M$ is path-connected.






          share|cite|improve this answer





















          • Sir can $A^c$ be closed for any additional condition imposed?
            – Yadati Kiran
            Nov 24 at 11:59












          • @YadatiKiran The set $A^complement$ will surely be closed, since $A$ is open.
            – José Carlos Santos
            Nov 24 at 12:03


















          3














          If $M=emptyset$, then it is trivially connected. Otherwise, fix $pin M$ and consider the set$$A=left{qin X,middle|,text{ there is a path in $M$ joining $p$ and q}right}.$$Prove that:





          1. $A$ is open;


          2. $Aneqemptyset$;


          3. $A^complement$ is open.


          Since $M$ is connected, this will prove that $A=M$. In particular, $M$ is path-connected.






          share|cite|improve this answer





















          • Sir can $A^c$ be closed for any additional condition imposed?
            – Yadati Kiran
            Nov 24 at 11:59












          • @YadatiKiran The set $A^complement$ will surely be closed, since $A$ is open.
            – José Carlos Santos
            Nov 24 at 12:03
















          3












          3








          3






          If $M=emptyset$, then it is trivially connected. Otherwise, fix $pin M$ and consider the set$$A=left{qin X,middle|,text{ there is a path in $M$ joining $p$ and q}right}.$$Prove that:





          1. $A$ is open;


          2. $Aneqemptyset$;


          3. $A^complement$ is open.


          Since $M$ is connected, this will prove that $A=M$. In particular, $M$ is path-connected.






          share|cite|improve this answer












          If $M=emptyset$, then it is trivially connected. Otherwise, fix $pin M$ and consider the set$$A=left{qin X,middle|,text{ there is a path in $M$ joining $p$ and q}right}.$$Prove that:





          1. $A$ is open;


          2. $Aneqemptyset$;


          3. $A^complement$ is open.


          Since $M$ is connected, this will prove that $A=M$. In particular, $M$ is path-connected.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Nov 24 at 11:45









          José Carlos Santos

          148k22117218




          148k22117218












          • Sir can $A^c$ be closed for any additional condition imposed?
            – Yadati Kiran
            Nov 24 at 11:59












          • @YadatiKiran The set $A^complement$ will surely be closed, since $A$ is open.
            – José Carlos Santos
            Nov 24 at 12:03




















          • Sir can $A^c$ be closed for any additional condition imposed?
            – Yadati Kiran
            Nov 24 at 11:59












          • @YadatiKiran The set $A^complement$ will surely be closed, since $A$ is open.
            – José Carlos Santos
            Nov 24 at 12:03


















          Sir can $A^c$ be closed for any additional condition imposed?
          – Yadati Kiran
          Nov 24 at 11:59






          Sir can $A^c$ be closed for any additional condition imposed?
          – Yadati Kiran
          Nov 24 at 11:59














          @YadatiKiran The set $A^complement$ will surely be closed, since $A$ is open.
          – José Carlos Santos
          Nov 24 at 12:03






          @YadatiKiran The set $A^complement$ will surely be closed, since $A$ is open.
          – José Carlos Santos
          Nov 24 at 12:03




















          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%2f3011444%2fpath-conectedness-of-open-balls-implies-path-connectedness%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

          Mont Emei

          Province de Neuquén

          Journaliste