有界格
有界格
设formula_1是一个格，若存在formula_2，使得对于所有的formula_3有formula_4，则称formula_5为formula_6的全下界；若存在formula_7，使得对于所有的formula_3有formula_9，则称formula_10为formula_6的全上界。
可以证明，若格formula_6存在全上界或全下界，一定是唯一的。一般将格的全上界记作1，全下界记作0。（注意这里的0,1只是两个特殊的符号，和自然数0,1不同）
设formula_1是一个格，若formula_6存在全上界和全下界，则称formula_6为有界格，记作formula_16。
设formula_16是一个有界格，则对于所有的formula_2，有
formula_19
formula_20
formula_21
formula_22
本站由爱斯园团队开发维护，感谢那些提出宝贵意见和打赏的网友，没有你们的支持，网站不可能发展到今天，
继往开来，善终如始，我们将继续砥砺前行。
Copyright ©2014 iissy.com, All Rights Reserved.