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

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
 
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top