大学数学基礎解説

文献あり

数学初心者が写像について学びを深める……

集合論,写像

188

この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。

自己紹介とこの記事を書くことに至ったきっかけ

初めまして．悪い人と申します．2024年時点で地の底で数学科B2をやっています．

この度初めてMathlogに対して記事を投稿するということを行いますので，バカみたいな間違いを犯している可能性もありますから，その際はどうか優しくご指摘をいただければ幸いです．

さて，本題に移ります．集合論の写像について学んでいるとふと不満が沸き上がってきたのですよ．

写像 $f : A \to B$ とし， $A$ の部分集合 $P_{1}, P_{2}, P$ ， $B$ の部分集合 $Q$ に対して，
$\begin{aligned} f (P_{1} \cap P_{2}) & \subset f (P_{1}) \cap f (P_{2}), \\ f^{- 1} (f (P)) & \supset P, \\ f (f^{- 1} (Q)) & \subset Q . \end{aligned}$
そして，逆の包含関係が成り立つためには上二つは単射で，一番下のは全射でなければならない，と．
そして，大体逆像に関してはイコールで成り立っている……．

ぼく「Huh?」

この悩みを少しでも減らしたい！　ということで，写像の一般化としての対応を考えることで，このことについて考察してみたわけです．

色々ネットで調べてみると，写像の一般化はなんやかんやあって二項関係で考えれるよ～みたいな記述がよくあったんですが，よくわからなかったので今回は二項関係のことは考えず，あくまで写像の一般化として考えていきたいと思います．

写像を一般化してみる

対応

二つの集合 $A, B$ があるとする．このとき，対応 $Γ : A \to B$ を次のように定める．
・任意の $A$ の元 $a$ に対し $B$ の部分集合 $B^{'}$ が存在して， $Γ (a) = B^{'}$ となる．
このとき，集合 $A$ を始集合，集合 $B$ を終集合ということにする．

いくつか注意を述べます．

まず，写像というのは終集合の一つの元のみ持つ部分集合を返しているというよりも，終集合のある一つの元を返していると解釈されるのが一般的なため，その齟齬に注意せずに安易にこれが写像の一般化であると言ってしまうのはヤバそうです．

また， $B$ の部分集合として $\emptyset$ を取って， $Γ (a) = \emptyset$ となってもよいです．これは写像との違いの一つと言えるでしょう．

次に，対応の像について定義しておきます．

対応の像

対応 $Γ : A \to B$ があるとする．
$a \in A$ に対する $B$ の部分集合 $Γ (a)$ を対応 $Γ$ による $a$ の像という．
さらに， $A$ の空でない部分集合 $A^{'}$ に対して $Γ (A^{'}) = {b \in B |^{\exists} a \in A^{'}, b \in Γ (a)}$ と定め，これを対応 $Γ$ による $A^{'}$ の像という．
ただし， $Γ (\emptyset) = \emptyset$ と規約する．

ここで，容易にわかるとおり， $Γ ({a}) = Γ (a)$ であることに注意します．
念のため確認しておくと，
$\begin{aligned} Γ ({a}) & = {b \in B |^{\exists} a^{'} \in {a}, b \in Γ (a^{'})} \\ = {b \in B | b \in Γ (a)} \\ = Γ (a) . \end{aligned}$

さて，わかりやすさのため対応の例について考えてみましょう．

対応の具体例

対応 $f : R \to R$ を以下のように定める．
$f (x) = {y \in R | x^{2} + y^{2} = 1} .$
このとき， $f (\frac{1}{2}) = {\frac{\sqrt{3}}{2}, - \frac{\sqrt{3}}{2}}$ となる．また， $f (2) = \emptyset$ となる．
開区間 $(0, 2)$ の $f$ による像 $f ((0, 2)) = {y \in R |^{\exists} x \in (0, 2), y \in f (x)}$ を考えると $f ((0, 2)) = (- 1, 1)$ となる．

次に考えていくことは，対応がどういう状況で写像になるのかということです．
先ほど安易に対応を写像の一般化と見なすのはヤバそうだと注意しましたが，とはいえ対応の始集合の全ての元に対して一元集合を返すものを考えれば，それは写像と同一視できそうですね．

もしかしたら今から定義していく色々な言葉は普通に使われる文脈とは違った意味で定義をしていることがあるかもしれません．

今回ばかりはそういうものだと思ってください．

さて，左全域・右全域であるということについて定義したいと思います．

