Topology closedness

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











up vote
-3
down vote

favorite
1












Let $Int(Y)$ denote the interior of $Y,$ and let $overlineX$ denote the closure of $X.$ How do you show that



$$Int(Y) cup Int(Z) subseteq Int(Y cup Z)?$$ Can you give an example?



I know this is the complement of $overline Ycap Z subset overlineY cap overlineZ$ but it's difficult for me to understand the relationship between these two.







share|cite|improve this question


















  • 2




    What is your definition of Int$(Y)$? Recall that Int$(Y)$ is the largest open set containing $Y$ and proceed...
    – Math Lover
    Oct 2 '16 at 5:23











  • These proofs are highly context dependent. What are your definitions of open and closed sets?
    – ajotatxe
    Oct 2 '16 at 5:24










  • Given: X is a topological space and Y, Z $subset$ X
    – user336258
    Oct 2 '16 at 5:25










  • @user336258: Great! Then the result is obvious using my last comment.Can you see why?
    – Math Lover
    Oct 2 '16 at 5:26















up vote
-3
down vote

favorite
1












Let $Int(Y)$ denote the interior of $Y,$ and let $overlineX$ denote the closure of $X.$ How do you show that



$$Int(Y) cup Int(Z) subseteq Int(Y cup Z)?$$ Can you give an example?



I know this is the complement of $overline Ycap Z subset overlineY cap overlineZ$ but it's difficult for me to understand the relationship between these two.







share|cite|improve this question


















  • 2




    What is your definition of Int$(Y)$? Recall that Int$(Y)$ is the largest open set containing $Y$ and proceed...
    – Math Lover
    Oct 2 '16 at 5:23











  • These proofs are highly context dependent. What are your definitions of open and closed sets?
    – ajotatxe
    Oct 2 '16 at 5:24










  • Given: X is a topological space and Y, Z $subset$ X
    – user336258
    Oct 2 '16 at 5:25










  • @user336258: Great! Then the result is obvious using my last comment.Can you see why?
    – Math Lover
    Oct 2 '16 at 5:26













up vote
-3
down vote

favorite
1









up vote
-3
down vote

favorite
1






1





Let $Int(Y)$ denote the interior of $Y,$ and let $overlineX$ denote the closure of $X.$ How do you show that



$$Int(Y) cup Int(Z) subseteq Int(Y cup Z)?$$ Can you give an example?



I know this is the complement of $overline Ycap Z subset overlineY cap overlineZ$ but it's difficult for me to understand the relationship between these two.







share|cite|improve this question














Let $Int(Y)$ denote the interior of $Y,$ and let $overlineX$ denote the closure of $X.$ How do you show that



$$Int(Y) cup Int(Z) subseteq Int(Y cup Z)?$$ Can you give an example?



I know this is the complement of $overline Ycap Z subset overlineY cap overlineZ$ but it's difficult for me to understand the relationship between these two.









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 17 at 22:24









Chickenmancer

3,057622




3,057622










asked Oct 2 '16 at 5:21









user336258

62




62







  • 2




    What is your definition of Int$(Y)$? Recall that Int$(Y)$ is the largest open set containing $Y$ and proceed...
    – Math Lover
    Oct 2 '16 at 5:23











  • These proofs are highly context dependent. What are your definitions of open and closed sets?
    – ajotatxe
    Oct 2 '16 at 5:24










  • Given: X is a topological space and Y, Z $subset$ X
    – user336258
    Oct 2 '16 at 5:25










  • @user336258: Great! Then the result is obvious using my last comment.Can you see why?
    – Math Lover
    Oct 2 '16 at 5:26













  • 2




    What is your definition of Int$(Y)$? Recall that Int$(Y)$ is the largest open set containing $Y$ and proceed...
    – Math Lover
    Oct 2 '16 at 5:23











  • These proofs are highly context dependent. What are your definitions of open and closed sets?
    – ajotatxe
    Oct 2 '16 at 5:24










  • Given: X is a topological space and Y, Z $subset$ X
    – user336258
    Oct 2 '16 at 5:25










  • @user336258: Great! Then the result is obvious using my last comment.Can you see why?
    – Math Lover
    Oct 2 '16 at 5:26








2




2




