Definition:Sublinear Functional

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

A functional $p: E \to \R$ is called a Minkowski functional if it satisfies: