Topology closedness
Clash Royale CLAN TAG#URR8PPP
up vote
-3
down vote
favorite
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.
general-topology
add a comment |Â
up vote
-3
down vote
favorite
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.
general-topology
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
add a comment |Â
up vote
-3
down vote
favorite
up vote
-3
down vote
favorite
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.
general-topology
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.
general-topology
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
add a comment |Â
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
add a comment |Â
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)$$
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
add a comment |Â
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).$
add a comment |Â
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)$$
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
add a comment |Â
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)$$
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
add a comment |Â
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)$$
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)$$
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
add a comment |Â
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
add a comment |Â
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).$
add a comment |Â
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).$
add a comment |Â
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).$
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).$
answered Oct 3 '16 at 4:14
DanielWainfleet
32k31644
32k31644
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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