 Kernel of a seminorm

The kernel of a seminorm is its zero set, a linear subspace by absolute homogeneity and the triangle inequality. The estimate $|p(x)-p(y)|\le p(x-y)$ shows that adding an element of $\ker p$ does not change $p$. Hence $\Vert x+\ker p\Vert =p(x)$ defines a norm on the quotient vector space $E/\ker p$.

On $E$ itself, $d_p(x,y)=p(x-y)$ is a pseudometric; it is a metric exactly when $p$ is a norm. In particular, zero distance in one pseudometric need not mean equality of vectors. A separating family of seminorms removes the common zero-distance ambiguity.