左全域・右全域

対応 $Γ : A \to B$ があるとする．
$dom (Γ) = {a \in A | Γ (a) \neq \emptyset}$ を $Γ$ の定義域と言うことにする．
また， $ran (Γ) = Γ (A)$ を $Γ$ の値域と言うことにする．

$dom (Γ) = A$ の場合， $Γ$ は左全域的対応であるといい，単に左全域ということにする．
$ran (Γ) = B$ の場合， $Γ$ は右全域的対応や全射であるといい，単に右全域ということにする．

左全域というのは任意の $A$ の元 $a$ に対して $Γ (a)$ は空集合でないということを意味します．すなわち，写像であるための必要条件です．
一方，右全域というのは任意の $B$ の元 $b$ に対してある $A$ の元 $a$ が存在して $b \in Γ (a)$ ということで，これは全射な写像の必要条件と言えそうですね．

左全域・右全域の具体例

対応 $f : [0, \infty) \to R$ を以下のように定める．
$f (x) = {y \in R | x = y^{2}}$ .
このとき， $dom (f) = {x \in [0, \infty) | f (x) \neq \emptyset}$ を考えると， $dom (f) = [0, \infty)$ となる．したがって，対応 $f$ は左全域である．
また， $ran (f) = f ([0, \infty)) = {y \in R |^{\exists} x \in [0, \infty), y \in f (x)}$ を考えると， $ran (f) = R$ となる．したがって，対応 $f$ は右全域でもある．

次に，左一意・右一意について定義していきます．

左一意・右一意

対応 $Γ : A \to B$ があるとする．
$^{\forall} a, a^{'} \in A, [Γ (a) \cap Γ (a^{'}) \neq \emptyset ⟹ a = a^{'}]$ が成り立つとき， $Γ$ を左一意的対応や単射であるといい，単に左一意ということにする．

$^{\forall} a \in A, \exists b \in B, [Γ (a) \neq \emptyset ⟹ Γ (a) = {b}]$ が成り立つとき， $Γ$ を右一意的対応や部分写像であるといい，単に右一意ということにする．

左一意というのは単射な写像の一般化になっています． $Γ (a) \cap Γ (a^{'}) \neq \emptyset$ というのは，もし $Γ$ が写像なら(一元集合の共通部分が空でないということは同じ一元集合であるということなので) $Γ (a) = Γ (a^{'})$ ということですから，単射の一般化であると言えそうです．
一方で，部分写像というのは空集合にならないものは一元集合を返すということですから，写像であるための必要条件と言えそうですね．

左一意の具体例

対応 $f : R \to R$ を以下のように定める．
$f (x) = {y \in R | x = \sin y}$ .

このとき $f (1) = {\frac{π}{2} + 2 n π | n \in Z}$ , $f (- 1) = {- \frac{π}{2} + 2 n π | n \in Z}$ , $x \in (- 1, 1)$ ならば $f (x) = {\arcsin x + 2 n π | n \in Z} \cup {- \arcsin x + (2 n + 1) π | n \in Z}$ , $x \notin [- 1, 1]$ ならば $f (x) = \emptyset$ となっている．

$R$ の任意の元 $x, x$ に対し， $x \neq x^{'}$ であるとき， $f (x) \cap f (x^{'}) = \emptyset$ となっているから，対偶を取れば $f$ は左一意的とわかる．

右一意の具体例

対応 $f : R \to R$ を以下のように定める．
$f (x) = {y \in R | y = \ln x}$ .
ここで， $R$ の任意の元 $x$ に対し $x \leq 0$ なら $f (x) = \emptyset$ , $0 < x$ なら $f (x) = {\ln x}$ となる．したがって， $f$ は右一意的(部分写像)であることがわかる．

さて，写像というのは左全域な部分写像(左全域的かつ右一意的な対応)であると言えるわけです．
ここでは逆にこれを定義としてしまいます．

写像

対応 $Γ : A \to B$ が写像であるとは，左全域的かつ右一意的な対応のことである．

必要のため，対応が等しいということについての定義をしておきます．

対応の相等

$Γ : A \to B, Δ : C \to D$ が等しいということを以下のように定める．
・ $A = C, B = D$ ．
・ $^{\forall} a \in A, Γ (a) = Δ (a)$ ．
このとき， $Γ = Δ$ と表す．

また，写像における逆写像だとか，逆像という概念に関して，逆対応というものについて定義します．

