Definition:Sublinear Functional

Definition
Let $E$ be a vector space over $\R$.

A real-valued function $p: E \to \R$ is called a Minkowski functional it satisfies: