半范数(seminorm)是
范数的一种推广，其比
范数的要求弱（半范数比
范数少一个条件：使半范数值为0的元素不一定是0元素），
范数一定是半范数。局部凸线性空间的拓扑可以由一族满足
分离公理的半范数来确定。
定义
（1）次加性：
（2）正齐次性：
则称p是上的一个半范数，称为赋半范线性空间。
注：半范数与范数的不同之处在于，由p(x)=0不能推出x=0.（使半范数值为0的元素不一定是0元素）。
诱导拓扑
线性空间上的一族半范数诱导出上
拓扑，的
子基为半范数开球。故的
子集U为
开集当且仅当对于U中每点都属于U所包含的半范数开球的有限交，即存在中p1,...,pn且ε1,...,εn>0满足。
性质
设p为半范数。
p(0)=0。
p(x1-x2)≥|p(x1)-p(x2)|。
相关概念
X上的半范数与X上的均衡、吸收、凸子集有着自然的联系。
定义2（拓扑线性空间）设X为实数域或复数域K上的线性空间，*是X上的
拓扑，如果
则称是X上的向量拓扑，称（X，*）为
拓扑线性空间。
在分析中起重要作用的是由一组满足分离公理的半范数来定义的局部凸拓扑线性空间。
定义3 对线性空间X中的非空子集S，
（3）称S为吸收集，指对任何，必存在ε>0 ，使得对 ，均有
注：由定义可见，任何均衡集和吸收集均包含0。
定理1 设p是线性空间X的一个半范数，c>0，集合 ，则S是X中的凸的均衡吸收子集。
证明：根据上述定义2（半范数的定义）可知，
i）对 ，有 ，故
即S为凸的；
ii）对 ，有 ，故 即S为均衡的；
iii）对 ， 时显然存在 ，使得 . 时取 （其中 为足够 小的正数），故 ，即S为均衡的；
综上所述，证得S是X中的凸的均衡吸收子集。
定义4 设S为线性空间X中的吸收凸子集，称X上的
泛函定理2 设S是线性空间X中的吸收凸子集，则S的闵可夫斯基泛函满足：
如果S还是均衡的，则p是X上的半范数。
证明：由闵可夫斯基泛函的定义，对 ，均有
因而由S的凸性可得 即 由闵可夫斯基泛函的定义，得 由 的任意性，得
对 是显然的。
当S均衡时，对任意的 ，若 ，由S的均衡性即得
从而， 由闵可夫斯基泛函的定义，
同样，又可得 ，因此
证毕。
局部凸空间
设 是X上的一族半范数， 记
又对 ，U是X的一个子集，记
在线性拓扑空间中，由于加法的连续性，当U为0的邻域时， 是x的邻域。
定理3 设 是X上的一族半范数，满足分离性，即对任何 ，存在 ，使得 ，则
（1）对 及 是X中的均衡吸收凸子集；
（2）由一切形如
的集合生成的拓扑为豪斯多夫空间（若拓扑空间中任意两个不同的点有互不相交的邻域，则称该拓扑空间满足 分离公理，也称该拓扑空间为豪斯多夫空间），以
（4）每个半范数均是连续的。
证明：（1）因为而任何有限个均衡吸收凸子集的交仍是均衡吸收凸子集，再利用定理1即可证。
（2）关于生成拓扑的
邻域基的结论是显然的，这里只证明豪斯多夫分离性。由于点x处的邻域基可由0点处的邻域基平移得到，所以，只需对 和 ，证明 必包含于互不相交的邻域中即可。
由半范数的族的分离性，可取 ，使 由拓扑的定义， 是 的邻域， 是 的邻域，今证 . 若不然，上式左端的交集中任取y，则必有 ，使 ，于是
矛盾。
（3）由（2）中所给邻域基的形式可知，对0的任一邻域U，总存在0的邻域V，使得U包含集合
再利用 得当 时，
所以，加法运算 在 是连续的。
设有数 和 对任意的一组 和 ，取
当
有
即
由此可知，数乘运算 在 是连续的。由此可知，按上述拓扑，X是
拓扑线性空间。
（4）由 得当 时，
即在任何点处连续。证毕。
定义5（局部凸空间）如果拓扑线性空间满足分离公理（若拓扑空间中任意两个不同的点有互不相交的邻域，则称该拓扑空间满足分离公理），而且X中任何包含0 的开集都包含一个均衡吸收的凸开集，则称X为局部凸的拓扑线性空间，简称为局部凸空间。
由上述定理2和定理3可以得到如下结论。
定理4 X是局部凸空间的充要条件是它由一族满足分离性的半范数族按定理3所述的方式拓扑化而得的拓扑线性空间。（实际上，这个半范数族即是由X的诸均衡吸收凸开集的闵可夫斯基泛函组成。）