Sublinear function: Difference between revisions

Revision as of 07:19, 24 April 2022

Revision as of 11:06, 20 May 2022

Line 66:

More generally, if <math>p : X \to \R</math> is a real-valued sublinear function on a (real or complex) vector space <math>X</math> then

<math display=block>q(x) ~:=~ \sup_{|u|=1} p(u x) ~=~ \sup \{p(u x) : u \text{ is a unit scalar }\}</math>

will define a [[seminorm]] on <math>X</math> if this supremum is always a real number (that is, never equal to <math>\infty</math>).