- #1
Seydlitz
- 263
- 4
Hello guys, can you please help me to understand this proof of division lemma, part of the limit theorem. It is taken from Spivak's Calculus Chapter 5, page 101.
Lemma 3
[tex]\text{If }y_0 \neq 0\text{ and }min(\frac{|y_0|}{2}, \frac{ε|y_0|^2}{2})\ \\
\text{ then } y \neq 0 \text{ and }|\frac{1}{y}-\frac{1}{y_0}|<ε
[/tex]
Proof
We have ##|y_0|-|y| \leq |y-y_0| < \frac{|y_0|}{2}##
(In book it is written ##\frac{y_0}{2}## I take it that is mistyped because of the subsequent line and the fact the inequality would be false.
So ##|y| > \frac{y_0}{2}##. In particular, ##y \neq 0##, and
[tex]\frac{1}{|y|}<\frac{2}{|y_0|}.[/tex]
Thus
[tex]|\frac{1}{y}-\frac{1}{y_0}|=\frac{|y_0-y|}{|y||y_0|}<\frac{2}{|y_0|}\cdot\frac{1}{|y_0|}\cdot\frac{ε|y_0|^2}{2}=ε.[/tex]
I don't understand how he came to the rightmost inequality, can you guys please elaborate how he got the conclusion?
Thank You
Lemma 3
[tex]\text{If }y_0 \neq 0\text{ and }min(\frac{|y_0|}{2}, \frac{ε|y_0|^2}{2})\ \\
\text{ then } y \neq 0 \text{ and }|\frac{1}{y}-\frac{1}{y_0}|<ε
[/tex]
Proof
We have ##|y_0|-|y| \leq |y-y_0| < \frac{|y_0|}{2}##
(In book it is written ##\frac{y_0}{2}## I take it that is mistyped because of the subsequent line and the fact the inequality would be false.
So ##|y| > \frac{y_0}{2}##. In particular, ##y \neq 0##, and
[tex]\frac{1}{|y|}<\frac{2}{|y_0|}.[/tex]
Thus
[tex]|\frac{1}{y}-\frac{1}{y_0}|=\frac{|y_0-y|}{|y||y_0|}<\frac{2}{|y_0|}\cdot\frac{1}{|y_0|}\cdot\frac{ε|y_0|^2}{2}=ε.[/tex]
I don't understand how he came to the rightmost inequality, can you guys please elaborate how he got the conclusion?
Thank You