Show that the class of all finite unions of closed-open intervals on the real line is a ring of sets but is...











up vote
0
down vote

favorite












From what I understood, a ring of sets is a non-empty class of sets that is closed under symmetric difference of any pair of sets of the class and under intersection of any pair of sets of the class.



Why isn't it a set of Boolean algebra and how do you show it to be a ring of sets?
I have just begun Introduction to Topology and Modern Analysis for context.










share|cite|improve this question
























  • There is a 'general-topology' tag. By the way, what is a closed-open interval of $mathbb{R}$?
    – amrsa
    Apr 20 '17 at 17:14










  • Like $[0,1)$. Where the first limit is included and the second not. The converse would be an open-closed interval like $(0,1]$.
    – Mrigank Arora
    Apr 20 '17 at 17:21










  • I think your definition of ring of sets is different than mine one (and I suppose, many other people's), so may be you should give that definition.
    – amrsa
    Apr 20 '17 at 17:24










  • Or maybe when you say "From what i understood", you mean that is your definition
    – amrsa
    Apr 20 '17 at 17:26










  • This is just how the book introduced it. If possible, could you tell me your definition for a ring of sets? I just started self-studying in this area, so I don't really know any conventions.
    – Mrigank Arora
    Apr 20 '17 at 17:30















up vote
0
down vote

favorite












From what I understood, a ring of sets is a non-empty class of sets that is closed under symmetric difference of any pair of sets of the class and under intersection of any pair of sets of the class.



Why isn't it a set of Boolean algebra and how do you show it to be a ring of sets?
I have just begun Introduction to Topology and Modern Analysis for context.










share|cite|improve this question
























  • There is a 'general-topology' tag. By the way, what is a closed-open interval of $mathbb{R}$?
    – amrsa
    Apr 20 '17 at 17:14










  • Like $[0,1)$. Where the first limit is included and the second not. The converse would be an open-closed interval like $(0,1]$.
    – Mrigank Arora
    Apr 20 '17 at 17:21










  • I think your definition of ring of sets is different than mine one (and I suppose, many other people's), so may be you should give that definition.
    – amrsa
    Apr 20 '17 at 17:24










  • Or maybe when you say "From what i understood", you mean that is your definition
    – amrsa
    Apr 20 '17 at 17:26










  • This is just how the book introduced it. If possible, could you tell me your definition for a ring of sets? I just started self-studying in this area, so I don't really know any conventions.
    – Mrigank Arora
    Apr 20 '17 at 17:30













up vote
0
down vote

favorite









up vote
0
down vote

favorite











From what I understood, a ring of sets is a non-empty class of sets that is closed under symmetric difference of any pair of sets of the class and under intersection of any pair of sets of the class.



Why isn't it a set of Boolean algebra and how do you show it to be a ring of sets?
I have just begun Introduction to Topology and Modern Analysis for context.










share|cite|improve this question















From what I understood, a ring of sets is a non-empty class of sets that is closed under symmetric difference of any pair of sets of the class and under intersection of any pair of sets of the class.



Why isn't it a set of Boolean algebra and how do you show it to be a ring of sets?
I have just begun Introduction to Topology and Modern Analysis for context.







general-topology






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Apr 20 '17 at 17:21

























asked Apr 20 '17 at 16:55









Mrigank Arora

654




654












  • There is a 'general-topology' tag. By the way, what is a closed-open interval of $mathbb{R}$?
    – amrsa
    Apr 20 '17 at 17:14










  • Like $[0,1)$. Where the first limit is included and the second not. The converse would be an open-closed interval like $(0,1]$.
    – Mrigank Arora
    Apr 20 '17 at 17:21










  • I think your definition of ring of sets is different than mine one (and I suppose, many other people's), so may be you should give that definition.
    – amrsa
    Apr 20 '17 at 17:24










  • Or maybe when you say "From what i understood", you mean that is your definition
    – amrsa
    Apr 20 '17 at 17:26










  • This is just how the book introduced it. If possible, could you tell me your definition for a ring of sets? I just started self-studying in this area, so I don't really know any conventions.
    – Mrigank Arora
    Apr 20 '17 at 17:30


















  • There is a 'general-topology' tag. By the way, what is a closed-open interval of $mathbb{R}$?
    – amrsa
    Apr 20 '17 at 17:14










  • Like $[0,1)$. Where the first limit is included and the second not. The converse would be an open-closed interval like $(0,1]$.
    – Mrigank Arora
    Apr 20 '17 at 17:21










  • I think your definition of ring of sets is different than mine one (and I suppose, many other people's), so may be you should give that definition.
    – amrsa
    Apr 20 '17 at 17:24










  • Or maybe when you say "From what i understood", you mean that is your definition
    – amrsa
    Apr 20 '17 at 17:26










  • This is just how the book introduced it. If possible, could you tell me your definition for a ring of sets? I just started self-studying in this area, so I don't really know any conventions.
    – Mrigank Arora
    Apr 20 '17 at 17:30
















There is a 'general-topology' tag. By the way, what is a closed-open interval of $mathbb{R}$?
– amrsa
Apr 20 '17 at 17:14




There is a 'general-topology' tag. By the way, what is a closed-open interval of $mathbb{R}$?
– amrsa
Apr 20 '17 at 17:14












Like $[0,1)$. Where the first limit is included and the second not. The converse would be an open-closed interval like $(0,1]$.
– Mrigank Arora
Apr 20 '17 at 17:21




Like $[0,1)$. Where the first limit is included and the second not. The converse would be an open-closed interval like $(0,1]$.
– Mrigank Arora
Apr 20 '17 at 17:21












I think your definition of ring of sets is different than mine one (and I suppose, many other people's), so may be you should give that definition.
– amrsa
Apr 20 '17 at 17:24




I think your definition of ring of sets is different than mine one (and I suppose, many other people's), so may be you should give that definition.
– amrsa
Apr 20 '17 at 17:24












Or maybe when you say "From what i understood", you mean that is your definition
– amrsa
Apr 20 '17 at 17:26




Or maybe when you say "From what i understood", you mean that is your definition
– amrsa
Apr 20 '17 at 17:26












This is just how the book introduced it. If possible, could you tell me your definition for a ring of sets? I just started self-studying in this area, so I don't really know any conventions.
– Mrigank Arora
Apr 20 '17 at 17:30




This is just how the book introduced it. If possible, could you tell me your definition for a ring of sets? I just started self-studying in this area, so I don't really know any conventions.
– Mrigank Arora
Apr 20 '17 at 17:30










1 Answer
1






active

oldest

votes

















up vote
0
down vote













A ring of sets is defined in Simmons to be a non-empty class $mathcal{A}$ such that for $A,B in mathcal{A}$:



(1) $A Delta B in mathcal{A}$, where $Delta$ stands for the symmetric difference.


(2) $A cap B in mathcal{A}$.



Note that this implies $emptyset in mathcal{A}$. For this proof, you need to show the following. If $B_1, B_2 in mathcal{A}$, where $mathcal{A}$ is the class of all finite unions of closed-open intervals on the real line, then $B_1 Delta B_2 in mathcal{A}$ and $B_1 cap B_2 in mathcal{A}$.



To show that $mathcal{A}$ is not a Boolean algebra of sets, consider whether $B_1'$ is in $mathcal{A}$, where $B_1'$ stands for the complement of $B_1$. To help you get on your way, maybe define $B_1 = [a,b)$ and $B_2 = [c,d)$ where $a,b,c,d in mathbb{R}$. Then consider whether these two closed-open intervals are overlapping, containing one or the other, or disjoint.






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%2f2243815%2fshow-that-the-class-of-all-finite-unions-of-closed-open-intervals-on-the-real-li%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    0
    down vote













    A ring of sets is defined in Simmons to be a non-empty class $mathcal{A}$ such that for $A,B in mathcal{A}$:



    (1) $A Delta B in mathcal{A}$, where $Delta$ stands for the symmetric difference.


    (2) $A cap B in mathcal{A}$.



    Note that this implies $emptyset in mathcal{A}$. For this proof, you need to show the following. If $B_1, B_2 in mathcal{A}$, where $mathcal{A}$ is the class of all finite unions of closed-open intervals on the real line, then $B_1 Delta B_2 in mathcal{A}$ and $B_1 cap B_2 in mathcal{A}$.



    To show that $mathcal{A}$ is not a Boolean algebra of sets, consider whether $B_1'$ is in $mathcal{A}$, where $B_1'$ stands for the complement of $B_1$. To help you get on your way, maybe define $B_1 = [a,b)$ and $B_2 = [c,d)$ where $a,b,c,d in mathbb{R}$. Then consider whether these two closed-open intervals are overlapping, containing one or the other, or disjoint.






    share|cite|improve this answer

























      up vote
      0
      down vote













      A ring of sets is defined in Simmons to be a non-empty class $mathcal{A}$ such that for $A,B in mathcal{A}$:



      (1) $A Delta B in mathcal{A}$, where $Delta$ stands for the symmetric difference.


      (2) $A cap B in mathcal{A}$.



      Note that this implies $emptyset in mathcal{A}$. For this proof, you need to show the following. If $B_1, B_2 in mathcal{A}$, where $mathcal{A}$ is the class of all finite unions of closed-open intervals on the real line, then $B_1 Delta B_2 in mathcal{A}$ and $B_1 cap B_2 in mathcal{A}$.



      To show that $mathcal{A}$ is not a Boolean algebra of sets, consider whether $B_1'$ is in $mathcal{A}$, where $B_1'$ stands for the complement of $B_1$. To help you get on your way, maybe define $B_1 = [a,b)$ and $B_2 = [c,d)$ where $a,b,c,d in mathbb{R}$. Then consider whether these two closed-open intervals are overlapping, containing one or the other, or disjoint.






      share|cite|improve this answer























        up vote
        0
        down vote










        up vote
        0
        down vote









        A ring of sets is defined in Simmons to be a non-empty class $mathcal{A}$ such that for $A,B in mathcal{A}$:



        (1) $A Delta B in mathcal{A}$, where $Delta$ stands for the symmetric difference.


        (2) $A cap B in mathcal{A}$.



        Note that this implies $emptyset in mathcal{A}$. For this proof, you need to show the following. If $B_1, B_2 in mathcal{A}$, where $mathcal{A}$ is the class of all finite unions of closed-open intervals on the real line, then $B_1 Delta B_2 in mathcal{A}$ and $B_1 cap B_2 in mathcal{A}$.



        To show that $mathcal{A}$ is not a Boolean algebra of sets, consider whether $B_1'$ is in $mathcal{A}$, where $B_1'$ stands for the complement of $B_1$. To help you get on your way, maybe define $B_1 = [a,b)$ and $B_2 = [c,d)$ where $a,b,c,d in mathbb{R}$. Then consider whether these two closed-open intervals are overlapping, containing one or the other, or disjoint.






        share|cite|improve this answer












        A ring of sets is defined in Simmons to be a non-empty class $mathcal{A}$ such that for $A,B in mathcal{A}$:



        (1) $A Delta B in mathcal{A}$, where $Delta$ stands for the symmetric difference.


        (2) $A cap B in mathcal{A}$.



        Note that this implies $emptyset in mathcal{A}$. For this proof, you need to show the following. If $B_1, B_2 in mathcal{A}$, where $mathcal{A}$ is the class of all finite unions of closed-open intervals on the real line, then $B_1 Delta B_2 in mathcal{A}$ and $B_1 cap B_2 in mathcal{A}$.



        To show that $mathcal{A}$ is not a Boolean algebra of sets, consider whether $B_1'$ is in $mathcal{A}$, where $B_1'$ stands for the complement of $B_1$. To help you get on your way, maybe define $B_1 = [a,b)$ and $B_2 = [c,d)$ where $a,b,c,d in mathbb{R}$. Then consider whether these two closed-open intervals are overlapping, containing one or the other, or disjoint.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Nov 19 at 19:50









        tucsonman101

        11




        11






























            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%2f2243815%2fshow-that-the-class-of-all-finite-unions-of-closed-open-intervals-on-the-real-li%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

            Index of /

            Tribalistas

            Listed building