📢 Webサイト閉鎖と移転のお知らせ
このWebサイトは2026年9月に閉鎖いたします。
新しい記事は移転先で追加しております。（旧サイトでは記事を追加しておりません）
ページの作成:「== 概要 == 写像 (関数) とは、ある集合Aの全ての要素に対して、集合Bの要素をただ1つ返すものである。<br> <br> この時、集合Aを始域または定義域、集合Bを終域、関数の対応先となり得る集合𝐵の部分集合を値域という。<br> <br><br> == 写像の定義 == 定義 : 集合Aの全ての要素に対して、その要素を入力すると集合Bの特定の要素をただ1つ出力するもの…」 |
|||
| 17行目: | 17行目: | ||
* 始域Bの要素であれば、どの要素を返してもよい。<br>始域Aの各々の要素に対して、終域Bの同じ要素を返してもよい。<br>また、終域Bの全ての要素を対応付ける必要はない。 | * 始域Bの要素であれば、どの要素を返してもよい。<br>始域Aの各々の要素に対して、終域Bの同じ要素を返してもよい。<br>また、終域Bの全ての要素を対応付ける必要はない。 | ||
* 終域は、値域と呼ばれることもある。 | * 終域は、値域と呼ばれることもある。 | ||
<br><br> | |||
== 恒等写像 == | |||
定義 : | |||
集合X上の写像 (定義域Xと終域Xが同一である写像) において、<math>\forall a \in X</math> に対して <math>f (a) = a</math> が成り立つ時、<math>f</math> を <math>X</math> 上の恒等写像という。 | |||
補足 : | |||
<math>\forall a \in X</math> は、集合Xの任意の要素aという意味である。 | |||
<br><br> | <br><br> | ||