Subsequences of a sequence in a topological space

Question

I would need some help with subsequences of a certain sequence.Let's $X$ be some space,and un a sequence of $X$.Let's suppose that $X$ is sequentially compact.Then let's $y_n$ is a subsequence of $u_n$,it converges.Now,$(u_n)-(y_n)$ is another sequence of $X$,then it has another subsequence an that converges,and then $(u_n)-(y_n)-(a_n)$ is a sequence...

My question is,how can we prove that this 'algorithm' has only a finite number of steps? (ie,there exists only a finite number of subsequences that can be constructed in this way) (I think it is true,but I can't think of a proof)

Thanks for your time

EDIT:I do not what an 'algorithm' (even though I said it,sorry for confusion),I really need to prove that there's only a finite number of sequences that can be constructed in this manner. Also,($u_n$)-($y_n$) means ($u_n$)/($y_n$)

Answer 1

There are various wrong things in your question:

1. As $X$ is sequentially compact, we can only infer that there exists a convergent subsequence, not that any subsequence converges.
2. It makes no sense to speak of the difference of two sequences in a general topological space.

Even if you resolved those two problems, your "algorithm" would not be well-defined, as you don't give an algorithmic way to choose the subsequence. And even if you did find an algorithm taking an arbitrary sequence in a sequentially compact (say) topological vector space (which I don't think has any possibility to exist), then I'm pretty sure that it would be easy to construct a sequence for which the "algorithm" in your question would not converge.