Help visualising a limit proof

  • Thread starter Thread starter transgalactic
  • Start date Start date
  • Tags Tags
    Limit Proof
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
3 replies · 2K views
transgalactic
Messages
1,386
Reaction score
0
i tried to interpret it on a sketch

http://img181.imageshack.us/img181/6498/13549423mx3.gif
 
Last edited by a moderator:
Physics news on Phys.org
i can't see the animation of this proove
 
When you don't know where to start, look at the definitions!

"[itex]\lim_{x\rightarrow x_0} f(x)= L[/itex]" means, by definition, that

"Given any [\itex]\epsilon> 0[/itex] there exist [itex]\delta> 0[/itex] such that if [itex]|x- x_0|< \delta[/itex] then [/itex]|f(x)- L|< \epsilon[/itex]".

Here, the function is just f(x)= x and you want to prove that the limit is [itex]x_0[/itex]: write exactly the same thing but replace "f(x)" with "x" and "L" with "[itex]x_0[/itex]".

"Given any [\itex]\epsilon> 0[/itex] there exist [itex]\delta> 0[/itex] such that if [itex]|x- x_0|< \delta[/itex] then [/itex]|x- x_0|< \epsilon[/itex]".

You should see immediately that what was before "[itex]|f(x)- L|< \epsilon[/itex]" is now "[itex]|x- x_0|< \epsilon[/itex]" the same as with "[itex]|x- x_0|< \delta[/itex]". So make [itex]\epsilon[/itex] and [itex]\delta[/itex] the same: given any [itex]\delta> 0[/itex], you can always choose [itex]\delta= \epsilon[/itex].
 
HallsofIvy said:
When you don't know where to start, look at the definitions!

"[itex]\lim_{x\rightarrow X} f(x)= L[/itex]" means, by definition, that

"Given any [\itex]\epsilon> 0[/itex] there exist [itex]\delta> 0[/itex] such that if [itex]|x- X|< \delta[/itex] then [/itex]|f(x)- L|< \epsilon[/itex]".

Here, the function is just f(x)= x and you want to prove that the limit is [itex]X[/itex]: write exactly the same thing but replace "f(x)" with "x" and "L" with "[itex]X[/itex]".

"Given any [\itex]\epsilon> 0[/itex] there exist [itex]\delta> 0[/itex] such that if [itex]|x- X|< \delta[/itex] then [/itex]|x- X|< \epsilon[/itex]".

You should see immediately that what was before "[itex]|f(x)- L|< \epsilon[/itex]" is now "[itex]|x- X|< \epsilon[/itex]" the same as with "[itex]|x- X|< \delta[/itex]". So make [itex]\epsilon[/itex] and [itex]\delta[/itex] the same: given any [itex]\delta> 0[/itex], you can always choose [itex]\delta= \epsilon[/itex].

As for your picture, it would be better to draw it in two dimensions: draw the graph of y= x, a straight line. Since [/itex]\epsilon[/itex] is bounding the value of the function, draw two horizontal lines at [itex]Y= X+ \epsilon[/itex] and at [itex]y= X- \epsilon[/itex]. Draw vertical lines where the graph crosses those horizontal lines to get a "box" bounding the graph. The vertical lines will give [itex]X+\delta[/itex] and [itex]x-\delta[/itex]. Here, of course, because the line is y= x, that box is a square: [itex]\delta= \epsilon[/itex].