格、有界格、分配格
分配格是一种组合构形,它是满足下述条件的格:对于格的任意元素x,y和z,均有x∧(y∨z)=(x∧y)∨(x∧z)。由于格中结运算和交运算的对称性,上述条件等价于x∨\lor∨(y∧\land∧z)=(x∨y)∧(x∨z),当L为分配格时,交运算对于结运算满足分配律,而且反之亦真。布尔格、除数格、理想格、链等均为分配格。根据定义,只要格运算、∨\vee∨、∧\wedge∧ 满足分配率,则称<A,≼\preccurlyeq≼>为分配格. arcsina\arcsin aarcsinaα\.
原创
2021-03-11 11:38:10 ·
6499 阅读 ·
3 评论