直観主義論理の入り口~Heyting 代数~(その 6)
前回まで束に関する一般的な性質を見てきましたが, 今回からいよいよ Heyting 代数の話をします.
Heyting 代数の定義
は有界束とします. このとき が Heyting 代数であるとは, が圏*1として冪を持つことを言います. すなわち函手
が右随伴函手
を持つことを言います.
このとき, 圏の一般論から が余極限を保つこと, 特に
が成り立つので, は分配束であることが分かります.
に関しては
かつ
で特徴づけることができます. つまり圏の言葉を使わずに定義するならば, 有界束 は
に常に最大元が存在するときに Heyting 代数であるといい, のことを と書きます. これを の に対する相対擬補元と言います.
特に の に対する相対擬補元 を単に擬補元と言い, と書きます.
Boole 代数
Heyting 代数の性質を細かく見る前に, Heyting 代数より真に強い概念*2である Boole 代数について見ていきたいと思います.
相補律
有界束 が相補律を満たすとは, 任意の に対して
を満たす が存在することを言います. このとき は の補元であると言います. 一般には補元は一意ではありません. 相補律は自己双対な概念です.
Boole 代数
有界束 が分配束でかつ相補律を満たすとき, は Boole 代数(もしくは Boole 束)であると言います. Boole 代数においては, がともに の補元ならば
が成り立ち, 同様に も示せますので, が成り立ちます. すなわち, 補元は一意に決まります. したがって, Boole 代数では の補元を と書くのが習わしです.
の補元の一意性から が成り立ちます. つまりある元を補元に移すという写像は対合になっています.
de Morgan の法則
は de Morgan の法則として有名です. 証明は
もう一方はその双対です.
ならば なので de Morgan の法則により
が成り立つので が成り立ちます. つまり, 補元を取るという操作は順序を逆にします.
直交相補束
有限次元ベクトル空間 の部分空間の全体は有界束になります. と を部分空間とするとき, 結びは , 交わりは になります.
が の補元であることは と表せますが, 一般に補元は一意でないことは次のような例を考えるとわかります.
とおくと, 明らかに ですが, 一方で任意の は
と表すことができ, また なので も成り立ちます.
しかし, に内積を与えたとき, に対して
とおけば
が成り立ちます.
このことを一般化して, 有界束 について が
を満たしているとき, を直交相補束と言います. 一般に有界束 の直交相補束としての構造は複数入る可能性があります(上記の例では, 内積の取り方によって異なる直交相補束としての構造が考えられる).
直交相補束においては
であり, ならば だから であり, よって であるから が成り立ちます. 同様に も成り立ちます(de Morgan の法則).
Boole 代数は明らかに直交相補束です.