Register to reply 
Showing that a limit does not equal some value 
Share this thread: 
#1
Nov1712, 01:11 AM

P: 783

Suppose I wanted to show that [itex] \lim_{x→c}f(x) ≠ L [/itex] where L and c are real numbers provided in the problem.
One way I could prove the above would be by showing that for some ε>0, there is some x such that for any δ>0, both [itex] 0<xc<δ [/itex] and [itex] f(x)L>ε [/itex] are simultaneously satisfied. My question: Could I also prove the top statement by showing that for some ε>0, there is some x such that for any δ>0, both [itex] 0<xc<δ [/itex] and {f(x) is undefined} are simultaneously satisfied. BiP 


#2
Nov1712, 02:33 AM

P: 4,572

Hey BiPolarity.
My understanding is that both statements are linked: the epsilons and delta's need to hold as a set of simultaneous constraints. The reason for this is that what the limit actually does is say that as you reduce the distance from said point to limit point through x  c then the distance between the limit and its value get smaller. So you have a link between the delta and epsilon that keeps this constraint valid and this is what the limit achieves. If for some reason you didn't get things narrowing down closer and closer then you wouln't get a limit since things would be not getting closer but either staying the same distance or getting farther away as the input (domain) variables got closer together. 


#3
Nov1712, 01:21 PM

P: 783

Because the statement [itex] f(x)L<ε [/itex] is not so easy to take its inverse (its logical opposite). The statement [itex] f(x)L<ε [/itex] is true if both the following are true: 1) f(x) is real. (in the context of calculus of realvalued functions) 2) [itex] f(x)L<ε [/itex] Thus, if I can show that f(x) is undefined, in which case it is not a number, and thus not even a real number, have I essentially shown that [itex] f(x)L<ε [/itex] is a false statement? BiP 


#4
Nov1712, 03:55 PM

P: 4,572

Showing that a limit does not equal some value
If f(x) is not even a number then what is it?
This doesn't really make sense, since at the end of the day f(x) and L are both numbers or the same structure. 


#5
Nov1712, 04:28 PM

P: 144




#6
Nov2112, 12:21 AM

P: 783

BiP 


#7
Nov2112, 01:08 AM

Homework
Sci Advisor
HW Helper
Thanks
P: 9,657

for some ε>0, for any δ>0, there is some x (which will depend on δ) such that both 0<x−c<δ and f(x)−L>ε are simultaneously satisfied. 


#8
Nov2112, 01:45 AM

P: 783

My question revolves around the fact that the "disprove a limit" is based on the logical inverse of the actual statement of the limit definition. For the limit of f(x) to equal some value L about the point x=c, {{{for any ε>0 there is always some δ>0 for which 0<xc<δ > f(x)L<ε. }}} To prove that the limit of f(x) does not equal L obviously involves proving the logical inverse of the statement above which is wrapped around curly braces. The inverse of that statement is: {{{For some ε>0, there is no δ>0 for which 0<xc<δ necessarily implies f(x)L<ε.}}} Simplifying the logic: {{{For some ε>0, for every δ>0 there is some x where 0<xc<δ does not imply f(x)L<ε.}}} Simplifying further: {{{For some ε>0, for every δ>0 there is some x where 0<xc<δ but f(x)L<ε is false.}}} Now consider the last clause of that statement, i.e., the statement: {{f(x)L<ε is false.}} What exactly does this mean and when is it satisfied? Certainly it is satisfied, i.e. true, when {{f(x)L≥ε}}. But it is also true when f(x) is undefined, since f(x) being undefined automatically means {{f(x)L<ε }} cannot be true. Thus, can we rewrite as: {{{For some ε>0, for every δ>0 there is some x where 0<xc<δ but (f(x)L≥ε or f(x) is undefined) }}} Is that not so? Thanks to all for the help! BiP 


#9
Nov2112, 02:57 AM

Homework
Sci Advisor
HW Helper
Thanks
P: 9,657

for some ε>0, there is some x such that for any δ>0, both 0<x−c<δ and f(x)−L>ε are simultaneously satisfied. Do you see the difference? In your version, x is chosen before δ. That can't work, as Norwegian pointed out. δ should be chosen first, then an x (the value of which will depend on δ). 


#10
Nov2112, 11:16 AM

P: 783

BiP 


#11
Nov2112, 03:25 PM

Homework
Sci Advisor
HW Helper
Thanks
P: 9,657

Are you now asking where the error was in your logic? Or is there some other concern I'm missing? 


#12
Nov2112, 04:30 PM

P: 783

my question was specifically about the part f(x)L<ε. I don't know how I could have made that any clearer in any of my posts on this thread. The confusion between x and the δ was just a pedagogical typo on my part which you kindly pointed out, but that fails to address my question which concerns the logical inverse of the statement f(x)L<ε. My question has nothing to do with the x vs. δ confusion, its just the above portion of the limit definition, i.e. f(x)L<ε that troubles me. I am asking this question because in one of my homework problems, I was given a function that is defined at a point x=c, but undefined in a deleted neighborhood around it. So how I could prove that limit of f(x) as x approaches c does not equal f(c) ? I certainly can't find any ε >0 for which I can simultaneously show 0<xc<δ and f(x)f(c)≥ε for any δ>0 since f(x) becomes undefined once δ>0 gets small enough. But I can show that f(x) becomes undefined if that were to happen, which technically satisfies the logical inverse of f(x)L<ε. I was wondering if this overall reasoning is valid... This is the dilemma which motivated the problem; it has nothing to do with your correction... I'm so sorry. BiP 


Register to reply 
Related Discussions  
Showing that a limit exists or showing that it does not exist  Calculus & Beyond Homework  1  
Showing sets to be equal  Calculus & Beyond Homework  4  
Showing a complicated mess is equal to cot(z)  Calculus & Beyond Homework  9  
Pratice exam confusion! Showing the sumation is equal to the other! wee fun!  Calculus & Beyond Homework  2  
Showing that 2 functions are equal to each other  Calculus  6 