与えられた集合 $X$, $Y$ と写像 $f: X \rightarrow Y$ に対して、その写像が全射か単射かを判定し、理由を述べる。もし全単射であれば、逆写像を求める。

代数学写像単射全射全単射逆写像関数
2025/7/16

1. 問題の内容

与えられた集合 XX, YY と写像 f:XYf: X \rightarrow Y に対して、その写像が全射か単射かを判定し、理由を述べる。もし全単射であれば、逆写像を求める。

2. 解き方の手順

(1) X=RX = \mathbb{R}, Y=(0,)Y = (0, \infty), f(x)=e2x3f(x) = e^{2x-3}
* 単射性: f(x1)=f(x2)f(x_1) = f(x_2) と仮定すると、e2x13=e2x23e^{2x_1-3} = e^{2x_2-3}. 指数関数は単射なので、2x13=2x232x_1 - 3 = 2x_2 - 3, よって x1=x2x_1 = x_2. したがって、ff は単射。
* 全射性: 任意の y(0,)y \in (0, \infty) に対して、f(x)=yf(x) = y となる xRx \in \mathbb{R} が存在するかを調べる。e2x3=ye^{2x-3} = y を解くと、2x3=lny2x - 3 = \ln y, 2x=lny+32x = \ln y + 3, x=lny+32x = \frac{\ln y + 3}{2}. xx は実数なので、全射である。
* 全単射なので逆写像が存在する。y=e2x3y = e^{2x-3} より、x=lny+32x = \frac{\ln y + 3}{2}. よって、逆写像は f1(y)=lny+32f^{-1}(y) = \frac{\ln y + 3}{2}.
(2) X=R{a}X = \mathbb{R} \setminus \{a\}, Y=R{c}Y = \mathbb{R} \setminus \{c\}, f(x)=1xa+cf(x) = \frac{1}{x-a} + c
* 単射性: f(x1)=f(x2)f(x_1) = f(x_2) と仮定すると、1x1a+c=1x2a+c \frac{1}{x_1-a} + c = \frac{1}{x_2-a} + c . 1x1a=1x2a \frac{1}{x_1-a} = \frac{1}{x_2-a} より、x1a=x2ax_1 - a = x_2 - a, よって x1=x2x_1 = x_2. したがって、ff は単射。
* 全射性: 任意の yR{c}y \in \mathbb{R} \setminus \{c\} に対して、f(x)=yf(x) = y となる xR{a}x \in \mathbb{R} \setminus \{a\} が存在するかを調べる。1xa+c=y \frac{1}{x-a} + c = y を解くと、1xa=yc \frac{1}{x-a} = y - c , xa=1yc x - a = \frac{1}{y-c} , x=1yc+a x = \frac{1}{y-c} + a . ycy \neq c より、xx は定義できる。また、x=ax=a となると 1yc=0 \frac{1}{y-c} = 0 となり矛盾するので、xax\neq a。したがって、ff は全射。
* 全単射なので逆写像が存在する。 y=1xa+c y = \frac{1}{x-a} + c より、x=1yc+a x = \frac{1}{y-c} + a . よって、逆写像は f1(y)=1yc+a f^{-1}(y) = \frac{1}{y-c} + a .
(3) X=RX = \mathbb{R}, Y=[2,)Y = [2, \infty), f(x)=x2+2f(x) = x^2 + 2
* 単射性: f(1)=12+2=3f(1) = 1^2 + 2 = 3 であり、f(1)=(1)2+2=3f(-1) = (-1)^2 + 2 = 3 なので、f(1)=f(1)f(1) = f(-1) だが 111 \neq -1 なので、ff は単射ではない。
* 全射性: 任意の y[2,)y \in [2, \infty) に対して、f(x)=yf(x) = y となる xRx \in \mathbb{R} が存在するかを調べる。x2+2=yx^2 + 2 = y を解くと、x2=y2x^2 = y - 2. y2y \geq 2 より x=±y2x = \pm \sqrt{y-2}. よって、ff は全射である。
(4) X=[1,1]X = [-1, 1], Y=[0,1]Y = [0, 1], f(x)=2x1f(x) = |2|x| - 1|
* f(x)=2x1f(x) = |2|x|-1|. これは f(x)=2x1f(x) = |2x-1| ではない。f(x)=2x1f(x) = |2|x|-1|とすると、
* f(x)=2x1=2x1=2x1f(x) = |2|x|-1| = |2|x|-1| = |2|x|-1|
* f(0)=2(0)1=1=1f(0) = |2(0)-1| = |-1| = 1
* f(1)=2(1)1=1=1f(1) = |2(1)-1| = |1| = 1
* f(1)=2(1)1=3=3f(-1) = |2(-1)-1| = |-3| = 3, which is not within Y=[0,1]Y=[0,1].
したがって、f(x)=2x1f(x) = |2|x|-1| ではない。
もし、f(x)=2x1f(x) = |2x-1| であれば、
* 単射性: f(1)=2(1)1=3=3f(-1) = |2(-1)-1| = |-3| = 3, which is not within Y=[0,1]Y=[0,1].
したがって、f(x)f(x)XX から YY への写像ではないので、単射性も全射性も考える必要がない。
もし、f(x)=2x1f(x) = |2x|-1 とすると、
* f(1)=2(1)1=21=1f(-1) = |2(-1)|-1 = 2-1=1
* f(1)=2(1)1=21=1f(1) = |2(1)|-1 = 2-1 = 1
f(1)=f(1)f(1) = f(-1) だが、111 \neq -1 なので、ff は単射ではない。
f(0)=201=1f(0) = |2\cdot 0|-1 = -1
しかし、Y=[0,1]Y = [0,1] なので、YY の要素に一致しないので、全射ではない。
もし、f(x)=2x1f(x) = 2|x|-1 であれば、
* X=[1,1],Y=[1,1]X = [-1,1], Y=[-1,1]
* f(0)=201=1f(0) = 2\cdot 0 -1 = -1
Y=[0,1]Y = [0,1] であれば、全射ではない。
この関数の定義域は 02x20 \le 2|x| \le 2 なので、12x11-1 \le 2|x|-1 \le 1 なので、Yが[0,1][0,1]であれば、全射ではない。
例えばf(x)=0f(x) = 0のとき、2x1=02|x|-1 = 0よりx=1/2|x| = 1/2f(x)=1f(x) = 1のとき、2x1=12|x|-1 = 1よりx=1|x| = 1
(5) X=R2X = \mathbb{R}^2, Y=RY = \mathbb{R}, f(x,y)=x+yf(x, y) = x + y
* 単射性: f(1,0)=1+0=1f(1, 0) = 1 + 0 = 1 であり、f(0,1)=0+1=1f(0, 1) = 0 + 1 = 1 なので、f(1,0)=f(0,1)f(1, 0) = f(0, 1) だが (1,0)(0,1)(1, 0) \neq (0, 1) なので、ff は単射ではない。
* 全射性: 任意の yRy \in \mathbb{R} に対して、f(x,0)=yf(x, 0) = y となる xRx \in \mathbb{R} が存在するかを調べる。x+0=yx + 0 = y より x=yx = y. よって、f(y,0)=yf(y, 0) = y であり、ff は全射である。
(6) X=R2X = \mathbb{R}^2, Y=[0,)Y = [0, \infty), f(x,y)=x2+y2f(x, y) = x^2 + y^2
* 単射性: f(1,0)=12+02=1f(1, 0) = 1^2 + 0^2 = 1 であり、f(0,1)=02+12=1f(0, 1) = 0^2 + 1^2 = 1 なので、f(1,0)=f(0,1)f(1, 0) = f(0, 1) だが (1,0)(0,1)(1, 0) \neq (0, 1) なので、ff は単射ではない。
* 全射性: 任意の y[0,)y \in [0, \infty) に対して、f(x,0)=yf(x, 0) = y となる xRx \in \mathbb{R} が存在するかを調べる。x2+02=yx^2 + 0^2 = y より x=±yx = \pm \sqrt{y}. よって、ff は全射である。
(7) X=R2X = \mathbb{R}^2, Y=R2Y = \mathbb{R}^2, f(x,y)=(x,y)f(x, y) = (-x, -y)
* 単射性: f(x1,y1)=f(x2,y2)f(x_1,y_1) = f(x_2, y_2) つまり (x1,y1)=(x2,y2)(-x_1, -y_1) = (-x_2, -y_2)。よって、x1=x2,y1=y2x_1 = x_2, y_1 = y_2 となり、(x1,y1)=(x2,y2)(x_1,y_1) = (x_2, y_2)。したがって、ff は単射。
* 全射性: 任意の (u,v)R2(u, v) \in \mathbb{R}^2 に対して、f(x,y)=(u,v)f(x, y) = (u,v) となる (x,y)R2(x, y) \in \mathbb{R}^2 が存在するかを調べる。(x,y)=(u,v)(-x, -y) = (u, v) を解くと、x=u,y=vx = -u, y = -v。よって、任意の (u,v)(u, v) に対して (x,y)=(u,v)(x, y) = (-u, -v) が存在する。したがって、ff は全射。
* 全単射なので、逆写像が存在する。(x,y)=(u,v)(-x, -y) = (u, v) より、(x,y)=(u,v)(x, y) = (-u, -v) なので、f1(u,v)=(u,v)f^{-1}(u, v) = (-u, -v).
(8) X=R2X = \mathbb{R}^2, Y=R2Y = \mathbb{R}^2, f(x,y)=(y,x)f(x, y) = (-y, x)
* 単射性: f(x1,y1)=f(x2,y2)f(x_1, y_1) = f(x_2, y_2) つまり (y1,x1)=(y2,x2)(-y_1, x_1) = (-y_2, x_2)。よって、y1=y2,x1=x2y_1 = y_2, x_1 = x_2 となり、(x1,y1)=(x2,y2)(x_1, y_1) = (x_2, y_2)。したがって、ff は単射。
* 全射性: 任意の (u,v)R2(u, v) \in \mathbb{R}^2 に対して、f(x,y)=(u,v)f(x, y) = (u,v) となる (x,y)R2(x, y) \in \mathbb{R}^2 が存在するかを調べる。(y,x)=(u,v)(-y, x) = (u, v) を解くと、x=v,y=ux = v, y = -u。よって、任意の (u,v)(u, v) に対して (x,y)=(v,u)(x, y) = (v, -u) が存在する。したがって、ff は全射。
* 全単射なので、逆写像が存在する。(y,x)=(u,v)(-y, x) = (u, v) より、(x,y)=(v,u)(x, y) = (v, -u) なので、f1(u,v)=(v,u)f^{-1}(u, v) = (v, -u).

