Is a nowhere dense set closed?
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
I am trying to prove an equivalent weak version of Baire's category theorem which states that $:$
Every complete metric space is a set of second category or non-meagre.
I am trying to prove it using another version of Baire's category theorem which states that
Let $(X,d)$ be a metric space. Let $U_n _n geq 1$ be countable collection of open dense subsets of $X$. Then $$cap_n=1^infty U_n$$ is dense in $X$.
Now suppose that $X$ is complete. If $X$ was meagre then $$X= cup_n=1^infty V_n$$ where each $V_n$ in the union is a nowhere dense set. So $$cap_n=1^infty (X setminus V_n)= emptyset.$$ Now complement of a nowhere dense set is dense. So if nowhere dense sets are closed then we get a contradiction by the above theorem for otherwise $emptyset$ becomes dense in $X$ which is an impossibility. That will prove the weak equivalent version of Baire's category theorem which I have stated at the beginning.
Now my question is $:$
Is every nowhere dense set closed?
If it is so then why? Please help me in this regard.
Thank you in advance.
metric-spaces complete-spaces baire-category
 |Â
show 3 more comments
up vote
1
down vote
favorite
I am trying to prove an equivalent weak version of Baire's category theorem which states that $:$
Every complete metric space is a set of second category or non-meagre.
I am trying to prove it using another version of Baire's category theorem which states that
Let $(X,d)$ be a metric space. Let $U_n _n geq 1$ be countable collection of open dense subsets of $X$. Then $$cap_n=1^infty U_n$$ is dense in $X$.
Now suppose that $X$ is complete. If $X$ was meagre then $$X= cup_n=1^infty V_n$$ where each $V_n$ in the union is a nowhere dense set. So $$cap_n=1^infty (X setminus V_n)= emptyset.$$ Now complement of a nowhere dense set is dense. So if nowhere dense sets are closed then we get a contradiction by the above theorem for otherwise $emptyset$ becomes dense in $X$ which is an impossibility. That will prove the weak equivalent version of Baire's category theorem which I have stated at the beginning.
Now my question is $:$
Is every nowhere dense set closed?
If it is so then why? Please help me in this regard.
Thank you in advance.
metric-spaces complete-spaces baire-category
1
Can't you remove a point from, say, the Cantor set to obtain a nowhere dense set that is not closed?
â Bungo
Sep 1 at 6:57
1
Even more simple: the set $S = 1/nmid ngeqslant 1$ is nowhere dense, but not closed: $0inoverline Ssetminus S$.
â Fimpellizieri
Sep 1 at 7:00
1
I mean: a nowhere dense set is a set such that its closure has empty interior. If they were all closed, what point would there be in keeping that terminological detour? "If and only if closed with empty interior" would be like lemma 1.
â Saucy O'Path
Sep 1 at 7:01
So what should be my argument to prove the required theorem?
â Arnab Chatterjee.
Sep 1 at 7:02
A nowhere dense set is not necessarily closed, but the closure of a nowhere dense set is still nowhere dense, and is of course closed. Does that help?
â bof
Sep 1 at 7:04
 |Â
