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?













0












$begingroup$


Does there exist a closed set which is an intersection of a collection of infinite open sets?










share|cite|improve this question









New contributor




Tony Tong is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$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
If this question can be reworded to fit the rules in the help center, please edit the question.











  • 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
















0












$begingroup$


Does there exist a closed set which is an intersection of a collection of infinite open sets?










share|cite|improve this question









New contributor




Tony Tong is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$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
If this question can be reworded to fit the rules in the help center, please edit the question.











  • 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














0












0








0





$begingroup$


Does there exist a closed set which is an intersection of a collection of infinite open sets?










share|cite|improve this question









New contributor




Tony Tong is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$




Does there exist a closed set which is an intersection of a collection of infinite open sets?







analysis






share|cite|improve this question









New contributor




Tony Tong is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question









New contributor




Tony Tong is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question








edited Mar 18 at 8:39









YuiTo Cheng

2,0592837




2,0592837






New contributor




Tony Tong is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked Mar 18 at 5:50









Tony TongTony Tong

332




332




New contributor




Tony Tong is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





Tony Tong is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






Tony Tong is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




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
If this question can be reworded to fit the rules in the help center, please edit the question.







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
If this question can be reworded to fit the rules in the help center, please edit the question.







  • 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




    $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











2 Answers
2






active

oldest

votes


















8












$begingroup$

$$mathbbRcapmathbbRcapmathbbRcapcdots$$






share|cite|improve this answer









$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


















3












$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.






share|cite|improve this answer











$endgroup$



















    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    8












    $begingroup$

    $$mathbbRcapmathbbRcapmathbbRcapcdots$$






    share|cite|improve this answer









    $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















    8












    $begingroup$

    $$mathbbRcapmathbbRcapmathbbRcapcdots$$






    share|cite|improve this answer









    $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













    8












    8








    8





    $begingroup$

    $$mathbbRcapmathbbRcapmathbbRcapcdots$$






    share|cite|improve this answer









    $endgroup$



    $$mathbbRcapmathbbRcapmathbbRcapcdots$$







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    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
















    • $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











    3












    $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.






    share|cite|improve this answer











    $endgroup$

















      3












      $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.






      share|cite|improve this answer











      $endgroup$















        3












        3








        3





        $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.






        share|cite|improve this answer











        $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.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Mar 18 at 7:04

























        answered Mar 18 at 6:59









        o.h.o.h.

        6817




        6817













            Popular posts from this blog

            Adding axes to figuresAdding axes labels to LaTeX figuresLaTeX equivalent of ConTeXt buffersRotate a node but not its content: the case of the ellipse decorationHow to define the default vertical distance between nodes?TikZ scaling graphic and adjust node position and keep font sizeNumerical conditional within tikz keys?adding axes to shapesAlign axes across subfiguresAdding figures with a certain orderLine up nested tikz enviroments or how to get rid of themAdding axes labels to LaTeX figures

            Luettelo Yhdysvaltain laivaston lentotukialuksista Lähteet | Navigointivalikko

            Gary (muusikko) Sisällysluettelo Historia | Rockin' High | Lähteet | Aiheesta muualla | NavigointivalikkoInfobox OKTuomas "Gary" Keskinen Ancaran kitaristiksiProjekti Rockin' High