Closed sets intersection of countable open sets

In summary, we need to prove that every closed set in $\mathbb{R}$ is the intersection of a countable collection of open sets. This can be achieved by defining a countable collection of open sets $G_n$ and taking their union over the elements in the closed set $F$. This property holds for all metric spaces.
  • #1
Dustinsfl
2,281
5
Prove that every closed set in $\mathbb{R}$ is the intersection of a countable collection of open sets.

Let $G_n$ be a countable collection of open sets.
Then we would have 2 cases either $x\in\bigcap G_n$ which is a point which is closed.
Or we could $(a,b)$ in all $G_n$ but how to show that would be closed?
 
Physics news on Phys.org
  • #2
I don't understand your reasoning: you start by "let $\{G_n\}$ a countable collection of open sets: that's not what is asked. We want to show that each closed subset $F$ of the real line can be written as a countable intersection of open sets. To see that, define $G_n:=\bigcup_{x\in F}B(x,n^{-1})$.

Note that this property is true for all metric spaces.
 
  • #3
girdav said:
I don't understand your reasoning: you start by "let $\{G_n\}$ a countable collection of open sets: that's not what is asked. We want to show that each closed subset $F$ of the real line can be written as a countable intersection of open sets. To see that, define $G_n:=\bigcup_{x\in F}B(x,n^{-1})$.

Note that this property is true for all metric spaces.

I don't see how that union works.
 
  • #4
An open ball is open, and an arbitrary union of open sets is open hence so is $G_n$. Each $G_n$ contains $F$, and so does their intersection. If $x\in G_n$ for each $n$, then $d(x,x_n)\leq n^{-1}$ for some $x_n\in F$. We deduce that $\{x_n\}$ converges to $x$ and since this sequences lies in a closed set the limit still is in this closed set.
 
  • #5
girdav said:
An open ball is open, and an arbitrary union of open sets is open hence so is $G_n$. Each $G_n$ contains $F$, and so does their intersection. If $x\in G_n$ for each $n$, then $d(x,x_n)\leq n^{-1}$ for some $x_n\in F$. We deduce that $\{x_n\}$ converges to $x$ and since this sequences lies in a closed set the limit still is in this closed set.

Why does each $G_n$ contain $F$? How is that guaranteed?
 
  • #6
dwsmith said:
Why does each $G_n$ contain $F$? How is that guaranteed?

Because $x\in B(x,n^{-1})$.
 
  • #7
girdav said:
Because $x\in B(x,n^{-1})$.

Why is $F$ in there? Is $F=\{x\}$?
 
  • #8
No, just an element of $F$. We have $\{x\}\subset B(x,n^{-1})$, then take the union over $x\in F$.
 
  • #9
girdav said:
No, just an element of $F$. We have $\{x\}\subset B(x,n^{-1})$, then take the union over $x\in F$.

I still don't understand how we can ensure $F$ is a closed set just by taking unions of open sets.
 
  • #10
Is it true that all closed sets have a subcover? Is that the jist of the question?
 
  • #11
Actually, it seems that you believe that you have to show that a countable intersection of open sets is closed: it's not what you have to show (fortunately, as it's not true, taking $G_n=O$ where $O$ is open and not closed).

What you have to show is that each closed subset of $\Bbb R$ can be written as a countable intersection of open sets.
 

FAQ: Closed sets intersection of countable open sets

What is the definition of a closed set?

A closed set is a set that contains all of its limit points. In other words, every sequence in the set converges to a point in the set itself.

What does it mean for a set to be countable?

A set is countable if its elements can be put into a one-to-one correspondence with the natural numbers (1, 2, 3, ...). This means that the set can be counted and its elements can be listed in a sequence.

What is the intersection of two sets?

The intersection of two sets is the set of all elements that are common to both sets. In other words, it is the overlap between the two sets.

Can the intersection of two countable open sets be uncountable?

Yes, it is possible for the intersection of two countable open sets to be uncountable. This can happen when the two sets have an infinite number of elements in common.

Why is the intersection of countable open sets important in mathematics?

The intersection of countable open sets is important because it helps to define the concept of a Borel set, which is a type of set that is commonly used in measure theory and topology. The intersection of countable open sets is also used in various mathematical proofs and constructions.

Similar threads

Back
Top