对于定向元列{xδ|δ∈△},若存在单调元列{uδ|δ∈△}满足|xδ-x|≤uδ,且∧uδ=0 ,则称 x 为{xδ|δ∈△}的序极限。
简介上确界设 E 是里斯空间,对于 E 中的一族元 ,若存在 x,使
,则称 x 为
的上界。
的上界中最小者称为
的上确界。用
或
表示。类似地,可定义
的下确界。1
定义对于定向元列 ,若存在单调元列
满足
,且
,则称
序收敛于 x ,又称 x 为
的序极限,记为
性质序极限如果存在,则必惟一,当 ,
序收敛时,有
当
时,如果由
可推出 x=0,则称 E是阿基米德的,则由
必蕴涵
本词条内容贡献者为:
武伟 - 高级工程师 - 天津直升机有限责任公司