In mathematics, in the field of functional analysis, a Minkowski functional (after Hermann Minkowski) or gauge function is a function that recovers a notion of distance on a linear space. If K {\textstyle K} is a subset of a real or complex vector space X , {\textstyle X,} then the Minkowski functional or gauge of K {\textstyle K} is defined to be the function p K : X → [ 0 , ∞ ] , {\textstyle p_{K}:X\to [0,\infty ],} valued in the extended real numbers, defined by
p K ( x ) = inf { r ∈ R : r > 0 and x ∈ r K } , x ∈ X , {\displaystyle p_{K}(x)=\inf\{r\in \mathbb {R} :r>0{\text{ and }}x\in rK\},\quad x\in X,}
where the infimum of the empty set is defined to be positive infinity. The set K {\textstyle K} is often assumed to have properties, such as being an absorbing disk in X {\textstyle X} , that guarantee that p K {\textstyle p_{K}} will be a seminorm on X . {\textstyle X.} In fact, every seminorm p {\textstyle p} on X {\textstyle X} is equal to the Minkowski functional (that is, p = p K {\textstyle p=p_{K}} ) of any subset K {\textstyle K} of X {\textstyle X} satisfying
{ x ∈ X : p ( x ) < 1 } ⊆ K ⊆ { x ∈ X : p ( x ) ≤ 1 } {\displaystyle \{x\in X:p(x)<1\}\subseteq K\subseteq \{x\in X:p(x)\leq 1\}}
(where all three of these sets are necessarily absorbing in X {\textstyle X} and the first and last are also disks). Thus every seminorm (which is a function defined by purely algebraic properties) can be associated (non-uniquely) with an absorbing disk (which is a set with certain geometric properties) and conversely, every absorbing disk can be associated with its Minkowski functional (which will necessarily be a seminorm). These relationships between seminorms, Minkowski functionals, and absorbing disks is a major reason why Minkowski functionals are studied and used in functional analysis. In particular, through these relationships, Minkowski functionals allow one to "translate" certain geometric properties of a subset of X {\textstyle X} into certain algebraic properties of a function on X . {\textstyle X.}
The Minkowski function is always non-negative (meaning p K ≥ 0 {\textstyle p_{K}\geq 0} ). This property of being nonnegative stands in contrast to other classes of functions, such as sublinear functions and real linear functionals, that do allow negative values. However, p K {\textstyle p_{K}} might not be real-valued since for any given x ∈ X , {\textstyle x\in X,} the value p K ( x ) {\textstyle p_{K}(x)} is a real number if and only if { r > 0 : x ∈ r K } {\textstyle \{r>0:x\in rK\}} is not empty. Consequently, K {\textstyle K} is usually assumed to have properties (such as being absorbing in X , {\textstyle X,} for instance) that will guarantee that p K {\textstyle p_{K}} is real-valued.
Definition Let K {\textstyle K} be a subset of a real or complex vector space X . {\textstyle X.} Define the gauge of K {\textstyle K} or the Minkowski functional associated with or induced by K {\textstyle K} as being the function p K : X → [ 0 , ∞ ] , {\textstyle p_{K}:X\to [0,\infty ],} valued in the extended real numbers, defined by
p K ( x ) := inf { r > 0 : x ∈ r K } , {\displaystyle p_{K}(x):=\inf\{r>0:x\in rK\},}
… excerpt ends here. Continue reading the full article.


