1から49までの自然数全体の集合を全体集合 $U$ とします。 $U$ の要素のうち、50との最大公約数が1より大きいもの全体の集合を $V$ とします。 $U$ の要素のうち、偶数であるもの全体の集合を $W$ とします。 $A$ と $B$ は $U$ の部分集合であり、次の条件を満たします。 (i) $A \cup \overline{B} = V$ (ii) $\overline{A} \cap \overline{B} = W$ このとき、集合 $A$ の要素をすべて求めます。
2025/7/22
1. 問題の内容
1から49までの自然数全体の集合を全体集合 とします。
の要素のうち、50との最大公約数が1より大きいもの全体の集合を とします。
の要素のうち、偶数であるもの全体の集合を とします。
と は の部分集合であり、次の条件を満たします。
(i)
(ii)
このとき、集合 の要素をすべて求めます。
2. 解き方の手順
まず、 を具体的に求めます。
50を素因数分解すると なので、 は の中で 2または5を素因数に持つ要素の集合です。
条件(i) より、 です。
条件(ii) より、 であるため、 となります。
は奇数の集合なので、です。
また、 を変形すると、ド・モルガンの法則より、 なので、 となります。
より、
より、 です。
ここで、 です。
より、 は偶数であるため、 も も奇数を含む必要があります。
より、 は の部分集合ではありません。
より、 です。
条件(ii)より、 に含まれない奇数は全て に含まれます。
条件(i)より、 に含まれない偶数は全て に含まれます。つまり、 には含まれません。
したがって、 に含まれない要素は、偶数(に含まれない)または奇数(に含まれる)です。
より、 と は奇数のみを含む集合で、 に含まれない奇数は に含まれます。
より、 に含まれる偶数、および、 に含まれる偶数は存在しないため、 に含まれない偶数は に含まれることになります。
しかし、 より、 に含まれない偶数は に含まれる必要があります。
であり、 であることを利用します。
と分解します。
なので、 です。つまり、 と には奇数しか含まれません。
しかし、 なので、 に奇数しか含まれない場合、 は から奇数を除いた集合となります。