集合 $X$, $Y$ と写像 $f: X \to Y$ に対して、全射か単射か判定し、理由を述べる。全単射ならば逆写像を求める。 (1) $X = \mathbb{R}$, $Y = (0, \infty)$, $f(x) = e^{2x-3}$ (2) $X = \mathbb{R} \setminus \{a\}$, $Y = \mathbb{R} \setminus \{c\}$, $f(x) = \frac{1}{x-a} + c$ (3) $X = \mathbb{R}$, $Y = [2, \infty)$, $f(x) = x^2 + 2$ (4) $X = [-1, 1]$, $Y = [0, 1]$, $f(x) = |2|x| - 1|$ (5) $X = \mathbb{R}^2$, $Y = \mathbb{R}$, $f(x, y) = x + y$ (6) $X = \mathbb{R}^2$, $Y = [0, \infty)$, $f(x, y) = x^2 + y^2$ (7) $X = \mathbb{R}^2$, $Y = \mathbb{R}^2$, $f(x, y) = (-x, -y)$ (8) $X = \mathbb{R}^2$, $Y = \mathbb{R}^2$, $f(x, y) = (-y, x)$

解析学写像全射単射逆写像関数
2025/7/9
はい、承知いたしました。画像にある数学の問題を解いていきます。

1. 問題の内容

集合 XX, YY と写像 f:XYf: X \to Y に対して、全射か単射か判定し、理由を述べる。全単射ならば逆写像を求める。
(1) X=RX = \mathbb{R}, Y=(0,)Y = (0, \infty), f(x)=e2x3f(x) = e^{2x-3}
(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
(3) X=RX = \mathbb{R}, Y=[2,)Y = [2, \infty), f(x)=x2+2f(x) = x^2 + 2
(4) X=[1,1]X = [-1, 1], Y=[0,1]Y = [0, 1], f(x)=2x1f(x) = |2|x| - 1|
(5) X=R2X = \mathbb{R}^2, Y=RY = \mathbb{R}, f(x,y)=x+yf(x, y) = x + y
(6) X=R2X = \mathbb{R}^2, Y=[0,)Y = [0, \infty), f(x,y)=x2+y2f(x, y) = x^2 + y^2
(7) X=R2X = \mathbb{R}^2, Y=R2Y = \mathbb{R}^2, f(x,y)=(x,y)f(x, y) = (-x, -y)
(8) X=R2X = \mathbb{R}^2, Y=R2Y = \mathbb{R}^2, f(x,y)=(y,x)f(x, y) = (-y, x)

2. 解き方の手順

(1) 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。したがって、x=lny+32x = \frac{\ln y + 3}{2}xx は実数なので、ff は全射。
* 逆写像:x=lny+32x = \frac{\ln y + 3}{2} より、f1(y)=lny+32f^{-1}(y) = \frac{\ln y + 3}{2}
(2) 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=1ycx - a = \frac{1}{y - c} より、x=1yc+ax = \frac{1}{y - c} + aycy \neq c なので、xx が定義できる。また、x=ax = a となるのは y=y = \infty の時だけなので、xR{a}x \in \mathbb{R} \setminus \{a\}。したがって、ff は全射。
* 逆写像:x=1yc+ax = \frac{1}{y - c} + a より、f1(y)=1yc+af^{-1}(y) = \frac{1}{y - c} + a
(3) f(x)=x2+2f(x) = x^2 + 2
* 単射性:f(1)=3f(1) = 3 かつ f(1)=3f(-1) = 3 より、単射ではない。
* 全射性: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 - 2y2y \geq 2 なので、x=±y2x = \pm \sqrt{y - 2} は実数解を持つ。したがって、ff は全射。
(4) f(x)=2x1f(x) = |2|x| - 1|
* 単射性:f(1)=1f(-1) = 1 かつ f(1)=1f(1) = 1 より、単射ではない。
* 全射性:x[1,1]x \in [-1, 1] のとき、x[0,1]|x| \in [0, 1] である。したがって、2x[0,2]2|x| \in [0, 2] より、2x1[1,1]2|x| - 1 \in [-1, 1]。よって、2x1[0,1]|2|x| - 1| \in [0, 1]。したがって、ff は全射。
(5) f(x,y)=x+yf(x, y) = x + y
* 単射性:f(1,1)=2f(1, 1) = 2 かつ f(2,0)=2f(2, 0) = 2 より、単射ではない。
* 全射性:zRz \in \mathbb{R} に対して、f(x,y)=zf(x, y) = z となる (x,y)R2(x, y) \in \mathbb{R}^2 が存在するか調べる。x+y=zx + y = z より、y=zxy = z - xxx を任意の実数とすれば、yy も実数になるので、(x,y)R2(x, y) \in \mathbb{R}^2 が存在する。したがって、ff は全射。
(6) f(x,y)=x2+y2f(x, y) = x^2 + y^2
* 単射性:f(1,0)=1f(1, 0) = 1 かつ f(0,1)=1f(0, 1) = 1 より、単射ではない。
* 全射性:z[0,)z \in [0, \infty) に対して、f(x,y)=zf(x, y) = z となる (x,y)R2(x, y) \in \mathbb{R}^2 が存在するか調べる。x2+y2=zx^2 + y^2 = z より、y=±zx2y = \pm \sqrt{z - x^2}xxxz|x| \leq \sqrt{z} となるように選べば、yy は実数解を持つ。したがって、ff は全射。
(7) 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=x2x_1 = x_2 かつ y1=y2y_1 = 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=ux = -u かつ y=vy = -v。したがって、ff は全射。
* 逆写像:x=ux = -u かつ y=vy = -v より、f1(u,v)=(u,v)f^{-1}(u, v) = (-u, -v)
(8) 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=y2y_1 = y_2 かつ x1=x2x_1 = x_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) より、y=uy = -u かつ x=vx = v。したがって、ff は全射。
* 逆写像:y=uy = -u かつ x=vx = v より、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)

