Showing that all sets in $mathcalB:=a+bmathbbZ:ain mathbbZ, bin mathbbN$ are closed wrt the topology $mathcal B$ is the basis of

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











up vote
0
down vote

favorite












$mathcalB:=a+bmathbbZ:ain mathbbZ, bin mathbbN$



I already showed that $mathcal B$ is a basis of a topology on $mathbb Z$.
How can I show that every set in $mathcal B$ is closed w.r.t. that topology?



For this I want to show that their complements are open which means they can be written as unions of elements of $mathcal B$.



Buw how do I do this?
What's $(a+b mathbb Z)^c$ and how can I write it as such a union of elements of $mathcal B$?



(I know that $a + bmathbb Z=x +bmathbb Z forall x in a+b mathbb Z$ if that helps)







share|cite|improve this question
















  • 1




    Do we have $0inmathbb N$ here? If so then $a=a+0mathbb Z$ is open for every $ainmathbb Z$ and consequently every subset $A=bigcup_ain Aa$ is open. If all sets are open then also all sets are closed.
    – drhab
    Aug 29 at 9:02











  • @drhab Usually we don't include $0$ but this might be an exception (The task should be rather easy as we just started out with topology so I can imagine we include $0$ here). But can you explain how you conclude from $A=bigcup_a in A a$ is open that every set in $mathcal B$ is closed w.r.t. that topology?
    – user586087
    Aug 29 at 9:13











  • Let $Asubseteqmathbb Z$. Then $A^complement=bigcup_nin A^complementn$ is open. Then consequently $A=(A^complement)^complement$ is closed.
    – drhab
    Aug 29 at 9:17











  • @drhab Thanks! And if we have $0 in mathbbN$, is it also a Hausdorff space? Because for $x,yin mathbbZ, x neq y$ we got $x in x+0 mathbbZ$ and $y in y+0 mathbbZ$ which are disjoint?
    – user586087
    Aug 29 at 9:31










  • Yes. It concerns topological space $(mathbb Z,wp(mathbb Z))$, so discrete topology. It surely is Hausdorff (more than that).
    – drhab
    Aug 29 at 9:33














up vote
0
down vote

favorite












$mathcalB:=a+bmathbbZ:ain mathbbZ, bin mathbbN$



I already showed that $mathcal B$ is a basis of a topology on $mathbb Z$.
How can I show that every set in $mathcal B$ is closed w.r.t. that topology?



For this I want to show that their complements are open which means they can be written as unions of elements of $mathcal B$.



Buw how do I do this?
What's $(a+b mathbb Z)^c$ and how can I write it as such a union of elements of $mathcal B$?



(I know that $a + bmathbb Z=x +bmathbb Z forall x in a+b mathbb Z$ if that helps)







share|cite|improve this question
















  • 1




    Do we have $0inmathbb N$ here? If so then $a=a+0mathbb Z$ is open for every $ainmathbb Z$ and consequently every subset $A=bigcup_ain Aa$ is open. If all sets are open then also all sets are closed.
    – drhab
    Aug 29 at 9:02











  • @drhab Usually we don't include $0$ but this might be an exception (The task should be rather easy as we just started out with topology so I can imagine we include $0$ here). But can you explain how you conclude from $A=bigcup_a in A a$ is open that every set in $mathcal B$ is closed w.r.t. that topology?
    – user586087
    Aug 29 at 9:13











  • Let $Asubseteqmathbb Z$. Then $A^complement=bigcup_nin A^complementn$ is open. Then consequently $A=(A^complement)^complement$ is closed.
    – drhab
    Aug 29 at 9:17











  • @drhab Thanks! And if we have $0 in mathbbN$, is it also a Hausdorff space? Because for $x,yin mathbbZ, x neq y$ we got $x in x+0 mathbbZ$ and $y in y+0 mathbbZ$ which are disjoint?
    – user586087
    Aug 29 at 9:31










  • Yes. It concerns topological space $(mathbb Z,wp(mathbb Z))$, so discrete topology. It surely is Hausdorff (more than that).
    – drhab
    Aug 29 at 9:33












up vote
0
down vote

favorite









up vote
0
down vote

favorite











$mathcalB:=a+bmathbbZ:ain mathbbZ, bin mathbbN$



I already showed that $mathcal B$ is a basis of a topology on $mathbb Z$.
How can I show that every set in $mathcal B$ is closed w.r.t. that topology?



For this I want to show that their complements are open which means they can be written as unions of elements of $mathcal B$.



