1. ## subsequence definition question..

2. Let $\displaystyle X_n = x_{r_n}$.
Now, $\displaystyle \liminf x_n \leq \limsup x_n \leq \limsup X_n = \lim X_n$

The reason why $\displaystyle \limsup X_n = \lim X_n$ is because $\displaystyle \{X_n\}$ is convergent.

The rest of them are similar.

3. $\displaystyle \limsup X_n = \lim X_n$

this expression is not correct
X_n is bounded
the limit of the sequence doesnt equal the limsup

4. Originally Posted by transgalactic
$\displaystyle \limsup X_n = \lim X_n$

this expression is not correct
X_n is bounded
the limit of the sequence doesnt equal the limsup

The sequence $\displaystyle X_n$ is convergent.
Therefore, its limit matches its limit superior.
Look at the theorems you learned.

5. Xn is not convergent
its bounded

6. Originally Posted by transgalactic
Xn is not convergent
its bounded
Originally Posted by ThePerfectHacker
Let $\displaystyle X_n = x_{r_n}$.
According to your work $\displaystyle X_n$ is convergent. TPH's $\displaystyle X_n$ is not the same as your $\displaystyle X_n$. He is talking about the subsequence which is convergent...

7. $\displaystyle \liminf x_n \leq \limsup x_n \leq \limsup X_n = \lim X_n$

why
$\displaystyle limsupx_n \leq \limsup X_n$
X_n is a subsequence which converges
the definition of limsup
is being the sup of the limit group of every subsequence

you cant do limsup X_n
by doing that you split this subsequence into a smaller convergent subsequences
and take the Sup of their limits

which has nothing to do with limsup x_n

8. Originally Posted by transgalactic
why
$\displaystyle limsupx_n \leq \limsup X_n$
If $\displaystyle A,B$ are non-empty bounded subsets with $\displaystyle A\subseteq B$ then $\displaystyle \sup (B) \leq \sup (A)$.

Now, $\displaystyle \{ x_{r_k} | k\geq n\} \subseteq \{ x_k | k\geq n\}$.
Therefore, $\displaystyle \sup \{ x_k | k\geq n\} \leq \sup \{ x_{r_k} | k\geq n\}$.
Thus, $\displaystyle \lim \sup \{x_k |k\geq n\} \leq \lim \sup \{ x_{r_k}| k\geq n\}$.
This gives, $\displaystyle \limsup x_n \leq \limsup X_n$