前回の議論を の場合について考えます。、、 のとき と定義します。定義より 、、、 に対して が成り立ちます。、、、、、、、、 とするとき となって が成り立ちます。 ( が写像)のときは であることから となるので が成り立ちます。 が の部分集合()、 が…

前回と同様、いったん 、、、 のとき が成り立つとします。、、、、 のとき が成り立つとします。この方針で (1) から (8) までの証明を書き直します。、、、、、 の部分集合系 、 の部分集合系 に対して以下が成り立ちます。 (1) [証明] [証明終わり] (2) […