第5.1節

記住定義
定義 5.3.1 設 $A$ 和 $B$ 是非空集，設 $R$ 是從 $A$ 到 $B$ 的關係，設 $x\in A$ 。關於 $R$ 的 $x$ 的關係類，記作 $R[x]$ ，是由以下定義的集合： $R[x]=\{y\in B|xRy\}$ .
定義 2.2.1 設 $a$ 和 $b$ 是整數。如果存在某個整數 $q$ 使得 $aq=b$ ，則稱 $a$ 整除 $b$ 。如果 $a$ 整除 $b$ ，我們記為 $a|b$ ，並稱 $a$ 是 $b$ 的因數，而 $b$ 被 $a$ 整除。

5.1.1

設 $aSb\Leftrightarrow a=|b|$ ，對於所有 $a,b\in \mathbb {Z}$ 。那麼
$S[3]=\{b\in \mathbb {Z} :3Sb\}$ ，但根據關係 $S$ 的定義，有 $S[3]=\{b\in \mathbb {Z} :3=|b|\}$ ，滿足此性質的元素只有 $3$ 和 $-3$ ，因為 $3=|3|=|-3|$ ，因此 $S[3]=\{-3,3\}$ 。類似地，我們有
$S[-3]=\{b\in \mathbb {Z} :-3Sb\}=\{b\in \mathbb {Z} :-3=|b|\}=\emptyset$ .
$S[6]=\{b\in \mathbb {Z} :6Sb\}=\{b\in \mathbb {Z} :6=|b|\}=\{-6,6\}$ .
令 $aDb\Leftrightarrow a|b$ ，對於所有 $a,b\in \mathbb {Z}$ 。那麼
$D[3]=\{b\in \mathbb {Z} :3Db\}=\{b\in \mathbb {Z} :\exists k\in \mathbb {Z} {\text{ and }}b=3k\}=\{...,-6,-3,-1,0,1,3,6,...\}$ .
$D[-3]=\{b\in \mathbb {Z} :-3Db\}=\{b\in \mathbb {Z} :\exists k\in \mathbb {Z} {\text{ and }}b=-3k\}=\{...,-6,-3,-1,0,1,3,6,...\}$ .
$D[6]=\{b\in \mathbb {Z} :6Db\}=\{b\in \mathbb {Z} :\exists k\in \mathbb {Z} {\text{ and }}b=6k\}=\{...,-12,-6,0,6,12,...\}$ .
設 $aTb\Leftrightarrow b|a$ ，對於所有 $a,b\in \mathbb {Z}$ 。那麼
$T[3]=\{b\in \mathbb {Z} :3Tb\}=\{b\in \mathbb {Z} :b|3\}=\{b\in \mathbb {Z} :\exists k\in \mathbb {Z} {\text{ and }}3=bk\}=\{-3,-1,1,3\}$ .
$T[-3]=\{b\in \mathbb {Z} :-3Tb\}=\{b\in \mathbb {Z} :b|-3\}=\{b\in \mathbb {Z} :\exists k\in \mathbb {Z} {\text{ and }}-3=bk\}=\{-3,-1,1,3\}$ .
$T[6]=\{b\in \mathbb {Z} :6Tb\}=\{b\in \mathbb {Z} :b|6\}=\{b\in \mathbb {Z} :\exists k\in \mathbb {Z} {\text{ and }}6=bk\}=\{-6,-3,2,-1,1,2,3,6\}$ .
設 $aQb\Leftrightarrow a+b=7$ ，對於所有 $a,b\in \mathbb {Z}$ 。那麼
$Q[3]=\{b\in \mathbb {Z} :3Qb\}=\{b\in \mathbb {Z} :3+b=7\}=\{4\}$ .
$Q[-3]=\{b\in \mathbb {Z} :-3Qb\}=\{b\in \mathbb {Z} :-3+b=7\}=\{10\}$ .
$Q[6]=\{b\in \mathbb {Z} :6Qb\}=\{b\in \mathbb {Z} :6+b=7\}=\{1\}$ .

5.1.2

令 $S$ 為由 $(x,y)S(z,w)\Leftrightarrow y=3w{\text{ for all }}(x,y),(z,w)\in \mathbb {R} ^{2}$ 定義的關係。
$S[(0,0)]=\{(z,w)\in \mathbb {R} ^{2}:(0,0)S(z,w)\}=\{(z,0)\}$ 。因為 $y=3w\Rightarrow 0=3w$ ，因此 $w=0$ 。關係類的幾何描述是： $x$ 軸。
$S[(3,4)]=\{(z,w)\in \mathbb {R} ^{2}:(3,4)S(z,w)\}=\{(z,{\dfrac {4}{3}})\}$ 。因為 $y=3w\Rightarrow 4=3w$ ，因此 $w={\dfrac {4}{3}}$ 。關係類的幾何描述是：方程為 $y={\dfrac {4}{3}}$ 的直線。
設 $T$ 是由 $(x,y)T(z,w)\Leftrightarrow x^{2}+3y^{2}=7z^{2}+w^{2}{\text{, for all }}(x,y),(z,w)\in \mathbb {R} ^{2}$ 定義的關係。
$T[(0,0)]=\{(z,w)\in \mathbb {R} ^{2}:(0,0)T(z,w)\}=(0,0).Because0^{2}+3\cdot 0^{2}=7z^{2}+w^{2}\Rightarrow Z=0andw=o$ .
$T[(3,4)]=\{(z,w)\in \mathbb {R} ^{2}:(3,4)T(z,w)\}=\{(z,{\sqrt {57-7z^{2}}})\}$ 。因為 $3^{2}+3\cdot 4^{2}=7z^{2}+w^{2}\Rightarrow w={\sqrt {57-7z^{2}}}$ 。關係類的幾何描述是 $y={\sqrt {57-7z^{2}}}$ 的圖形。
設 $Z$ 是由 $(x,y)T(z,w)\Leftrightarrow x=z\vee y=w{\text{, for all }}(x,y),(z,w)\in \mathbb {R} ^{2}$ 定義的關係。
$Z[(0,0)]=\{(z,w)\in \mathbb {R} ^{2}:(0,0)Z(z,w)\}=\{(0,w)\vee (z,0)\}$ .
$Z[(3,4)]=\{(z,w)\in \mathbb {R} ^{2}:(3,4)Z(z,w)\}=\{(3,w)\vee (z,4)\}$ .