直観主義論理の入り口~Heyting 代数~(その 1)
半年ぶりの記事です. 今回は, 数回にわたって Heyting 代数について書きたいと思います.
半順序集合と束
半順序集合から束
を半順序集合とします. すなわち について
- (反射律)*1
- (反対称律)
- (推移律)
が成り立つものとします.
について
を満たす が存在するとき, これを と書き, と の交わり(join)と言います. このような元は, 常に存在するとは限りませんが, 存在すれば一意であることは明らかです.
同様に について
を満たす が存在するとき, これを と書き, と の結び(meet)と言います.
任意の に対して, 常に と が存在するとき, は束(lattice)であると言います.*2
束の結びと交わりについて, 以下の法則が成り立ちます.
- (交換法則)
- (結合法則)
- (吸収法則)
これらのうち吸収法則が成り立つことについては少し難しいと思いますので, 片方だけ証明します.
定義から は明らかです. また が成り立つので も成り立ちます. よって反対称律により
これに以下の冪等法則を加えているケースもあります.
しかしこれは
のように吸収法則を 2 回使えば証明できるので必須ではありません.
束から半順序集合
集合 と, 上の演算 の組 が, 上記の交換法則, 結合法則および吸収法則を満たすとき, やはり は束であると言います.
このとき, 上の関係 を で定義すると は半順序集合になります. 試しに推移律を示すと
故, 定義により
ちなみに
で, 逆も成り立つので, 関係 の定義は
で置き換えても同じです.
しかも, このようにして作った順序から作った束は元の束と一致します. したがって, 束とは半順序集合を含む真に強い概念であると言えます.