$A, B$ be two subsets of a metric space such that $bar A cap bar B = emptyset$, then prove that $partial(Acup B)=partial A cup partial B$

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











up vote
2
down vote

favorite
2












To prove the above-mentioned statement, I am just able to show $partial(Acup B)subseteq partial A cup partial B$ in the following manner

$partial A cup partial B=$
$(bar A backslash A^circ)cup (bar B backslash B^circ)=(bar A cup bar B)backslash (A^circ cup B^circ)=(overline A cup B)backslash (A^circ cup B^circ)supseteq (overline A cup B)backslash (A cup B)^circ= partial (Acup B)$

$implies partial (A cup B) subseteq partial A cup partial B tag 1labeleq1$

But it is general implication, I've not used the fact $bar A cap bar B = emptyset$ to prove $eqrefeq1$.

How to prove that $partial A cup partial B subseteq partial(Acup B) $?

Can anybody help me find the wayout? Thank for the assisatance in advance.
N.B. Here $bar A = A cup A^d$, where $A^d$ denotes the set of all limit points of $A$; $A^circ$ denotes the set of all interior points of $A$; $partial A$ denotes the set of all boundary points of A i.e. set of those points which are not interior nor exterior points of $A$.







share|cite|improve this question





















  • You just edited all your inclusions to go the other way. I don't think that that was right. Considering $A = (0,1)$ and $B = (1, 2)$ in $Bbb R$, the "easy" and generally true conclusion is that $partial(Acup B)subseteq partial Acup partial B$ (which in my example here would be $0, 2subseteq 0,1,2$), while the one where you need $bar Acapbar B=varnothing$ is $partial Acuppartial Bsubseteq partial(Acup B)$.
    – Arthur
    Jul 18 at 7:43















up vote
2
down vote

favorite
2












To prove the above-mentioned statement, I am just able to show $partial(Acup B)subseteq partial A cup partial B$ in the following manner

$partial A cup partial B=$
$(bar A backslash A^circ)cup (bar B backslash B^circ)=(bar A cup bar B)backslash (A^circ cup B^circ)=(overline A cup B)backslash (A^circ cup B^circ)supseteq (overline A cup B)backslash (A cup B)^circ= partial (Acup B)$

$implies partial (A cup B) subseteq partial A cup partial B tag 1labeleq1$

But it is general implication, I've not used the fact $bar A cap bar B = emptyset$ to prove $eqrefeq1$.

How to prove that $partial A cup partial B subseteq partial(Acup B) $?

Can anybody help me find the wayout? Thank for the assisatance in advance.
N.B. Here $bar A = A cup A^d$, where $A^d$ denotes the set of all limit points of $A$; $A^circ$ denotes the set of all interior points of $A$; $partial A$ denotes the set of all boundary points of A i.e. set of those points which are not interior nor exterior points of $A$.







share|cite|improve this question





















  • You just edited all your inclusions to go the other way. I don't think that that was right. Considering $A = (0,1)$ and $B = (1, 2)$ in $Bbb R$, the "easy" and generally true conclusion is that $partial(Acup B)subseteq partial Acup partial B$ (which in my example here would be $0, 2subseteq 0,1,2$), while the one where you need $bar Acapbar B=varnothing$ is $partial Acuppartial Bsubseteq partial(Acup B)$.
    – Arthur
    Jul 18 at 7:43













up vote
2
down vote

favorite
2









up vote
2
down vote

favorite
2






2





To prove the above-mentioned statement, I am just able to show $partial(Acup B)subseteq partial A cup partial B$ in the following manner

$partial A cup partial B=$
$(bar A backslash A^circ)cup (bar B backslash B^circ)=(bar A cup bar B)backslash (A^circ cup B^circ)=(overline A cup B)backslash (A^circ cup B^circ)supseteq (overline A cup B)backslash (A cup B)^circ= partial (Acup B)$

$implies partial (A cup B) subseteq partial A cup partial B tag 1labeleq1$

But it is general implication, I've not used the fact $bar A cap bar B = emptyset$ to prove $eqrefeq1$.

How to prove that $partial A cup partial B subseteq partial(Acup B) $?

Can anybody help me find the wayout? Thank for the assisatance in advance.
N.B. Here $bar A = A cup A^d$, where $A^d$ denotes the set of all limit points of $A$; $A^circ$ denotes the set of all interior points of $A$; $partial A$ denotes the set of all boundary points of A i.e. set of those points which are not interior nor exterior points of $A$.







