中式亲属称谓研究之一:构建半群

前段时间在 V2EX 的一个帖子 /t/943948 中看到了一个有趣的问题:

在中文的亲属称谓体系中,我们会有“爸爸的爷爷”与“爷爷的爸爸”是同一个人,即“爸爸”和“爷爷”这两个称谓是可交换的。那么是否可以找到一个准则,以归纳所有这样的可交换称谓对?

欲解决这个问题,我们可以先使用群论对亲属关系进行建模,在此基础上分析其代数结构,进而得出亲属关系可交换的条件。本系列期用两篇博文阐述这一理论。此为其第一篇,将介绍亲属半群的建立以及该代数结构的相关性质。

同/长辈亲属集合 $\mathcal{Z}$

在开始研究亲属关系之前,我们需要明确“亲属关系”一词所指代的范围。

不同于英文语境,中文对家族中的亲属关系有着非常细致的划分。在学术上这套亲属术语被称为苏丹型系统,需要考虑更多的可能性。本系列只关注中文语境下同辈以及长辈的亲属关系,同时采用较为宽松的等价关系,将某些差别不大的亲属关系视为同一种,以降低讨论的复杂度。

具体而言,我们定义同/长辈亲属集合 $\mathcal{Z}$。$\mathcal{Z}$ 中将包含大部分的同辈称呼,如配偶、兄弟姐妹,以及更远的姐夫、弟妹等;$\mathcal{Z}$ 中也将包含所有的长辈称呼,包括父母、爷爷奶奶,以及叔嫂婶丈等。为此,我们对 $\mathcal{Z}$ 作出如下的生成式定义:

  1. $自身 \in \mathcal{Z}$;
  2. $n \in \mathbb{Z}^+$,$z_1, z_2, \ldots, z_n \in \{父亲,配偶,兄弟,姐妹\}$,则 $z_1 的 z_2 的\ldots 的 z_n \in \mathcal{Z}$。

其次,本文在考究两个称谓的等价性时,仅关注其在家族树上的位置,而忽略年龄的因素。这意味着:

  • $\mathcal{Z}$ 中的元素虽然形如“什么的什么”,但如果某个日常生活中的称呼与其中一者等价,则该称呼也被视为 $\mathcal{Z}$ 中的一员。如“爷爷”也是“爸爸的爸爸”,故有 $爷爷 \in \mathcal{Z}$。
  • 如果两个称谓的在家族树上的位置相同,仅凭年龄对立,本文将其视为集合 $\mathcal{Z}$ 中的同一个元素。例如,兄和弟、姐和妹、叔和伯在 $\mathcal{Z}$ 中皆为一个元素。
  • 本文不着眼于某个具体的家族,而是讨论普遍意义下的亲属关系。也许在你的家族中,你的父亲没有兄弟,但在本文中,叔伯总是 $\mathcal{Z}$ 里一个合法的元素。
  • 本文将忽略一些合乎道德的巧合。比如你的姐姐的配偶可能是你的哥哥的配偶的哥哥——这合乎道德,但是本文不认为这两个称谓是等价的。

此外,我们将如下集合 $\mathcal{Z}_*$ 称为 $\mathcal{Z}$ 的基本元集

$$\mathcal{Z}_*=\{自身,父亲,兄弟,姐妹,配偶\}$$

同时为了方便起见,我们简记 $E=自身$,$F=父亲$,$B=兄弟$,$S=姐妹$ 以及 $W=配偶$。

称谓结合运算 $\odot$

为了让集合 $\mathcal{Z}$ 呈现某种代数结构,我们还需引入其上的运算。一个很自然的想法便是把“的”抽象为运算,为此我们有

定义 1 (称谓结合运算)  设 $z_1,z_2,z_3 \in \mathcal{Z}$ 为三个亲属称谓,如果“$z_1$ 的 $z_2$”在前述的等价关系下与 $z_3$ 等价,则记 $z_3=z_1\odot z_2$。$\odot$ 被称为“称谓结合运算”。$\blacksquare$

