nomadreid
Gold Member
- 1,748
- 243
- TL;DR Summary
- How the assumptions allow one to choose delta between (a chosen numerical arbitrary upper bound) and (an upper bound derived from that numerical upper bound) in a standard epsilon-delta limit proof is unclear to me.
In the last step in a standard technique for doing an epsilon-delta proof of a limit (in which one takes the minimum of two possible functions delta of epsilon) the presentations I have found usually have a logical jump that I am not sure how to fill in, despite staring at examples.
The general idea for the limit of the function as x approaches a equals L is usually to
(a) factor the |f(x)-L| into |x-a|*|h(x)| < epsilon
(b) select an arbitrary positive k so that |x-a|< delta < k
(c) thus find an upper bound b so that |h(x)|< b
(d} thus b*delta < epsilon, or delta < epsilon/b
(e) for delta, pick the minimum of k or epsilon/b
Then one shows that each of the choices works by plugging them into the definition. Fine. Nonetheless, explicitly justifying [e] is always lacking, presumably because it is obvious. Alas, "obvious" is relative. To put it another way: how would one break up the second "implies" in either of the following formulations?
(|x-a|< k implies that delta < epsilon/b) implies (delta < k or delta < epsilon/b).
Alternatively,
(|x-a|< delta implies that delta < epsilon/b) implies (delta < k or delta < epsilon/b).
(If I got some details in my exposition wrong, corrections would be super nice, as well as to answer the question with its errors corrected.)
Many thanks for those with patience, as I am sure this question has been asked before (although I did not find it).
The general idea for the limit of the function as x approaches a equals L is usually to
(a) factor the |f(x)-L| into |x-a|*|h(x)| < epsilon
(b) select an arbitrary positive k so that |x-a|< delta < k
(c) thus find an upper bound b so that |h(x)|< b
(d} thus b*delta < epsilon, or delta < epsilon/b
(e) for delta, pick the minimum of k or epsilon/b
Then one shows that each of the choices works by plugging them into the definition. Fine. Nonetheless, explicitly justifying [e] is always lacking, presumably because it is obvious. Alas, "obvious" is relative. To put it another way: how would one break up the second "implies" in either of the following formulations?
(|x-a|< k implies that delta < epsilon/b) implies (delta < k or delta < epsilon/b).
Alternatively,
(|x-a|< delta implies that delta < epsilon/b) implies (delta < k or delta < epsilon/b).
(If I got some details in my exposition wrong, corrections would be super nice, as well as to answer the question with its errors corrected.)
Many thanks for those with patience, as I am sure this question has been asked before (although I did not find it).
Last edited: