## 問題の回答
###
1. 問題の内容
集合 から集合 への写像 と、 の部分集合 および の部分集合 について、与えられた命題が成り立つことを示すか、反例を挙げる問題です。
###
2. 解き方の手順
それぞれの問題について以下のように解答します。
**(1) ならば **
これは正しいです。
証明:
とすると、ある が存在して となります。 であるから、 でもあり、したがって です。よって、 が成り立ちます。
**(2) だが とならない例を挙げよ**
とします。
このとき、 なので、 が成り立ちますが、 は成り立ちません。
**(3) **
これは正しいです。
証明:
とすると、ある が存在して となります。
または なので、 または です。
よって、 となり、 が成り立ちます。
逆に、 とすると、 または です。
ならば、ある が存在して となり、 であるから です。
ならば、ある が存在して となり、 であるから です。
よって、 が成り立ちます。
以上より、 が成り立ちます。
**(4) . また等号が成立しない例をあげよ**
は正しいです。
証明:
とすると、ある が存在して となります。
かつ なので、 かつ です。
よって、 となり、 が成り立ちます。
等号が成立しない例:
とします。
このとき、 なので です。
また、 なので、 です。
よって、 となります。
**(5) . また等号が成立しない例をあげよ。**
は正しいです。
証明:
とすると、 かつ です。
より、ある が存在して、 となります。
もし ならば、 となり、 に矛盾します。
したがって、、つまり です。
よって、 となり、 が成り立ちます。
等号が成立しない例:
とします。
このとき、, , , となります。
したがって、 であり、 なので、 となります。
**(6) ならば **
これは正しいです。
証明:
とすると、 です。
であるから、 でもあり、したがって です。
よって、 が成り立ちます。
**(7) だが とならない例を挙げよ**
とします。
このとき、 なので、 は成り立ちません。
また、 も成り立ちません。
正しい反例は以下の通りです:
とします。
このとき、 なので、 です。しかし です。
**(8) **
これは正しいです。
証明:
とすると、 です。
したがって、 または なので、 または です。
よって、 となり、 が成り立ちます。
逆に、 とすると、 または です。
ならば、 であり、 となるので、 です。
ならば、 であり、 となるので、 です。
よって、 が成り立ちます。
以上より、 が成り立ちます。
**(9) **
これは正しいです。
証明:
とすると、 です。
したがって、 かつ なので、 かつ です。
よって、 となり、 が成り立ちます。
逆に、 とすると、 かつ です。
ならば、 であり、 ならば、 です。
したがって、 かつ なので、 となり、 です。
よって、 が成り立ちます。
以上より、 が成り立ちます。
**(10) **
これは正しいです。
証明:
とすると、 です。
したがって、 なので、 です。
よって、 となり、 が成り立ちます。
逆に、 とすると、 です。
したがって、 なので、 となり、 です。
よって、 が成り立ちます。
以上より、 が成り立ちます。
**(11) . また等号が成立しない例をあげよ**
は正しいです。
証明:
とすると、 です。
したがって、 となり、 が成り立ちます。
等号が成立しない例:
とします。
このとき、 なので、 です。
したがって、 であり、 なので、 となります。
**(12) が単射ならば **
これは正しいです。
証明:
は常に成り立つので、 を示します。
とすると、 です。
したがって、ある が存在して となります。
が単射なので、 です。
よって、 となり、 が成り立ちます。
以上より、 が単射ならば が成り立ちます。
**(13) . また等号が成立しない例をあげよ**
は正しいです。
証明:
とすると、ある が存在して となります。
より、 なので、 です。
よって、 が成り立ちます。
等号が成立しない例:
とします。
このとき、 なので、 です。
したがって、 であり、 なので、 となります。
**(14) が全射ならば **
これは正しいです。
証明:
は常に成り立つので、 を示します。
とします。
が全射なので、ある が存在して となります。
なので、 です。
したがって、 となり、 が成り立ちます。
以上より、 が全射ならば が成り立ちます。
**(15) が全射ならば **
これは正しいです。
証明:
とすると、 です。
が全射なので、ある が存在して となります。
なので、、つまり です。
したがって、 となり、 が成り立ちます。
**(16) が単射ならば **
これは正しいです。
証明:
とすると、ある が存在して となります。
より、 です。
が単射なので、、つまり です。
したがって、 となり、 が成り立ちます。
**(17) が単射ならば **
これは正しいです。
証明:
は常に成り立つので、 を示します。
とすると、 かつ です。
したがって、ある と が存在して、 かつ となります。
よって、 です。
が単射なので、 です。
したがって、 なので、 となります。
よって、 が成り立ちます。
以上より、 が単射ならば が成り立ちます。
###
3. 最終的な答え
上記の解答を参照してください。各命題の真偽、証明、および反例はそれぞれの問題の解き方の手順に記載されています。