Buw how do I do this?
What's $(a+b mathbb Z)^c$ and how can I write it as such a union of elements of $mathcal B$?



(I know that $a + bmathbb Z=x +bmathbb Z forall x in a+b mathbb Z$ if that helps)







share|cite|improve this question












$mathcalB:=a+bmathbbZ:ain mathbbZ, bin mathbbN$



I already showed that $mathcal B$ is a basis of a topology on $mathbb Z$.
How can I show that every set in $mathcal B$ is closed w.r.t. that topology?



For this I want to show that their complements are open which means they can be written as unions of elements of $mathcal B$.



Buw how do I do this?
What's $(a+b mathbb Z)^c$ and how can I write it as such a union of elements of $mathcal B$?



(I know that $a + bmathbb Z=x +bmathbb Z forall x in a+b mathbb Z$ if that helps)









share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Aug 29 at 8:49









user586087

635




635







  • 1




    Do we have $0inmathbb N$ here? If so then $a=a+0mathbb Z$ is open for every $ainmathbb Z$ and consequently every subset $A=bigcup_ain Aa$ is open. If all sets are open then also all sets are closed.
    – drhab
    Aug 29 at 9:02











  • @drhab Usually we don't include $0$ but this might be an exception (The task should be rather easy as we just started out with topology so I can imagine we include $0$ here). But can you explain how you conclude from $A=bigcup_a in A a$ is open that every set in $mathcal B$ is closed w.r.t. that topology?
    – user586087
    Aug 29 at 9:13











  • Let $Asubseteqmathbb Z$. Then $A^complement=bigcup_nin A^complementn$ is open. Then consequently $A=(A^complement)^complement$ is closed.
    – drhab
    Aug 29 at 9:17











  • @drhab Thanks! And if we have $0 in mathbbN$, is it also a Hausdorff space? Because for $x,yin mathbbZ, x neq y$ we got $x in x+0 mathbbZ$ and $y in y+0 mathbbZ$ which are disjoint?
    – user586087
    Aug 29 at 9:31










  • Yes. It concerns topological space $(mathbb Z,wp(mathbb Z))$, so discrete topology. It surely is Hausdorff (more than that).
    – drhab
    Aug 29 at 9:33












  • 1




    Do we have $0inmathbb N$ here? If so then $a=a+0mathbb Z$ is open for every $ainmathbb Z$ and consequently every subset $A=bigcup_ain Aa$ is open. If all sets are open then also all sets are closed.
    – drhab
    Aug 29 at 9:02











  • @drhab Usually we don't include $0$ but this might be an exception (The task should be rather easy as we just started out with topology so I can imagine we include $0$ here). But can you explain how you conclude from $A=bigcup_a in A a$ is open that every set in $mathcal B$ is closed w.r.t. that topology?
    – user586087
    Aug 29 at 9:13











  • Let $Asubseteqmathbb Z$. Then $A^complement=bigcup_nin A^complementn$ is open. Then consequently $A=(A^complement)^complement$ is closed.
    – drhab
    Aug 29 at 9:17











  • @drhab Thanks! And if we have $0 in mathbbN$, is it also a Hausdorff space? Because for $x,yin mathbbZ, x neq y$ we got $x in x+0 mathbbZ$ and $y in y+0 mathbbZ$ which are disjoint?
    – user586087
    Aug 29 at 9:31










  • Yes. It concerns topological space $(mathbb Z,wp(mathbb Z))$, so discrete topology. It surely is Hausdorff (more than that).
    – drhab
    Aug 29 at 9:33







1




1




Do we have $0inmathbb N$ here? If so then $a=a+0mathbb Z$ is open for every $ainmathbb Z$ and consequently every subset $A=bigcup_ain Aa$ is open. If all sets are open then also all sets are closed.
– drhab
Aug 29 at 9:02





Do we have $0inmathbb N$ here? If so then $a=a+0mathbb Z$ is open for every $ainmathbb Z$ and consequently every subset $A=bigcup_ain Aa$ is open. If all sets are open then also all sets are closed.
– drhab
Aug 29 at 9:02













@drhab Usually we don't include $0$ but this might be an exception (The task should be rather easy as we just started out with topology so I can imagine we include $0$ here). But can you explain how you conclude from $A=bigcup_a in A a$ is open that every set in $mathcal B$ is closed w.r.t. that topology?
– user586087
Aug 29 at 9:13





