Why a cylinder set with base in $mathbbR^n$ can have a base in $mathbbR^n+1$ as well?

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











up vote
0
down vote

favorite












Let define a cylinder set as:



$$mathcalC(B_1 times dots times B_n)=x in mathbbR^infty$$



where $B_k in mathcalB(mathbbR)$ for $k=1,2,...,n$ with base in $mathbbR^n$.



But, we can write also:




$$mathcalC(B_1 times dots times B_n)=mathcalC(B_1 times
dots times B_ntimes mathbbR)$$




with base in $mathbbR^n+1$.



Why is this statement true?







share|cite|improve this question



















  • Have you made an attempt?
    – Kavi Rama Murthy
    Jul 30 at 9:54










  • @KaviRamaMurthy Yes I made an attempt to understand why is this true and I read also in the book of Shiryaev but I couldn't figure out.
    – Melina
    Jul 30 at 9:55











  • No proof is required. The equality is true by definition.
    – Kavi Rama Murthy
    Jul 30 at 10:02






  • 1




    Can you find an element in the set denoted on LHS that is not in the set denoted on RHS? Can you find an element in the set denoted on RHS that is not in the set denoted on LHS?
    – drhab
    Jul 30 at 10:07














up vote
0
down vote

favorite












Let define a cylinder set as:



$$mathcalC(B_1 times dots times B_n)=x in mathbbR^infty$$



where $B_k in mathcalB(mathbbR)$ for $k=1,2,...,n$ with base in $mathbbR^n$.



But, we can write also:




$$mathcalC(B_1 times dots times B_n)=mathcalC(B_1 times
dots times B_ntimes mathbbR)$$




with base in $mathbbR^n+1$.



Why is this statement true?







share|cite|improve this question



















  • Have you made an attempt?
    – Kavi Rama Murthy
    Jul 30 at 9:54










  • @KaviRamaMurthy Yes I made an attempt to understand why is this true and I read also in the book of Shiryaev but I couldn't figure out.
    – Melina
    Jul 30 at 9:55











  • No proof is required. The equality is true by definition.
    – Kavi Rama Murthy
    Jul 30 at 10:02






  • 1




    Can you find an element in the set denoted on LHS that is not in the set denoted on RHS? Can you find an element in the set denoted on RHS that is not in the set denoted on LHS?
    – drhab
    Jul 30 at 10:07












up vote
0
down vote

favorite









up vote
0
down vote

favorite











Let define a cylinder set as:



$$mathcalC(B_1 times dots times B_n)=x in mathbbR^infty$$



where $B_k in mathcalB(mathbbR)$ for $k=1,2,...,n$ with base in $mathbbR^n$.



But, we can write also:




$$mathcalC(B_1 times dots times B_n)=mathcalC(B_1 times
dots times B_ntimes mathbbR)$$




with base in $mathbbR^n+1$.



Why is this statement true?







share|cite|improve this question











Let define a cylinder set as:



$$mathcalC(B_1 times dots times B_n)=x in mathbbR^infty$$



where $B_k in mathcalB(mathbbR)$ for $k=1,2,...,n$ with base in $mathbbR^n$.



But, we can write also:




$$mathcalC(B_1 times dots times B_n)=mathcalC(B_1 times
dots times B_ntimes mathbbR)$$




with base in $mathbbR^n+1$.



Why is this statement true?









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 30 at 9:53









Melina

87416




87416











  • Have you made an attempt?
    – Kavi Rama Murthy
    Jul 30 at 9:54










  • @KaviRamaMurthy Yes I made an attempt to understand why is this true and I read also in the book of Shiryaev but I couldn't figure out.
    – Melina
    Jul 30 at 9:55











  • No proof is required. The equality is true by definition.
    – Kavi Rama Murthy
    Jul 30 at 10:02






  • 1




    Can you find an element in the set denoted on LHS that is not in the set denoted on RHS? Can you find an element in the set denoted on RHS that is not in the set denoted on LHS?
    – drhab
    Jul 30 at 10:07
















  • Have you made an attempt?
    – Kavi Rama Murthy
    Jul 30 at 9:54










  • @KaviRamaMurthy Yes I made an attempt to understand why is this true and I read also in the book of Shiryaev but I couldn't figure out.
    – Melina
    Jul 30 at 9:55











  • No proof is required. The equality is true by definition.
    – Kavi Rama Murthy
    Jul 30 at 10:02






  • 1




    Can you find an element in the set denoted on LHS that is not in the set denoted on RHS? Can you find an element in the set denoted on RHS that is not in the set denoted on LHS?
    – drhab
    Jul 30 at 10:07















Have you made an attempt?
– Kavi Rama Murthy
Jul 30 at 9:54




Have you made an attempt?
– Kavi Rama Murthy
Jul 30 at 9:54












@KaviRamaMurthy Yes I made an attempt to understand why is this true and I read also in the book of Shiryaev but I couldn't figure out.
– Melina
Jul 30 at 9:55





@KaviRamaMurthy Yes I made an attempt to understand why is this true and I read also in the book of Shiryaev but I couldn't figure out.
– Melina
Jul 30 at 9:55













No proof is required. The equality is true by definition.
– Kavi Rama Murthy
Jul 30 at 10:02




No proof is required. The equality is true by definition.
– Kavi Rama Murthy
Jul 30 at 10:02




1




1




Can you find an element in the set denoted on LHS that is not in the set denoted on RHS? Can you find an element in the set denoted on RHS that is not in the set denoted on LHS?
– drhab
Jul 30 at 10:07




Can you find an element in the set denoted on LHS that is not in the set denoted on RHS? Can you find an element in the set denoted on RHS that is not in the set denoted on LHS?
– drhab
Jul 30 at 10:07










1 Answer
1






active

oldest

votes

















up vote
2
down vote



accepted










Hint:



If $xin A$ implies that $xin B$ and $xin B$ implies that $xin A$ then we are allowed to conclude that $A=B$.



This because (according to the axiom of extensionality) sets are completely determined by their elements.






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%2f2866846%2fwhy-a-cylinder-set-with-base-in-mathbbrn-can-have-a-base-in-mathbbrn%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    2
    down vote



    accepted










    Hint:



    If $xin A$ implies that $xin B$ and $xin B$ implies that $xin A$ then we are allowed to conclude that $A=B$.



    This because (according to the axiom of extensionality) sets are completely determined by their elements.






    share|cite|improve this answer

























      up vote
      2
      down vote



      accepted










      Hint:



      If $xin A$ implies that $xin B$ and $xin B$ implies that $xin A$ then we are allowed to conclude that $A=B$.



      This because (according to the axiom of extensionality) sets are completely determined by their elements.






      share|cite|improve this answer























        up vote
        2
        down vote



        accepted







        up vote
        2
        down vote



        accepted






        Hint:



        If $xin A$ implies that $xin B$ and $xin B$ implies that $xin A$ then we are allowed to conclude that $A=B$.



        This because (according to the axiom of extensionality) sets are completely determined by their elements.






        share|cite|improve this answer













        Hint:



        If $xin A$ implies that $xin B$ and $xin B$ implies that $xin A$ then we are allowed to conclude that $A=B$.



        This because (according to the axiom of extensionality) sets are completely determined by their elements.







        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered Jul 30 at 10:11









        drhab

        85.9k540118




        85.9k540118






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2866846%2fwhy-a-cylinder-set-with-base-in-mathbbrn-can-have-a-base-in-mathbbrn%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            What is the equation of a 3D cone with generalised tilt?

            Color the edges and diagonals of a regular polygon

            Relationship between determinant of matrix and determinant of adjoint?