分配束

分配束

(サイエンス)
ぶんぱいそく

分配律として
  (x ∨ y) ∧ z = (x ∧ z) ∨ (y ∧ z)
 または
  (x ∧ y) ∨ z = (x ∨ z) ∧ (y ∨ z)
を満たすような束のこと。ブール代数でブール束を構築する際などに現れる。

ある束が分配束であるための必要十分条件は、右のハッセ図で表される束を部分束として持たないことである。

分配束はモジュラ束の性質を満たす。


*リスト:リスト::数学関連

新着ブログ: 分配束