show 3 more comments
up vote
1
down vote
favorite
up vote
1
down vote
favorite
I am trying to prove an equivalent weak version of Baire's category theorem which states that $:$
Every complete metric space is a set of second category or non-meagre.
I am trying to prove it using another version of Baire's category theorem which states that
Let $(X,d)$ be a metric space. Let $U_n _n geq 1$ be countable collection of open dense subsets of $X$. Then $$cap_n=1^infty U_n$$ is dense in $X$.
Now suppose that $X$ is complete. If $X$ was meagre then $$X= cup_n=1^infty V_n$$ where each $V_n$ in the union is a nowhere dense set. So $$cap_n=1^infty (X setminus V_n)= emptyset.$$ Now complement of a nowhere dense set is dense. So if nowhere dense sets are closed then we get a contradiction by the above theorem for otherwise $emptyset$ becomes dense in $X$ which is an impossibility. That will prove the weak equivalent version of Baire's category theorem which I have stated at the beginning.
Now my question is $:$
Is every nowhere dense set closed?
If it is so then why? Please help me in this regard.
Thank you in advance.
metric-spaces complete-spaces baire-category
I am trying to prove an equivalent weak version of Baire's category theorem which states that $:$
Every complete metric space is a set of second category or non-meagre.
I am trying to prove it using another version of Baire's category theorem which states that
Let $(X,d)$ be a metric space. Let $U_n _n geq 1$ be countable collection of open dense subsets of $X$. Then $$cap_n=1^infty U_n$$ is dense in $X$.
Now suppose that $X$ is complete. If $X$ was meagre then $$X= cup_n=1^infty V_n$$ where each $V_n$ in the union is a nowhere dense set. So $$cap_n=1^infty (X setminus V_n)= emptyset.$$ Now complement of a nowhere dense set is dense. So if nowhere dense sets are closed then we get a contradiction by the above theorem for otherwise $emptyset$ becomes dense in $X$ which is an impossibility. That will prove the weak equivalent version of Baire's category theorem which I have stated at the beginning.
Now my question is $:$
Is every nowhere dense set closed?
If it is so then why? Please help me in this regard.
Thank you in advance.
metric-spaces complete-spaces baire-category
metric-spaces complete-spaces baire-category
edited Sep 1 at 6:58
asked Sep 1 at 6:52
Arnab Chatterjee.
1,206318
1,206318
1
Can't you remove a point from, say, the Cantor set to obtain a nowhere dense set that is not closed?
â Bungo
Sep 1 at 6:57
1
Even more simple: the set $S = 1/nmid ngeqslant 1$ is nowhere dense, but not closed: $0inoverline Ssetminus S$.
â Fimpellizieri
Sep 1 at 7:00
1
I mean: a nowhere dense set is a set such that its closure has empty interior. If they were all closed, what point would there be in keeping that terminological detour? "If and only if closed with empty interior" would be like lemma 1.
â Saucy O'Path
Sep 1 at 7:01
So what should be my argument to prove the required theorem?
â Arnab Chatterjee.
Sep 1 at 7:02
A nowhere dense set is not necessarily closed, but the closure of a nowhere dense set is still nowhere dense, and is of course closed. Does that help?
â bof
Sep 1 at 7:04
 |Â
show 3 more comments
1
Can't you remove a point from, say, the Cantor set to obtain a nowhere dense set that is not closed?
â Bungo
Sep 1 at 6:57
1
Even more simple: the set $S = 1/nmid ngeqslant 1$ is nowhere dense, but not closed: $0inoverline Ssetminus S$.
â Fimpellizieri
Sep 1 at 7:00
1
I mean: a nowhere dense set is a set such that its closure has empty interior. If they were all closed, what point would there be in keeping that terminological detour? "If and only if closed with empty interior" would be like lemma 1.
â Saucy O'Path
Sep 1 at 7:01
So what should be my argument to prove the required theorem?
â Arnab Chatterjee.
Sep 1 at 7:02
A nowhere dense set is not necessarily closed, but the closure of a nowhere dense set is still nowhere dense, and is of course closed. Does that help?
â bof
Sep 1 at 7:04
1
1
Can't you remove a point from, say, the Cantor set to obtain a nowhere dense set that is not closed?
â Bungo
Sep 1 at 6:57
Can't you remove a point from, say, the Cantor set to obtain a nowhere dense set that is not closed?
â Bungo
Sep 1 at 6:57
1
1
Even more simple: the set $S = 1/nmid ngeqslant 1$ is nowhere dense, but not closed: $0inoverline Ssetminus S$.
â Fimpellizieri
Sep 1 at 7:00
Even more simple: the set $S = 1/nmid ngeqslant 1$ is nowhere dense, but not closed: $0inoverline Ssetminus S$.
â Fimpellizieri
Sep 1 at 7:00
1
1
I mean: a nowhere dense set is a set such that its closure has empty interior. If they were all closed, what point would there be in keeping that terminological detour? "If and only if closed with empty interior" would be like lemma 1.
â Saucy O'Path
Sep 1 at 7:01
I mean: a nowhere dense set is a set such that its closure has empty interior. If they were all closed, what point would there be in keeping that terminological detour? "If and only if closed with empty interior" would be like lemma 1.
â Saucy O'Path
Sep 1 at 7:01
So what should be my argument to prove the required theorem?
â Arnab Chatterjee.
Sep 1 at 7:02
So what should be my argument to prove the required theorem?
â Arnab Chatterjee.
Sep 1 at 7:02
A nowhere dense set is not necessarily closed, but the closure of a nowhere dense set is still nowhere dense, and is of course closed. Does that help?
â bof
Sep 1 at 7:04
A nowhere dense set is not necessarily closed, but the closure of a nowhere dense set is still nowhere dense, and is of course closed. Does that help?
â bof
Sep 1 at 7:04
 |Â