为确保 $\odot$ 是定义良好的,我们必须消除某些情形下的多义性,从而 $z_1\odot z_2$ 只有至多一个结果。在现实中,如果 $z$ 为男性,则“$z$ 的兄弟的兄弟”可能是“$z$ 的兄弟”或是 $z$ 自身。本文则规定“$z$ 的兄弟的兄弟”仍是“$z$ 的兄弟”,而忽略另一义项。这种规定会影响如“亲属称谓简化”等其他问题,但不会影响这个系列所探讨的可交换性问题。相似地,我们对“姐妹”也作同样处理。

有了良定的映射 $\odot$,我们可以进一步结合 $\mathcal{Z}$ 的定义知 $\odot$ 在其上是封闭的,进而 $\odot$ 是 $\mathcal{Z}$ 上合法的二元运算。事实上,我们还有

定理 1  集合 $\mathcal{Z}$ 是 $\mathcal{Z}_*$ 的有限生成。$\blacksquare$

这也是“基本元集”起名的由来。接下来,我们可以讨论运算 $\odot$ 的一些性质。

$\odot$ 的结合性与 $\mathcal{Z}$ 半群

若期望在 $\mathcal{Z}$ 上进行代数演算,$\odot$ 的性质不能太差,比如至少要有结合性 $(z_1 \odot z_2) \odot z_3 = z_1 \odot (z_2 \odot z_3)$。

那么,$\odot$ 是否有符合结合律呢?由于 $\mathcal{Z}$ 是 $\mathcal{Z}_*$ 的有限生成,我们只需验证 $\odot$ 在 $\mathcal{Z}_*$ 上的结合性即可。为此,我们可以先列出五个基本元两两间的乘法表

$\odot$EFWBS
EEFWBS
FFFFFWFBFS
WWWFEWBWS
BBFBWBS
SSFSWBS

借助这张乘法表,读者容易验证任意三个基本元之间 $\odot$ 运算的结合性,此处不展开阐述。于此,我们知道 $\odot$ 是 $\mathcal{Z}$ 上的一个结合性运算,从而 $\mathcal{Z}$ 在运算 $\odot$ 下构成一个半群。

除此之外,从表中我们还能发现 $E$ 是一个特殊的元。任何元素 $z \in \mathcal{Z}$ 与 $E$ (左或右)运算的结果皆为 $z$ 自身。于是,$\mathcal{Z}$ 还是一个含幺半群,其幺元为 $E$。在含幺半群中,我们可以良好地定义元素的方幂

定义 2 (方幂)  若 $n \in \mathbb{Z}^+, z \in \mathcal{Z}$,则定义

$$z^n=z \odot z \odot \ldots \odot z\quad (n 个)$$

特别地,我们定义 $z^0=E$。$\blacksquare$

为了方便起见,下文会将 $z_1 \odot z_2$ 简记为 $z_1z_2$,就像我们熟悉的乘法一样。

$\mathcal{Z}$ 半群的经验性质

在这一节中,我将介绍 $\mathcal{Z}$ 半群的一些经验性质。这些性质派生自人们普遍认同的对亲属关系的理解,是 $\mathcal{Z}$ 的内在结构。后续定理的证明会用到这些性质。

首先,亲属关系的讨论应该是与起点无关的。如果一条关于亲属关系的断言成立,并且这条断言的起点是“自身”,那么将“自身”换成其他 $z \in \mathcal{Z}$ 也应该同样成立。这对我们后续的讨论很重要。现在让我们来考虑一条平凡的断言——“假设 $z_1$ 和 $z_2$ 是两个亲属关系,如果‘自身的 $z_1$’与‘自身的 $z_2$’等价,则 $z_1$ 与 $z_2$ 等价”。使用上述替换,我们将得到 $\mathcal{Z}$ 中一个重要的准则

性质 1 (左消去律)  $\forall z,z_1,z_2\in\mathcal{Z}$,$zz_1=zz_2 \Longrightarrow z_1=z_2$。$\blacksquare$

这有点像数域中的“在等式两边同除某个数,等式依然不变”,但在 $\mathcal{Z}$ 中,只有两项左边部分相同时才能这么做。