share|cite|improve this question













To prove the above-mentioned statement, I am just able to show $partial(Acup B)subseteq partial A cup partial B$ in the following manner

$partial A cup partial B=$
$(bar A backslash A^circ)cup (bar B backslash B^circ)=(bar A cup bar B)backslash (A^circ cup B^circ)=(overline A cup B)backslash (A^circ cup B^circ)supseteq (overline A cup B)backslash (A cup B)^circ= partial (Acup B)$

$implies partial (A cup B) subseteq partial A cup partial B tag 1labeleq1$

But it is general implication, I've not used the fact $bar A cap bar B = emptyset$ to prove $eqrefeq1$.

How to prove that $partial A cup partial B subseteq partial(Acup B) $?

Can anybody help me find the wayout? Thank for the assisatance in advance.
N.B. Here $bar A = A cup A^d$, where $A^d$ denotes the set of all limit points of $A$; $A^circ$ denotes the set of all interior points of $A$; $partial A$ denotes the set of all boundary points of A i.e. set of those points which are not interior nor exterior points of $A$.









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 18 at 12:38
























asked Jul 18 at 6:59









Biswarup Saha

2318




2318











  • You just edited all your inclusions to go the other way. I don't think that that was right. Considering $A = (0,1)$ and $B = (1, 2)$ in $Bbb R$, the "easy" and generally true conclusion is that $partial(Acup B)subseteq partial Acup partial B$ (which in my example here would be $0, 2subseteq 0,1,2$), while the one where you need $bar Acapbar B=varnothing$ is $partial Acuppartial Bsubseteq partial(Acup B)$.
    – Arthur
    Jul 18 at 7:43

















  • You just edited all your inclusions to go the other way. I don't think that that was right. Considering $A = (0,1)$ and $B = (1, 2)$ in $Bbb R$, the "easy" and generally true conclusion is that $partial(Acup B)subseteq partial Acup partial B$ (which in my example here would be $0, 2subseteq 0,1,2$), while the one where you need $bar Acapbar B=varnothing$ is $partial Acuppartial Bsubseteq partial(Acup B)$.
    – Arthur
    Jul 18 at 7:43
















You just edited all your inclusions to go the other way. I don't think that that was right. Considering $A = (0,1)$ and $B = (1, 2)$ in $Bbb R$, the "easy" and generally true conclusion is that $partial(Acup B)subseteq partial Acup partial B$ (which in my example here would be $0, 2subseteq 0,1,2$), while the one where you need $bar Acapbar B=varnothing$ is $partial Acuppartial Bsubseteq partial(Acup B)$.
– Arthur
Jul 18 at 7:43





You just edited all your inclusions to go the other way. I don't think that that was right. Considering $A = (0,1)$ and $B = (1, 2)$ in $Bbb R$, the "easy" and generally true conclusion is that $partial(Acup B)subseteq partial Acup partial B$ (which in my example here would be $0, 2subseteq 0,1,2$), while the one where you need $bar Acapbar B=varnothing$ is $partial Acuppartial Bsubseteq partial(Acup B)$.
– Arthur
Jul 18 at 7:43











1 Answer
1






active

oldest

votes

















up vote
2
down vote














I've not used the fact $bar A cap bar B = emptyset$ to prove $eqrefeq1$. How to prove that $partial A cup partial B subseteq partial(Acup B)$?




Well, you're kindof answering your own question there. The fact $bar A cap bar B = emptyset$ is exactly what makes the $supseteq$ in $overline(Acup B)setminus(A^circ cup B^circ)supseteq (overline A cup B)setminus(A cup B)^circ$ into $=$ because it implies
$$A^circ cup B^circ=(A cup B)^circ$$






share|cite|improve this answer

















  • 1




    you are saying that $bar A cap bar B=emptyset$ implies $(Acup B)^circ = A^circ cup B^circ$. Am I right?
    – Biswarup Saha
    Jul 18 at 7:15











  • @BiswarupSaha That is what I'm saying, yes.
    – Arthur
    Jul 18 at 7:21










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%2f2855289%2fa-b-be-two-subsets-of-a-metric-space-such-that-bar-a-cap-bar-b-emptyse%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














