MHB How can I prove that the infinite union of certain closed sets is not closed?

  • Thread starter Thread starter OhMyMarkov
  • Start date Start date
  • Tags Tags
    Infinity
OhMyMarkov
Messages
81
Reaction score
0
Hello everyone!

I'm trying to find a set a closed set ${A_n}$ whose inifinte union is not closed. Now, I can picture the following:

If I let $A_n=[-\frac{1}{n}, \frac{1}{n}]$, then $A_n$ is closed, but their union is not, simply because the point $x=0$ seems to be a limit point at """""infinity"""", but it is not in any of the $\{A_n\}$, so the union is therefore not closed.

Now, of course, I'm having trouble showing that, because, I can't always find an $r>0$ s.t. the neighborhood of center $0$ and radius $r$ intersects any of the $\{A_n\}$s.

Similarly, I'm having trouble proving that, if $B_n = [-1+\frac{1}{n}, 1-\frac{1}{n}]$, then their infinite union is not closed.
I would appreciate any help in this... :)
 
Last edited:
Physics news on Phys.org
OhMyMarkov said:
Hello everyone!
I'm trying to find a set a closed set ${A_n}$ whose inifinte union is not closed. Now, I can picture the following:
If I let $A_n=[-\frac{1}{n}, \frac{1}{n}]$, then $A_n$ is closed, but their union is not, simply because the point $x=0$ seems to be a limit point at """""infinity"""", but it is not in any of the $\{A_n\}$, so the union is therefore not closed.

Now, of course, I'm having trouble showing that, because, I can't always find an $r>0$ s.t. the neighborhood of center $0$ and radius $r$ intersects any of the $\{A_n\}$s.

Similarly, I'm having trouble proving that, if $B_n = [-1+\frac{1}{n}, 1-\frac{1}{n}]$, then their infinite union is not closed.
You are confused on notation.
$\bigcup\limits_n {\left[ { - \frac{1}{n},\frac{1}{n}} \right]} = \left[ { - 1,1} \right]$ which is a closed set.

$\bigcup\limits_n {\left[ { - 1 + \frac{1}{n},1 - \frac{1}{n}} \right]} = \left( { - 1,1} \right)$ which is an open set.
Note that $\left( { - 1 + \frac{1}{n}} \right) \to - 1$ is a decreasing sequence.
Note that $\left( {1 - \frac{1}{n}} \right) \to 1$ is an increasing sequence.
What is your question?
 
Hi Plato!

Thanks for your reply.

My question is, how can I prove that the union of $[-1+\frac{1}{n}, 1-\frac{1}{n}]$ tends to $(-1,1)$ as $n$ tends to infinity?
 
OhMyMarkov said:
Hi Plato!

Thanks for your reply.

My question is, how can I prove that the union of $[-1+\frac{1}{n}, 1-\frac{1}{n}]$ tends to $(-1,1)$ as $n$ tends to infinity?

I will assume that you have no trouble showing that \(x \in (-1,1)\) is in at least one of the sets: \([-1+\frac{1}{n}, 1-\frac{1}{n}],\ \ n \in \mathbb{N}_+\) and hence in their union . Also that you have no trouble showing that \(\pm 1\) are in none of \([-1+\frac{1}{n}, 1-\frac{1}{n}], \ \ n\in \mathbb{N}_+\) and hence not in their union.

(I am also assuming you have no problem for x >1 or x<-1 either)

Then you are done.

CB
 
Last edited:
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top