Studying topology on $mathbbQ$ with an example

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











up vote
1
down vote

favorite












I am studying mathematics on my own and today I am learning topology of rationals.



I want to analyze the topology through some examples.



Let $X=mathbbQ$ be the set of rational numbers and let $d$ be standard Euclidean metric on $mathbbQ$



A very important result:
Restrict a metric, gives same topology as subspace topology from larger space X



Example 1: $A=rinmathbbQ: r^2<2$



Is $A$ closed?



A is closed in $mathbbQ$ as $A=mathbbQcap [-sqrt2,sqrt2]$



Is $A$ open?



$A$ is open in $mathbbQ$ as $A=mathbbQcap(-sqrt2,sqrt2)$



Is $A$ compact and connected?



I am stuck here. I know the definitions but I am not able to proceed.










share|cite|improve this question





















  • What are your definitions of compact and connected?
    – Arthur
    Sep 9 at 7:52










  • We say a topological space $X$ is connected if if it can be written as the disjoint union of two non empty open sets. A topological space $X$ is connected if for every open cover of $X$ there is a finite sub cover. @Arthur
    – StammeringMathematician
    Sep 9 at 8:00










  • I think your definition of "connected" is turned around. That's the definition of a disconnected space.
    – Arthur
    Sep 9 at 8:06










  • @Arthur Sorry for the error. You are right.
    – StammeringMathematician
    Sep 9 at 8:07







  • 2




    Q is totally disconnected: only the singeltons are connected subsets
    – Math_QED
    Sep 9 at 8:22














up vote
1
down vote

favorite












I am studying mathematics on my own and today I am learning topology of rationals.



I want to analyze the topology through some examples.



Let $X=mathbbQ$ be the set of rational numbers and let $d$ be standard Euclidean metric on $mathbbQ$



A very important result:
Restrict a metric, gives same topology as subspace topology from larger space X



Example 1: $A=rinmathbbQ: r^2<2$



Is $A$ closed?



A is closed in $mathbbQ$ as $A=mathbbQcap [-sqrt2,sqrt2]$



Is $A$ open?



$A$ is open in $mathbbQ$ as $A=mathbbQcap(-sqrt2,sqrt2)$



Is $A$ compact and connected?



I am stuck here. I know the definitions but I am not able to proceed.










share|cite|improve this question





















  • What are your definitions of compact and connected?
    – Arthur
    Sep 9 at 7:52










  • We say a topological space $X$ is connected if if it can be written as the disjoint union of two non empty open sets. A topological space $X$ is connected if for every open cover of $X$ there is a finite sub cover. @Arthur
    – StammeringMathematician
    Sep 9 at 8:00










  • I think your definition of "connected" is turned around. That's the definition of a disconnected space.
    – Arthur
    Sep 9 at 8:06










  • @Arthur Sorry for the error. You are right.
    – StammeringMathematician
    Sep 9 at 8:07







  • 2




    Q is totally disconnected: only the singeltons are connected subsets
    – Math_QED
    Sep 9 at 8:22












up vote
1
down vote

favorite









up vote
1
down vote

favorite











I am studying mathematics on my own and today I am learning topology of rationals.



I want to analyze the topology through some examples.



Let $X=mathbbQ$ be the set of rational numbers and let $d$ be standard Euclidean metric on $mathbbQ$



A very important result:
Restrict a metric, gives same topology as subspace topology from larger space X



Example 1: $A=rinmathbbQ: r^2<2$



Is $A$ closed?



A is closed in $mathbbQ$ as $A=mathbbQcap [-sqrt2,sqrt2]$



Is $A$ open?



$A$ is open in $mathbbQ$ as $A=mathbbQcap(-sqrt2,sqrt2)$



Is $A$ compact and connected?



I am stuck here. I know the definitions but I am not able to proceed.










share|cite|improve this question













I am studying mathematics on my own and today I am learning topology of rationals.



I want to analyze the topology through some examples.



Let $X=mathbbQ$ be the set of rational numbers and let $d$ be standard Euclidean metric on $mathbbQ$



A very important result:
Restrict a metric, gives same topology as subspace topology from larger space X



