与えられた集合 $X$, $Y$ と写像 $f: X \rightarrow Y$ に対して、その写像が全射か単射かを判定し、理由を述べる。もし全単射であれば、逆写像を求める。
2025/7/16
1. 問題の内容
与えられた集合 , と写像 に対して、その写像が全射か単射かを判定し、理由を述べる。もし全単射であれば、逆写像を求める。
2. 解き方の手順
(1) , ,
* 単射性: と仮定すると、. 指数関数は単射なので、, よって . したがって、 は単射。
* 全射性: 任意の に対して、 となる が存在するかを調べる。 を解くと、, , . は実数なので、全射である。
* 全単射なので逆写像が存在する。 より、. よって、逆写像は .
(2) , ,
* 単射性: と仮定すると、. より、, よって . したがって、 は単射。
* 全射性: 任意の に対して、 となる が存在するかを調べる。 を解くと、, , . より、 は定義できる。また、 となると となり矛盾するので、。したがって、 は全射。
* 全単射なので逆写像が存在する。 より、. よって、逆写像は .
(3) , ,
* 単射性: であり、 なので、 だが なので、 は単射ではない。
* 全射性: 任意の に対して、 となる が存在するかを調べる。 を解くと、. より . よって、 は全射である。
(4) , ,
* . これは ではない。とすると、
*
*
*
* , which is not within .
したがって、 ではない。
もし、 であれば、
* 単射性: , which is not within .
したがって、 は から への写像ではないので、単射性も全射性も考える必要がない。
もし、 とすると、
*
*
だが、 なので、 は単射ではない。
しかし、 なので、 の要素に一致しないので、全射ではない。
もし、 であれば、
*
*
であれば、全射ではない。
この関数の定義域は なので、 なので、Yがであれば、全射ではない。
例えばのとき、より。のとき、より。
(5) , ,
* 単射性: であり、 なので、 だが なので、 は単射ではない。
* 全射性: 任意の に対して、 となる が存在するかを調べる。 より . よって、 であり、 は全射である。
(6) , ,
* 単射性: であり、 なので、 だが なので、 は単射ではない。
* 全射性: 任意の に対して、 となる が存在するかを調べる。 より . よって、 は全射である。
(7) , ,
* 単射性: つまり 。よって、 となり、。したがって、 は単射。
* 全射性: 任意の に対して、 となる が存在するかを調べる。 を解くと、。よって、任意の に対して が存在する。したがって、 は全射。
* 全単射なので、逆写像が存在する。 より、 なので、.
(8) , ,
* 単射性: つまり 。よって、 となり、。したがって、 は単射。
* 全射性: 任意の に対して、 となる が存在するかを調べる。 を解くと、。よって、任意の に対して が存在する。したがって、 は全射。
* 全単射なので、逆写像が存在する。 より、 なので、.
3. 最終的な答え
(1) 全単射。逆写像:
(2) 全単射。逆写像:
(3) 全射だが単射ではない。
(4) 問題文に曖昧な箇所があるため、解答不能。
(5) 全射だが単射ではない。
(6) 全射だが単射ではない。
(7) 全単射。逆写像:
(8) 全単射。逆写像: