# Sequence of Compact Spaces

1. Aug 20, 2012

### sammycaps

I was just googling around and I came across this problem.

Let (X,d) be a metric space.

Let (An)n $\in$ N be a sequence of closed subsets of X with the property An $\supseteq$ An+1 for all n $\in$ N. Suppose it exists an m $\in$ N such that Am is compact. Prove that $\bigcap$n$\in N$An is not empty.

I'm wondering if there is a typo here. Take some metric space. The we can set Am = ∅, and this is compact and closed, so it satisfies the conditions but the intersection is empty. What am I missing, thanks.

2. Aug 20, 2012

### jgens

The result is true with the added restriction that An ≠ ∅ for each n in N.

3. Aug 20, 2012

### sammycaps

If this were the case, then why would we need compactness?

4. Aug 20, 2012

### micromass

Staff Emeritus
Just because each $A_n$ is nonempty, doesn't mean that the intersection is.

For example, take $A_n=[n,+\infty[$, then the intersection $\bigcap A_n = \emptyset$. We need a compactness hypothesis somewhere.

5. Aug 20, 2012

### sammycaps

Oh I see, that was stupid. Thanks!

6. Aug 21, 2012

### Bacle2

Notice that since Am is assumed compact, X is metric ( so Hausdorff ), and

Am $\supseteq$ Am+1 , all of which are closed, then

the Am+i ;i=1,2,... , can be seen as compact subspaces of

Am. This is a standard theorem in Analysis/Topology.

7. Aug 21, 2012

### sammycaps

Yeah, I just had a momentarily lapse in brain function where I didn't realize closed and nested doesn't imply a non-empty intersection.

8. Aug 22, 2012

### Bacle2

Aah,.., welcome to the club :) .