Solution
If is the closed unit ball of for some norm, then is a compact, symmetric ( stable by ), convex neighborhood of in Those properties are independent of the norm, because they rely only on the vector space structure of and its vector space topology.
Conversely, let with the above properties. Using properties of the vector space topology on for any nonzero the map
is a homeomorphism; in particular, contains a neighborhood of It also has convex image. Thus, the set is a compact line segment, and we define the only scalar such equals the segment We also set .
It is clear that for every positive scalar and one gets from the fact that is symmetric. From this one can see that Finally, the triangle inequality stems from convexity of

No messages yet.