MHB Compactness and Uniform Continuity in R^n .... .... D&K Theorem 1.8.15

Click For Summary
SUMMARY

The discussion centers on the proof of Duistermaat and Kolk's Theorem 1.8.15 from "Multidimensional Real Analysis I: Differentiation." The key point is the continuity of the Euclidean norm, which ensures that for any converging sequence in R^n, the norm of the difference between function values approaches zero. Specifically, if \( \mathbf{c}_k = f(\mathbf{x}_k) - f(\mathbf{y}_k) \) converges to zero, then \( \|f(x_k) - f(y_k)\| \to 0 \) as \( k \to \infty \).

PREREQUISITES
  • Understanding of continuity in the context of real analysis
  • Familiarity with Euclidean norms in R^n
  • Knowledge of sequences and limits in mathematical analysis
  • Basic concepts of function behavior in multidimensional spaces
NEXT STEPS
  • Study the properties of continuity in Euclidean spaces
  • Explore the implications of the Euclidean norm in real analysis
  • Learn about convergence of sequences in R^n
  • Investigate additional theorems related to continuity and compactness in multidimensional analysis
USEFUL FOR

Students and researchers in mathematics, particularly those focusing on real analysis, continuity, and multidimensional calculus. This discussion is beneficial for anyone studying or teaching concepts related to the continuity of functions in R^n.

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 the proof of Theorem 1.8.15 ... ...

Duistermaat and Kolk's Theorem 1.8.15 and its proof read as follows:View attachment 7754In the above proof we read the following:

" ... ... The continuity of the Euclidean norm the gives $$ \lim_{{k}\to{\infty}} \mid \mid f(x_k) - f(y_k) \mid \mid = 0 $$ ... ... "Can someone please explain ... and also show rigorously ... how/why the continuity of the Euclidean norm the gives $$ \lim_{{k}\to{\infty}} \mid \mid f(x_k) - f(y_k) \mid \mid = 0 $$ ... ... Help will be much appreciated ...

Peter
 
Physics news on Phys.org
Hi Peter,

It’s almost immediate if you know what continuity of the Euclidean norm means: For any $\mathbf{c}\in \Bbb R^n$ and any sequence $(\mathbf{c}_k)\in \Bbb R^n$ converging to $\mathbf{c}$, $\|\mathbf{c}_k\| \to \|\mathbf{c}\|$. Take $\mathbf{c}_k = f(\mathbf{x}_k) - f(\mathbf{y}_k)$, so $\mathbf{c} = 0$. Since $\|\mathbf{0}\| = 0$, $\|f(x_k) - f(y_k)\| \to 0$.
 
Euge said:
Hi Peter,

It’s almost immediate if you know what continuity of the Euclidean norm means: For any $\mathbf{c}\in \Bbb R^n$ and any sequence $(\mathbf{c}_k)\in \Bbb R^n$ converging to $\mathbf{c}$, $\|\mathbf{c}_k\| \to \|\mathbf{c}\|$. Take $\mathbf{c}_k = f(\mathbf{x}_k) - f(\mathbf{y}_k)$, so $\mathbf{c} = 0$. Since $\|\mathbf{0}\| = 0$, $\|f(x_k) - f(y_k)\| \to 0$.
Thanks Euge ...

Appreciate the help ...

Peter
 

Similar threads

Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
3K
Replies
11
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K
Replies
2
Views
2K
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K