Si $(X,\|\cdot\|)$ es un espacio vectorial complejo normado, $p:X\to\mathbb{R}$ es sublineal si
- $p(\alpha x)=|\alpha|p(x)$ y
- $p(x+y)\le p(x)+p(y)$ para todos $\alpha\in\mathbb{C}$ y $x,y\in X$ .
Quiero demostrar que cualquier sublineal $p:X\to\mathbb{R}$ satisface $p(x)\ge 0$ para todos $x\in X$ que debería ser bastante fácil, pero no lo veo.