逆対応

$Γ : A \to B$ に対し逆対応 $Γ^{- 1}$ を次のように定める．
・ $Γ^{- 1} : B \to A$ である．
・ $b \in B$ に対し $Γ^{- 1} (b) = {a \in A | b \in Γ (a)}$ ．

おそらく本来ならば逆対応の条件を満たす二つの対応を取った時それは等しくなるから，一意に存在するという証明をしなければならないところですが，その証明はここでは省略します．

逆対応の像について， $B^{'} \subset B$ に対し， $Γ^{- 1} (B^{'}) = {a \in A |^{\exists} b \in B^{'}, a \in Γ^{- 1} (b)} = {a \in A | B^{'} \cap Γ (a) \neq \emptyset}$ となっていることについて注意しておきます．
写像の逆対応の像について $Γ (a)$ は一元集合となりますから，これを一つの元と同一視すると， $B^{'} \cap Γ (a) \neq \emptyset$ という条件は $Γ (a) \in B^{'}$ となり，逆像の定義と同一視することができます．

さて，逆対応に関する命題として2つのことが言えますので確認しておきます．

逆対応の逆対応は元々の対応と一致する．
すなわち，対応 $Γ$ に対して， $(Γ^{- 1})^{- 1} = Γ$ が成り立つ．

対応 $Γ : A \to B$ があるとする．
まず逆対応の逆対応と元々の対応について，その始集合，終集合は一致する．
また任意の $a \in A$ に対して，
$\begin{aligned} (Γ^{- 1})^{- 1} (a) & = {b \in B | a \in Γ^{- 1} (b)} \\ = {b \in B | b \in Γ (a)} \\ = Γ (a) . \end{aligned}$
したがって， $(Γ^{- 1})^{- 1} = Γ$ が成立する． $◻$

(1). 左全域な対応の逆対応は右全域．
(2). 右全域な対応の逆対応は左全域．
(3). 左一意な対応の逆対応は右一意．
(4). 右一意な対応の逆対応は左一意．

(1). $Γ : A \to B$ を左全域な対応とする．
$\begin{aligned} ran (Γ^{- 1}) & = {a \in A |^{\exists} b \in B, a \in Γ^{- 1} (b)} \\ = {a \in A |^{\exists} b \in B, b \in Γ (a)} \\ = {a \in A | Γ (a) \neq \emptyset} \\ = A . \end{aligned}$
すなわち， $Γ^{- 1} : B \to A$ は右全域な対応である．

(2). $Γ : A \to B$ を右全域な対応とする．
$\begin{aligned} dom (Γ^{- 1}) & = {b \in B | Γ^{- 1} (b) \neq \emptyset} \\ = {b \in B |^{\exists} a \in A, b \in Γ (a)} \\ = B . \end{aligned}$
すなわち， $Γ^{- 1} : B \to A$ は左全域な対応である．

(3). $Γ : A \to B$ を左一意な対応として， $^{\forall} b \in B, Γ^{- 1} (b) \neq \emptyset$ と仮定する．
すると， $a \in Γ^{- 1} (b)$ となる $a \in A$ が存在して， $b \in Γ (a)$ である．

