「写像,演算」の版間の差分
削除された内容 追加された内容
M編集の要約なし |
M編集の要約なし |
||
91 行
さらに <math>f \circ g = 1_B</math> ならば <math>f</math> と <math>g</math> とは互いに他の'''逆写像'''という.
このとき <math>f</math> は <math>A</math> と <math>B</math> との間の一対一対応となる.逆に <math>f</math>
が一対一
任意の写像 <math>f:A \to B</math> に対して <math>f</math> の像を <math>X</math> とし,
|