Seminorm ($p$)

A seminorm on a real or complex vector space $E$ is a finite-valued function $p:E\to [0,\infty )$ satisfying absolute homogeneity and the triangle inequality:In particular $p(0)=0$ and $p(-x)=p(x)$. A seminorm is a norm exactly when $p(x)=0$ implies $x=0$: this is the extra definiteness of a norm axiom. The zero function is a valid seminorm. The missing definiteness is useful when a measurement deliberately ignores some directions, such as an individual coordinate or the constant term of a function whose derivative is measured.

For example, on $C^1([0,1])$ the function $p(f)={\sup }_{t\in [0,1]}|f^{\prime }(t)|$ is a seminorm that vanishes on every constant function. Adding the value measurement gives the norm $q(f)=|f(0)|+p(f)$: if $q(f)=0$, the fundamental theorem of calculus gives $f(t)=f(0)+{\int }_0^t{f}^{\prime }(s)ds=0$. A family of such partial measurements defines a seminorm topology.

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.

On ${\mathbb{R}}^2$, the coordinate seminorms $p_x$ and $p_y$ measure horizontal and vertical components separately. Their kernels of seminorms are the vertical and horizontal axes. Neither is a norm, but together they form a separating family of seminorms. A basic zero neighbourhood isEach condition alone is an unbounded strip; their intersection is an open rectangle. For $a=b=1$, this is the unit open ball of the maximum norm $\Vert (x,y){\Vert }_{\infty }=\max \{|x|,|y|\}$. For unequal tolerances it is the unit open ball of the weighted norm $\max \{|x|/a,|y|/b\}$. Thus the two coordinate measurements generate the usual topology of the plane.

For a numerical check, take $a=1$, $b=1/2$: $(0.8,0.4)$ passes both tests, $(0.8,0.7)$ passes only the horizontal test, and $(1.2,0.4)$ passes only the vertical test. A direction missed by one seminorm is detected by the other.

Given a bilinear pairing $⟨\cdot ,\cdot ⟩$ and a seminorm $p$, its dual seminorm isIt may be infinite when $y$ does not annihilate the kernel of $p$. Whenever it is finite, the defining inequality gives $|⟨x,y⟩|\le p(x)p^{\ast }(y)$.