2
$\begingroup$

Question:

Let $N=N_1\cup...\cup N_k$ . If $n \in N_p$, denote the subsequence $x_n := x^p_n$ for $p=1,...k$. Suppose that $\lim x^1_n=...=\lim x^k_n=a$. Prove that $\lim x_n = a$, for $n\in N$.

My attempt:

EDIT:

As David noticed, it is complete non-sense (and unjustified) to write $x_n = \sum_{p=1}^{k} x^p_n$. So i changed the proof. Here it is:

Since $\lim x^1_n=...=\lim x^k_n=a$, there exists $n_1,...,n_k$, with $n_1 \in N_1,..., n_k \in N_k$, such that:

for $n\in N_1$, $ n>n_1$ implies that $ x_n^1 \in(a-\epsilon, a+ \epsilon), ....,$ and $n \in N_k, n> n_k$ implies that $x_n^k\in(a-\epsilon, a+ \epsilon)$.

Taking $n_o=$max$\{n_1,...n_k\}$, for $n \in N_1\cup...\cup N_k$ and $n>n_o$ it follows that $ x_n^1,...,x_n^k \in(a-\epsilon, a+ \epsilon)$. Since $N=N_1\cup...\cup N_k$ by hyphotesis, then $n \in N$.

Therefore, $n\in N$ and $n>n_o$ imples that $x_n \in(a-\epsilon, a+ \epsilon)$.

Hence, $\lim x_n = a.$

$\endgroup$
  • 1
    $\begingroup$ Why is $x_n = \sum_{p=1}^{k} x^p_n$? $\endgroup$ – David Jan 18 '17 at 0:11
  • $\begingroup$ Why and where do you use that $k$ is even? Also, can you assume it wlog? $\endgroup$ – Hagen von Eitzen Jan 18 '17 at 0:11
  • $\begingroup$ Since $k$ is natural, it is even or odd. That's why i assumed wlog that it was even. I used the fact that it was even to write down the sum $a-a+...-a+a = 0$, using summation notation. $\endgroup$ – math.h Jan 18 '17 at 0:19
  • $\begingroup$ I changed the title because the original title doesn't correspond to the question in this problem, unless you want to say that the hypothesis hold for every $k$ and every $N_1,...,N_k$ in which case the proof is one sentence. $\endgroup$ – Stella Biderman Jan 18 '17 at 2:05
  • $\begingroup$ Yes, it is unjustified and non-sense to write down $x_n$ as a sum of its subsequences. It sounded intuitive (at least while i was writing the proof), but it is absolute non-sense. I've changed the proof, since the last one is completly wrong. $\endgroup$ – math.h Jan 18 '17 at 12:02
0
$\begingroup$

I am skeptical of this proof. It could definitely be better explained (I find it hard to follow) but from what I see I don't see any reason to be able to way "WLOG $k$ is even." Why is that true?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.