离散数学6-4.pptVIP

定义1：一个有补分配格称为布尔格。 例： P(S), ?是一个布尔格。 定义2：设A,∨,∧, - 是由布尔格A, ≤所诱导的代数系统，则称A,∨,∧, - 是布尔代数；若A有限，则称A,∨,∧, - 是有限布尔代数。（其中“-”是补运算，即求补元的运算） 如P(S), ?诱导的代数系统P(S), ?,?,~ 定义3：设A,∨,∧, - 和B,∨,∧, - 是两个布尔代数，如果存在A到B的双射f，对于?a,b?A，有 f (a∨b) = f (a) ∨ f (b) f (a∧b) = f (a) ∧ f (b) f ( a ) = f (a)则称A,∨,∧, - 和B,∨,∧, - 同构。 定义4：设A, ≤是格，且具有全下界0，如果元素a盖住0，则称元素a为原子。 例：右图中 d、e是原子 定理2：设A, ≤是一个具有全下界0的有限格，则对于任何一个非零元素b，至少存在一个原子a，使得a≤ b。 证明：若b本身就是一个原子，则b ≤ b，得证。 若b不是原子，则存在b1，使得0 ≤ b1 ≤ b， 若b1是原子，则定理得证； 否则，必存在b2，使得0 ≤b2 ≤b1 ≤b ∵A, ≤是一个有全下界的有限格， ∴通过有限的步骤，总可找到一个原子bi，使得 0 ≤ bi ≤ ... ≤ b2 ≤ b1 ≤ b， 它是A, ≤中的一条链，其中bi是原子，且bi ≤ b。 引理1：在一个布尔格中，b ∧ c = 0 当且仅当 b ≤ c。 证明：(1) 若b∧c = 0 ∵0∨c = c ∴ (b∧c) ∨ c = c (b ∨ c) ∧( c ∨ c) = c (b ∨ c) ∧1 = c，即 b ∨ c = c ∴ b ≤ c (2) 若b ≤ c，则 b = b∧c b∧c = ( b∧c ) ∧c = b∧( c ∧ c ) = b∧0 = 0 引理2：设A,∨,∧, - 是一个有限布尔代数，若b是A中任意非零元素，a1,a2,……,ak是A中满足 a j ≤b的所有原子( j = 1,2,…,k)，则 b = a1∨a2∨... ∨ak，且这是将 b 表示为原子的并的唯一形式。 证明：记a1∨a2∨... ∨ak =c,∵ a j ≤b ( j = 1,2,…,k)，∴c≤b 设b∧c ≠0，由定理2，必有一个原子a，使得a ≤ b∧c ∵ b∧c ≤b，b∧c ≤c，由传递性得 a ≤b，a ≤c， ∵ a ≤b且a是原子，由已知得a必是 a1,a2,……,ak中的一个， ∴a ≤c ， 又∵a≤c， ∴a ≤c∧c，即 a ≤0， 这与a是原子相矛盾， ∴假设错 ∴b∧c = 0，由引理1得： b≤c ∴b=c，即：b= a1∨a2∨... ∨ak 证明(续)：设b的另一种表示形式为 b = aj1∨aj2∨... ∨ajt其中aj1,aj2,……,ajt是A中原子。 ∵b是 aj1,aj2,……,ajt 的最小上界，∴有aj1≤b, aj2≤b,…,ajt≤b 而a1,a2,……,ak是A中满足 a j ≤b的所有原子，∴有 t ≤k。 (下面证 t k 是不可能的) 若 t k，则在 a1,a2,……,ak中必有aj0且 aj0≠ ajL (1 ≤L ≤t) aj0∧b= aj0∧(aj1∨aj2∨... ∨ajt)= aj0∧(a1∨a2∨... ∨ak) (aj0∧aj1) ∨ (aj0∧aj2) ∨ …... ∨(aj0∧ajt) = (aj0∧a1) ∨(aj0∧a2) ∨ …... ∨(aj0∧aj0) ∨ …... ∨(aj0∧ak) ∵等式左边各项全零，右边除(aj0∧aj0)=aj0外，其它项全零 ∴ 0 = aj0 ，与aj0是原子矛盾， ∴只能有 t = k ∴ b 表示为原子并的形式只能是 b = a1∨a2∨... ∨ak 引理3：在一个布尔格A, ≤中，对A中的任意一个原子a和另一个非零元素b，a≤b和a≤b两式中有且仅有一个成立。 证明：(1) 证两式不能同时成立 若两式同时成立，即a≤b且a≤ b ， 则有a≤b∧b=0，与a是原子矛盾。 (2)证两式中总有一个成立 ∵ a∧b ≤ a，而a是原子， ∴只可能有 a∧b = 0 或 a∧b = a （不可能有a∧b=c，否则将有c≤a，与a是原子矛盾） 若a∧b = 0，则 a∧( b ) = 0，由引理1得：a≤b 若a∧b = a，则a≤b 定理3 ( Stone表示定理 ) ： 设A,∨,∧, - 是由有限布尔格A, ≤所诱导的一个有限布尔代数，S是布尔格A, ≤中的所有原子的集合，则 A,∨,∧, - 和 P(S),