Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

What is an example of a family of closed subsets $F_0 \supset F_1 \supset F_2 \supset \dots $ of $\mathbb{R}$ so that $F_n \neq \emptyset$ for each $n$ and $\bigcap_{i=1}^n F_i = \emptyset$?

Thanks!

share|improve this question
2  
I think you mean to write $\bigcap_{i = 1}^\infty F_i$ here. –  Dylan Moreland Mar 5 '12 at 22:58
    
Oh is it impossible if it's only 1 to n? –  user26069 Mar 5 '12 at 23:01
    
If $F_1$ and $F_2$ are nonempty, and $F_1$ contains $F_2$, then how could $F_1\cap F_2$ possibly be empty? –  Gerry Myerson Mar 5 '12 at 23:03
    
Is a possible answer $\bigcap_{n=1}^{\infty} [1-\frac{1}{n}, 1]$? –  user26069 Mar 5 '12 at 23:04
2  
What does this have to do with either unions or compact sets? Looks like intersections and closed sets. –  Thomas Andrews Mar 5 '12 at 23:05

4 Answers 4

up vote 9 down vote accepted

You should take $F_n=[n,+\infty)$ then the intersection is empty.

share|improve this answer

If $F_{n+1}\subseteq F_n$ then $\bigcap_{i=1}^n F_i = F_n$. This means that the family $\{F_n\mid n\in\mathbb N\}$ has the finite intersection property. In a compact space, this would mean that $\bigcap_{i=1}^\infty F_n\neq\varnothing$.

By that a decreasing sequence of sets whose intersection is empty it would have to be non-compact. In $\mathbb R$ this would mean that the sets are unbounded, so examples of the form $F_n=[a_n,+\infty)$ are essentially the only form of examples you can find (of course $(-\infty,b_n]$ is equally valid).

share|improve this answer

I was going to post here, complete metric space $X$ and nested sequence of closed sets $A_m \subset X$ where $\bigcap_{n=1}^\infty = \emptyset$, but it got closed as I was writing my answer...

Anyways, for a more interesting example in which the sets are bounded $($for the link above, which has a slightly different problem statement$)$, let $X$ be the set of all bounded infinite sequences of real numbers $x = (x_1, x_2, \dots)$ and let $d(x,y) = \sup_k |x_k - y_k|$. This is evidently a complete metric space. Take $F_n$ the set of all sequences that converge to $1$, have terms $[-2, 2]$ but have $0$ as each of the first $n$ terms. The sets are obviously nested, and this sequence is manifestly not in any of the sets $F_n$ since the terms do not converge to $1$, so $\bigcap F_n = \emptyset$. Finally for each $x = (x_1, x_2, \dots) \notin F_n$, define$$r_n(x) = \sup(|x_1|, |x_2|, \dots, |x_n|, \limsup_{k \to \infty}|x_k - 1|, |x_1| - 2, |x_2| - 2, |x_3|-2, \dots).$$We have $r_x > 0$ if $x \notin F_n$, and by construction every point in the neighborhood of $x$ of radius $r_n(x)$ fails to meet one of the three criteria for belonging to $F_n$. Thus $F_n$ has an open complement for all $n$, so each $F_n$ is closed. We conclude that the sets $F_n$ have all the desired properties.

share|improve this answer

You should take $F_n=[n,+\infty)$ then the intersection is empty.

This is correct. Every finite intersection has at least one point, but the infinite intersection is empty. As n goes from 1 to infinity, each integer at the start cannot be in the intersection of all. With n=2, the number 1 cannot be in the infinite intersection. With n=3, the number 2 cannot be in the infinite intersection, and so on. Choose any integer m. Then there is an n greater than m such that m is not in the infinite intersection.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.