跳转到内容

有界格

维基百科,自由的百科全书

这是本页的一个历史版本,由Kilva留言 | 贡献2008年2月13日 (三) 09:41编辑。这可能和当前版本存在着巨大的差异。

是一个,若存在,使得对于所有的,则称全下界;若存在,使得对于所有的,则称全上界

可以证明,若格存在全上界或全下界,一定是唯一的。一般将格的全上界记作 1,全下界记作 0。(注意这里的 0,1 只是两个特殊的符号,和自然数 0,1 不同)

是一个,若存在全上界和全下界,则称有界格,记作

是一个有界格,则对于所有的,有




参见