Proof of Apostol's Definition 3.2 and Theorem 3.3: Help Appreciated

Click For Summary

Discussion Overview

The discussion revolves around proving the reverse triangle inequality as presented in Tom M Apostol's "Mathematical Analysis," specifically related to Definition 3.2 and Theorem 3.3. Participants seek formal and rigorous methods to establish the inequality $$\mid \ \parallel x \parallel - \parallel y \parallel \ \mid \ \leq \ \parallel x - y \parallel$$ using concepts from point set topology.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Homework-related

Main Points Raised

  • Peter requests help in proving the reverse triangle inequality and cites Apostol's work.
  • One participant suggests using the triangle inequality and provides a series of steps to derive the inequality, including writing $\|x\|$ in terms of $x-y$ and applying the triangle inequality.
  • Another participant confirms the importance of the question and reiterates the use of the triangle inequality to estimate both $\|x\|$ and $\|y\|$.
  • Peter acknowledges the hints provided and expresses appreciation for the guidance.

Areas of Agreement / Disagreement

Participants generally agree on the approach to proving the reverse triangle inequality, but there is no consensus on a definitive proof as the discussion remains exploratory.

Contextual Notes

Participants provide hints and guidance without presenting a complete proof, indicating that the discussion is still in the process of exploration and refinement.

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Tom M Apostol's book "Mathematical Analysis" (Second Edition) ...I am focuses on Chapter 3: Elements of Point Set Topology ... I need help regarding a remark of Apostol's made after Definition 3.2 and Theorem 3.3 ...Definition 3.2 and Theorem 3.3 read as follows:
View attachment 8477
View attachment 8478
In a note at the end of the proof of parts of Theorem 3.3 we read the following:

"... ... We also have

$$\mid \ \parallel x \parallel - \parallel y \parallel \ \mid \ \leq \ \parallel x - y \parallel$$ ... Could someone please show me how top formally and rigorously prove that ...$$\mid \ \parallel x \parallel - \parallel y \parallel \ \mid \ \leq \ \parallel x - y \parallel$$ ...

Help will be appreciated ...

Peter
 

Attachments

  • Apostol - 1 - Definition 3.2 and Theorem 3.3 ... PART 1 ....png
    Apostol - 1 - Definition 3.2 and Theorem 3.3 ... PART 1 ....png
    18.6 KB · Views: 142
  • Apostol - 2 - Definition 3.2 and Theorem 3.3 ... PART 2 .....png
    Apostol - 2 - Definition 3.2 and Theorem 3.3 ... PART 2 .....png
    5.8 KB · Views: 148
Physics news on Phys.org
Hi Peter,

Peter said:
Could someone please show me how top formally and rigorously prove that ...
$$\mid \ \parallel x \parallel - \parallel y \parallel \ \mid \ \leq \ \parallel x - y \parallel$$ ...

Here are a few hints:
  1. Write $\|x\| = \|x-y +y\|.$
  2. Use the triangle inequality.
  3. Obtain a lower bound for $\|x-y\|$.
  4. Repeat the above with $\|y\|,$ obtaining a lower bound for $\|y-x\| = \|x-y\|.$
  5. Note that the two lower bounds differ by a negative sign only.
  6. Conclude that ${\large |}\|x\| - \|y\|{\large|}\leq \|x-y\|$ since $${\large |}\|x\|-\|y\|{\large |}=\begin{cases}\|x\|-\|y\| & \|x\|\geq \|y\|\\ \|y\| - \|x\| & \|y\|\geq \|x\|. \end{cases}$$
Let me know if anything is still unclear.
 
You are right to ask this question. It is called the "reverse triangle inequality". You can try to prove it yourself by using the ordinary triangle inequality to estimate both $\|x\| = \|(x - y) + y\|$ and $\|y\| = \|(y - x) + x\|$.

EDIT: Sorry, I did not see the reply by GJA and the system did not warn me when I submitted mine.
 
GJA said:
Hi Peter,
Here are a few hints:
  1. Write $\|x\| = \|x-y +y\|.$
  2. Use the triangle inequality.
  3. Obtain a lower bound for $\|x-y\|$.
  4. Repeat the above with $\|y\|,$ obtaining a lower bound for $\|y-x\| = \|x-y\|.$
  5. Note that the two lower bounds differ by a negative sign only.
  6. Conclude that ${\large |}\|x\| - \|y\|{\large|}\leq \|x-y\|$ since $${\large |}\|x\|-\|y\|{\large |}=\begin{cases}\|x\|-\|y\| & \|x\|\geq \|y\|\\ \|y\| - \|x\| & \|y\|\geq \|x\|. \end{cases}$$
Let me know if anything is still unclear.
Thanks GJA ...

Working through your post ...

Appreciate your help...

Peter
 
Janssens said:
You are right to ask this question. It is called the "reverse triangle inequality". You can try to prove it yourself by using the ordinary triangle inequality to estimate both $\|x\| = \|(x - y) + y\|$ and $\|y\| = \|(y - x) + x\|$.

EDIT: Sorry, I did not see the reply by GJA and the system did not warn me when I submitted mine.
Thanks for the guidance and help, Janssens

Peter
 

Similar threads

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