Let \(f: \mathbb{N} → \mathbb{N}\) be the function that sends every natural number to its square, e.g., \(f(6) = 36\). First fill in the blanks, then answer a question.
\(f: \mathbb{N} → \mathbb{N}\) を、すべての自然数をその平方数に写す関数とします（例：\(f(6) = 36\)）。まず空欄を埋め、次に質問に答えてください。
a. \(2 \mapsto\) ________
b. \(0 \mapsto\) ________
c. \(−2 \mapsto\) ________
d. \(5 \mapsto\) ________
e. Consider the symbol → and the symbol \(\mapsto\). What is the difference between how these two symbols are used so far in this book?
記号 → と記号 \(\mapsto\) について考えてみましょう。本書でこれまで使われてきたこれら2つの記号の違いは何でしょうか？
●解答
a. \(2 \mapsto 4\)
b. \(0 \mapsto 0\)
c. \(−2 \mapsto\) 存在せず。\(-2\) は定義域に含まれない。
d. \(5 \mapsto 25\)
e. (集合)→(集合), (要素)\(\mapsto\)(要素)