computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 集合の計算 続いて「エレファントな整数論(20)」(の前半)の議論について考えます。 集合と写像 、 のとき が成り立ちます。、、 とします。、 について以下のことが成り立ちます(これらは上記の記法では 、 となり、以下このように書くこともあります)。 上記の の場合の結果から以下のことが成り立ちます。 まず、集合の演算の定義から以下のことが成り立ちます。 よって (1') (2') (3') (4') が成り立ちます。、 の部分集合系 、 の部分集合系 に対して集合の演算の定義から以下が成り立ちます。 よって (5') (6') (7') (8') が成り立ちます。ここで再び の場合を考えると が成り立… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2023%2F02%2F11%2F151244" title="集合の計算(2) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/41wNdIpkBWL._SL500_.jpg Hatena Blog https://hatena.blog 2023-02-11 15:12:44 rich https://computeralgebra.hatenablog.com/entry/2023/02/11/151244 1.0 100%