Wednesday, March 22, 2017

calculus - The non-existence of limlimitsxto0sin1overx



Regarding to the definition of the limit of a function, employing a step by step approach using tautologies in logic, here it was proved that the limit of a function f(x) does not exist at a point x=a if and only if



L,ε>0:(δ>0,x:(0<|xa|<δ|f(x)L|ε))



or




L:(ε>0,δ>0:(x,0<|xa|<δ|f(x)L|<ε))



Statements (1) and (2) are logically equivalent. I want to use just (1) to prove that limx0sin1x does not exist. However, proofs using (2) can also be interesting!



My thought



I just know that I must find an ε which may depend on L and one x which may depend on both L and δ such that for every L and δ>0 we must have



0<|x|<δ|sin1xL|ε




I don't know how to proceed!


Answer



Solution using epsilon-delta argument directly:
If sin1x has limit at x=0 namely L, for ε=12 we must have δ such that:
|x0|<δ|sin1xL|<12


But as you can see from my last answer (two sequences) there are two number x1=1nπ and x2=2(4n+1)π (there are infinitely of them but I need just two!) Such that
|x1|<δ,|x2|<δ,sin1x1=0,sin1x2=1

So
|0L|<12,|1L|<12


Or
12<L<12,12<L<32

That's a contradiction if you accept :)


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...