3. 最終的な答え

(1) 全単射。逆写像: f1(y)=lny+32f^{-1}(y) = \frac{\ln y + 3}{2}
(2) 全単射。逆写像: f1(y)=1yc+af^{-1}(y) = \frac{1}{y-c} + a
(3) 全射だが単射ではない。
(4) 問題文に曖昧な箇所があるため、解答不能。
(5) 全射だが単射ではない。
(6) 全射だが単射ではない。
(7) 全単射。逆写像: f1(u,v)=(u,v)f^{-1}(u, v) = (-u, -v)
(8) 全単射。逆写像: f1(u,v)=(v,u)f^{-1}(u, v) = (v, -u)

「代数学」の関連問題

次の式の値を計算し、$\square + \square \sqrt{\square}$ の形式で表す問題です。 $\frac{1}{2-\sqrt{3}} + \frac{\sqrt{3}+1}{\...

式の計算分母の有理化平方根
2025/7/16

数列$\{a_n\}$の初項から第$n$項までの和を$S_n = (n+1)^2$とするとき、以下の問いに答えます。 (1) 一般項$a_n$を求めます。 (2) $\sum_{k=1}^{n} \f...

数列級数一般項和の公式
2025/7/16

$a_1, ..., a_n, b$ を $\mathbb{R}^m$ のベクトルとし、$A = [a_1, ..., a_n]$ を $m \times n$ 行列とします。このとき、以下の3つの条...

線形代数ベクトル行列一次結合次元同値性連立方程式
2025/7/16

線形写像 $f: \mathbb{R}^n \to \mathbb{R}^m$ が与えられたとき、$\mathbb{R}^n$ のある基底 $\{a_1, \dots, a_n\}$ と $\math...

線形写像表現行列基底標準形線形代数
2025/7/16

線形写像 $f: \mathbb{R}^n \rightarrow \mathbb{R}^m$ が与えられたとき、$\mathbb{R}^n$ のある基底 $\{a_1, ..., a_n\}$ と ...

線形代数線形写像表現行列基底標準形ランク
2025/7/16

$f: \mathbb{R}^n \to \mathbb{R}^m$ を任意の線形写像とします。このとき、$\mathbb{R}^n$ のある基底 $\{a_1, \dots, a_n\}$ と $\...

線形写像線形代数基底表現行列標準形
2025/7/16

与えられた行列の等式 $AX = B$ を満たす正方行列 $X$ を求める問題です。ここで、$A = \begin{pmatrix} 1 & -3 & 3 \\ 1 & -2 & 1 \\ -3 & ...

線形代数行列逆行列連立一次方程式
2025/7/16

線形変換 $f: \mathbb{R}^n \to \mathbb{R}^n$ について、以下の2点を証明する問題です。 (1) $f$ が単射であることと全射であることは同値である。 (2) $f$...

線形変換単射全射逆写像線形写像線形代数ランク・ヌラリティ定理
2025/7/16

線形写像 $f: \mathbb{R}^n \to \mathbb{R}^m$ と $\mathbb{R}^m$ の基底 $\{b_1, \dots, b_m\}$ について、$f(a_i) = b_...

線形写像線形代数全射一次独立ベクトル空間
2025/7/16

与えられた関数 $y = \sqrt{x^4 + 2x^2 + 2}$ をできる限り簡単にします。

関数の簡素化平方根平方完成
2025/7/16