补充资料：全集

全集
total set

　　全集【total就:TOTa几研oe Moo袱eeTao] 向量空间(vector印ace)E上分离E中点的线性泛函的一个集合万，即使得对任意非零向量x任E存在f〔艺使f(x)护0.B.H.几。M、ocoB撰【补注】在上述意义下的全集也可以更确切地称为线性泛函的全集(total sctof五11ear丘川ctlonals)，〔AI]. 更一般地，当T是一拓扑向量空间时，集合MC=T称为全集或基本集(几m由nrlltalset)，如果M的线性张在T中稠.如果E的代数对偶E’上给予弱拓扑(weak topolo群)(因而E’二fl。。月天，如果犬是基域且{。二::‘A}是E的一个代数基)，则对集合艺C=E‘这两个定义是一致的
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。