写像 $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) 正しい。

「その他」の関連問題

$n$ は正の整数とする。$n > 3$ のとき、不等式 $n! > 2^n$ が成り立つことを数学的帰納法を用いて示す。

数学的帰納法不等式階乗証明
2025/6/4

与えられた数式は $-\frac{13}{4}\pi$ です。この数式を単純化する必要はありません。与えられた式をそのまま答えれば良いです。

三角関数円周率数値計算
2025/6/4

問題は以下の2つです。 (1) $12^{22}$ は何桁の整数か。ただし、$log_{10}2 = 0.3010$, $log_{10}3 = 0.4771$ とする。 (2) $(\frac{3}...

対数桁数小数指数
2025/6/3

4人の男子と2人の女子が円形に並ぶとき、女子どうしが隣り合わない並び方は何通りあるか。

順列組み合わせ円順列場合の数数え上げ
2025/6/3

全体集合 $U = \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10\}$ の部分集合 $A = \{1, 3, 5, 7, 9\}$ と $B = \{4, 5, 6, 7\}$ が与...

集合集合演算補集合共通部分
2025/6/3

集合 $A = \{2, 4, 6, 8, 10\}$ と集合 $B = \{2n \mid n=1, 2, 3, 4, 5\}$ が与えられている。$A$ と $B$ の関係として最も適切なものを、...

集合集合の相等
2025/6/3

与えられた集合 $\{1, 2\}$ について考察します。特に計算が必要な問題ではありません。

集合集合論要素表記
2025/6/3

マグネシウム ($Mg$) 42g の物質量を求めよ。ただし、マグネシウムのモル質量は24g/molとする。

化学物質量モル質量
2025/6/3

アルミニウム $Al$ 5.4gが何molであるかを求める問題です。

化学物質量mol計算原子量
2025/6/3

窒素原子Nが$3.0 \times 10^{23}$個あるとき、何molの窒素分子N2ができるかを求める問題です。

化学計算物質量アボガドロ定数近似計算
2025/6/3