Wikiいけめん、Wiki会員
17
回編集
差分
集合論
,==写像==
集合を$$A, B,C$$、$$A, B,C$$の元をそれぞれ$$a, b,c$$とする。
$$A$$の各元に$$B$$の1つの元を対応させるような規則 $$f$$を$$A$$から$$B$$への'''写像'''(map)といい、$$f: A \rightarrow B$$と表す。
写像 $$f$$によって$$a \in A$$に対応する$$B$$の元を、$$a$$の$$f$$による'''像'''といい、$$f(a)$$と表す。
新たな集合$$C$$を考え、またその元を$$c$$とする。
2つの写像$$f: A \rightarrow B, g: B \rightarrow C$$に対して、$$f$$と$$g$$の'''合成'''$$f \circ g$$は$$A$$から$$C$$への写像を意味している。