tanakai0 https://blog.hatena.ne.jp/tanakai0/ tanakai0のブログ https://tanakai0.hatenablog.jp/ 印象に残った問題のメモ 文献 [1] に載っていた問題：ナイスな集合を、そのすべての真部分集合がナイスであることと定義する。すべての有限集合はナイスである！ 少し文言を変えてみた問題：バッドな集合を、その真部分集合としてバッドな集合が存在することと定義する。すべての有限集合はバッドでない。 これらの問題の肝となるのは、空虚な真の扱いである。この場合、要素数0の空集合はナイスな集合となり、任意の要素数の集合がナイスであることは数学的帰納法で証明できる。他の証明方法としては、背理法を用い、ナイスでない集合の中で要素数が最小の集合の存在を仮定して矛盾を導くこともできる． この問題におけるナイスやバッ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftanakai0.hatenablog.jp%2Fentry%2F2026%2F01%2F14%2F063420" title="ナイスな集合、バッドな集合 - tanakai0のブログ" 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 2026-01-14 06:34:20 rich https://tanakai0.hatenablog.jp/entry/2026/01/14/063420 1.0 100%