Minkowski Functional of Open Convex Set in Normed Vector Space is Sublinear Functional

Theorem
Let $\struct {X, \norm \cdot}$ be a normed vector space.

Let $C$ be an open convex subset of $X$ with $0 \in C$.

Let $p_C$ be the Minkowski functional for $C$.

Then $p_C$ is a sublinear functional.

Proof
We will show that:


 * $(1): \quad$ $\map {p_C} {\lambda x} = \lambda \map {p_C} x$ for each $x \in X$ and $\lambda \in \R_{\ge 0}$
 * $(2): \quad$ $\map {p_C} {x + y} \le \map {p_C} x + \map {p_C} y$ for each $x, y \in X$.

Proof of $(1)$
If $\lambda = 0$, then $(1)$ follows immediately since:


 * $\map {p_C} 0 = 0$

as shown in Minkowski Functional of Open Convex Set is Well-Defined.

Now take $\lambda \ne 0$.

We then have, for each $x \in X$:


 * $t^{-1} x \in C$ $\paren {\lambda t}^{-1} \paren {\lambda x} \in C$

So:


 * $t \in \set {t > 0 : t^{-1} x \in C}$ $\lambda t \in \set {t > 0 : t^{-1} \paren {\lambda x} \in C}$

giving:


 * $\set {t > 0 : t^{-1} \paren {\lambda x} \in C} = \lambda \set {t > 0 : t^{-1} x \in C}$

So, from Multiple of Infimum, we have:


 * $\inf \set {t > 0 : t^{-1} \paren {\lambda x} \in C} = \lambda \inf \set {t > 0 : t^{-1} x \in C}$

Then from the definition of the Minkowski functional, we have:


 * $\map {p_C} {\lambda x} = \lambda \map {p_C} x$