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<|x−a|<δ∧|f(x)−L|≥ε))
or
∄L:(∀ε>0,∃δ>0:(∀x,0<|x−a|<δ→|f(x)−L|<ε))
Statements (1) and (2) are logically equivalent. I want to use just (1) to prove that limx→0sin1x 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|<δ∧|sin1x−L|≥ε
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:
|x−0|<δ⇒|sin1x−L|<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
|0−L|<12,|1−L|<12
Or
−12<L<12,12<L<32
That's a contradiction if you accept :)
No comments:
Post a Comment