Showing Convergent Subsequence Exists

Click For Summary
SUMMARY

The discussion centers on proving the existence of a sequence ##(x_n)## in the metric space ##([0, 1], d_1)##, where ##d_1(x, y) = |x-y|##, such that for every point ##x \in [0, 1]##, there exists a subsequence ##(x_{n_k})## converging to ##x##. Participants initially express confusion regarding the implications of the theorem stating that if ##\lim_{n\to\infty} x_n = x##, then all subsequences also converge to ##x##. However, it is clarified that the main sequence can have multiple limit points, allowing for various subsequences to converge to different limits, thus resolving the apparent contradiction.

PREREQUISITES
  • Understanding of metric spaces, specifically the space ##([0, 1], d_1)##.
  • Familiarity with the concept of convergence in sequences and subsequences.
  • Knowledge of limit points and their significance in analysis.
  • Basic grasp of the definitions and properties of subsequences.
NEXT STEPS
  • Study the properties of metric spaces, focusing on convergence and limit points.
  • Learn about sequences and subsequences in real analysis.
  • Explore examples of sequences with multiple limit points to solidify understanding.
  • Investigate the Bolzano-Weierstrass theorem and its implications in convergence.
USEFUL FOR

Students of real analysis, mathematicians exploring convergence in metric spaces, and educators seeking to clarify concepts related to sequences and subsequences.

transmini
Messages
81
Reaction score
1

Homework Statement


Consider the space ##([0, 1], d_1)## where ##d_1(x, y) = |x-y|##. Show that there exists a sequence ##(x_n)## in ##X## such that for every ##x \epsilon [0, 1]## there exists a subsequence ##(x_{n_k})## such that ##\lim{k\to\infty}\space x_{n_k} = x##.

Homework Equations


N/A

The Attempt at a Solution


We had no idea where to even begin with this one. It doesn't seem to make sense in the first place when you take the theorem:

Let ##(x_n)## be sequence, and let ##x \epsilon X##. Prove that if ##\lim{n\to\infty}\space x_n = x##, then for every subsequence ##(x_{n_k})## we have ##\lim{k\to\infty} \space x_{n_k} = x##

With the problem saying that there is specific sequence such that for any limit point we can find a subsequence, this implies there a multiple subsequences with different limits, which contradicts what this previous theorem says.

Any suggestions on where to begin with this one?
 
Physics news on Phys.org
transmini said:

Homework Statement


Consider the space ##([0, 1], d_1)## where ##d_1(x, y) = |x-y|##. Show that there exists a sequence ##(x_n)## in ##X## such that for every ##x \epsilon [0, 1]## there exists a subsequence ##(x_{n_k})## such that ##\lim{k\to\infty}\space x_{n_k} = x##.

Homework Equations


N/A

The Attempt at a Solution


We had no idea where to even begin with this one. It doesn't seem to make sense in the first place when you take the theorem:

Let ##(x_n)## be sequence, and let ##x \epsilon X##. Prove that if ##\lim{n\to\infty}\space x_n = x##, then for every subsequence ##(x_{n_k})## we have ##\lim{k\to\infty} \space x_{n_k} = x##

With the problem saying that there is specific sequence such that for any limit point we can find a subsequence, this implies there a multiple subsequences with different limits, which contradicts what this previous theorem says.

Any suggestions on where to begin with this one?

There are no contradictions in the problem statement. The main sequence ##\{x_n\}## does not have a limit; it has numerous limit points, meaning that it has numerous subsequences converging to their own, individual limits. The problem asserts that there is a sequence such that any ##x \in [0,1]## is a limit of some subsequence. Believe it or not, there is a very easy solution.
 

Similar threads

Replies
4
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
Replies
3
Views
2K
Replies
2
Views
2K
Replies
6
Views
3K