强桶空间的特征性质

摘要

强弱拓扑一致的Ｈａｕｓｄｏｒｆ局部凸线性拓扑空间叫做强桶空间．给出了强桶空间的对偶特征，局部特征，整体特征和非线性刻划．利用这些特征得到了强桶空间的基本性质．设Ｘ是Ｈａｕｓｄｏｒｆ的局部凸线性拓扑空间，则下列条件等价：（１）Ｘ是强桶空间；（２）Ｘ′的每个σ（Ｘ′，Ｘ）有界集都是有限维的；（３）Ｘ的每个桶都是含有限余维子空间的零点邻域；（４）Ｘ上的每个下半连续半范数都是在某相应的有限余维子空间上为零的连续半范数；（５）Ｘ上的每个下半连续凸函数都在某相应的含有限余维子空间的零点邻域上上方有界．此外，强桶空间是桶空间；任意多个强桶空间的乘积是强桶空间；强桶空间的分离商空间是强桶空间；