Seminorm (source code)

= Seminorm
{title2=$p$}
{wiki}

A seminorm on a <vector space> is a nonnegative function $p$ satisfying $p(\lambda x)=|\lambda|p(x)$ and $p(x+y)\leq p(x)+p(y)$. Unlike a <norm>, it may vanish at nonzero vectors.