What is your definition of Int$(Y)$? Recall that Int$(Y)$ is the largest open set containing $Y$ and proceed...
– Math Lover
Oct 2 '16 at 5:23





What is your definition of Int$(Y)$? Recall that Int$(Y)$ is the largest open set containing $Y$ and proceed...
– Math Lover
Oct 2 '16 at 5:23













These proofs are highly context dependent. What are your definitions of open and closed sets?
– ajotatxe
Oct 2 '16 at 5:24




These proofs are highly context dependent. What are your definitions of open and closed sets?
– ajotatxe
Oct 2 '16 at 5:24












Given: X is a topological space and Y, Z $subset$ X
– user336258
Oct 2 '16 at 5:25




Given: X is a topological space and Y, Z $subset$ X
– user336258
Oct 2 '16 at 5:25












@user336258: Great! Then the result is obvious using my last comment.Can you see why?
– Math Lover
Oct 2 '16 at 5:26





@user336258: Great! Then the result is obvious using my last comment.Can you see why?
– Math Lover
Oct 2 '16 at 5:26











2 Answers
2






active

oldest

votes

















up vote
1
down vote













If $tau$ is the topology of $X$,
$$xin Int Ycup Int Zimpliesexists U(Uintauwedge xin Uwedge (Usubset Yvee Usubset Z))$$
$$implies exists U(Uintauwedge xin Uwedge Usubset Ycup Z)implies xin Int(Ycup Z)$$






share|cite|improve this answer




















  • I'm aware of that. Writing the full solution in a formal language, with no explanation, is meant to be a hint.
    – ajotatxe
    Oct 2 '16 at 5:45

















up vote
0
down vote













Let $V(Y)$ denote the family of all open subsets of the set $Y.$ (This is not a standard notation.)



(1).Def'n: Int$(Y)=cup V(Y).$



(2). Since a union of a family of open sets is open, Int$(Y)$ is open. Since every member of $V(Y)$ is a subset of Y we have Int$(Y)=cup V(Y)subset Y.$ So Int$(Y)$ is an open subset of Y. Therefore by (1) we have Int$(Y)in V(Y).$



(3). If $W$ is an open subset of $Y$ then $Win V(Y) implies Wsubset cup V(Y)=$Int$(Y)in V(Y).$ So Int$(Y)$ is the largest open subset of $Y.$ That is, any member of $V(Y)$ is a subset of Int$(Y).$



(4). Int$(X)$ and Int$(Y)$ are open sets with Int$(X)subset X$ and Int$(Y)subset Y. $ So Int$(X) cup$Int$(Y)$ is an open subset of $X cup Y .$ That is, Int$(X)cup$Int$(Y)in V(Xcup Y). $ Therefore by (3) we have $$ text Int(X)cup text Int(Y)subset text Int(Xcup Y).$$



Examples.[1]. In the space $mathbb R$ let $X=mathbb Q$ and $Y=mathbb R$ $X.$ Then Int$(X)=$Int$(Y)=emptyset$ ................but Int$(Xcup Y)=$Int$(mathbb R)=mathbb R.$



