potisan https://blog.hatena.ne.jp/potisan/ potisanのプログラミングメモ https://potisan-programming-memo.hatenablog.jp/ 数学 本題 集合の同一性について驚いたのでメモします。 関係式①：。 感覚的にはですが、上記は集合の同一の定義より成立します。 集合の同一の定義は「」です。部分集合の定義は「」なので、「」です。部分集合が「同一個数の元」という制限を含まないので、もも好きな数の元を持てます。なので上の関係式①が成り立ちます。 上記の性質を適用すると集合の元の個数にも次の関係式が成り立ちます。 関係式②： 何だか落ち着きませんが、上の関係式①が成り立つ以上は成り立たざるを得ません。この式を眺めていると「集合の元」の定義が気になってきますが、いったん忘れて平たい言葉で説明するなら集合の元の個数は「外延記法したときの異なる… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpotisan-programming-memo.hatenablog.jp%2Fentry%2F2024%2F08%2F18%2F072607" title="数学 集合の同一を満たす意外な関係式 - potisanのプログラミングメモ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2024-08-18 07:26:07 rich https://potisan-programming-memo.hatenablog.jp/entry/2024/08/18/072607 1.0 100%