@drhab Usually we don't include $0$ but this might be an exception (The task should be rather easy as we just started out with topology so I can imagine we include $0$ here). But can you explain how you conclude from $A=bigcup_a in A a$ is open that every set in $mathcal B$ is closed w.r.t. that topology?
– user586087
Aug 29 at 9:13













Let $Asubseteqmathbb Z$. Then $A^complement=bigcup_nin A^complementn$ is open. Then consequently $A=(A^complement)^complement$ is closed.
– drhab
Aug 29 at 9:17





Let $Asubseteqmathbb Z$. Then $A^complement=bigcup_nin A^complementn$ is open. Then consequently $A=(A^complement)^complement$ is closed.
– drhab
Aug 29 at 9:17













@drhab Thanks! And if we have $0 in mathbbN$, is it also a Hausdorff space? Because for $x,yin mathbbZ, x neq y$ we got $x in x+0 mathbbZ$ and $y in y+0 mathbbZ$ which are disjoint?
– user586087
Aug 29 at 9:31




@drhab Thanks! And if we have $0 in mathbbN$, is it also a Hausdorff space? Because for $x,yin mathbbZ, x neq y$ we got $x in x+0 mathbbZ$ and $y in y+0 mathbbZ$ which are disjoint?
– user586087
Aug 29 at 9:31












Yes. It concerns topological space $(mathbb Z,wp(mathbb Z))$, so discrete topology. It surely is Hausdorff (more than that).
– drhab
Aug 29 at 9:33




Yes. It concerns topological space $(mathbb Z,wp(mathbb Z))$, so discrete topology. It surely is Hausdorff (more than that).
– drhab
Aug 29 at 9:33










2 Answers
2






active

oldest

votes

















up vote
2
down vote













Just to make clear what $a+bmathbbZ$ means:
beginalign
3 + 5mathbbZ &= ldots,3-5times 2,3-5times 1,3,3+5times 1,3+5times 2,ldots \
&= ldots,-7,-2,3,8,13,ldots.
endalign
Therefore the complement of $a+bmathbbZ$ is equal to
beginalign
(a+bmathbbZ)^c = (a+1)+bmathbbZ cup (a+2)+bmathbbZ cup cdots cup(a+b-1)+bmathbbZ.
endalign






