写像 $f: X \rightarrow Y$ と、$X$ の部分集合 $B, C$、$Y$ の部分集合 $C, D$ について、以下の2つの命題が成り立つことを示す問題です。 (1) $C \subset D \Rightarrow f^{-1}(C) \subset f^{-1}(D)$ (2) $f^{-1}(C \cap D) = f^{-1}(C) \cap f^{-1}(D)$

その他集合論写像逆像命題証明
2025/7/9

1. 問題の内容

写像 f:XYf: X \rightarrow Y と、XX の部分集合 B,CB, CYY の部分集合 C,DC, D について、以下の2つの命題が成り立つことを示す問題です。
(1) CDf1(C)f1(D)C \subset D \Rightarrow f^{-1}(C) \subset f^{-1}(D)
(2) f1(CD)=f1(C)f1(D)f^{-1}(C \cap D) = f^{-1}(C) \cap f^{-1}(D)

2. 解き方の手順

(1)
CDC \subset D を仮定します。このとき、xf1(C)x \in f^{-1}(C) を任意にとると、f(x)Cf(x) \in C が成り立ちます。
CDC \subset D より、f(x)Df(x) \in D も成り立ちます。
したがって、xf1(D)x \in f^{-1}(D) となります。
よって、f1(C)f1(D)f^{-1}(C) \subset f^{-1}(D) が示されました。
(2)
xf1(CD)x \in f^{-1}(C \cap D) と仮定すると、f(x)CDf(x) \in C \cap D が成り立ちます。
これは、f(x)Cf(x) \in C かつ f(x)Df(x) \in D を意味します。
したがって、xf1(C)x \in f^{-1}(C) かつ xf1(D)x \in f^{-1}(D) となり、xf1(C)f1(D)x \in f^{-1}(C) \cap f^{-1}(D) が成り立ちます。
よって、f1(CD)f1(C)f1(D)f^{-1}(C \cap D) \subset f^{-1}(C) \cap f^{-1}(D) が示されました。
次に、xf1(C)f1(D)x \in f^{-1}(C) \cap f^{-1}(D) と仮定すると、xf1(C)x \in f^{-1}(C) かつ xf1(D)x \in f^{-1}(D) が成り立ちます。
これは、f(x)Cf(x) \in C かつ f(x)Df(x) \in D を意味します。
したがって、f(x)CDf(x) \in C \cap D となり、xf1(CD)x \in f^{-1}(C \cap D) が成り立ちます。
よって、f1(C)f1(D)f1(CD)f^{-1}(C) \cap f^{-1}(D) \subset f^{-1}(C \cap D) が示されました。
以上より、f1(CD)=f1(C)f1(D)f^{-1}(C \cap D) = f^{-1}(C) \cap f^{-1}(D) が示されました。

3. 最終的な答え

(1) CDf1(C)f1(D)C \subset D \Rightarrow f^{-1}(C) \subset f^{-1}(D)
(2) f1(CD)=f1(C)f1(D)f^{-1}(C \cap D) = f^{-1}(C) \cap f^{-1}(D)

「その他」の関連問題

従業員数が異なるP, Q, R, Sの4社について、P社はQ社より従業員が多く、R社はS社より従業員が多い。このとき、従業員の多い順に4社を並べると、考えられる順番の組み合わせは何通りあるかを求める問...

順列組み合わせ不等式論理
2025/7/15

(1) 等式 $(1 - \tan^2\theta)\cos^2\theta + 2\sin^2\theta = 1$ を証明する。 (2) $\tan\theta = 3$ のとき、$\frac{1...

三角関数恒等式tansincossec証明計算
2025/7/15

(1) $a \neq 1$ または $b \neq 3$ ならば、$4a-b \neq 1$ または $2a+b \neq 5$ であることを証明する問題です。証明は、対偶をとり、連立方程式を解くこ...

命題証明対偶背理法無理数有理数連立方程式
2025/7/15

与えられた4つの命題の真偽を判定する問題です。選択肢は「ア.真」と「イ.偽」です。

命題真偽判定論理数学的証明
2025/7/15

加法定理を用いて、$sin 75^\circ$ の値を求める問題です。

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

(1) 炭素12($^{12}C$)原子1個の質量が$2.0 \times 10^{-23}$ gであるとき、塩素35($^{35}Cl$)原子1個の質量が$5.8 \times 10^{-23}$ ...

計算有効数字化学
2025/7/14

写像 $f: X \rightarrow Y$ に対して、(1) $f$ の逆像 と (2) $f$ の逆写像 の定義を述べる。

写像逆像逆写像集合論全単射
2025/7/14

写像 $f: X \rightarrow Y$ と $g: Y \rightarrow Z$ に対して、以下の4つの命題が真であるか偽であるかを判定し、真ならば証明し、偽ならば反例を挙げてください。 ...

写像全射単射合成写像命題集合論写像の性質
2025/7/14

問9: (1) 36gのグルコース ($C_6H_{12}O_6$) を水に溶かして100mLとした水溶液のモル濃度を求めます。 (2) 2.00 mol/L の塩酸200mL中に含まれる塩化水素 (...

モル濃度質量パーセント濃度溶液化学計算
2025/7/13

常用対数表を用いて、$\log_{10} 0.000226$ の値を小数第4位まで求めよ。

対数常用対数対数計算
2025/7/13