3
$\begingroup$

I'll state the question first.

In any metric space $(X,d)$, assume that $(x_n)$ is a sequence such that $x_n \to x$ for some $x \in X$. If $(y_m)$ is a sequence in $\{x_n: n \in \mathbb{N}\} \cup \{x\}$ such that $y_m \to x$ then is it true that $(y_m)$ must eventually be a subsequence of $(x_n)$?

My definition for an "eventually subsequence" is : there is a map $k:\mathbb{N} \to \mathbb{N}$ such that for all $m \in \mathbb{N}$ there is $n \in \mathbb{N}$ such that $y_m=x_{k(n)}$ and $k$ has the property that there should exist $M \in \mathbb{N}$ such that for all $n_1,n_2 \geq M$ if $n_1 then $k(n_1) < k(n_2)$.

I guess this is intuitively a reasonable claim. But I can't prove it rigorously. Any help (counter-examples, proofs etc.) will be appreciated. Thanks and regards.

  • 0
    +1 I think it is a good question that is worth to think about.2012-03-28

2 Answers 2

4

Clearly wrong. Consider $x_n=\frac1n$, $y_{2n-1}=\frac1{n+1}$ and $y_{2n}=\frac1n$ for every $n\geqslant1$, then $k(2n)=n\lt n+1=k(2n-1)$.

  • 0
    Yes my definition was a mess. Thanks for the answer.2012-03-29
1

I think the following is a counter-example (if I have understood you correctly). Let $a_n:=\frac1n\\b_{2n}:=\frac{1}{2n-1}\\b_{2n-1}:=\frac{1}{2n}$ Note that $\lbrace a_n| \textrm{ }n\in\mathbb{N}\rbrace = \lbrace b_n| \textrm{ }n\in\mathbb{N}\rbrace$ but $(b_n)_n$ is not a subsequence of $(a_n)_n$ from any place on.