其次,我们可以将亲属关系中“辈分”这一概念抽象化。由于基本元集 $\mathcal{Z}_*$ 中只有 $F$ 父亲一项对辈分有贡献,一个亲属关系的辈分很自然地被定义为其中 $F$ 的数目

定义 3 (辈分数)  设 $z \in \mathcal{Z}$,若存在 $a_1,a_2,\ldots,a_n \in \mathcal{Z}_*$,使得 $z=a_1 a_2 \ldots a_n$,则定义以下 $G(z)$ 为 $z$ 的辈分数: $G(z) = | \{ i : a_i = F \} |$。$\blacksquare$

注意到 $G(z)$ 的定义与 $a_1,a_2,\ldots,a_n$ 的具体选取无关——换言之,一个亲属关系的不同分解中 $F$ 的个数都是相同的。于是我们有

性质 2 (辈分定理)  $a_1,\ldots,a_n,b_1,\ldots,b_m\in\mathcal{Z}_*$,若有

$$a_1a_2\ldots a_n=b_1b_2\ldots b_m$$

则有 $G(a_1a_2\ldots a_n)=G(b_1b_2\ldots b_m)$。$\blacksquare$

除此之外,我们还可以将伦理关系纳入讨论。考虑一个同辈的基本元 $a \in \{B,S,E\}$,其配偶 $aW$ 的家族通常而言不会与我们父系的家族有关联 1,故我们有

性质 3  若 $a \in \{B,S,E\}, b \neq W$,则关于 $x,y$ 的方程 $aWbx=Fy$ 无解。$\blacksquare$

进一步地,考虑两个同辈的基本元 $a,b \in \{B,S,E\}$,如果 $a \neq b$,则他们的配偶的家族也不会有交集。故有

性质 4  若 $a,b \in \{B,S,E\}, c,d \neq W$,则关于 $x,y$ 的方程 $aWcx=bWdy$ 有解当且仅当 $a=b$。$\blacksquare$

有了以上的铺垫,我们可以进入本文最重要的主题了。

$\mathcal{Z}$ 半群的标准分解

想要探究一个代数结构更深层次的结构,我们需要有一种形式标准地表示出其中所有的元素。读者可以类比整数环上的质因子分解——借助质因子分解我们可以研究更多的数论性质。类似地,$\mathcal{Z}$ 中也有这样一种分解形式。不过在那之前,我们需要了解配偶分解的概念。

定义 4 (配偶分解)  对于 $z\in\mathcal{Z}$,若序列 $\pi=(\pi_1,\pi_2,...,\pi_n)\in\mathcal{Z}$ 满足

$$z=\pi_1W\pi_2W\ldots W\pi_n$$

,则称 $\pi$ 为 $z$ 的一个配偶分解。$n$ 被称为配偶分解 $\pi$ 的长度,记为 $|\pi|$。$x$ 所有配偶分解的集合记为 $\Pi(x)$。$\blacksquare$

配偶分解即是将一个元表示为若干以“配偶”为分隔的项。一个元可能会有许多个配偶分解,考虑到 $W$ 有特殊性质 $W^2=E$,我们可以消去其中的平凡项,仅保留长度最小的形式。为此我们定义

定义 5 (最小配偶分解长度)  $\Pi(z)$ 中长度最小者,其长度被称为 $z$ 的最小配偶分解长度,记为 $L(z)$

$$L(z)=\min_{\pi \in \Pi(z)} |\pi|$$

。由于诸 $|\pi|$ 取值为正整数,他们的下确界 $L(z)$ 必存在,且也为正整数,因此这个定义是良好的。 $\blacksquare$

如果某个 $z$ 满足 $L(z)=1$,我们称其为一个标准因子。标准因子有着唯一的形式

定理 2 (标准因子的形式)  $z \in \mathcal{Z}$,若 $L(z)=1$,则 $z$ 可以唯一地写成 $z=F^my$,其中 $n\geq 0$, $y \in \{B,S,E\}$。