[2].In $mathbb R$ let $X=(0,1]$ and $Y=[1,2).$ Then Int$(X)cup$Int$(Y)=(0,1)cup (1,2)$ ........................and Int$(Xcup Y)=(0,2).$






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%2f1950160%2ftopology-closedness%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
    1
    down vote













    If $tau$ is the topology of $X$,
    $$xin Int Ycup Int Zimpliesexists U(Uintauwedge xin Uwedge (Usubset Yvee Usubset Z))$$
    $$implies exists U(Uintauwedge xin Uwedge Usubset Ycup Z)implies xin Int(Ycup Z)$$






    share|cite|improve this answer




















    • I'm aware of that. Writing the full solution in a formal language, with no explanation, is meant to be a hint.
      – ajotatxe
      Oct 2 '16 at 5:45














    up vote
    1
    down vote













    If $tau$ is the topology of $X$,
    $$xin Int Ycup Int Zimpliesexists U(Uintauwedge xin Uwedge (Usubset Yvee Usubset Z))$$
    $$implies exists U(Uintauwedge xin Uwedge Usubset Ycup Z)implies xin Int(Ycup Z)$$






    share|cite|improve this answer




















    • I'm aware of that. Writing the full solution in a formal language, with no explanation, is meant to be a hint.
      – ajotatxe
      Oct 2 '16 at 5:45












    up vote
    1
    down vote










    up vote
    1
    down vote









    If $tau$ is the topology of $X$,
    $$xin Int Ycup Int Zimpliesexists U(Uintauwedge xin Uwedge (Usubset Yvee Usubset Z))$$
    $$implies exists U(Uintauwedge xin Uwedge Usubset Ycup Z)implies xin Int(Ycup Z)$$






    share|cite|improve this answer












    If $tau$ is the topology of $X$,
    $$xin Int Ycup Int Zimpliesexists U(Uintauwedge xin Uwedge (Usubset Yvee Usubset Z))$$
    $$implies exists U(Uintauwedge xin Uwedge Usubset Ycup Z)implies xin Int(Ycup Z)$$







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Oct 2 '16 at 5:37









    ajotatxe

    50.2k13184




    50.2k13184











    • I'm aware of that. Writing the full solution in a formal language, with no explanation, is meant to be a hint.
      – ajotatxe
      Oct 2 '16 at 5:45
















    • I'm aware of that. Writing the full solution in a formal language, with no explanation, is meant to be a hint.
      – ajotatxe
      Oct 2 '16 at 5:45















    I'm aware of that. Writing the full solution in a formal language, with no explanation, is meant to be a hint.
    – ajotatxe
    Oct 2 '16 at 5:45




    I'm aware of that. Writing the full solution in a formal language, with no explanation, is meant to be a hint.
    – ajotatxe
    Oct 2 '16 at 5:45










    up vote
    0
    down vote













    Let $V(Y)$ denote the family of all open subsets of the set $Y.$ (This is not a standard notation.)



    (1).Def'n: Int$(Y)=cup V(Y).$



    (2). Since a union of a family of open sets is open, Int$(Y)$ is open. Since every member of $V(Y)$ is a subset of Y we have Int$(Y)=cup V(Y)subset Y.$ So Int$(Y)$ is an open subset of Y. Therefore by (1) we have Int$(Y)in V(Y).$



    (3). If $W$ is an open subset of $Y$ then $Win V(Y) implies Wsubset cup V(Y)=$Int$(Y)in V(Y).$ So Int$(Y)$ is the largest open subset of $Y.$ That is, any member of $V(Y)$ is a subset of Int$(Y).$



    (4). Int$(X)$ and Int$(Y)$ are open sets with Int$(X)subset X$ and Int$(Y)subset Y. $ So Int$(X) cup$Int$(Y)$ is an open subset of $X cup Y .$ That is, Int$(X)cup$Int$(Y)in V(Xcup Y). $ Therefore by (3) we have $$ text Int(X)cup text Int(Y)subset text Int(Xcup Y).$$



    Examples.[1]. In the space $mathbb R$ let $X=mathbb Q$ and $Y=mathbb R$ $X.$ Then Int$(X)=$Int$(Y)=emptyset$ ................but Int$(Xcup Y)=$Int$(mathbb R)=mathbb R.$



    [2].In $mathbb R$ let $X=(0,1]$ and $Y=[1,2).$ Then Int$(X)cup$Int$(Y)=(0,1)cup (1,2)$ ........................and Int$(Xcup Y)=(0,2).$






    share|cite|improve this answer
























      up vote
      0
      down vote













      Let $V(Y)$ denote the family of all open subsets of the set $Y.$ (This is not a standard notation.)



      (1).Def'n: Int$(Y)=cup V(Y).$



      (2). Since a union of a family of open sets is open, Int$(Y)$ is open. Since every member of $V(Y)$ is a subset of Y we have Int$(Y)=cup V(Y)subset Y.$ So Int$(Y)$ is an open subset of Y. Therefore by (1) we have Int$(Y)in V(Y).$



      (3). If $W$ is an open subset of $Y$ then $Win V(Y) implies Wsubset cup V(Y)=$Int$(Y)in V(Y).$ So Int$(Y)$ is the largest open subset of $Y.$ That is, any member of $V(Y)$ is a subset of Int$(Y).$



      (4). Int$(X)$ and Int$(Y)$ are open sets with Int$(X)subset X$ and Int$(Y)subset Y. $ So Int$(X) cup$Int$(Y)$ is an open subset of $X cup Y .$ That is, Int$(X)cup$Int$(Y)in V(Xcup Y). $ Therefore by (3) we have $$ text Int(X)cup text Int(Y)subset text Int(Xcup Y).$$



      Examples.[1]. In the space $mathbb R$ let $X=mathbb Q$ and $Y=mathbb R$ $X.$ Then Int$(X)=$Int$(Y)=emptyset$ ................but Int$(Xcup Y)=$Int$(mathbb R)=mathbb R.$



      [2].In $mathbb R$ let $X=(0,1]$ and $Y=[1,2).$ Then Int$(X)cup$Int$(Y)=(0,1)cup (1,2)$ ........................and Int$(Xcup Y)=(0,2).$






      share|cite|improve this answer






















        up vote
        0
        down vote










        up vote
        0
        down vote









        Let $V(Y)$ denote the family of all open subsets of the set $Y.$ (This is not a standard notation.)



        (1).Def'n: Int$(Y)=cup V(Y).$



        (2). Since a union of a family of open sets is open, Int$(Y)$ is open. Since every member of $V(Y)$ is a subset of Y we have Int$(Y)=cup V(Y)subset Y.$ So Int$(Y)$ is an open subset of Y. Therefore by (1) we have Int$(Y)in V(Y).$



        (3). If $W$ is an open subset of $Y$ then $Win V(Y) implies Wsubset cup V(Y)=$Int$(Y)in V(Y).$ So Int$(Y)$ is the largest open subset of $Y.$ That is, any member of $V(Y)$ is a subset of Int$(Y).$



        (4). Int$(X)$ and Int$(Y)$ are open sets with Int$(X)subset X$ and Int$(Y)subset Y. $ So Int$(X) cup$Int$(Y)$ is an open subset of $X cup Y .$ That is, Int$(X)cup$Int$(Y)in V(Xcup Y). $ Therefore by (3) we have $$ text Int(X)cup text Int(Y)subset text Int(Xcup Y).$$



        Examples.[1]. In the space $mathbb R$ let $X=mathbb Q$ and $Y=mathbb R$ $X.$ Then Int$(X)=$Int$(Y)=emptyset$ ................but Int$(Xcup Y)=$Int$(mathbb R)=mathbb R.$



        [2].In $mathbb R$ let $X=(0,1]$ and $Y=[1,2).$ Then Int$(X)cup$Int$(Y)=(0,1)cup (1,2)$ ........................and Int$(Xcup Y)=(0,2).$






        share|cite|improve this answer












        Let $V(Y)$ denote the family of all open subsets of the set $Y.$ (This is not a standard notation.)



        (1).Def'n: Int$(Y)=cup V(Y).$



        (2). Since a union of a family of open sets is open, Int$(Y)$ is open. Since every member of $V(Y)$ is a subset of Y we have Int$(Y)=cup V(Y)subset Y.$ So Int$(Y)$ is an open subset of Y. Therefore by (1) we have Int$(Y)in V(Y).$



        (3). If $W$ is an open subset of $Y$ then $Win V(Y) implies Wsubset cup V(Y)=$Int$(Y)in V(Y).$ So Int$(Y)$ is the largest open subset of $Y.$ That is, any member of $V(Y)$ is a subset of Int$(Y).$



        (4). Int$(X)$ and Int$(Y)$ are open sets with Int$(X)subset X$ and Int$(Y)subset Y. $ So Int$(X) cup$Int$(Y)$ is an open subset of $X cup Y .$ That is, Int$(X)cup$Int$(Y)in V(Xcup Y). $ Therefore by (3) we have $$ text Int(X)cup text Int(Y)subset text Int(Xcup Y).$$



        Examples.[1]. In the space $mathbb R$ let $X=mathbb Q$ and $Y=mathbb R$ $X.$ Then Int$(X)=$Int$(Y)=emptyset$ ................but Int$(Xcup Y)=$Int$(mathbb R)=mathbb R.$



        [2].In $mathbb R$ let $X=(0,1]$ and $Y=[1,2).$ Then Int$(X)cup$Int$(Y)=(0,1)cup (1,2)$ ........................and Int$(Xcup Y)=(0,2).$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Oct 3 '16 at 4:14









        DanielWainfleet

        32k31644




        32k31644






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1950160%2ftopology-closedness%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?