Asymmetric norms differ from norms in that they need not satisfy the equality
If the condition of positive definiteness is omitted, then is an asymmetric seminorm. A weaker condition than positive definiteness is non-degeneracy: that for at least one of the two numbers and is not zero.
In a real vector space the Minkowski functional of a convex subset that contains the origin is defined by the formula
for . This functional is an asymmetric seminorm if is an absorbing set, which means that and ensures that is finite for each
Corresponce between asymmetric seminorms and convex subsets of the dual spaceedit
If is a convex set that contains the origin, then an asymmetric seminorm can be defined on by the formula
For instance, if is the square with vertices then is the taxicab norm Different convex sets yield different seminorms, and every asymmetric seminorm on can be obtained from some convex set, called its dual unit ball. Therefore, asymmetric seminorms are in one-to-one correspondence with convex sets that contain the origin. The seminorm is
positive definite if and only if contains the origin in its topological interior,
degenerate if and only if is contained in a linear subspace of dimension less than and
symmetric if and only if
More generally, if is a finite-dimensional real vector space and is a compact convex subset of the dual space that contains the origin, then is an asymmetric seminorm on
See alsoedit
Finsler manifold – smooth manifold equipped with a Minkowski functional at each tangent spacePages displaying wikidata descriptions as a fallback
asymmetric, norm, mathematics, asymmetric, norm, vector, space, generalization, concept, norm, contents, definition, examples, corresponce, between, asymmetric, seminorms, convex, subsets, dual, space, also, referencesdefinition, editan, asymmetric, norm, real. In mathematics an asymmetric norm on a vector space is a generalization of the concept of a norm Contents 1 Definition 2 Examples 3 Corresponce between asymmetric seminorms and convex subsets of the dual space 4 See also 5 ReferencesDefinition editAn asymmetric norm on a real vector space X displaystyle X nbsp is a function p X 0 displaystyle p X to 0 infty nbsp that has the following properties Subadditivity or the triangle inequality p x y p x p y for all x y X displaystyle p x y leq p x p y text for all x y in X nbsp Nonnegative homogeneity p rx rp x for all x X displaystyle p rx rp x text for all x in X nbsp and every non negative real number r 0 displaystyle r geq 0 nbsp Positive definiteness p x gt 0 unless x 0 displaystyle p x gt 0 text unless x 0 nbsp Asymmetric norms differ from norms in that they need not satisfy the equality p x p x displaystyle p x p x nbsp If the condition of positive definiteness is omitted then p displaystyle p nbsp is an asymmetric seminorm A weaker condition than positive definiteness is non degeneracy that for x 0 displaystyle x neq 0 nbsp at least one of the two numbers p x displaystyle p x nbsp and p x displaystyle p x nbsp is not zero Examples editOn the real line R displaystyle mathbb R nbsp the function p displaystyle p nbsp given byp x x x 0 2 x x 0 displaystyle p x begin cases x amp x leq 0 2 x amp x geq 0 end cases nbsp is an asymmetric norm but not a norm In a real vector space X displaystyle X nbsp the Minkowski functional pB displaystyle p B nbsp of a convex subset B X displaystyle B subseteq X nbsp that contains the origin is defined by the formulapB x inf r 0 x rB displaystyle p B x inf left r geq 0 x in rB right nbsp for x X displaystyle x in X nbsp This functional is an asymmetric seminorm if B displaystyle B nbsp is an absorbing set which means that r 0rB X displaystyle bigcup r geq 0 rB X nbsp and ensures that p x displaystyle p x nbsp is finite for each x X displaystyle x in X nbsp Corresponce between asymmetric seminorms and convex subsets of the dual space editIf B Rn displaystyle B subseteq mathbb R n nbsp is a convex set that contains the origin then an asymmetric seminorm p displaystyle p nbsp can be defined on Rn displaystyle mathbb R n nbsp by the formulap x maxf B f x displaystyle p x max varphi in B langle varphi x rangle nbsp For instance if B R2 displaystyle B subseteq mathbb R 2 nbsp is the square with vertices 1 1 displaystyle pm 1 pm 1 nbsp then p displaystyle p nbsp is the taxicab norm x x0 x1 x0 x1 displaystyle x left x 0 x 1 right mapsto left x 0 right left x 1 right nbsp Different convex sets yield different seminorms and every asymmetric seminorm on Rn displaystyle mathbb R n nbsp can be obtained from some convex set called its dual unit ball Therefore asymmetric seminorms are in one to one correspondence with convex sets that contain the origin The seminorm p displaystyle p nbsp is positive definite if and only if B displaystyle B nbsp contains the origin in its topological interior degenerate if and only if B displaystyle B nbsp is contained in a linear subspace of dimension less than n displaystyle n nbsp and symmetric if and only if B B displaystyle B B nbsp More generally if X displaystyle X nbsp is a finite dimensional real vector space and B X displaystyle B subseteq X nbsp is a compact convex subset of the dual space X displaystyle X nbsp that contains the origin then p x maxf B f x displaystyle p x max varphi in B varphi x nbsp is an asymmetric seminorm on X displaystyle X nbsp See also editFinsler manifold smooth manifold equipped with a Minkowski functional at each tangent spacePages displaying wikidata descriptions as a fallback Minkowski functional Function made from a setReferences editCobzas S 2006 Compact operators on spaces with asymmetric norm Stud Univ Babes Bolyai Math 51 4 69 87 arXiv math 0608031 Bibcode 2006math 8031C ISSN 0252 1938 MR 2314639 S Cobzas Functional Analysis in Asymmetric Normed Spaces Frontiers in Mathematics Basel Birkhauser 2013 ISBN 978 3 0348 0477 6 nbsp This linear algebra related article is a stub You can help Wikipedia by expanding it vte Retrieved from https en wikipedia org w index php title Asymmetric norm amp oldid 1198641868, wikipedia, wiki, book, books, library,