证明 (存在性)  由 $L(z)=1$ 知 $\exists (a_1,\ldots,a_n)\in \{F,E,B,S\}$,使得 $z=a_1\ldots a_n$。结合 $EF=BF=SF=F$ 的特性,我们可以不断将序列中的 $F$ 元与其左边的项合并,直至其左边为 $F$ 或其成为最左边的项为止。因此,我们可以不失一般性地假设存在 $1 \leq k \leq n$,使得

$$\begin{aligned} a_i&=F, &1\leq i \leq k; \\ a_j &\in \{B,S,E\}, &k < j \leq n. \end{aligned}$$

其次,利用 $BB=SB=B,BS=SS=S$,可将 $a_{k+1}a_{k+2}\ldots a_{n}$ 进一步化简为单一元 $y \in \{S,B,E\}$。如此一来我们便构造出 $z$ 的一个符合条件的分解。

(唯一性)   假设存在 $m,n\geq 0$, $b,c\in\{B,S,E\}$ 使得 $z = F^mb = F^nc$。由辈分定理我们有 $m=n$,结合左消去律可得 $y=z$。故这样的分解是唯一的。$\blacksquare$

最后,我们有 $\mathcal{Z}$ 上的标准分解定理

定理 3 (标准分解)  对任意 $z \in \mathcal{Z}$,存在唯一的 $\pi_z \in \Pi(z)$,使得 $|\pi_z|=L(z)=n$,并且 $\pi_z$ 的第 $k$ 项为 $\pi_k=F^{p_k}a_k$,其中 $p_k \geq 0, a_k \in \{B,S,E\}$。换言之,$z$ 有如下唯一的标准分解

$$z=F^{p_1}a_1WF^{p_2}a_2W\ldots W F^{p_n}a_n。$$

证明 (存在性)  由于 $\pi_z$ 已是 $z$ 长度最小的配偶分解,我们有

$$L(\pi_1)=L(\pi_2)=\ldots=L(\pi_n)=1$$

,由定理 2 可知诸 $\pi_k$ 有着唯一的形式 $F^{p_k}a_k$,进而我们总能构造一个符合条件的标准分解。

证明 (唯一性)  若同时存在 $x$ 的两种不同分解

$$\begin{align} x &= F^{p_1}a_1WF^{p_2}a_2W\ldots W F^{p_n}a_n \\ &= F^{q_1}b_1WF^{q_2}b_2W\ldots W F^{q_n}b_n \end{align}$$

利用左消去律我们可以消去两个序列开头的相同项,因此可以不失一般性地假设它们在开头便产生分歧。这会导致几种可能

  1. 若 $p_1 = 0, q_1 > 0$,由第一个序列,$x$ 形如 $a_1Wcx$,其中 $c \neq W, x \in W$;另一方面,由第二个序列,$z$ 形如 $Fy$,其中 $y \in W$。然而由性质 3 可知,这样的 $x, y$ 不存在。
  2. $p_1 = p_2 = 0$,且 $a_1 \neq a_2$。则 $z$ 可以同时写为 $a_1Wcx$ 与 $b_1Wdy$,其中 $c \neq W,$ $d\neq W,$ $x,y \in \mathcal{Z}$。然而由性质 4 知,这样的 $x, y$ 不存在。

两种情况皆会导致矛盾。因此,我们有 $z$ 的分解是唯一的。 $\blacksquare$

总结

本文使用群论的手段为中文语境下的亲属称谓建立了模型,提出了其若干性质,并最终证明了 $\mathcal{Z}$ 半群中元素的标准分解定理——这将成为我们拆解亲属称谓的有利工具。在下一篇博文中,我们将借此讨论两个亲属称谓可交换的充分必要条件。

  1. 前面说过,仅考虑家族树上的位置,不考虑可能的偶然。

作者:hsfzxjy
链接:
许可:CC BY-NC-ND 4.0.
著作权归作者所有。本文不允许被用作商业用途,非商业转载请注明出处。

«Building Electron From Scratch

OOPS!

A comment box should be right here...But it was gone due to network issues :-(If you want to leave comments, make sure you have access to disqus.com.