スマートフォン用の表示で見る

分配束

サイエンス

分配束

ぶんぱいそく

分配律として

  (x ∨ y) ∧ z = (x ∧ z) ∨ (y ∧ z)

 または

  (x ∧ y) ∨ z = (x ∨ z) ∧ (y ∨ z)

を満たすような束のこと。ブール代数でブール束を構築する際などに現れる。

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

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


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