Wednesday, 19 October 2016

continuity - Continuous map mathbbRnrightarrowmathbbRn




When we say some map ϕ=(ϕ1,,ϕn) is a continuous map RnRn we really mean that each component ϕi is continuous as a function RnR or do we mean something else? Rn is as a vector space, so we can also consider the distance between any two vectors and use the definition of continuity on \mathbb{R}^n as a whole. Which approach is the "proper one"? I'm kind of confused.



Edit



I know now that there is theorem that says that component-wise continuity is equivalent to continuity. I will try to prove this assertion.



Let \phi=(\phi_1,\ldots,\phi_n):\mathbb{R}^n\rightarrow\mathbb{R}^n.



1) Let each of \phi_i be continuous functions from \mathbb{R}^n to \mathbb{R}. Let \|\cdot \| denote euclidean norm in \mathbb{R}^n. From continuity we have

\forall i \quad \forall x \quad\forall\epsilon>0\quad \exists \delta >0\quad\forall y :\|x-y\|<\delta\implies|\phi_i(x)-\phi_i(y)|<\epsilon/\sqrt{n}


Answer



This is one of those cases where category theory clears up the mystery about products of sets with structure. Once the product in \text Set of a collection of sets \left \{ X_{\alpha } \right \}_{\alpha \in I} is obtained, using the universal mapping property (UMP), then if the individual X_{\alpha } have structure---for example, if they have topologies or if they are groups-- then one can say exactly what the product \mathit must be, in order for the UMP to be preserved.



Now, the fact, for example, that \mathbb R^{\omega } is metrizable in the product topology but not in the box toplogy, tells us in some sense, that the product topology is the "right one" to use and the box topology is not if we want nice results; i.e. the UMP is what determines how we should view products. Of course, this does not mean that we can always get what we'd like: for example, if I is uncountable, \mathbb R^{I} is not metrizable in the product toplogy.



As for norms, they are all equivalent on R^{n} for n\in \mathbb N, but not on infinite-dimensional spaces. For example, the l_{p} spaces are all different with l_{p}\subset l_{q} whenever q>p, the obvious example being the sequence \left \{ \frac{1}{n} \right \}_{n\in N} which is in l_{2} but not in l_{1}.


No comments:

Post a Comment

real analysis - How to find lim_{hrightarrow 0}frac{sin(ha)}{h}

How to find \lim_{h\rightarrow 0}\frac{\sin(ha)}{h} without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...