跳转到内容

有界格:修订间差异

维基百科,自由的百科全书
删除的内容 添加的内容
无编辑摘要
Ochbot留言 | 贡献
机器人:标点符号标准化(程序版本:1.02)
第1行: 第1行:
设<math>(L, \vee, \wedge)</math>是一个[[格 (数学)|格]],若存在<math>a \in L</math>,使得对于所有的<math>x \in L</math>有<math>a \leq x</math>,则称<math>a</math>为<math>L</math>的'''全下界''';若存在<math>b \in L</math>,使得对于所有的<math>x \in L</math>有<math>x \leq b</math>,则称<math>b</math>为<math>L</math>的'''全上界'''。
设<math>(L, \vee, \wedge)</math>是一个[[格 (数学)|格]],若存在<math>a \in L</math>,使得对于所有的<math>x \in L</math>有<math>a \leq x</math>,则称<math>a</math>为<math>L</math>的'''全下界''';若存在<math>b \in L</math>,使得对于所有的<math>x \in L</math>有<math>x \leq b</math>,则称<math>b</math>为<math>L</math>的'''全上界'''。


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


设<math>(L, \vee, \wedge)</math>是一个[[格 (数学)|格]],若<math>L</math>存在全上界和全下界,则称<math>L</math>为'''有界格''',记作<math>(L, \vee, \wedge, 0, 1)</math>。
设<math>(L, \vee, \wedge)</math>是一个[[格 (数学)|格]],若<math>L</math>存在全上界和全下界,则称<math>L</math>为'''有界格''',记作<math>(L, \vee, \wedge, 0, 1)</math>。

2009年2月17日 (二) 17:55的版本

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

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

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

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




参见