设E是实数域上的矢量空间,若向量格V作为格群是阿基米德格群,则称V是阿基米德向量格。
简介阿基米德向量格是一类重要的向量格。
设E是实数域上的矢量空间,若向量格V作为格群是阿基米德格群,则称V是阿基米德向量格。1
性质序极限如果存在,则必惟一,当,
序收敛时,有
当
时,如果由
可推出 x=0,则称 E是阿基米德的,则由
必蕴涵
向量格如果半序线性空间E中任何两个元都有上、下确界,则称E是里斯空间,此时E对⋀,⋁运算封闭,故也成为格序空间或向量格。
本词条内容贡献者为:
尹维龙 - 副教授 - 哈尔滨工业大学