直観主義論理の入り口~Heyting 代数~(その 2)
有界束と完備束
有界束
束 は自然な方法で半順序集合とみなせることは前回分かりました. そうなると最小元や最大元は存在するのか, は自然な興味の対象になりますし, 当然ながら常に存在するとは限りません.
最小元と最大元がともに存在する束を有界束と言います. 束の場合は最小元は で, 最大元は で表すのが習わしです. 最小元と最大元については以下が成り立ちます.
証明はいずれも簡単なので省略します. 逆に代数的に定義した束 で, 上記の性質を満たす と があれば, が最小元, が最大元になります.
ちなみに最小元も最大元も存在すれば順序の意味では当然一意に定まりますが, 例えば の他に で を満たすものがあったとすれば
となり, そのような元は代数的にも一意に定まります.
さて, の空でない任意の有限部分集合 については交わりと結び
が自然に定義できます( のときは と約束する). なおかつ の空でない有限部分集合 については
が成り立つのですが, 仮に とすると
という式が出てきます.
気分としては は
を満たすようなものですから, 記号論理の知識がある人ならこれは
を満たすものでなければならないことがわかるでしょう. つまり は の最小元でなければならないのです. 同様に なるものが存在すれば, それは最大元でなければならないはずです. そこで, 有界束においては
とすることで上記の式の整合性が保たれます. 逆に空集合も含めた任意の有限部分集合に交わりと結びが存在するような束は有界束となります.
完備束
ここまでは有限部分集合のみに話を絞っていましたが, 有限とは限らない一般の の部分集合 に対して (交わり)であるということを
を満たすものとして定義します. 順序集合的に言えば ということです. 結びの定義も同様で, 順序集合的には になります.
もちろん, どちらも一般的には存在しないのですが, これが必ず存在するような束を完備束と言います. 完備束 には明らかに最小元 と最大元 が存在するので, 完備束は常に有界束です.
実は完備束においては, 「交わりと最小元」か「結びと最大元」のどちらか一方の存在を仮定すれば, もう一方が定義できます. 例えば交わりと最小元が常に存在するとして, 結びは
*1
で定義します. この式の右辺を と置くとき, 任意の に対して なので が導かれます. *2