MHB Limits and Continuity - Absolute Value Technicality ....

Click For Summary
The discussion centers on proving an inequality involving absolute values from Manfred Stoll's "Introduction to Real Analysis." The specific inequality states that if |x - p| < 1, then |x| < |p| + 1. A user explains that this can be derived using the triangle inequality, where |x| is expressed as |(x - p) + p|, leading to the conclusion |x| < 1 + |p|. The conversation highlights the importance of understanding such inequalities in the context of limits and continuity. Overall, the exchange emphasizes the utility of the triangle inequality in real analysis proofs.
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Manfred Stoll's Book: "Introduction to Real Analysis" ... and am currently focused on Chapteer 4: Limits and Continuity ...

I need some help with an inequality involving absolute values in Example 4.1.2 (a) ... Example 4.1.2 (a) ... reads as follows:View attachment 7247In the above text we read ...

"... If $$ \mid x - p \lvert \ \lt \ 1$$ then $$\mid x \mid \ \lt \ \mid p \mid \ + \ 1$$ ... "Can someone please show me how to rigorously prove the above statement ...

Peter
 
Last edited:
Physics news on Phys.org
Peter said:
"... If $$ \mid x - p \lvert \ \lt \ 1$$ then $$\mid x \mid \ \lt \ \mid p \mid \ + \ 1$$ ... "Can someone please show me how to rigorously prove the above statement ...
This comes from the triangle inequality $|a+b|\leqslant |a| + |b|$. With $a=x-p$ and $b=p$, that becomes $$|x| = |(x-p) + p| \leqslant |x-p| + |p| <1 + |p|.$$
 
Opalg said:
This comes from the triangle inequality $|a+b|\leqslant |a| + |b|$. With $a=x-p$ and $b=p$, that becomes $$|x| = |(x-p) + p| \leqslant |x-p| + |p| <1 + |p|.$$
Thanks Opalg ... obvious when you see it ... :( ...

Appreciate your help ...

Peter
 
Peter said:
Thanks Opalg ... obvious when you see it ... :( ...
One of those little tricks that eventually become second nature. :)
 
We all know the definition of n-dimensional topological manifold uses open sets and homeomorphisms onto the image as open set in ##\mathbb R^n##. It should be possible to reformulate the definition of n-dimensional topological manifold using closed sets on the manifold's topology and on ##\mathbb R^n## ? I'm positive for this. Perhaps the definition of smooth manifold would be problematic, though.

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
2
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K