Does there exist a closed set which is an intersection of a collection of infinite open sets? [on hold]Analysis Open and Closed SetsIf $F_1$ and $F_2$ are disjoint closed sets then there exist disjoint open sets $G_1$ and $G_2$.Intersection of finite collection of open sets is openA set that is a countable intersection of open and dense sets but not open.Showing the intersection of infinitely many open sets is closedInfinite intersection of open sets.Union of infinite open and close setsShowing that if closed subsets don't intersect then there exists open sets in which they exist that also don't intersectX compact iff any collection of closed set closed by finite intersection have a nonempty intersectionIs there an analogue for a compact set using closed sets?
I found an audio circuit and I built it just fine, but I find it a bit too quiet. How do I amplify the output so that it is a bit louder?
Quoting Keynes in a lecture
US tourist/student visa
How can I write humor as character trait?
What does "Scientists rise up against statistical significance" mean? (Comment in Nature)
Why do ¬, ∀ and ∃ have the same precedence?
What does Apple's new App Store requirement mean
Does Doodling or Improvising on the Piano Have Any Benefits?
Will the Sticky MAC access policy prevent unauthorized hubs from connecting to a network?
What is going on with gets(stdin) on the site coderbyte?
What are some good ways to treat frozen vegetables such that they behave like fresh vegetables when stir frying them?
Confused about Cramer-Rao lower bound and CLT
Stack Interview Code methods made from class Node and Smart Pointers
Why Shazam when there is already Superman?
What do you call a word that can be spelled forward or backward forming two different words
Which Article Helped Get Rid of Technobabble in RPGs?
How to make money from a browser who sees 5 seconds into the future of any web page?
Has any country ever had 2 former presidents in jail simultaneously?
What is Cash Advance APR?
How could a planet have erratic days?
How do I fix the group tension caused by my character stealing and possibly killing without provocation?
Why do Radio Buttons not fill the entire outer circle?
Do we have to expect a queue for the shuttle from Watford Junction to Harry Potter Studio?
Why is it that I can sometimes guess the next note?
Does there exist a closed set which is an intersection of a collection of infinite open sets? [on hold]
Analysis Open and Closed SetsIf $F_1$ and $F_2$ are disjoint closed sets then there exist disjoint open sets $G_1$ and $G_2$.Intersection of finite collection of open sets is openA set that is a countable intersection of open and dense sets but not open.Showing the intersection of infinitely many open sets is closedInfinite intersection of open sets.Union of infinite open and close setsShowing that if closed subsets don't intersect then there exists open sets in which they exist that also don't intersectX compact iff any collection of closed set closed by finite intersection have a nonempty intersectionIs there an analogue for a compact set using closed sets?
$begingroup$
Does there exist a closed set which is an intersection of a collection of infinite open sets?
analysis
New contributor
$endgroup$
put on hold as off-topic by Eevee Trainer, Shalop, Shailesh, user21820, José Carlos Santos Mar 18 at 10:40
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Eevee Trainer, Shalop, Shailesh, user21820, José Carlos Santos
add a comment |
$begingroup$
Does there exist a closed set which is an intersection of a collection of infinite open sets?
analysis
New contributor
$endgroup$
put on hold as off-topic by Eevee Trainer, Shalop, Shailesh, user21820, José Carlos Santos Mar 18 at 10:40
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Eevee Trainer, Shalop, Shailesh, user21820, José Carlos Santos
8
$begingroup$
Intersect $(-tfrac1n, tfrac1n)$ for $n = 1, 2, ldots$ and consider what set you get
$endgroup$
– Brevan Ellefsen
Mar 18 at 5:52
$begingroup$
Oh it will get $0$
$endgroup$
– Tony Tong
Mar 18 at 5:57
$begingroup$
@BrevanEllefsen: The question only asks for a "collection of infinite open sets", so just the singleton $(0,1)$ suffices. But Tony, please read how to ask a good question.
$endgroup$
– user21820
Mar 18 at 9:23
add a comment |
$begingroup$
Does there exist a closed set which is an intersection of a collection of infinite open sets?
analysis
New contributor
$endgroup$
Does there exist a closed set which is an intersection of a collection of infinite open sets?
analysis
analysis
New contributor
New contributor
edited Mar 18 at 8:39
YuiTo Cheng
2,0592837
2,0592837
New contributor
asked Mar 18 at 5:50
Tony TongTony Tong
332
332
New contributor
New contributor
put on hold as off-topic by Eevee Trainer, Shalop, Shailesh, user21820, José Carlos Santos Mar 18 at 10:40
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Eevee Trainer, Shalop, Shailesh, user21820, José Carlos Santos
put on hold as off-topic by Eevee Trainer, Shalop, Shailesh, user21820, José Carlos Santos Mar 18 at 10:40
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Eevee Trainer, Shalop, Shailesh, user21820, José Carlos Santos
8
$begingroup$
Intersect $(-tfrac1n, tfrac1n)$ for $n = 1, 2, ldots$ and consider what set you get
$endgroup$
– Brevan Ellefsen
Mar 18 at 5:52
$begingroup$
Oh it will get $0$
$endgroup$
– Tony Tong
Mar 18 at 5:57
$begingroup$
@BrevanEllefsen: The question only asks for a "collection of infinite open sets", so just the singleton $(0,1)$ suffices. But Tony, please read how to ask a good question.
$endgroup$
– user21820
Mar 18 at 9:23
add a comment |
8
$begingroup$
Intersect $(-tfrac1n, tfrac1n)$ for $n = 1, 2, ldots$ and consider what set you get
$endgroup$
– Brevan Ellefsen
Mar 18 at 5:52
$begingroup$
Oh it will get $0$
$endgroup$
– Tony Tong
Mar 18 at 5:57
$begingroup$
@BrevanEllefsen: The question only asks for a "collection of infinite open sets", so just the singleton $(0,1)$ suffices. But Tony, please read how to ask a good question.
$endgroup$
– user21820
Mar 18 at 9:23
8
8
$begingroup$
Intersect $(-tfrac1n, tfrac1n)$ for $n = 1, 2, ldots$ and consider what set you get
$endgroup$
– Brevan Ellefsen
Mar 18 at 5:52
$begingroup$
Intersect $(-tfrac1n, tfrac1n)$ for $n = 1, 2, ldots$ and consider what set you get
$endgroup$
– Brevan Ellefsen
Mar 18 at 5:52
$begingroup$
Oh it will get $0$
$endgroup$
– Tony Tong
Mar 18 at 5:57
$begingroup$
Oh it will get $0$
$endgroup$
– Tony Tong
Mar 18 at 5:57
$begingroup$
@BrevanEllefsen: The question only asks for a "collection of infinite open sets", so just the singleton $(0,1)$ suffices. But Tony, please read how to ask a good question.
$endgroup$
– user21820
Mar 18 at 9:23
$begingroup$
@BrevanEllefsen: The question only asks for a "collection of infinite open sets", so just the singleton $(0,1)$ suffices. But Tony, please read how to ask a good question.
$endgroup$
– user21820
Mar 18 at 9:23
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
$$mathbbRcapmathbbRcapmathbbRcapcdots$$
$endgroup$
$begingroup$
But R is an open set, the intersection is also R so it is still an open set
$endgroup$
– Tony Tong
Mar 18 at 5:54
2
$begingroup$
And also closed
$endgroup$
– Keen-ameteur
Mar 18 at 5:55
1
$begingroup$
While extremely simple, this example has the unfortunate side effect of also being open, which could further confound the OP who seems to be wondering why the intersection of open sets is not open in general (admittedly, the OP is probably also drawing a false dichotomy between open and closed sets, so I suppose this helps with that)
$endgroup$
– Brevan Ellefsen
Mar 18 at 5:59
$begingroup$
@BrevanEllefsen: +1, but I couldn't resist... :-)
$endgroup$
– parsiad
Mar 18 at 6:00
$begingroup$
(+1) That's a bad answer from the pedagogical point of view… but it's really funny too!
$endgroup$
– José Carlos Santos
Mar 18 at 6:56
add a comment |
$begingroup$
As other answers and comments point out, this does indeed hold. In fact, every closed set in $mathbb R$ is a (countable) intersection of open sets. This holds in any metric space $(X,d)$. Here is a proof in the general metric case:
Suppose $Asubset X$ is closed. For each $n$, let
$$
U_n :=bigcup_ain A B(a,1/n).
$$
Note that $U_n$ is open (union of open sets). We claim that
$$
A = bigcap_ninmathbb N U_n.
$$
First note that $Asubset bigcap U_n$ since $Asubset U_n$ for each $n$ (by construction!). Also, if $xinbigcap U_n$, then for each $n$ we have some $a_n$ so that $xin B(a_n, 1/n)$, i.e. $d(x,a_n) < 1/n$ for each $n$. This implies that $a_nrightarrow x$ as $nrightarrowinfty$. Since $A$ is closed, it follows that $xin A$. QED.
$endgroup$
add a comment |
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
$$mathbbRcapmathbbRcapmathbbRcapcdots$$
$endgroup$
$begingroup$
But R is an open set, the intersection is also R so it is still an open set
$endgroup$
– Tony Tong
Mar 18 at 5:54
2
$begingroup$
And also closed
$endgroup$
– Keen-ameteur
Mar 18 at 5:55
1
$begingroup$
While extremely simple, this example has the unfortunate side effect of also being open, which could further confound the OP who seems to be wondering why the intersection of open sets is not open in general (admittedly, the OP is probably also drawing a false dichotomy between open and closed sets, so I suppose this helps with that)
$endgroup$
– Brevan Ellefsen
Mar 18 at 5:59
$begingroup$
@BrevanEllefsen: +1, but I couldn't resist... :-)
$endgroup$
– parsiad
Mar 18 at 6:00
$begingroup$
(+1) That's a bad answer from the pedagogical point of view… but it's really funny too!
$endgroup$
– José Carlos Santos
Mar 18 at 6:56
add a comment |
$begingroup$
$$mathbbRcapmathbbRcapmathbbRcapcdots$$
$endgroup$
$begingroup$
But R is an open set, the intersection is also R so it is still an open set
$endgroup$
– Tony Tong
Mar 18 at 5:54
2
$begingroup$
And also closed
$endgroup$
– Keen-ameteur
Mar 18 at 5:55
1
$begingroup$
While extremely simple, this example has the unfortunate side effect of also being open, which could further confound the OP who seems to be wondering why the intersection of open sets is not open in general (admittedly, the OP is probably also drawing a false dichotomy between open and closed sets, so I suppose this helps with that)
$endgroup$
– Brevan Ellefsen
Mar 18 at 5:59
$begingroup$
@BrevanEllefsen: +1, but I couldn't resist... :-)
$endgroup$
– parsiad
Mar 18 at 6:00
$begingroup$
(+1) That's a bad answer from the pedagogical point of view… but it's really funny too!
$endgroup$
– José Carlos Santos
Mar 18 at 6:56
add a comment |
$begingroup$
$$mathbbRcapmathbbRcapmathbbRcapcdots$$
$endgroup$
$$mathbbRcapmathbbRcapmathbbRcapcdots$$
answered Mar 18 at 5:53
parsiadparsiad
18.5k32453
18.5k32453
$begingroup$
But R is an open set, the intersection is also R so it is still an open set
$endgroup$
– Tony Tong
Mar 18 at 5:54
2
$begingroup$
And also closed
$endgroup$
– Keen-ameteur
Mar 18 at 5:55
1
$begingroup$
While extremely simple, this example has the unfortunate side effect of also being open, which could further confound the OP who seems to be wondering why the intersection of open sets is not open in general (admittedly, the OP is probably also drawing a false dichotomy between open and closed sets, so I suppose this helps with that)
$endgroup$
– Brevan Ellefsen
Mar 18 at 5:59
$begingroup$
@BrevanEllefsen: +1, but I couldn't resist... :-)
$endgroup$
– parsiad
Mar 18 at 6:00
$begingroup$
(+1) That's a bad answer from the pedagogical point of view… but it's really funny too!
$endgroup$
– José Carlos Santos
Mar 18 at 6:56
add a comment |
$begingroup$
But R is an open set, the intersection is also R so it is still an open set
$endgroup$
– Tony Tong
Mar 18 at 5:54
2
$begingroup$
And also closed
$endgroup$
– Keen-ameteur
Mar 18 at 5:55
1
$begingroup$
While extremely simple, this example has the unfortunate side effect of also being open, which could further confound the OP who seems to be wondering why the intersection of open sets is not open in general (admittedly, the OP is probably also drawing a false dichotomy between open and closed sets, so I suppose this helps with that)
$endgroup$
– Brevan Ellefsen
Mar 18 at 5:59
$begingroup$
@BrevanEllefsen: +1, but I couldn't resist... :-)
$endgroup$
– parsiad
Mar 18 at 6:00
$begingroup$
(+1) That's a bad answer from the pedagogical point of view… but it's really funny too!
$endgroup$
– José Carlos Santos
Mar 18 at 6:56
$begingroup$
But R is an open set, the intersection is also R so it is still an open set
$endgroup$
– Tony Tong
Mar 18 at 5:54
$begingroup$
But R is an open set, the intersection is also R so it is still an open set
$endgroup$
– Tony Tong
Mar 18 at 5:54
2
2
$begingroup$
And also closed
$endgroup$
– Keen-ameteur
Mar 18 at 5:55
$begingroup$
And also closed
$endgroup$
– Keen-ameteur
Mar 18 at 5:55
1
1
$begingroup$
While extremely simple, this example has the unfortunate side effect of also being open, which could further confound the OP who seems to be wondering why the intersection of open sets is not open in general (admittedly, the OP is probably also drawing a false dichotomy between open and closed sets, so I suppose this helps with that)
$endgroup$
– Brevan Ellefsen
Mar 18 at 5:59
$begingroup$
While extremely simple, this example has the unfortunate side effect of also being open, which could further confound the OP who seems to be wondering why the intersection of open sets is not open in general (admittedly, the OP is probably also drawing a false dichotomy between open and closed sets, so I suppose this helps with that)
$endgroup$
– Brevan Ellefsen
Mar 18 at 5:59
$begingroup$
@BrevanEllefsen: +1, but I couldn't resist... :-)
$endgroup$
– parsiad
Mar 18 at 6:00
$begingroup$
@BrevanEllefsen: +1, but I couldn't resist... :-)
$endgroup$
– parsiad
Mar 18 at 6:00
$begingroup$
(+1) That's a bad answer from the pedagogical point of view… but it's really funny too!
$endgroup$
– José Carlos Santos
Mar 18 at 6:56
$begingroup$
(+1) That's a bad answer from the pedagogical point of view… but it's really funny too!
$endgroup$
– José Carlos Santos
Mar 18 at 6:56
add a comment |
$begingroup$
As other answers and comments point out, this does indeed hold. In fact, every closed set in $mathbb R$ is a (countable) intersection of open sets. This holds in any metric space $(X,d)$. Here is a proof in the general metric case:
Suppose $Asubset X$ is closed. For each $n$, let
$$
U_n :=bigcup_ain A B(a,1/n).
$$
Note that $U_n$ is open (union of open sets). We claim that
$$
A = bigcap_ninmathbb N U_n.
$$
First note that $Asubset bigcap U_n$ since $Asubset U_n$ for each $n$ (by construction!). Also, if $xinbigcap U_n$, then for each $n$ we have some $a_n$ so that $xin B(a_n, 1/n)$, i.e. $d(x,a_n) < 1/n$ for each $n$. This implies that $a_nrightarrow x$ as $nrightarrowinfty$. Since $A$ is closed, it follows that $xin A$. QED.
$endgroup$
add a comment |
$begingroup$
As other answers and comments point out, this does indeed hold. In fact, every closed set in $mathbb R$ is a (countable) intersection of open sets. This holds in any metric space $(X,d)$. Here is a proof in the general metric case:
Suppose $Asubset X$ is closed. For each $n$, let
$$
U_n :=bigcup_ain A B(a,1/n).
$$
Note that $U_n$ is open (union of open sets). We claim that
$$
A = bigcap_ninmathbb N U_n.
$$
First note that $Asubset bigcap U_n$ since $Asubset U_n$ for each $n$ (by construction!). Also, if $xinbigcap U_n$, then for each $n$ we have some $a_n$ so that $xin B(a_n, 1/n)$, i.e. $d(x,a_n) < 1/n$ for each $n$. This implies that $a_nrightarrow x$ as $nrightarrowinfty$. Since $A$ is closed, it follows that $xin A$. QED.
$endgroup$
add a comment |
$begingroup$
As other answers and comments point out, this does indeed hold. In fact, every closed set in $mathbb R$ is a (countable) intersection of open sets. This holds in any metric space $(X,d)$. Here is a proof in the general metric case:
Suppose $Asubset X$ is closed. For each $n$, let
$$
U_n :=bigcup_ain A B(a,1/n).
$$
Note that $U_n$ is open (union of open sets). We claim that
$$
A = bigcap_ninmathbb N U_n.
$$
First note that $Asubset bigcap U_n$ since $Asubset U_n$ for each $n$ (by construction!). Also, if $xinbigcap U_n$, then for each $n$ we have some $a_n$ so that $xin B(a_n, 1/n)$, i.e. $d(x,a_n) < 1/n$ for each $n$. This implies that $a_nrightarrow x$ as $nrightarrowinfty$. Since $A$ is closed, it follows that $xin A$. QED.
$endgroup$
As other answers and comments point out, this does indeed hold. In fact, every closed set in $mathbb R$ is a (countable) intersection of open sets. This holds in any metric space $(X,d)$. Here is a proof in the general metric case:
Suppose $Asubset X$ is closed. For each $n$, let
$$
U_n :=bigcup_ain A B(a,1/n).
$$
Note that $U_n$ is open (union of open sets). We claim that
$$
A = bigcap_ninmathbb N U_n.
$$
First note that $Asubset bigcap U_n$ since $Asubset U_n$ for each $n$ (by construction!). Also, if $xinbigcap U_n$, then for each $n$ we have some $a_n$ so that $xin B(a_n, 1/n)$, i.e. $d(x,a_n) < 1/n$ for each $n$. This implies that $a_nrightarrow x$ as $nrightarrowinfty$. Since $A$ is closed, it follows that $xin A$. QED.
edited Mar 18 at 7:04
answered Mar 18 at 6:59
o.h.o.h.
6817
6817
add a comment |
add a comment |
8
$begingroup$
Intersect $(-tfrac1n, tfrac1n)$ for $n = 1, 2, ldots$ and consider what set you get
$endgroup$
– Brevan Ellefsen
Mar 18 at 5:52
$begingroup$
Oh it will get $0$
$endgroup$
– Tony Tong
Mar 18 at 5:57
$begingroup$
@BrevanEllefsen: The question only asks for a "collection of infinite open sets", so just the singleton $(0,1)$ suffices. But Tony, please read how to ask a good question.
$endgroup$
– user21820
Mar 18 at 9:23