5
$\begingroup$

I'm solidifying my calculus by going through Keisler's book that uses a hyperreal/infinitesimal approach. I'm stuck on this problem.

Given infinitesimals $\epsilon,\delta > 0$, deterimine whether the following expression is infinitesimal, finite but not infinitesimal, or infinite:

$$\frac{\epsilon + \delta}{\sqrt{\epsilon^2 + \delta^2}}$$

Keisler gives this hint: Assume $\epsilon \geq \delta$ and divide through by $\epsilon$.

Being an odd number problem, the answer is in the back, but I don't understand how to get it. Also, why would I assume that $\epsilon \geq \delta$?

$\endgroup$
  • $\begingroup$ You can assume that because it is symmetric. One is necessarily bigger, so might as well be $\epsilon$ $\endgroup$ – Valtteri Mar 1 '13 at 15:26
  • $\begingroup$ Thanks, I suspected that I could assume $\delta$ was larger just as well, so thanks for explaining that. $\endgroup$ – labyrinth Mar 1 '13 at 15:32
  • $\begingroup$ To elaborate: It is a nice shortcut if you assume $\epsilon \geq \delta$ and prove the result, you just "rename" $\epsilon$ and $\delta$ in the proof to get the case where $\delta > \epsilon$. This is a common "trick," often accompanied with "Without loss of generality(WLOG), assume..." where some sort of symmetry is evident (as Valtteri points out) $\endgroup$ – Tyler Mar 1 '13 at 15:32
  • $\begingroup$ Thanks, Tavares, for fixing my title. This is my first post here and didn't realize I had to use the dollar signs in the title, too. $\endgroup$ – labyrinth Mar 1 '13 at 15:34
2
$\begingroup$

Well, my take. If $\epsilon \ge \delta$, then $\frac{\epsilon+\delta}{\sqrt{\epsilon^2+\delta^2}} = \frac{1+\frac{\delta}{\epsilon}}{\sqrt{1+\delta^2/\epsilon^2}}$. Now $\delta \le \epsilon,$ so $\delta/\epsilon \le 1$ (because the resulting sequence will have smaller numbers divided by larger numbers a number of times that is in the ultrafilter).

Thus it should be finite but not infinitesimal.

$\endgroup$
  • $\begingroup$ The symmetric idea seems the key. It took me a bit to get the denominator as you did, but dusting the cobwebs off my core math skills is a big part of why I'm doing this. Thanks! $\endgroup$ – labyrinth Mar 1 '13 at 15:54
  • 1
    $\begingroup$ At first I thought that it amounted to 1, but now I see that in the case where $\epsilon = \delta$, it could be $\frac{2}{\sqrt{2}} = \sqrt{2}$ $\endgroup$ – labyrinth Mar 1 '13 at 15:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.