2
$\begingroup$

I got this question for homework, and I am not sure I fully understand it:

Prove that the next two statements are equivalent: $\exists L\forall\epsilon\gt0\exists P:P\lt x\rightarrow\|f(x)-L\|\lt \epsilon$ $\exists L\forall\epsilon\gt0\exists P\gt0:P\lt x\rightarrow\|f(x)-L\|\lt \epsilon$

Both statements say that $f(x)$ has a limit $L$ when $x\rightarrow\infty$. The definition of limit in infinity does not require anything from $P$, so what am I supposed to show here? Thanks

  • 0
    Well "The definition of limit in infinity does not require anything from P, so what am I supposed to show here?" is basically the informal answer to the question. Statement 2 clearly implies Statement 1. The other way round is harder. Let's have athink... Edit: I like Martin's way for (1) implies (2)2012-05-06

1 Answers 1

3

You are supposed to formally prove that both statements imply each other.

Let $H(P)$ be "$P".

The second one implies the first because $∃P>0~H(P)$ implies $∃P~H(P)$.

The first one implies the second one because if you have $H(P)$ then you can find $P'$ such that $P'>0$ and $H(P')$. For example, $P'=|P|+1>0$ works.