离散b数学13.pptVIP

例13.13 对任意的 x∈S， 令 y＝(a∨x?)∧b (下面证明y为x得补元。) 由于 a≤a∨x?，a≤b， 故 a≤(a∨x?)∧b。 同时(a∨x?)∧b≤b， 因此 y∈S。 又 x∨y ＝ x∨((a∨x?)∧b) ＝ x∨((a∧b)∨(x?∧b)) (分配律) ＝ x∨a∨(x?∧b) (a＜b) ＝ x∨(x?∧b) (a≤x) ＝ (x∨x?)∧(x∨b) (分配律) ＝ 1∧(x∨b) (补元律) ＝ x∨b (交换律，同一律) ＝ b (x≤b) 例13.13 x∧y ＝ x∧((a∨x?)∧b) ＝ x∧(a∨x?) (x≤b,交换律) ＝ (x∧a)∨(x∧x?) (分配律) ＝ (x∧a)∨0 (补元律) ＝ x∧a (同一律) ＝ a (a≤x) 根据定义13.13，S,∧,∨构成布尔代数。 其全上界是a，全下界是b。 ?x∈[a,b]，x关于这个全上界和全下界的补元是(a∨x?)∧b。 当a＝0且b＝1时，[a,b]是B的子布尔代数。 但当a≠0或b≠1时，[a,b]不是B的子布尔代数。 例13.14 考虑110的正因子集合S110关