- #1

KyleTS

- 4

- 1

< Mentor Note -- thread moved to HH from the technical math forums, so no HH Template is shown >

This is from the question list at the UC Davis Website epsilon delta exercise list.

In the exercise list we have:

Prove that

Which concludes with:

Thus, if
, it follows that [PLAIN]https://www.math.ucdavis.edu/~kouba/CalcOneDIRECTORY/preclimsoldirectory/img13.gif. This completes the proof.

My curiosity is here: This concludes with iff-then rhetoric. IFF ,
THEN [PLAIN]https://www.math.ucdavis.edu/~kouba/CalcOneDIRECTORY/preclimsoldirectory/img13.gif. Which is true here as was proven. However, I don't see anything which explicitly demonstrates that for all real ε>0 with ε/3, there is an x in the domain of f(x), such that [PLAIN]https://www.math.ucdavis.edu/~kouba/CalcOneDIRECTORY/preclimsoldirectory/img20.gif. This seems intuitively obvious, and likely easy to demonstrate in this case, however if the δ = (function of ε) is sufficiently complex, it seems as though verifying 0 < |x-10| < δ may require another epsilon-delta proof itself. That is to say, the proof here does show that IFF, THEN, however I don't see anything which demonstrates the IFF is actually true.

Have I missed something here? Thanks in advance, everyone!

This is from the question list at the UC Davis Website epsilon delta exercise list.

In the exercise list we have:

Prove that

Which concludes with:

Thus, if

My curiosity is here: This concludes with iff-then rhetoric. IFF ,

Have I missed something here? Thanks in advance, everyone!

Last edited by a moderator: