Absolute value removed from equation. Why?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
9 replies · 3K views
jens.w
Messages
11
Reaction score
0

Homework Statement



Given that [itex]\epsilon[/itex]> 0, why is it, that [itex]\left | x_{n} -L\right |< \epsilon[/itex] implicates that [itex]x_{n} > L-\epsilon[/itex] ?

Homework Equations





The Attempt at a Solution


 
Physics news on Phys.org
Try some examples to get a feel for it.

Since you're dealing with absolute values, you could always use the usual technique for dealing with them: split into two cases depending on whether the argument is positive or negative.
 
Well if: l Xn-L l ≥0 then you can remove the the absolute value.
 
mtayab1994 said:
Well if: l Xn-L l ≥0 then you can remove the the absolute value.

No, you can't. We have |-2| > 0; would you say that -2 > 0? Besides, for ANY real number r we always have |r| ≥ 0.

RGV
 
jens.w said:

Homework Statement



Given that [itex]\epsilon[/itex]> 0, why is it, that [itex]\left | x_{n} -L\right |< \epsilon[/itex] implicates that [itex]x_{n} > L-\epsilon[/itex] ?

Remember that an equation like ##|x_n-L|<\epsilon## can always be rewritten ##-\epsilon < x_n-L < \epsilon##. Add ##L## to all three sides and notice you are only using half of the result.
 
Hurkyl said:
Try some examples to get a feel for it.

Since you're dealing with absolute values, you could always use the usual technique for dealing with them: split into two cases depending on whether the argument is positive or negative.

Yes, i thought of that at first, but it doesn't help in this case since [itex]x_{n}-L[/itex] can be either positive or negative at all points, or alternating, depending on what series [itex]x_{n}[/itex] is a part of. So based on that, i can't exclude one of the cases via the definition.
 
jens.w said:
Yes, i thought of that at first, but it doesn't help in this case since [itex]x_{n}-L[/itex] can be either positive or negative at all points, or alternating, depending on what series [itex]x_{n}[/itex] is a part of. So based on that, i can't exclude one of the cases via the definition.

If x >= L then x > L-ε (ε>0). So, just look at the case where x < L (assuming |x-L| < ε).

RGV
 
jens.w said:

Homework Statement



Given that [itex]\epsilon[/itex]> 0, why is it, that [itex]\left | x_{n} -L\right |< \epsilon[/itex] implicates that [itex]x_{n} > L-\epsilon[/itex] ?

As I am sure you know, |x|= x if [itex]x\ge 0[/itex], and |x|= -x if x< 0. So if [itex]x_n- L< 0[/itex], then [itex]|x_n- L|= -(x_n- L)= L- x_n< \epsilon[/itex] so that [itex]-x_n< -L+ \epsilon[/itex] and, multiplying boty sides by -1, [itex]x_n> L- \epsilon[/itex]. Of course, if [itex]x_n- L\ge 0[/itex] then [itex]x_n\ge L[/itex] and, since [itex]\epsilon> 0[/itex], [itex]L> L- \epsilon[/itex] so [itex]x_n> L-\epsilon[/itex].

In either case, [itex]x_n> L- \epsilon[/itex].
 
Last edited by a moderator:
jens.w said:
Yes, i thought of that at first, but it doesn't help in this case since [itex]x_{n}-L[/itex] can be either positive or negative at all points, or alternating, depending on what series [itex]x_{n}[/itex] is a part of. So based on that, i can't exclude one of the cases via the definition.
It doesn't matter that xn comes from a series; the question you asked is one about the property of the number xn.

And besides, in a proof by cases you don't exclude a cases: you consider all of them. (in this case, only 2)
 
Ray Vickson said:
If x >= L then x > L-ε (ε>0). So, just look at the case where x < L (assuming |x-L| < ε).

RGV

Yea that makes sense.

HallsofIvy said:
As I am sure you know, |x|= x if [itex]x\ge 0[/itex], and |x|= -x if x< 0. So if [itex]x_n- L< 0[/itex], then [itex]|x_n- L|= -(x_n- L)= L- x_n< \epsilon[/itex] so that [itex]-x_n< -L+ \epsilon[/itex] and, multiplying boty sides by -1, [itex]x_n> L- \epsilon[/itex]. Of course, if [itex]x_n- L\ge 0[/itex] then [itex]x_n\ge L[/itex] and, since [itex]\epsilon> 0[/itex], [itex]L> L- \epsilon[/itex] so [itex]x_n> L-\epsilon[/itex].

In either case, [itex]x_n> L- \epsilon[/itex].

That also makes sense! And how creative too.

Hurkyl said:
It doesn't matter that xn comes from a series; the question you asked is one about the property of the number xn.

And besides, in a proof by cases you don't exclude a cases: you consider all of them. (in this case, only 2)

Your right, i was confused.

I guess the problem i had (besides being stupid of course) is that i got hung up on the results from the definition. They seemed to conflict and give 2 different cases, but that wasnt the case, which i feel that HallsOfIvy showed me.

Thank you all.