0
$\begingroup$

Assume you have some sequence $a_k$ where $a_k$ is a real number. Show that for every $\epsilon > 0$ there is $m \ge N$ such that $|a_k - a| < \epsilon$ for all $k \ge m$ then $\limsup( a_k) = a$ and $\liminf (a_k) = a$.

I know that $\limsup (a_k) := \inf \sup (a_k)$ and $\liminf (a_k) := \sup\inf (a_k)$

I also have that for $\epsilon > 0$ there is $m \in \Bbb N$ such that $a_k < a + \epsilon$ then $\limsup (a_k) \le a + \epsilon$. I just don't know what the next step is. Could I argue that since the def of sup is the least upper bound then $\epsilon$ would go to zero? Any help would be appreciated.

1 Answers 1

2

The second sentence doesn’t make sense as written; I expect that you’re actually supposed to show that

if for every $\epsilon>0$ there is an $m\in\Bbb N$ such that $|a_k-a|<\epsilon$ for all $k\ge m$, then $\limsup_k a_k=a$ and $\liminf_k a_k=a$.

It may be helpful, at least in getting a feel for what’s going on here, to realize that the hypothesis

for every $\epsilon>0$ there is an $m\in\Bbb N$ such that $|a_k-a|<\epsilon$ for all $k\ge m$

says precisely that the sequence $\langle a_k:k\in\Bbb N\rangle$ converges to $a$. Thus, you’re being asked to show that if a sequence has a limit, that limit is also its limit superior and its limit inferior.

The first sentence of your last paragraph is missing several crucial bits and consequently doesn’t make sense as written. It should read:

If $a=\limsup_k a_k$, then for each $\epsilon>0$ there is an $m\in\Bbb N$ such that $a_k

Unfortunately, this isn’t much help as it stands. You need something that implies that $\limsup_k a_k=a$, and this does just the opposite: it tells you something that is implied by the statement that $\limsup_k a_k=a$. Something can be done along these lines, but at this point I think that you’re probably better served by going back to the definition.

To state it more carefully, you know that $$\limsup_k a_k=\lim_{n\to\infty}\sup_{k\ge n}a_k\;.$$ To show that $\limsup_k a_k=a$, therefore, you have to show that for each $\epsilon>0$ there is an $m\in\Bbb N$ such that $$\left|a-\sup_{k\ge n}a_k\right|<\epsilon$$ whenever $n\ge m$.

So let $\epsilon>0$ be any positive number. What do we know that might be useful? We’re told that there is an $m\in\Bbb N$ such that $|a-a_k|<\epsilon$ whenever $k\ge m$. That’s at least the right kind of statement; does it actually help with what we’re trying to prove? Suppose that $n\ge m$; what can we say about $$\sup_{k\ge n}a_k\;?$$ If $k\ge n$, then $k\ge m$, so $|a-a_k|<\epsilon$, and therefore $a-\epsilon

$$\left|a-\sup_{k\ge n}a_k\right|\le\epsilon$$

for every $n\ge m$. This isn’t quite what I wanted, because I have $\le$ instead of $<$, but it’s good enough to ensure that $$\lim_{n\to\infty}\sup_{k\ge n}a_k=a$$ and hence that $\limsup_k a_k=a$. (You should take a moment to see why this is true.)

The proof for the $\liminf$ is very similar.

  • 0
    I tried to follow your answer but couldnt understand how you could come from the $3$th step ($3$th equation) from bottom to the second step from the bottom.2012-09-02
  • 0
    @Seyhmus: For a very good reason: I typed \sum by accident instead of \sup.2012-09-02
  • 0
    I was going crazy to understand))) I am happy that you had a very good reason else my heart would not resist much)2012-09-02
  • 0
    @Seyhmus: I’m sorry about that. Sometimes my fingers seem to have a mind of their own.2012-09-02
  • 0
    The reason you use the less than or equal is due to the Def of Supremum (least upper bound), is that correct? After reading your description, the general procedure seems to be to manipulate the inequality to use supremum. then manipulate it back to the absolute value, and finally use the Def of limits to prove the assertion.2012-09-03
  • 1
    @rioneye: Suppose $A$ is a set of real numbers, and I know that $0 for each $a\in A$. Then $\sup A\le 1$, but I can’t say that $\sup A<1$: $A$ might, for instance, be $\left\{1-\frac1n:n\in\Bbb Z^+\right\}$, in which case $\sup A=1$. I do know, however, that $\sup A>0$: I just pick any $a\in A$ and observe that $0.2012-09-03
  • 0
    @BrianM.Scott Can you clarify why having $\left|a-\sup_{k\ge n}a_k\right|\le\epsilon$ instead of $\left|a-\sup_{k\ge n}a_k\right| < \epsilon$ is good enough to ensure that $\lim_{n\to\infty}\sup_{k\ge n}a_k=a$? Does the $\le$ vs $<$ not cause problems? Is that because $-a < x \le a$ cannot imply that $|x| \le a$ because $|x| \le a \Rightarrow -a \le x \le a$, which doesn't match what we started with?2015-01-15
  • 0
    @BrianM.Scott Also, it seems that technically, you didn't need to use $k \ge n \ge m$, right? Could you simply use $k \ge m$ and not bring in an extra $n$? Clearly I'm being pedantic, but I'm working through some analysis books on my own so I'm trying to make sure I nitpick and understand *everything*. Thank you!2015-01-15
  • 0
    @Michael: Suppose that for each $\epsilon>0$ there is an $m_\epsilon\in\Bbb N$ such that $|x_n-x|\le\epsilon$ whenever $n\ge m_\epsilon$. Then for every $n\ge m_{\epsilon/2}$ we have $|x_n-x|\le\frac{\epsilon}2<\epsilon$, so $x_n\to x$.2015-01-15
  • 0
    @Michael: No, the $n$ is crucial. I need to show that for **every** $n\ge m$ the $n$-tail is within $\epsilon$ of $a$.2015-01-15
  • 0
    @BrianM.Scott I think I'm starting to see this. We need the $n$ because we need to show that for *every* $\epsilon$, $\exists m$ s.t. for *every* $n \ge m$ the $n$-tail is within $\epsilon$ of $a$. Basically for *every* $\epsilon$, we have to show this for *every* $n \ge m$.2015-01-15
  • 0
    @Michael: That’s right. (And it’s helpful to write $m_\epsilon$ or the like in order to emphasize that $m$ depends on $\epsilon$: typically a smaller $\epsilon$ requires a larger $m_\epsilon$.)2015-01-15