Norm determined by a convex radial unit ball
ID: norm-determined-by-a-convex-radial-unit-ball
Suppose contains zero, is convex, and meets every line , , in the finite symmetric open segment with . Then its Minkowski functional is a norm, with and . Absolute homogeneity follows by rescaling the segment. If and , convexity puts in , giving ; passing to the infima proves the triangle inequality. Conversely the open unit ball uniquely determines any norm by the displayed formula. No prior topology on the vector space is needed for these radial hypotheses.
New to topics? Read the docs here!