一価律: かつ ならば
がみたされるならば, は から への半写像,
または半関数といい, となる唯一の を
で表し,これを における の値という.
また はこの半写像の域, は余域という.
の逆がまた一価律をみたすとき、 は一対一であるという.
が から への半写像であるとき、
である が存在するような の集合を
の定義域, である の存在するような
の集合を の像という.
の定義域が と一致するとき, は から
への写像,または関数といい, が から
への写像であることを で表す.
写像 の像が と一致するとき,
は の上への写像,または全射的な写像という.
が全射的な一対一写像のとき, は と
の間の一対一対応といい,このことを で表す.
再び は から への半写像として,
とする.このとき の部分集合
を の による像といい,
で表す.
の像とは による の像のことであった.
また の部分集合 は
による の逆像といい, で表す.
ただし のとき は単に
と書く.
4.2
は集合, は写像とする.このとき各
に対してただ一つの が定まる.
この を で表せば は写像
を定義する.この を または で表し,
と の合成という.さらに
ならば である.
この両辺は括弧を省略して で表される.
次の定理は容易に証明できる.
定理 は集合, とする.
(i) と が共に一対一ならば も一対一である。
(ii) と が共に全射的ならば も全射的である.
(iii) が一対一ならば も一対一である
[1].
(iv) が全射的ならば も全射的である.
[2].
4.3
は集合, は の類別とするとき,
各 に対して である がただ一つ定まる.
この を とおけば は から の上への写像となる.この を類別 への標準射影という.
が集合 から への写像のとき, の二元
に対して のとき と定義すれば
は 上の同値関係となる.
これによる類別を とすれば各 に対して
が定まり, ならば である.
この を とおけば は から
への写像で,これは一対一である.
また は への標準射影とすれば
.
この対 を の右標準全単分解という.
4.4
が集合 の部分集合のとき、各 に対して
とおけば, は から への写像となり,
これは一対一である.この を の への理蔵または標準射入という.
さらに のとき,合成 を の
への制限といい, で表す.また
に対して を の拡張という.
特に のとき, の への埋蔵を
上の恒等写像といい, で表す.任意の
に対して である.また
のとき は の左逆写像, は の右逆写像といい,
さらに ならば と とは互いに他の逆写像という.
このとき は と との間の一対一対応となる.逆に
が一対一対応ならば は逆写像 を持つ.これを で表す.
任意の写像 に対して の像を とし,
で を定義すれば は
の上への写像である.さらに を埋蔵とすれば .
この対 を の左標準全単分解という.さらに
が の右標準全単分解ならば で
は一対一対応である.この三つ組 を の両標準全単分解という.
4.5
を集合の族とし,
とする.写像 ですべての
について となるようなものを集合族
上の選択関数という.
上の選択関数全体の集合を の直積といい,
,または で表す.
各 はこの直積の成分という.また写像
で,各
における値 が であるものを直積の
成分への標準射影という.
普通,集合論においては
選択公理:どの成分も空でなければそれらの直積も空でない
を仮定している.以下の議論もこの仮定のもとに行う.
特に が有限集合 のとき
は有限直積といい,また
で表され,その元 で
に対して
となるものは で表される.
§2 の始めに現れた二つの集合の直積 も
の特別な場合であった.また
のとき は で表される.
2.1 で定義したように集合 の元と集合 の元との間の関係とは直積 の部分集合のことであったが,この概念を拡大して一般に の部分集合のことをこれらの集合の元の間の 元関係といい,特に の場合は集合 の上の 元(内部)関係という.
集合の有限直積 から集合
への写像 は 項写像,または 変数の写像といわれ
で表される.またこのとき直積の元
における の値は
で表される.この を写像
の第 項という.二項以上の写像は一般に多項写像といわれる.
が有限直積からの半写像のときも同様の定義と表記法とを用いる.
4.6
集合 において から への写像,
または半写像はそれぞれ 上の 項演算,
または 項半演算ともいわれる.ただし
のときは単項演算,単項半演算といい,このとき
のかわりにしばしば の形で表す. が
上の二項演算(または二項半演算,以下同様)のときは §1 で例示したように,
これに適当な演算記号 等を与え, のかわりに
の形で表すのが普通である.
関係や演算に関する議論ではその元数や項数によって本質的な差異が起こらぬことが多い.
以下このような場合代表として二元関係,二項演算について解説する.
同じ議論が一般の 元関係, 項演算についても拡張,適用できることは各自確かめられたい.
4.7
はそれぞれ集合 上の二元関係,
はそれぞれ 上の二項演算,
は から への写像とする.
もし が条件
- ) で ならば
をみたすならば, は関係 を に移すといい,
また条件
- ) すべての について
をみたすとき は 演算 を に移すという.
例えば は正の実数の集合 から実数の集合
への写像で、 上の順序と積演算をそれぞれ
上の順序と和演算とに移す.
また とし、 のとき
とおけば は によって群となることがわかる.
実は は 上の積演算を
によって の上に移して作られた演算である.[3]