写像 $f: X \to Y$ と、集合 $X$ の部分集合 $A$、集合 $Y$ の部分集合 $C$ について、以下の命題が正しければ証明し、正しくない場合は反例を挙げる。 (1) $f$ が全射ならば、$f^{-1}(f(A)) \subset A$. (2) $f$ が単射ならば、$f^{-1}(f(A)) \subset A$. (3) $f$ が全射ならば、$C \subset f(f^{-1}(C))$. (4) $f$ が単射ならば、$C \subset f(f^{-1}(C))$.

その他集合写像全射単射逆像命題
2025/6/3

1. 問題の内容

写像 f:XYf: X \to Y と、集合 XX の部分集合 AA、集合 YY の部分集合 CC について、以下の命題が正しければ証明し、正しくない場合は反例を挙げる。
(1) ff が全射ならば、f1(f(A))Af^{-1}(f(A)) \subset A.
(2) ff が単射ならば、f1(f(A))Af^{-1}(f(A)) \subset A.
(3) ff が全射ならば、Cf(f1(C))C \subset f(f^{-1}(C)).
(4) ff が単射ならば、Cf(f1(C))C \subset f(f^{-1}(C)).

2. 解き方の手順

(1) ff が全射ならば、f1(f(A))Af^{-1}(f(A)) \subset A.
これは正しくない。反例を挙げる。
X={1,2},Y={3}X = \{1, 2\}, Y = \{3\}, A={1}A = \{1\}. f(1)=f(2)=3f(1) = f(2) = 3.
このとき f(A)={3}f(A) = \{3\}, f1(f(A))=f1({3})={1,2}⊄{1}=Af^{-1}(f(A)) = f^{-1}(\{3\}) = \{1, 2\} \not\subset \{1\} = A.
(2) ff が単射ならば、f1(f(A))Af^{-1}(f(A)) \subset A.
これは正しくない。f1(f(A))Af^{-1}(f(A)) \supset A は常に成り立つ。
ff が単射のとき、f1(f(A))=Af^{-1}(f(A)) = A となる。
xAx \in A ならば f(x)f(A)f(x) \in f(A) であり、xf1(f(A))x \in f^{-1}(f(A)) となる。
逆に、xf1(f(A))x \in f^{-1}(f(A)) とすると f(x)f(A)f(x) \in f(A) となる。
f(x)=f(a)f(x) = f(a) となる aAa \in A が存在する。
ff は単射なので x=ax = a. よって xAx \in A.
したがって、f1(f(A))=AAf^{-1}(f(A)) = A \subset A.
f1(f(A))=Af^{-1}(f(A)) = A であるから f1(f(A))Af^{-1}(f(A)) \subset A は成り立つ。
(3) ff が全射ならば、Cf(f1(C))C \subset f(f^{-1}(C)).
ff が全射であることは関係なく、これは常に成り立つ。
yCy \in C とする。f1(C)f^{-1}(C)CC の逆像であるから、f1(C)={xXf(x)C}f^{-1}(C) = \{x \in X | f(x) \in C\}.
したがって f(f1(C))={f(x)xf1(C)}f(f^{-1}(C)) = \{f(x) | x \in f^{-1}(C)\}.
f1(C)f^{-1}(C) の定義から、yCy \in C ならば、xf1(C)x \in f^{-1}(C) が存在して f(x)=yf(x) = y.
したがって、yf(f1(C))y \in f(f^{-1}(C)). よって、Cf(f1(C))C \subset f(f^{-1}(C)).
(4) ff が単射ならば、Cf(f1(C))C \subset f(f^{-1}(C)).
(3) で示したように、Cf(f1(C))C \subset f(f^{-1}(C)) は、ff が単射であることは関係なく常に成り立つ。

3. 最終的な答え

(1) 反例:X={1,2},Y={3}X = \{1, 2\}, Y = \{3\}, A={1}A = \{1\}. f(1)=f(2)=3f(1) = f(2) = 3.
(2) 正しい。
(3) 正しい。
(4) 正しい。

「その他」の関連問題

加法定理を用いて、以下の値を求める問題です。 (1) $\sin 15^\circ$ (2) $\tan 75^\circ$ (3) $\cos \frac{\pi}{12}$

三角関数加法定理三角比
2025/7/18

実数 $a, b$ が与えられたとき、命題 $r(x): x > a \land x > b$ の否定 $\neg r(x)$ を求める問題です。選択肢の中から正しいものを選びます。

論理命題否定論理記号
2025/7/18

実数 $a, b$ に対して、命題 $r(x)$ を $r(x): x > a \Rightarrow x < b$ とする。この命題 $r(x)$ の対偶を求める。

論理命題対偶不等式
2025/7/18

$\sin \frac{4}{3}\pi$, $\cos \frac{13}{6}\pi$, $\tan (-\frac{7}{4}\pi)$ の値を求める問題です。

三角関数三角比角度変換単位円
2025/7/17

自然数 $n$ に関する条件 $P$ が全ての自然数について成り立つことを証明するために、数学的帰納法を用いる場合の手順を問う問題です。選択肢の中から適切なものを選び、空欄を埋めます。

数学的帰納法証明
2025/7/17

与えられた問題を以下のように分解します。 (1) 複素数の計算:$\frac{1-2i}{3+i}$ を計算して、簡単な形にしてください。 (2) 指数の計算:$3^{-1} \times 6^2 \...

複素数指数2進数計算
2025/7/17

数列 $\{a_n\}$ が与えられており、$a_n = (-1)^{n+1}$ である。

数列一般項漸化式
2025/7/17

$\cos\theta = -\frac{\sqrt{10}}{6}$ のとき、$\cos 2\theta$ の値を求める問題です。

三角関数加法定理cos2θ
2025/7/16

$\sin{\theta} = \frac{\sqrt{6}}{3}$、$\cos{\theta} = \frac{\sqrt{3}}{3}$ のとき、$\sin{2\theta}$ の値を求めよ。

三角関数倍角の公式計算
2025/7/16

$\sin \theta = \frac{\sqrt{35}}{6}$、$\cos \theta = \frac{1}{6}$ のとき、$\tan \theta$ の値を求めよ。

三角関数tansincos
2025/7/16