有界格：修订间差异

删除的内容添加的内容

行内

2015年10月31日 (六) 01:08的最新版本

设 $(L,\vee ,\wedge )$ 是一个格，若存在 $a\in L$ ，使得对于所有的 $x\in L$ 有 $a\leq x$ ，则称 $a$ 为 $L$ 的全下界；若存在 $b\in L$ ，使得对于所有的 $x\in L$ 有 $x\leq b$ ，则称 $b$ 为 $L$ 的全上界。

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

设 $(L,\vee ,\wedge )$ 是一个格，若 $L$ 存在全上界和全下界，则称 $L$ 为有界格，记作 $(L,\vee ,\wedge ,0,1)$ 。

设 $(L,\vee ,\wedge ,0,1)$ 是一个有界格，则对于所有的 $a\in L$ ，有

a\vee 0=a

a\wedge 0=0

a\vee 1=1

a\wedge 1=a

参见

@@ 第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>。
 设<math>(L, \vee, \wedge, 0, 1)</math>是一个有界格，则对于所有的<math>a \in L</math>，有
@@ 第12行： / 第12行： @@
 :<math>a \wedge 1 = a</math>
-=== 参见 ===
+== 参见 ==
 * [[格 (数学)|格]]
@@ 第19行： / 第19行： @@
 * [[布尔代数]]
-[[Category:抽象代数]]
+[[Category:格理论|I]]