Example 1: $A=rinmathbbQ: r^2<2$



Is $A$ closed?



A is closed in $mathbbQ$ as $A=mathbbQcap [-sqrt2,sqrt2]$



Is $A$ open?



$A$ is open in $mathbbQ$ as $A=mathbbQcap(-sqrt2,sqrt2)$



Is $A$ compact and connected?



I am stuck here. I know the definitions but I am not able to proceed.







general-topology






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Sep 9 at 7:46









StammeringMathematician

89217




89217











  • What are your definitions of compact and connected?
    – Arthur
    Sep 9 at 7:52










  • We say a topological space $X$ is connected if if it can be written as the disjoint union of two non empty open sets. A topological space $X$ is connected if for every open cover of $X$ there is a finite sub cover. @Arthur
    – StammeringMathematician
    Sep 9 at 8:00










  • I think your definition of "connected" is turned around. That's the definition of a disconnected space.
    – Arthur
    Sep 9 at 8:06










  • @Arthur Sorry for the error. You are right.
    – StammeringMathematician
    Sep 9 at 8:07







  • 2




    Q is totally disconnected: only the singeltons are connected subsets
    – Math_QED
    Sep 9 at 8:22
















  • What are your definitions of compact and connected?
    – Arthur
    Sep 9 at 7:52










  • We say a topological space $X$ is connected if if it can be written as the disjoint union of two non empty open sets. A topological space $X$ is connected if for every open cover of $X$ there is a finite sub cover. @Arthur
    – StammeringMathematician
    Sep 9 at 8:00










  • I think your definition of "connected" is turned around. That's the definition of a disconnected space.
    – Arthur
    Sep 9 at 8:06










  • @Arthur Sorry for the error. You are right.
    – StammeringMathematician
    Sep 9 at 8:07







  • 2




    Q is totally disconnected: only the singeltons are connected subsets
    – Math_QED
    Sep 9 at 8:22















What are your definitions of compact and connected?
– Arthur
Sep 9 at 7:52




What are your definitions of compact and connected?
– Arthur
Sep 9 at 7:52












We say a topological space $X$ is connected if if it can be written as the disjoint union of two non empty open sets. A topological space $X$ is connected if for every open cover of $X$ there is a finite sub cover. @Arthur
– StammeringMathematician
Sep 9 at 8:00




We say a topological space $X$ is connected if if it can be written as the disjoint union of two non empty open sets. A topological space $X$ is connected if for every open cover of $X$ there is a finite sub cover. @Arthur
– StammeringMathematician
Sep 9 at 8:00












I think your definition of "connected" is turned around. That's the definition of a disconnected space.
– Arthur
Sep 9 at 8:06




I think your definition of "connected" is turned around. That's the definition of a disconnected space.
– Arthur
Sep 9 at 8:06












@Arthur Sorry for the error. You are right.
– StammeringMathematician
Sep 9 at 8:07





@Arthur Sorry for the error. You are right.
– StammeringMathematician
Sep 9 at 8:07





2




2




Q is totally disconnected: only the singeltons are connected subsets
– Math_QED
Sep 9 at 8:22




Q is totally disconnected: only the singeltons are connected subsets
– Math_QED
Sep 9 at 8:22










2 Answers
2






active

oldest

votes

















up vote
2
down vote



accepted










Setting $A_s=rinmathbb Qmid r^2<s=mathbb Qcap(-sqrt s,sqrt s)$ it is evident that the sets $A_s$ are open for $0<s<2$ and cover $A$.



Can you find a finite subcover?




We have $A=rinmathbb Qmid r^2<frac12cup rinmathbb Qmid frac12<r^2<2$ since $rinmathbb Qmid r^2=frac12=varnothing$.



The sets are open, not empty and disjoint.