share|cite|improve this answer



























    up vote
    1
    down vote













    The statement that all sets are closed is actually the same as the statements that all sets are open (see my comment on the question).



    So if indeed all sets are closed then the set $0$ must be an open set.



    Then some $Binmathcal B$ must exist with $0in Bsubseteq0$.



    There is only one candidate: $B=0$ so we conclude that $0inmathcal B$.



    However if here $0notinmathbb N$ then all elements of $mathcal B$ are infinite sets so that in that case $0notinmathcal B$.



    This indicates that here $0inmathbb N$ and based on that we find that every singleton is an element of $mathcal B$ because:$$a=a+0mathbb Zinmathcal B$$



    Then all singletons are open and consequently all sets are open.



    Then also all sets are closed.






    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%2f2898119%2fshowing-that-all-sets-in-mathcalb-ab-mathbbza-in-mathbbz-b-in-ma%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













      Just to make clear what $a+bmathbbZ$ means:
      beginalign
      3 + 5mathbbZ &= ldots,3-5times 2,3-5times 1,3,3+5times 1,3+5times 2,ldots \
      &= ldots,-7,-2,3,8,13,ldots.
      endalign
      Therefore the complement of $a+bmathbbZ$ is equal to
      beginalign
      (a+bmathbbZ)^c = (a+1)+bmathbbZ cup (a+2)+bmathbbZ cup cdots cup(a+b-1)+bmathbbZ.
      endalign






      share|cite|improve this answer
























        up vote
        2
        down vote













        Just to make clear what $a+bmathbbZ$ means:
        beginalign
        3 + 5mathbbZ &= ldots,3-5times 2,3-5times 1,3,3+5times 1,3+5times 2,ldots \
        &= ldots,-7,-2,3,8,13,ldots.
        endalign
        Therefore the complement of $a+bmathbbZ$ is equal to
        beginalign
        (a+bmathbbZ)^c = (a+1)+bmathbbZ cup (a+2)+bmathbbZ cup cdots cup(a+b-1)+bmathbbZ.
        endalign






        share|cite|improve this answer






















          up vote
          2
          down vote










          up vote
          2
          down vote









          Just to make clear what $a+bmathbbZ$ means:
          beginalign
          3 + 5mathbbZ &= ldots,3-5times 2,3-5times 1,3,3+5times 1,3+5times 2,ldots \
          &= ldots,-7,-2,3,8,13,ldots.
          endalign
          Therefore the complement of $a+bmathbbZ$ is equal to
          beginalign
          (a+bmathbbZ)^c = (a+1)+bmathbbZ cup (a+2)+bmathbbZ cup cdots cup(a+b-1)+bmathbbZ.
          endalign






          share|cite|improve this answer












          Just to make clear what $a+bmathbbZ$ means:
          beginalign
          3 + 5mathbbZ &= ldots,3-5times 2,3-5times 1,3,3+5times 1,3+5times 2,ldots \
          &= ldots,-7,-2,3,8,13,ldots.
          endalign
          Therefore the complement of $a+bmathbbZ$ is equal to
          beginalign
          (a+bmathbbZ)^c = (a+1)+bmathbbZ cup (a+2)+bmathbbZ cup cdots cup(a+b-1)+bmathbbZ.
          endalign







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Aug 29 at 9:04









          Marc

          5,5601922




          5,5601922




















              up vote
              1
              down vote













              The statement that all sets are closed is actually the same as the statements that all sets are open (see my comment on the question).



              So if indeed all sets are closed then the set $0$ must be an open set.



              Then some $Binmathcal B$ must exist with $0in Bsubseteq0$.



              There is only one candidate: $B=0$ so we conclude that $0inmathcal B$.



              However if here $0notinmathbb N$ then all elements of $mathcal B$ are infinite sets so that in that case $0notinmathcal B$.



              This indicates that here $0inmathbb N$ and based on that we find that every singleton is an element of $mathcal B$ because:$$a=a+0mathbb Zinmathcal B$$



              Then all singletons are open and consequently all sets are open.



              Then also all sets are closed.






              share|cite|improve this answer
























                up vote
                1
                down vote













                The statement that all sets are closed is actually the same as the statements that all sets are open (see my comment on the question).



                So if indeed all sets are closed then the set $0$ must be an open set.



                Then some $Binmathcal B$ must exist with $0in Bsubseteq0$.



                There is only one candidate: $B=0$ so we conclude that $0inmathcal B$.



                However if here $0notinmathbb N$ then all elements of $mathcal B$ are infinite sets so that in that case $0notinmathcal B$.



                This indicates that here $0inmathbb N$ and based on that we find that every singleton is an element of $mathcal B$ because:$$a=a+0mathbb Zinmathcal B$$



                Then all singletons are open and consequently all sets are open.



                Then also all sets are closed.






                share|cite|improve this answer






















                  up vote
                  1
                  down vote










                  up vote
                  1
                  down vote









                  The statement that all sets are closed is actually the same as the statements that all sets are open (see my comment on the question).



                  So if indeed all sets are closed then the set $0$ must be an open set.



                  Then some $Binmathcal B$ must exist with $0in Bsubseteq0$.



                  There is only one candidate: $B=0$ so we conclude that $0inmathcal B$.



                  However if here $0notinmathbb N$ then all elements of $mathcal B$ are infinite sets so that in that case $0notinmathcal B$.



                  This indicates that here $0inmathbb N$ and based on that we find that every singleton is an element of $mathcal B$ because:$$a=a+0mathbb Zinmathcal B$$



                  Then all singletons are open and consequently all sets are open.



                  Then also all sets are closed.






                  share|cite|improve this answer












                  The statement that all sets are closed is actually the same as the statements that all sets are open (see my comment on the question).



                  So if indeed all sets are closed then the set $0$ must be an open set.



                  Then some $Binmathcal B$ must exist with $0in Bsubseteq0$.



                  There is only one candidate: $B=0$ so we conclude that $0inmathcal B$.



                  However if here $0notinmathbb N$ then all elements of $mathcal B$ are infinite sets so that in that case $0notinmathcal B$.



                  This indicates that here $0inmathbb N$ and based on that we find that every singleton is an element of $mathcal B$ because:$$a=a+0mathbb Zinmathcal B$$



                  Then all singletons are open and consequently all sets are open.



                  Then also all sets are closed.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Aug 29 at 9:30









                  drhab

                  88.8k541120




                  88.8k541120



























                       

                      draft saved


                      draft discarded















































                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2898119%2fshowing-that-all-sets-in-mathcalb-ab-mathbbza-in-mathbbz-b-in-ma%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?