「写像，演算」の版間の差分
削除された内容 追加された内容
ページの作成:「<strong>4.1 </strong> <math>\rho</math> は集合 <math>A</math> の元と集合 <math>B</math> の元との関係とする． もし <<div id="一価律"> '''一価…」 |
M編集の要約なし |
||
3 行
もし
'''一価律'''：<math>a\rho b</math> かつ <math>a\rho b'</math> ならば <math>b = b'</math>
がみたされるならば，<math>\rho</math> は <math>A</math> から <math>B</math> への'''半写像'''，
または'''半関数'''といい，<math>a\rho b </math> となる唯一の <math>b</math> を
<math>\rho(a)</math> で表し，これを <math>a</math> における <math>\rho</math> の'''値'''という．
また <math>A</math> はこの半写像の'''域'''，<math>B</math> は'''余域'''という．
21 行
写像 <math>\rho</math> の像が <math>B</math> と一致するとき，
<math>\rho</math> は <math>B</math> の'''上への'''写像，または'''全射的'''な写像という．
<math>\rho</math> が全射的な一対一写像のとき，<math>\rho</math> は <math>A</math> と <math>B</
の間の'''一対一対応'''といい，このことを <math>\rho : A \equiv B</math> で表す．
| |||