show 3 more comments
1 Answer
1
active
oldest
votes
up vote
2
down vote
accepted
Hint: To fix your argument, consider $overlineV_n$ rather than $V_n$.
I have already understood it. See my above comment @Fimpellizieri. Thanks for your answer.
â Arnab Chatterjee.
Sep 1 at 7:15
add a comment |Â
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: To fix your argument, consider $overlineV_n$ rather than $V_n$.
I have already understood it. See my above comment @Fimpellizieri. Thanks for your answer.
â Arnab Chatterjee.
Sep 1 at 7:15
add a comment |Â
up vote
2
down vote
accepted
Hint: To fix your argument, consider $overlineV_n$ rather than $V_n$.
I have already understood it. See my above comment @Fimpellizieri. Thanks for your answer.
â Arnab Chatterjee.
Sep 1 at 7:15
add a comment |Â
up vote
2
down vote
accepted
up vote
2
down vote
accepted
Hint: To fix your argument, consider $overlineV_n$ rather than $V_n$.
Hint: To fix your argument, consider $overlineV_n$ rather than $V_n$.
answered Sep 1 at 7:04
Fimpellizieri
16.9k11835
16.9k11835
I have already understood it. See my above comment @Fimpellizieri. Thanks for your answer.
â Arnab Chatterjee.
Sep 1 at 7:15
add a comment |Â
I have already understood it. See my above comment @Fimpellizieri. Thanks for your answer.
â Arnab Chatterjee.
Sep 1 at 7:15
I have already understood it. See my above comment @Fimpellizieri. Thanks for your answer.
â Arnab Chatterjee.
Sep 1 at 7:15
I have already understood it. See my above comment @Fimpellizieri. Thanks for your answer.
â Arnab Chatterjee.
Sep 1 at 7:15
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%2f2901438%2fis-a-nowhere-dense-set-closed%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
1
Can't you remove a point from, say, the Cantor set to obtain a nowhere dense set that is not closed?
â Bungo
Sep 1 at 6:57
1
Even more simple: the set $S = 1/nmid ngeqslant 1$ is nowhere dense, but not closed: $0inoverline Ssetminus S$.
â Fimpellizieri
Sep 1 at 7:00
1
I mean: a nowhere dense set is a set such that its closure has empty interior. If they were all closed, what point would there be in keeping that terminological detour? "If and only if closed with empty interior" would be like lemma 1.
â Saucy O'Path
Sep 1 at 7:01
So what should be my argument to prove the required theorem?
â Arnab Chatterjee.
Sep 1 at 7:02
A nowhere dense set is not necessarily closed, but the closure of a nowhere dense set is still nowhere dense, and is of course closed. Does that help?
â bof
Sep 1 at 7:04