「写像，演算」の版間の差分
削除された内容 追加された内容
M編集の要約なし |
M編集の要約なし |
||
96 行
<math>s(a) = f(a)</math> で <math>s:A \to X</math> を定義すれば <math>s</math> は <math>X</math>
の上への写像である．さらに <math>r:X \to B</math> を埋蔵とすれば <math>f = r \circ s</math>．
この対 <math>(s, r)</math> を <math>f</math> の'''左標準全単分解'''という．さらに <math>(p, q)</math>
が <math>s</math> の右標準全単分解ならば <math>f = r \circ q \circ p</math> で <math>q</math>
は一対一対応である．この三つ組 <math>(p, q, r)</math> を <math>f</math> の'''両標準全単分解'''という．
| |||