樹代數

樹代數(tree algebra)一種特殊的布爾代數.

基本介紹

  • 中文名:樹代數
  • 外文名:tree algebra
介紹
一個偏序集T,簇T>是一棵樹,如果每一個tET,集合pred(t)= {xET }x<Tt是由<二決定的一個良序集合.設(T,鎮)是一棵樹,對每一個tET,令bt={sE7'}ts;由{{b,}tET}生成的T上的集合代數B稱為T的樹代數.其中b,稱為BT的典範生成元.可以證明:每個樹代數可嵌人到一個區間代數.特別地,每個樹代數是收縮的.樹代數是20世紀80年代初由布列納(Brenner,G.)引進,用來提供具有悖論性質的布爾代數.

相關詞條

熱門詞條

聯絡我們