Ivan Shishkin, Rye (1878)

Discussions

Unit ball in finite dimension

0 messages

Solution

Solution by Paulownia · EN

If BB is the closed unit ball of Rn\R^{n} for some norm, then BB is a compact, symmetric (i.e.i.e. stable by xxx \mapsto -x), convex neighborhood of 00 in Rn.\R^{n}. Those properties are independent of the norm, because they rely only on the vector space structure of Rn\R^n and its vector space topology.
Conversely, let BRnB \subseteq \R^n with the above properties. Using properties of the vector space topology on Rn,\R^{n}, for any nonzero xRnx\in \R^{n} the map
γ ⁣:{R+Rnttx\gamma \colon \begin{cases} \R_{+} & \longrightarrow & \R^{n} \\ t & \longmapsto & tx \end{cases}is a homeomorphism; in particular, γ1(B)\gamma^{-1}(B) contains a neighborhood of 0R+.0 \in \R^{+}. It also has convex image. Thus, the set {0}I={yB  λR+ ⁣:y=λx}\{0\} \subsetneq I=\{ y \in B \ | \ \exists \lambda \in \R_{+} \colon y=\lambda x \} is a compact line segment, and we define N(x)R+N(x) \in \R_{+} the only scalar such II equals the segment [0,1N(x)x].[0,\frac{1}{N(x)}x]. We also set N(0)=0N(0)=0.
It is clear that N(λx)=λN(x)N(\lambda x) = \lambda N(x) for every positive scalar λ,\lambda, and one gets N(x)=N(x)N(-x)=N(x) from the fact that BB is symmetric. From this one can see that B={xRn  N(x)1}.B= \{ x \in \R^{n} \ | \ N(x) \leq 1\}. Finally, the triangle inequality stems from convexity of B.B.

No messages yet.