Let X be a real linear spaces, Pa family of separated seminorms on X ,(X,T_P) a locallyconvex space generated by P,(X,P) a dual.

• 设X是一个实线性空间，P是X上的一可分离的半范数族，(X，T_P)表示由P生成的局部凸空间。 (X，P)为一个偶对。