Convergent sequence in compact metric space

pob1212
Messages
21
Reaction score
0
Hi,

In Baby Rudin, Thm 3.6 states that If p(n) is a sequence in a compact metric space X, then some subsequence of p(n) converges to a point in X.

Why is it not the case that every subsequence of p(n) converges to a point in X? I would think a compact set would contain every sequence (finite or infinite) that originates within it.

Thanks,
pob
 
Physics news on Phys.org
pob1212 said:
Hi,

In Baby Rudin, Thm 3.6 states that If p(n) is a sequence in a compact metric space X, then some subsequence of p(n) converges to a point in X.

Why is it not the case that every subsequence of p(n) converges to a point in X? I would think a compact set would contain every sequence (finite or infinite) that originates within it.

Thanks,
pob

Take X=[-1,1] and let p(n)=(-1)^{n}. Then there exists a convergent subsequence, namely the constant sequence p(2n)=1. But the subsequence p(n) (= the entire sequence) is not convergent.
 
pob1212 said:
Hi,

In Baby Rudin, Thm 3.6 states that If p(n) is a sequence in a compact metric space X, then some subsequence of p(n) converges to a point in X.

Why is it not the case that every subsequence of p(n) converges to a point in X? I would think a compact set would contain every sequence (finite or infinite) that originates within it.

Thanks,
pob

As Micromass points out, you can shuffle several convergent sequences that converge to different points.

Can you suffle infinitely many convergent sequences converging to different points? If so what happens?
 
micromass said:
But the subsequence p(n) (= the entire sequence) is not convergent.

I think the issue was that I had assumed bounded sequences converge. This is clearly not the case.

To answer my question using the example you gave, there are 2 subsequences of p(n) which converge: p(2n) and p(2n+1), but a number of other subsequences (infinitely many to be exact) that diverge in X = [-1,1], a compact metric space. But if these 2 subsequences converge then infinitely many subsequences converge (i.e. p(4n), p(6n), ...). Right? And clearly p(3n), p(5n), ... all diverge. So then infinitely many subsequences diverge. Is this right?

In general at least one subsequence of p(n) in a compact metric space X converges to a point in X, but if the sequence p(n) converges to a point p \in X, then every subsequence converges to p \in X.

Please correct me if I'm wrong
 
That's right!

pob1212 said:
I think the issue was that I had assumed bounded sequences converge. This is clearly not the case.

To answer my question using the example you gave, there are 2 subsequences of p(n) which converge: p(2n) and p(2n+1), but a number of other subsequences (infinitely many to be exact) that diverge in X = [-1,1], a compact metric space. But if these 2 subsequences converge then infinitely many subsequences converge (i.e. p(4n), p(6n), ...). Right? And clearly p(3n), p(5n), ... all diverge. So then infinitely many subsequences diverge. Is this right?

In general at least one subsequence of p(n) in a compact metric space X converges to a point in X, but if the sequence p(n) converges to a point p \in X, then every subsequence converges to p \in X.

Please correct me if I'm wrong
 
Back
Top