もし $a^{'} \in Γ^{- 1} (b)$ であったとすると， $b \in Γ (a^{'})$ である．
$Γ$ が左一意的であるから， $Γ (a) \cap Γ (a^{'}) \neq \emptyset$ ゆえ， $a = a^{'}$ ．

したがって， $Γ^{- 1} (b)$ は一元集合 ${a}$ となる．
すなわち， $Γ^{- 1} : B \to A$ は右一意的となる．

(4). $Γ : A \to B$ を右一意的な対応として， $^{\forall} b, b^{'} \in B, Γ^{- 1} (b) \cap Γ^{- 1} (b^{'}) \neq \emptyset$ と仮定する．
すると $a \in Γ^{- 1} (b) \cap Γ^{- 1} (b^{'})$ となる $a \in A$ が存在して， $b \in Γ (a), b^{'} \in Γ (a)$ である．

$Γ$ は右一意な対応であるから， $Γ (a) \neq \emptyset$ ゆえ， $Γ (a)$ は一元集合であるから， $b = b^{'}$ でなければならない．
したがって， $Γ^{- 1} : B \to A$ は左一意的となる． $◻$

写像の定義と逆対応の命題を考えれば，逆像というのは右全域的かつ左一意的な対応の像であるということが言えそうですね．
また，ある写像に関して，逆写像が存在するというのは逆対応が左全域的かつ右一意的な対応になるために，元々の写像が右全域的かつ左一意的な写像でなければならなくて，結果として左全域・右全域・左一意・右一意の全てを満たすこととなるんですね．

最後に，集合論の写像で学んだ不満というのを少しだけ解消していきたいと思います．

対応 $Γ : A \to B$ があるとする．
$A_{1}, A_{2}, A^{'}$ を $A$ の任意の部分集合とする．

(1). $A_{1} \subset A_{2} ⟹ Γ (A_{1}) \subset Γ (A_{2})$ ．
(2). $Γ (A_{1} \cup A_{2}) = Γ (A_{1}) \cup Γ (A_{2})$ ．
(3). $Γ (A_{1} \cap A_{2}) \subset Γ (A_{1}) \cap Γ (A_{2})$ ．
(4). $Γ$ が左一意 $⟺ Γ (A_{1} \cap A_{2}) \supset Γ (A_{1}) \cap Γ (A_{2})$ ．
(5). $Γ$ が左全域 $⟺ Γ^{- 1} (Γ (A^{'})) \supset A^{'}$ ．
(6). $Γ$ が左一意 $⟺ Γ^{- 1} (Γ (A^{'})) \subset A^{'}$ ．

以下例えば $P \subset Q$ を示すときの「 $P$ から元を任意に取る」というのは， $P = \emptyset$ である場合は明らかに $P \subset Q$ であるから， $P \neq \emptyset$ として $P$ から元を取ったものだとする．

(1). $b \in Γ (A_{1})$ とすると， $^{\exists} a \in A_{1}, b \in Γ (a)$ ．
$A_{1} \subset A_{2}$ より， $^{\exists} a \in A_{2}, b \in Γ (a)$ である．
したがって， $b \in Γ (A_{2})$ ．

(2). まず， $b \in Γ (A_{1} \cup A_{2})$ とする．
このとき， $^{\exists} a \in A_{1} \cup A_{2}, b \in Γ (a)$ ．

もし $a \in A_{1}$ である場合には， $b \in Γ (A_{1})$ ．
もし $a \in A_{2}$ である場合には， $b \in Γ (A_{2})$ ．
いずれにせよ， $b \in Γ (A_{1}) \cup Γ (A_{2})$ となる．

一方， $b \in Γ (A_{1}) \cup Γ (A_{2})$ とする．
もし， $b \in Γ (A_{1})$ である場合には， $^{\exists} a_{1} \in A_{1}, b \in Γ (a_{1})$ ．
$^{\exists} a_{1} \in A_{1} \cup A_{2}, b \in Γ (a_{1})$ であるから， $b \in Γ (A_{1} \cup A_{2})$ となる．

もし， $b \in Γ (A_{2})$ である場合には， $^{\exists} a_{2} \in A_{2}, b \in Γ (a_{2})$ ．
$^{\exists} a_{2} \in A_{1} \cup A_{2}, b \in Γ (a_{2})$ であるから， $b \in Γ (A_{1} \cup A_{2})$ となる．

いずれにせよ， $b \in Γ (A_{1} \cup A_{2})$ となる．
以上より， $Γ (A_{1} \cup A_{2}) = Γ (A_{1}) \cup Γ (A_{2})$ がわかる．

(3). $b \in Γ (A_{1} \cap A_{2})$ とする．
すなわち， $^{\exists} a \in A_{1} \cap A_{2}, b \in Γ (a)$ である．

$^{\exists} a \in A_{1}, b \in Γ (a)$ であり， $^{\exists} a \in A_{2}, b \in Γ (a)$ であるということだから， $b \in Γ (A_{1}) \cap Γ (A_{2})$ である．

(4). $[⟹]$ : $Γ$ を左一意とする．
$b \in Γ (A_{1}) \cap Γ (A_{2})$ を任意に取る．
すると， $^{\exists} a_{1} \in A_{1}, b \in Γ (a_{1}),^{\exists} a_{2} \in A_{2}, b \in Γ (a_{2})$ である．
つまり， $b \in Γ (a_{1}) \cap Γ (a_{2})$ である．

よって $Γ (a_{1}) \cap Γ (a_{2}) \neq \emptyset$ であって， $Γ$ が左一意だから $a_{1} = a_{2}$ となる．
したがって， $a = a_{1} = a_{2}$ とすれば， $^{\exists} a \in A_{1} \cap A_{2}, b \in Γ (a)$ ゆえ， $b \in Γ (A_{1} \cap A_{2})$ ．
すなわち， $Γ (A_{1} \cap A_{2}) \supset Γ (A_{1}) \cap Γ (A_{2})$ ．

$[⟸]$ : $Γ (A_{1} \cap A_{2}) \supset Γ (A_{1}) \cap Γ (A_{2})$ とする．
$Γ (a) \cap Γ (a^{'}) \neq \emptyset$ を満たす $a, a^{'} \in A$ を任意に取る．

ここで仮定より， $Γ (a) \cap Γ (a^{'}) = Γ ({a}) \cap Γ ({a^{'}}) \subset Γ ({a} \cap {a^{'}})$ ．
$a \neq a^{'}$ と仮定すると， $Γ ({a} \cap {a^{'}}) = Γ (\emptyset) = \emptyset$ となって， $Γ (a) \cap Γ (a^{'}) = \emptyset$ となる．
これは $Γ (a) \cap Γ (a^{'}) \neq \emptyset$ と矛盾するから， $a = a^{'}$ である．

以上より， $Γ$ は左一意となる．

(5). $[⟹]$ : $Γ$ を左全域として， $a \in A^{'}$ を任意に取る．

$a \in A$ であって， $Γ$ が左全域だから， $Γ (a) \neq \emptyset$ である．
$a \in A^{'}$ ゆえ， $a^{'} = a$ とすれば， $^{\exists} a^{'} \in A^{'} Γ (a^{'}) \cap Γ (a) \neq \emptyset$ である．
$\begin{aligned} ^{\exists} a^{'} \in A^{'} Γ (a^{'}) \cap Γ (a) \neq \emptyset, \\ ⟺ & ^{\exists} b \in B,^{\exists} a^{'} \in A^{'}, b \in Γ (a^{'}), b \in Γ (a), \\ ⟺ & ^{\exists} b \in B, b \in Γ (A^{'}), a \in Γ^{- 1} (a), \\ ⟺ & ^{\exists} b \in Γ (A^{'}), a \in Γ^{- 1} (b), \\ ⟺ & a \in Γ^{- 1} (Γ (A^{'})) . \end{aligned}$
したがって， $A^{'} \subset Γ^{- 1} (Γ (A^{'}))$ を満たす．

$[⟸]$ : $A^{'} \subset Γ^{- 1} (Γ (A^{'}))$ として， $a \in A$ を任意に取る．

もし $Γ (a) = \emptyset$ と仮定すると，
${a} \subset Γ^{- 1} (Γ ({a})) = Γ^{- 1} (Γ (a)) = Γ^{- 1} (\emptyset) = \emptyset$

となって， ${a} = \emptyset$ となるが，これは矛盾である．
したがって， $Γ (a) \neq \emptyset$ である．

すなわち， $Γ$ は左全域である．

(6). $[⟹]$ : $Γ$ を左一意として， $a \in Γ^{- 1} (Γ (A^{'}))$ を任意に取る．
$\begin{aligned} a \in Γ^{- 1} (Γ (A^{'})), \\ ⟺ & ^{\exists} b \in Γ (A^{'}), a \in Γ^{- 1} (a), \\ ⟺ & ^{\exists} b \in B, b \in Γ (A^{'}), b \in Γ (a), \\ ⟺ & ^{\exists} b \in B,^{\exists} a^{'} \in A^{'}, b \in Γ (a^{'}) \cap Γ (a), \\ ⟺ & ^{\exists} a^{'} \in A^{'}, Γ (a^{'}) \cap Γ (a) \neq \emptyset . \end{aligned}$
ここで， $Γ$ が左一意だから， $a = a^{'}$ となる．
よって， $a \in A^{'}$ となるから， $Γ^{- 1} (Γ (A^{'})) \subset A^{'}$ ．

$[⟸]$ : $Γ^{- 1} (Γ (A^{'})) \subset A^{'}$ とする．

$Γ$ が左一意であることを示すために， $Γ (A_{1}) \cap Γ (A_{2}) \subset Γ (A_{1} \cap A_{2})$ を示す．
$b \in Γ (A_{1}) \cap Γ (A_{2})$ を任意に取る．

ここで， $i = 1, 2$ として， $Γ^{- 1} (b) \subset Γ^{- 1} (Γ (A_{i}))$ を示す．
$a \in Γ^{- 1} (b)$ を任意に取る．

すると $^{\exists} b \in Γ (A_{i}), a \in Γ^{- 1} (b)$ であるので， $a \in Γ^{- 1} (Γ (A_{i}))$ である．
よって， $Γ^{- 1} (b) \subset Γ^{- 1} (Γ (A_{i}))$ である．
仮定より， $Γ^{- 1} (Γ (A_{i})) \subset A_{i}$ ゆえ， $Γ^{- 1} (b) \subset A_{i}$ ．
したがって， $Γ^{- 1} (b) \subset A_{1} \cap A_{2}$ ．

このとき， $a \in Γ^{- 1} (b)$ なら $a \in A_{1} \cap A_{2}$ ゆえ， $^{\exists} a \in A_{1} \cap A_{2}, b \in Γ (a)$ である．
すなわち， $b \in Γ (A_{1} \cap A_{2})$ ．
以上より， $Γ (A_{1}) \cap Γ (A_{2}) \subset Γ (A_{1} \cap A_{2})$ ゆえ， $Γ$ は左一意となる． $◻$

反例的なモノ1

対応 $f : R \to R$ を以下のように定める．
$f (x) = {y \in R | y = x^{2}}$ .

このとき $A$ の部分集合として $A_{1} = [- 2, - 1], A_{2} = [1, 2]$ を取る．
$A_{1} \cap A_{2} = \emptyset$ なので， $f (A_{1} \cap A_{2}) = \emptyset$ である．
一方で， $f (A_{1}) = [1, 4], f (A_{2}) = [1, 4]$ なので， $f (A_{1}) \cap f (A_{2}) = [1, 4]$ である．

よって $f (A_{1} \cap A_{2}) ⊅ f (A_{1}) \cap f (A_{2})$ となる $A_{1}, A_{2}$ が存在するので，命題3 (4)より $f$ は左一意でない．

反例的なモノ2

対応 $f : R \to R$ を以下のように定める．
$f (x) = {y \in R | y = \sqrt{x}}$ .

このとき $A$ の部分集合として $A^{'} = [- 1, 2]$ を取る．
すると， $f ([- 1, 2]) = [0, \sqrt{2}]$ ， $f^{- 1} ([0, \sqrt{2}]) = [0, 2]$ である．
すなわち， $f^{- 1} (f (A^{'})) ⊅ A^{'}$ となる $A^{'}$ が存在するので，命題3 (5)より $f$ は左全域ではない．

反例的なモノ3

対応 $f : R \to R$ を以下のように定める．
$f (x) = {y \in R | y = \sqrt{9 - x^{2}}}$ .

このとき $A$ の部分集合として $A^{'} = [1, 2]$ と取る．
すると， $f ([1, 2]) = [\sqrt{5}, 2 \sqrt{2}]$ ， $f^{- 1} ([\sqrt{5}, 2 \sqrt{2}]) = [- 2, - 1] \cup [1, 2]$ となる．
すなわち， $f^{- 1} (f (A^{'})) ⊄ A^{'}$ となる $A^{'}$ が存在するので，命題3 (6)より $f$ は左一意でない．

以下の系は，命題3のそれぞれ $Γ$ を $Γ^{- 1}$ と置き換えたりしつつ，命題1,2を適用すれば導けます．(具体的な証明は省略)

命題3

対応 $Γ : A \to B$ があるとする．
$B_{1}, B_{2}, B^{'}$ を $B$ の部分集合とする．

(1). $B_{1} \subset B_{2} ⟹ Γ^{- 1} (B_{1}) \subset Γ^{- 1} (B_{2})$ ．
(2). $Γ^{- 1} (B_{1} \cup B_{2}) = Γ^{- 1} (B_{1}) \cup Γ^{- 1} (B_{2})$ ．
(3). $Γ^{- 1} (B_{1} \cap B_{2}) \subset Γ^{- 1} (B_{1}) \cap Γ^{- 1} (B_{2})$ ．
(4). $Γ$ が右一意 $⟺ Γ^{- 1} (B_{1} \cap B_{2}) \supset Γ^{- 1} (B_{1}) \cap Γ^{- 1} (B_{2})$ ．
(5). $Γ$ が右全域 $⟺ Γ (Γ^{- 1} (B^{'})) \supset B^{'}$ ．
(6). $Γ$ が右一意 $⟺ Γ (Γ^{- 1} (B^{'})) \subset B^{'}$ ．