「写像，演算」の版間の差分
削除された内容 追加された内容
M編集の要約なし |
M編集の要約なし |
||
38 行
<math>a \in A</math> に対してただ一つの <math>c = g(f(a)) \in C</math> が定まる．
この <math>c</math> を <math>k(a)</math> で表せば <math>k</math> は写像 <math>k:A \to C</math>
を定義する．この <math>k</math> を <math>g \circ
<math>f</math> と <math>g</math> の'''合成'''という．さらに <math>h:C \to D</math>
ならば <math>h \circ (g \circ
この両辺は括弧を省略して <math>h \circ g \circ f</math> で表される．
次の定理は容易に証明できる．
| |||