I've not used the fact $bar A cap bar B = emptyset$ to prove $eqrefeq1$. How to prove that $partial A cup partial B subseteq partial(Acup B)$?




Well, you're kindof answering your own question there. The fact $bar A cap bar B = emptyset$ is exactly what makes the $supseteq$ in $overline(Acup B)setminus(A^circ cup B^circ)supseteq (overline A cup B)setminus(A cup B)^circ$ into $=$ because it implies
$$A^circ cup B^circ=(A cup B)^circ$$






share|cite|improve this answer

















  • 1




    you are saying that $bar A cap bar B=emptyset$ implies $(Acup B)^circ = A^circ cup B^circ$. Am I right?
    – Biswarup Saha
    Jul 18 at 7:15











  • @BiswarupSaha That is what I'm saying, yes.
    – Arthur
    Jul 18 at 7:21














up vote
2
down vote














I've not used the fact $bar A cap bar B = emptyset$ to prove $eqrefeq1$. How to prove that $partial A cup partial B subseteq partial(Acup B)$?




Well, you're kindof answering your own question there. The fact $bar A cap bar B = emptyset$ is exactly what makes the $supseteq$ in $overline(Acup B)setminus(A^circ cup B^circ)supseteq (overline A cup B)setminus(A cup B)^circ$ into $=$ because it implies
$$A^circ cup B^circ=(A cup B)^circ$$






share|cite|improve this answer

















  • 1




    you are saying that $bar A cap bar B=emptyset$ implies $(Acup B)^circ = A^circ cup B^circ$. Am I right?
    – Biswarup Saha
    Jul 18 at 7:15











  • @BiswarupSaha That is what I'm saying, yes.
    – Arthur
    Jul 18 at 7:21












up vote
2
down vote










up vote
2
down vote










I've not used the fact $bar A cap bar B = emptyset$ to prove $eqrefeq1$. How to prove that $partial A cup partial B subseteq partial(Acup B)$?




Well, you're kindof answering your own question there. The fact $bar A cap bar B = emptyset$ is exactly what makes the $supseteq$ in $overline(Acup B)setminus(A^circ cup B^circ)supseteq (overline A cup B)setminus(A cup B)^circ$ into $=$ because it implies
$$A^circ cup B^circ=(A cup B)^circ$$






share|cite|improve this answer














I've not used the fact $bar A cap bar B = emptyset$ to prove $eqrefeq1$. How to prove that $partial A cup partial B subseteq partial(Acup B)$?




Well, you're kindof answering your own question there. The fact $bar A cap bar B = emptyset$ is exactly what makes the $supseteq$ in $overline(Acup B)setminus(A^circ cup B^circ)supseteq (overline A cup B)setminus(A cup B)^circ$ into $=$ because it implies
$$A^circ cup B^circ=(A cup B)^circ$$







share|cite|improve this answer













share|cite|improve this answer



share|cite|improve this answer











answered Jul 18 at 7:10









Arthur

98.8k793175




98.8k793175







  • 1




    you are saying that $bar A cap bar B=emptyset$ implies $(Acup B)^circ = A^circ cup B^circ$. Am I right?
    – Biswarup Saha
    Jul 18 at 7:15











  • @BiswarupSaha That is what I'm saying, yes.
    – Arthur
    Jul 18 at 7:21












  • 1




    you are saying that $bar A cap bar B=emptyset$ implies $(Acup B)^circ = A^circ cup B^circ$. Am I right?
    – Biswarup Saha
    Jul 18 at 7:15











  • @BiswarupSaha That is what I'm saying, yes.
    – Arthur
    Jul 18 at 7:21







1




1




you are saying that $bar A cap bar B=emptyset$ implies $(Acup B)^circ = A^circ cup B^circ$. Am I right?
– Biswarup Saha
Jul 18 at 7:15





you are saying that $bar A cap bar B=emptyset$ implies $(Acup B)^circ = A^circ cup B^circ$. Am I right?
– Biswarup Saha
Jul 18 at 7:15













@BiswarupSaha That is what I'm saying, yes.
– Arthur
Jul 18 at 7:21




@BiswarupSaha That is what I'm saying, yes.
– Arthur
Jul 18 at 7:21












 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2855289%2fa-b-be-two-subsets-of-a-metric-space-such-that-bar-a-cap-bar-b-emptyse%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?