0
$\begingroup$

Let ($a_n$) be a sequence in $R$. If ($a_n$) is bounded above and $a_n \nrightarrow -\infty$, then ($a_n$) has a convergent subsequence.

Proof: The statement $a_n \nrightarrow -\infty$ means there is $\beta \in R$ such that for every $n_0 \in N$, there is $n \in N$ with $n>n_0$ and $a_n \geq \beta$. Hence there are $n_1

Here I'm not able to understand the first sentence. Is the $\beta$ fixed or changes for each $n_k$? That is for given $n_0$ there exist $\beta \in R$ such that $n>n_0$ and $a_n \geq \beta$ for some $n$. Or is the $\beta$ fixed? Could some explain precisely?

  • 0
    Yup bounded above. Mentioned – 2017-02-16

5 Answers 5

0

What does $a_n \rightarrow -\infty$ ? It means:

for every $ \beta \in \mathbb R$ there is $n_0=n_0(\beta) \in \mathbb N$ such that

$a_n < \beta$ for all $n>n_0$.

Hence, if $a_n \nrightarrow -\infty$, then there is $ \beta \in \mathbb R$ such that for every $n_0$ there is $n \in \mathbb N$ with $n>n_0$ and $a_n \ge \beta$

0

$\beta$ is fixed but for each $n_0$ $\beta$ fixes or find some $n>n_0$ such that $a_n>\beta$. This is because if $a_n\rightarrow -\infty$ you could arbitrary get close to $-\infty$ since some time, so as it doesn't, you find a precision such that you can't find some time since all terms are nearer that this precision.

  • 0
    $\beta$ is fixed..... Does it mean for each $n_k$ there is $\beta$ i.e., $\beta$ differs when $n_k$ differs? Like for $n_1$ there is $\beta_1$, for $n_2$ there is $\beta_2$...... – 2017-02-16
  • 0
    Sorry, I'm not a native English speaker. I mean $\beta$ is fixed by $a_n$, so logically $\exists\beta$ is first, so no, there is $\beta$ which works for all $n_0$, and this $n_0$ fixes some $n_k$, so I'd like to change notation and say $\exists\beta,\forall k\in\mathbb{N},\exists n_k:n_k>k\land a_{n_k}\geq \beta$ – 2017-02-16
  • 0
    Also I have another doubt. Since there is $n \in N$ with $n >n_0$ and $a_n >\beta$. Hence it is bounded. Hence has a convergent subsequence – 2017-03-10
  • 0
    @Saager if you build the subsequence bounded (this is starting by $n_0=1$, find the $n^*>n_0$ and inductively call $n_0=n^*$ and find the $n$ respective to), then it has a convergent subsequence, which is particullary a subsequence of the original sequence – 2017-03-10
0

This sentence is the negation of the statement that $a_n\to -\infty$. If $a_n\to -\infty$, then for every $\beta\in\mathbb R$, there exists $n_0\in\mathbb N$ such that for all $n>n_0$ we have $a_n<\beta$. But if $a_n$ does not converge to $-\infty$, the converse should be true, which is spelled out in your proof. So yes, $\beta$ is fixed.

0

$\beta$ there is fixed. Think of it this way: $a_n\to\infty$ means that $\forall M\in\Bbb{R},\exists N,\forall n\geq N: a_n

For example you can compare $\{0,-1,-2,...,-n,...\}_n$ and $\{0,1,-1,1,-2,1,...,1,-n,1,...\}$.

0

If for all $\beta\in\mathbb{R}$, there exists an $n_0\in \mathbb{N}$ such that $a_n< \beta$ for all $n>n_0$, then $a_n\rightarrow -\infty$. The contrapositive of this implication is the statement of the first line in the proof.

Namely: if $a_n\not\rightarrow -\infty$, then it is not the case that for all $\beta\in\mathbb{R}$, there exists an $n_0\in \mathbb{N}$ such that $a_n< \beta$ for all $n>n_0$.

This is equivalent to the statement: if $a_n\not\rightarrow -\infty$, then for at least one (fixed) $\beta\in\mathbb{R}$ and all $n_0\in \mathbb{N}$, $a_n\geq \beta$ For at least one $n>n_0$.

Finally, this last statement is clearly equivalent to e onerosa in the given proof. In other words, the first sentence in the proof is the contrapositive of the fact that $a_n\rightarrow -\infty$ if for all $\beta\in\mathbb{R}$, there exists an $n_0\in \mathbb{N}$ such that $a_n< \beta$ for all $n>n_0$.