Help with formal definition of the limit of a function

[j-lee00]

The problem is not to conduct the proof but how the proof works. (It seems to be a circular argument)



Please use laymans english to explain, thank you

 

[mjsd]

what are you asking?

 

[j-lee00]

how the proof works using the formal definition of a limit

 

[mjsd]

with epsilon and delta?

 

[j-lee00]

yep that's correct

 

[Gib Z]

Formal Definition, so yup. Never really liked epsilon delta proofs myself, but anyway..

The proof works by showing that in the close neighborhood of the value that the limit is approaching, all the values in the neighborhood as becoming the same.

 

[mjsd]

ok, firstly, you ask yourself how may you otherwise define a "limit"? if you think about it you will see that the formal definition of a limit make perfect sense... it is indeed what we meant by a "limit" that is: we want to see what happen to f(x) as x tends to a certain number x_0.
suppose we want to show
\lim_{x\rightarrow x_0} f(x) = L,
then we would like to know whether f(x) indeed gets close to L as x gets close to x_0. And that is exactly what the definition is doing.

now in proofs, you often want to find a relationship between \delta and \epsilon; and often what that does is to simply ensure that we can ALWAYS find the appropriate values for them so that the the inequalities involving \delta and \epsilon can be satisfied.

 

[j-lee00]

thank you very much

 

[HallsofIvy]

When you say "It seems to be a circular argument" you may be thinking of this:

To prove that lim_{x\rightarrow 3} 2x+ 1= 7 a typical argument goes "If |f(x)-L|= |2x+1- 7|< \epsilon then \|2x- 6|= 2|x-3|< \epsilon so it suffices to take |x-3|< \delta= \epsilon/2".

That seems "circular" because we start from |f(x)-L|< \epsilon which, by the definition of limit, is what we want to show. You are correct that that is not a formal proof- it is more like analyzing the problem to deciding HOW to write a proof- It is deciding how we should choose \delta in order to get the result we want. A "true" proof would go the other way:
"Given \epsilon, take \delta= \epsilon/2 (which looks like the professor is picking it out of the air since the student didn't see the analysis above). Then if 0< |x-3|< \delta= \epsilon/2, we have 0< 2|x-3|= |2x- 6|= |2x+ 1- 7|< \epsilon".

Typically, having done the "analysis" we don't need to write out the "true" proof because it is clear that every step in going from \epsilon to \delta is reversible- it's obvious that we can go from \delta to \delta. A "proof" where you go from the conclusion to the hypothesis by reversible steps, so that it is obvious you could go form hypothesis to conclusion, is sometimes called "synthetic proof". It's used a lot, for example, in proving trig identities.

 

[mjsd]

the perception of a "circular argument" appearing only because in those cases (probably cases that you have been exposed to so far) it DOES work and that limit exists and does go to the number we want to proof. But i think all you need to see is an example of a limit that doesn't exist... and you will see that in this instance, you just can't find a delta and epsilon that work, no matter how hard you try... hence, this "circular argument" does not appear here. It looked like so before because it worked.