Given a convex set K containing the origin, the Minkowski functional (gauge) p_K(x) is defined as the infimum of λ>0 such that x∈λK; it measures the scalar dilation required to bring a vector into K and generalizes the notion of a norm when K is balanced and absorbing.

Principle

p_K is positively homogeneous of degree one and subadditive (hence a seminorm) precisely when K is convex and 0 is an interior point; symmetry of K makes p_K a norm. The functional encodes the geometry of K by turning set membership into a scalar inequality p_K(x)≤1.

Demonstration

If K is the unit Euclidean ball then p_K is the Euclidean norm. For an asymmetric convex set K the gauge is an asymmetric 'norm' giving different values in opposite directions; for a polytope p_K(x) computes by linear programming as the minimal scalar to represent x as a convex combination of vertices scaled by λ.

Misapplication

Assuming p_K is a norm without checking that K is symmetric about the origin or that 0 lies in the interior; applying the triangle inequality when K is nonconvex or not absorbing, which invalidates subadditivity or finiteness.

Consequence

Provides a natural way to induce topologies and seminorms from convex sets, to compare bodies via p_K, and to relate to dual objects through polar sets and support functions; it is central in convex analysis and functional representations of geometry.

Reversal

The support function is dual in spirit: while p_K measures how much K must be dilated to contain x, the support function measures maximal projections. Polarity exchanges Minkowski functionals and support functions between primal and dual bodies, reversing inclusion relations.

Boundary

Well-behaved only when K is convex, absorbing (0 interior) and closed; if 0∉int K then p_K may be infinite for directions outside the cone generated by K. For nonconvex K the function need not be subadditive or continuous.

Semantic Tension

Often conflated with norms or with support functions; unlike a norm the Minkowski functional can be asymmetric and can take infinite values unless K satisfies standard interiority and convexity assumptions.

Synthesis

The Minkowski functional is the positively homogeneous scalar gauge induced by a convex set that measures the dilation needed to include a vector; under standard convexity and interiority hypotheses it becomes a seminorm or norm and provides a bridge between set geometry and analytical structures such as duality and topology.