前回の議論を の場合について考えます。
、、 のとき
と定義します。定義より 、、、 に対して
が成り立ちます。
、、、、、、、、 とするとき
となって
が成り立ちます。
( が写像)のときは
であることから
となるので
が成り立ちます。
が の部分集合()、 が に関する条件のとき、 を と書くことにします。
前回の (1) から (8) までを書き直します。
、、、、、 の部分集合系 、 の部分集合系 に対して以下が成り立ちます。
(1)
[証明]
[証明終わり]
(2)
[証明]
[証明終わり]
(3)
[証明]
[証明終わり]
(4)
[証明]
[証明終わり]
(5)
[証明]
[証明終わり]
(6)
[証明]
[証明終わり]
(7)
[証明]
[証明終わり]
(8)
[証明]
[証明終わり]