半范数(seminorm)是范数的一种推广，其比范数的要求弱（半范数比范数少一个条件：使半范数值为0的元素不一定是0元素），范数一定是半范数。局部凸线性空间的拓扑可以由一族满足分离公理的半范数来确定。