MHB The Euclidean Norm is Lipschitz Continuous .... D&K Example 1.3.5 .... ....

Click For Summary
The discussion centers on proving that the Euclidean norm is Lipschitz continuous on ℝⁿ with a Lipschitz constant of 1, as stated in Duistermaat and Kolk's Example 1.3.5. To establish this, it is necessary to show that the absolute difference in norms is bounded by the norm of the difference of the vectors. The proof involves applying the triangle inequality, demonstrating that if one norm is greater than the other, the inequality holds true. Participants in the discussion provide clarifications and support for rigorously proving this mathematical property. The conversation highlights the importance of understanding the relationship between norms and continuity in multidimensional analysis.
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading "Multidimensional Real Analysis I: Differentiation" by J. J. Duistermaat and J. A. C. Kolk ...

I am focused on Chapter 1: Continuity ... ...

I need help with an aspect of Example 1.3.5 ... ...

The start of Duistermaat and Kolk's Example 1.3.5 reads as follows:https://www.physicsforums.com/attachments/7752In the above example we read the following:

" ... ... The norm function $$x \mapsto \mid \mid x \mid \mid$$ is Lipschitz continuous on $$\mathbb{R}^n$$ with Lipschitz constant 1"To rigorously prove this statement we need to show that:

$$\mid \mid \ \mid \mid x \mid \mid \ - \ \mid \mid x' \mid \mid \ \mid \mid \ \le \ \mid \mid x - x' \mid \mid$$ ...Can someone help me to formally and rigorously show this ... ?Help will be much appreciated ...

Peter
 
Physics news on Phys.org
Hi Peter,

The norm is a real number; this means that what you want to prove is about absolute values:
$$\left|\Vert x\Vert - \Vert x'\Vert\right|\le \Vert x-x'\Vert$$

If $\Vert x\Vert\ge\Vert x'\Vert$, this gives $\Vert x\Vert\le\Vert x-x'\Vert+\Vert x'\Vert$, which is true because of the triangle inequality; if $\Vert x\Vert<\Vert x'\Vert$, you can interchange $x$ and $x'$.
 
castor28 said:
Hi Peter,

The norm is a real number; this means that what you want to prove is about absolute values:
$$\left|\Vert x\Vert - \Vert x'\Vert\right|\le \Vert x-x'\Vert$$

If $\Vert x\Vert\ge\Vert x'\Vert$, this gives $\Vert x\Vert\le\Vert x-x'\Vert+\Vert x'\Vert$, which is true because of the triangle inequality; if $\Vert x\Vert<\Vert x'\Vert$, you can interchange $x$ and $x'$.
Thanks castor28 ... for a most helpful post ...

Peter
 
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
Views
2K
Replies
2
Views
2K
Replies
6
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K