share|cite|improve this answer





























    up vote
    2
    down vote













    Not compact. Consider the open cover

    $mathbbQcap(-sqrt2,r)$: r in A



    Not connected. Let r be an irrational in $(-sqrt2,sqrt2)$ and consider
    $(-sqrt2,r), (r,sqrt2)$ both intersected by Q.






    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%2f2910517%2fstudying-topology-on-mathbbq-with-an-example%23new-answer', 'question_page');

      );

      Post as a guest






























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      2
      down vote



      accepted










      Setting $A_s=rinmathbb Qmid r^2<s=mathbb Qcap(-sqrt s,sqrt s)$ it is evident that the sets $A_s$ are open for $0<s<2$ and cover $A$.



      Can you find a finite subcover?




      We have $A=rinmathbb Qmid r^2<frac12cup rinmathbb Qmid frac12<r^2<2$ since $rinmathbb Qmid r^2=frac12=varnothing$.



      The sets are open, not empty and disjoint.






      share|cite|improve this answer


























        up vote
        2
        down vote



        accepted










        Setting $A_s=rinmathbb Qmid r^2<s=mathbb Qcap(-sqrt s,sqrt s)$ it is evident that the sets $A_s$ are open for $0<s<2$ and cover $A$.



        Can you find a finite subcover?




        We have $A=rinmathbb Qmid r^2<frac12cup rinmathbb Qmid frac12<r^2<2$ since $rinmathbb Qmid r^2=frac12=varnothing$.



        The sets are open, not empty and disjoint.






        share|cite|improve this answer
























          up vote
          2
          down vote



          accepted







          up vote
          2
          down vote



          accepted






          Setting $A_s=rinmathbb Qmid r^2<s=mathbb Qcap(-sqrt s,sqrt s)$ it is evident that the sets $A_s$ are open for $0<s<2$ and cover $A$.



          Can you find a finite subcover?




          We have $A=rinmathbb Qmid r^2<frac12cup rinmathbb Qmid frac12<r^2<2$ since $rinmathbb Qmid r^2=frac12=varnothing$.



          The sets are open, not empty and disjoint.






          share|cite|improve this answer














          Setting $A_s=rinmathbb Qmid r^2<s=mathbb Qcap(-sqrt s,sqrt s)$ it is evident that the sets $A_s$ are open for $0<s<2$ and cover $A$.



          Can you find a finite subcover?




          We have $A=rinmathbb Qmid r^2<frac12cup rinmathbb Qmid frac12<r^2<2$ since $rinmathbb Qmid r^2=frac12=varnothing$.



          The sets are open, not empty and disjoint.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Sep 10 at 9:21

























          answered Sep 9 at 8:23









          drhab

          89.3k541123




          89.3k541123




















              up vote
              2
              down vote













              Not compact. Consider the open cover

              $mathbbQcap(-sqrt2,r)$: r in A



              Not connected. Let r be an irrational in $(-sqrt2,sqrt2)$ and consider
              $(-sqrt2,r), (r,sqrt2)$ both intersected by Q.






              share|cite|improve this answer
























                up vote
                2
                down vote













                Not compact. Consider the open cover

                $mathbbQcap(-sqrt2,r)$: r in A



                Not connected. Let r be an irrational in $(-sqrt2,sqrt2)$ and consider
                $(-sqrt2,r), (r,sqrt2)$ both intersected by Q.






                share|cite|improve this answer






















                  up vote
                  2
                  down vote










                  up vote
                  2
                  down vote









                  Not compact. Consider the open cover

                  $mathbbQcap(-sqrt2,r)$: r in A



                  Not connected. Let r be an irrational in $(-sqrt2,sqrt2)$ and consider
                  $(-sqrt2,r), (r,sqrt2)$ both intersected by Q.






                  share|cite|improve this answer












                  Not compact. Consider the open cover

                  $mathbbQcap(-sqrt2,r)$: r in A



                  Not connected. Let r be an irrational in $(-sqrt2,sqrt2)$ and consider
                  $(-sqrt2,r), (r,sqrt2)$ both intersected by Q.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Sep 9 at 8:20









                  William Elliot

                  5,4212517




                  5,4212517



























                       

                      draft saved


                      draft discarded















































                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2910517%2fstudying-topology-on-mathbbq-with-an-example%23new-answer', 'question_page');

                      );

                      Post as a guest













































































                      這個網誌中的熱門文章

                      tkz-euclide: tkzDrawCircle[R] not working

                      How to combine Bézier curves to a surface?

                      1st Magritte Awards