「解析学」の関連問題

3次方程式 $x^3 - 6x^2 + 9x = k$ の実数解の個数が、$k$の値によってどのように変化するかを調べる問題です。

微分3次方程式グラフ実数解増減極値
2025/7/9

$f: \mathbb{R}^2 \rightarrow \mathbb{R}$ と $g: \mathbb{R}^2 \rightarrow \mathbb{R}$ は $\mathbb{R}^2$...

偏微分合成関数ラプラス方程式座標変換
2025/7/9

$t = \tan{\frac{x}{2}}$ とおくとき、以下の問題を解く。 (1) $\sin{x}$ および $\cos{x}$ を $t$ で表せ。 (2) $\frac{dx}{dt}$ を...

三角関数不定積分置換積分半角の公式部分分数分解
2025/7/9

問題1は、次の関数を微分せよという問題です。具体的には、 a) $f(x) = \log \left( \frac{2x}{x^2+1} \right)$ c) $g(x) = \log (2x)$ ...

微分対数関数合成関数の微分
2025/7/9

3次方程式 $2x^3 + 3x^2 - 12x - 2 = 0$ の実数解の個数と、それぞれの解の符号を調べます。

3次方程式実数解増減導関数極値解の符号
2025/7/9

与えられた陰関数 $y = y(x)$ について、指定された条件における $\frac{d^2y}{dx^2}$ の値を求める問題です。具体的には、以下の3つの小問があります。 (1) $x^2 - ...

陰関数微分二階微分
2025/7/9

関数 $f(x, y) = \frac{1}{3}x^3 - x^2 + y - \frac{1}{5}y^5$ が与えられています。 (1) $f(x, y)$ の $x$ に関する偏微分 $\fr...

偏微分臨界点ヘッセ行列極値
2025/7/9

与えられた関数 $f(x, y) = x^3 + y^3 - 3xy + 9$ について、以下の問いに答える。 (1) $f(x, y)$ は点 $(0, 0)$ で極値をとるかどうかを判定し、証明す...

多変数関数極値偏微分ヘッセ行列
2025/7/9

与えられた関数 $f(x, y) = x^3 + y^3 - 3xy + 9$ について、以下の問いに答えます。 (1) $f(x, y)$ は点 $(0, 0)$ で極値をとるかどうかを証明付きで答...

多変数関数偏微分極値停留点ヘッセ行列
2025/7/9

与えられた関数 $f(x, y) = x^3 + y^3 - 3xy + 9$ について、次の問いに答える。 (1) $f(x, y)$ は $(0, 0)$ で極値をとるかどうかを証明を付けて答える...

多変数関数偏微分極値ヘッセ行列
2025/7/9