Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Prove that the intersection of any collection of closed sets in a topological space X

  1. Feb 18, 2011 #1

    son

    User Avatar

    Prove that the intersection of any collection of closed sets in a
    topological space X is closed.







    1. The problem statement, all variables and given/known data
    2. Relevant equations
    3. The attempt at a solution
    1. The problem statement, all variables and given/known data



    2. Relevant equations



    3. The attempt at a solution
     
  2. jcsd
  3. Feb 18, 2011 #2

    SammyS

    User Avatar
    Staff Emeritus
    Science Advisor
    Homework Helper
    Gold Member

    Re: Prove that the intersection of any collection of closed sets in a topological spa

    What have you tried?

    Where are you stuck?

    How is a closed set defined?
     
  4. Feb 18, 2011 #3

    lanedance

    User Avatar
    Homework Helper

    Re: Prove that the intersection of any collection of closed sets in a topological spa

    think about complements
     
  5. Feb 19, 2011 #4
    Re: Prove that the intersection of any collection of closed sets in a topological spa

    I believe, the shortest and the easiest way is to start with the definition of a closed set and what an intersection is.

    Good Luck.
     
  6. Feb 19, 2011 #5

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    Re: Prove that the intersection of any collection of closed sets in a topological spa

    Indeed, the shortest and easiest way to prove anything is to start with the definitions!

    However, there are many different ways to define "closed set". son, what definition are you using?
     
  7. Feb 19, 2011 #6

    son

    User Avatar

    Re: Prove that the intersection of any collection of closed sets in a topological spa

    the theorem i am using for a closed set is...
    Let X be a topological space. the following statements about the collection of closed set in X hold:
    (i) the empty set and X are closed
    (ii) the intersection of any collection of closed sets is a closed set
    (iii) the union of finitely many closed sets is a closed set
     
  8. Feb 19, 2011 #7
    Re: Prove that the intersection of any collection of closed sets in a topological spa

    I am new in the forum ( although I have read it for some time ) and I am not quite sure how much of a hint I am allowed to give you but:

    You can prove that a set is closed using "balls". I would suggest you to work in this direction.
     
  9. Feb 19, 2011 #8

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    Insights Author

    Re: Prove that the intersection of any collection of closed sets in a topological spa

    Yes, that's the theorem you are trying to prove. But what is the definition of a closed set??
     
  10. Feb 19, 2011 #9

    Landau

    User Avatar
    Science Advisor

    Re: Prove that the intersection of any collection of closed sets in a topological spa

    This follows directly from the definition. Please show us what part you're having trouble with. This is not a homework answer generator.
     
  11. Feb 19, 2011 #10

    SammyS

    User Avatar
    Staff Emeritus
    Science Advisor
    Homework Helper
    Gold Member

    Re: Prove that the intersection of any collection of closed sets in a topological spa

    A closed set is the complement of ___?___ .
     
  12. Feb 21, 2011 #11

    son

    User Avatar

    Re: Prove that the intersection of any collection of closed sets in a topological spa

    the definition of a closed set is.... a subset A of a topological space X is closed if the set X - A is open.

    but im not sure how i would start the proof...
     
  13. Feb 21, 2011 #12

    son

    User Avatar

    Re: Prove that the intersection of any collection of closed sets in a topological spa

    the definition of a closed set is.... a subset A of a topological space X is closed if the set X - A is open.

    but im not sure how i would start the proof...
     
  14. Feb 21, 2011 #13

    jbunniii

    User Avatar
    Science Advisor
    Homework Helper
    Insights Author
    Gold Member

    Re: Prove that the intersection of any collection of closed sets in a topological spa

    What is the definition of a topological space? Doesn't it say something about the union of a collection of open sets?
     
  15. Feb 21, 2011 #14

    SammyS

    User Avatar
    Staff Emeritus
    Science Advisor
    Homework Helper
    Gold Member

    Re: Prove that the intersection of any collection of closed sets in a topological spa

    I would start it something like:

    [tex]\text{Let }\left\{A_\alpha\right\}\text{ be an arbitrary collection of closed sets in a topological space }X, \text{ where }\alpha\in I,\ I \text{ an indexing set.}[/tex]

    [tex]\text{The set }C=\bigcup_{\alpha\in I}\,A_\alpha\ \text{ is the union of an arbitrary collection of closed sets in }X.[/tex]

    ...

    Now show that the compliment of set C is open in X.
     
  16. Feb 21, 2011 #15

    son

    User Avatar

    Re: Prove that the intersection of any collection of closed sets in a topological spa

    Let F={F_i} be a collection of closed sets. Then F_i=X-U_i for some collection {U_i} of open sets of X, because of the definition of closed. Then De-Morgans rules give
    intersection F_i = intersection (X-U_i) = X - (union U_i)
    But union U_i is an open set because the unions of open sets are open. Thus the set on the right hand side of the above equation is the complement of an open set. Hence the intersection F_i is closed.

    does this look RIGHT??
     
  17. Feb 21, 2011 #16

    SammyS

    User Avatar
    Staff Emeritus
    Science Advisor
    Homework Helper
    Gold Member

    Re: Prove that the intersection of any collection of closed sets in a topological spa

    That's the general idea. It could be a bit more polished.
     
  18. Feb 22, 2011 #17

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    Re: Prove that the intersection of any collection of closed sets in a topological spa

    No, you cannot. That works only in a "metric space" because balls are only defined in a metric space. This problem clearly is about general topological spaces.
     
  19. Feb 22, 2011 #18

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Re: Prove that the intersection of any collection of closed sets in a topological spa

    Suppose that [itex]\{F_i|i\in I\}[/itex] is a collection of closed sets. You want to prove that

    [tex]\bigcap_{i\in I}F_i[/tex]

    is closed. By the definition you posted, this is the same thing as showing that

    [tex]\Big(\bigcap_{i\in I}F_i\Big)^c[/tex]

    is open. Can you think of a way to rewrite this last expression as something that's obviously open?
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Similar Discussions: Prove that the intersection of any collection of closed sets in a topological space X
Loading...