$f: \mathbb{Z} \rightarrow \mathbb{Z}$ を $f(x) = x^2$ で定義し、$T_1 = \{x \in \mathbb{Z} \mid x^2 > 8\}$ とする。 (1) $f^{-1}(T_1^c)$ を求めよ。ここで、$T_1^c$は $T_1$ の補集合を表す。 (2) $(f^{-1}(T_1))^c$ を求めよ。ここで、$(f^{-1}(T_1))^c$ は $f^{-1}(T_1)$ の補集合を表す。

代数学集合写像逆写像補集合整数の性質
2025/8/6

1. 問題の内容

f:ZZf: \mathbb{Z} \rightarrow \mathbb{Z}f(x)=x2f(x) = x^2 で定義し、T1={xZx2>8}T_1 = \{x \in \mathbb{Z} \mid x^2 > 8\} とする。
(1) f1(T1c)f^{-1}(T_1^c) を求めよ。ここで、T1cT_1^cT1T_1 の補集合を表す。
(2) (f1(T1))c(f^{-1}(T_1))^c を求めよ。ここで、(f1(T1))c(f^{-1}(T_1))^cf1(T1)f^{-1}(T_1) の補集合を表す。

2. 解き方の手順

(1) まず、T1cT_1^c を求める。T1={xZx2>8}T_1 = \{x \in \mathbb{Z} \mid x^2 > 8\} なので、T1c={xZx28}T_1^c = \{x \in \mathbb{Z} \mid x^2 \leq 8\} である。
x28x^2 \leq 8 を満たす整数 xx は、2x2-2 \leq x \leq 2 の時、x=2,1,0,1,2x = -2, -1, 0, 1, 2を除く全ての整数である。 x=2,1,0,1,2x= -2, -1, 0, 1, 2 を除くと、xx2,1,0,1,2-2, -1, 0, 1, 2 に限定されるから、x=2,1,0,1,2x = -2, -1, 0, 1, 2のとき、x2=4,1,0,1,4x^2 = 4, 1, 0, 1, 4となり、88以下になる。従って、T1c={xZx28}={2,1,0,1,2}T_1^c = \{x \in \mathbb{Z} \mid x^2 \leq 8\} = \{-2, -1, 0, 1, 2\} である。
次に、f1(T1c)f^{-1}(T_1^c) を求める。f1(T1c)={xZf(x)T1c}={xZx2T1c}f^{-1}(T_1^c) = \{x \in \mathbb{Z} \mid f(x) \in T_1^c\} = \{x \in \mathbb{Z} \mid x^2 \in T_1^c\} である。
T1c={2,1,0,1,2}T_1^c = \{-2, -1, 0, 1, 2\} なので、f1(T1c)={xZx2{2,1,0,1,2}}f^{-1}(T_1^c) = \{x \in \mathbb{Z} \mid x^2 \in \{-2, -1, 0, 1, 2\}\} となる。
x2x^2 は非負なので、x2=2x^2 = -2x2=1x^2 = -1 となる整数 xx は存在しない。
x2=0x^2 = 0 となるのは x=0x = 0 のとき、x2=1x^2 = 1 となるのは x=±1x = \pm 1 のとき、x2=2x^2 = 2 となる整数 xx は存在しない。
したがって、f1(T1c)={xZx2=0 or x2=1}={0,1,1}={1,0,1}f^{-1}(T_1^c) = \{x \in \mathbb{Z} \mid x^2 = 0 \text{ or } x^2 = 1\} = \{0, -1, 1\} = \{-1, 0, 1\} となる。
(2) まず、f1(T1)f^{-1}(T_1) を求める。f1(T1)={xZf(x)T1}={xZx2>8}f^{-1}(T_1) = \{x \in \mathbb{Z} \mid f(x) \in T_1\} = \{x \in \mathbb{Z} \mid x^2 > 8\} である。
x2>8x^2 > 8 を満たす整数 xx は、x3x \geq 3 または x3x \leq -3 である。
したがって、f1(T1)={xZx3 or x3}f^{-1}(T_1) = \{x \in \mathbb{Z} \mid x \geq 3 \text{ or } x \leq -3\} である。
次に、(f1(T1))c(f^{-1}(T_1))^c を求める。これは、f1(T1)f^{-1}(T_1) の補集合なので、
(f1(T1))c={xZx28}={2,1,0,1,2}(f^{-1}(T_1))^c = \{x \in \mathbb{Z} \mid x^2 \leq 8\} = \{-2, -1, 0, 1, 2\} である。

3. 最終的な答え

(1) 正解:f1(T1c)={1,0,1}f^{-1}(T_1^c) = \{-1, 0, 1\}
その理由:T1c={xZx28}={2,1,0,1,2}T_1^c = \{x \in \mathbb{Z} \mid x^2 \leq 8\} = \{-2, -1, 0, 1, 2\} であり、f1(T1c)={xZx2T1c}f^{-1}(T_1^c) = \{x \in \mathbb{Z} \mid x^2 \in T_1^c\} を計算した結果。
(2) 正解:(f1(T1))c={2,1,0,1,2}(f^{-1}(T_1))^c = \{-2, -1, 0, 1, 2\}
その理由:f1(T1)={xZx2>8}f^{-1}(T_1) = \{x \in \mathbb{Z} \mid x^2 > 8\} であり、その補集合は (f1(T1))c={xZx28}(f^{-1}(T_1))^c = \{x \in \mathbb{Z} \mid x^2 \leq 8\} となるから。

「代数学」の関連問題