Homogeneous function: Difference between revisions

Content deleted Content added
Moved to Notes section
Moved to Notes section
Line 171:
The following commonly encountered special cases and variations of this definition have their own terminology:
#({{em|{{visible anchor|Strict positive homogeneity|Strictly positive homogeneous|text=Strict}}}}) {{em|{{visible anchor|Positive homogeneity|Positive homogeneous|Positively homogeneous}}}}:{{sfn|Schechter|1996|pp=313-314}} <math>f(rx) = r f(x)</math> for all <math>x \in X</math> and all {{em|positive}} real <math>r > 0.</math>
#* When the function <math>f</math> is valued in a vector space or field, then this property is [[Logical equivalence|logically equivalent]]<ref group=proof>Assume that <math>f</math> is strictly positively homogeneous and valued in a vector space or a field. Then <math>f(0) name=posHomEquivToNonnegHom f(2 \cdot 0) = 2 f(0)</math> so subtracting <math>f(0)</math> from both sides shows that <math>f(0) = 0.</math> Writing <math>r := 0,</math> then for any <math>x \in X,</math> <math>f(r x) = f(0) = 0 = 0 f(x) = r f(x),</math> which shows that <math>f</math> is nonnegative homogeneous.</ref> to {{em|{{visible anchor|Nonnegative homogeneity|Nonnegative homogeneous|Nonnegatively homogeneous|text=nonnegative homogeneity}}}}, which by definition{{sfn|Kubrusly|2011|p=200}} means: <math>f(rx) = r f(x)</math> for all <math>x \in X</math> and all {{em|non-negative}} real <math>r \geq 0.</math> It is for this reason that positive homogeneity is often also called nonnegative homogeneity. However, for functions valued in the [[extended real numbers]] <math>[-\infty, \infty] = \Reals \cup \{\pm \infty\},</math> which appear in fields like [[convex analysis]], the multiplication <math>0 \cdot f(x)</math> will be undefined whenever <math>f(x) = \pm \infty</math> and so these statements are not necessarily always interchangeable.<ref group=note>However, if such an <math>f</math> satisfies <math>f(rx) = r f(x)</math> for all <math>r > 0</math> and <math>x \in X,</math> then necessarily <math>f(0) \in \{\pm \infty, 0\}</math> and whenever <math>f(0), f(x) \in \R</math> are both real then <math>f(r x) = r f(x)</math> will hold for all <math>r \geq 0.</math></ref>
#* This property is used in the definition of a [[sublinear function]].{{sfn|Schechter|1996|pp=313-314}}{{sfn|Kubrusly|2011|p=200}}
#* [[Minkowski functional]]s are exactly those non-negative extended real-valued functions with this property.