41. 结合律、交换律、分配律

本节, 我想讨论结合律、交换律、分配律.

我们知道, 数的加法适合结合律与交换律; 数的乘法也适合结合律与交换律; 并且, 乘法与加法适合分配律. 具体地, 我们设 , , 是 (任何的) 三个数. 那么, 加法的结合律就是 ; 乘法的结合律就是 ; 加法的交换律就是 ; 乘法的交换律就是 ; 分配律是 , 其中, 形如 的文字应被理解为 (我们通常先算乘法, 再算加法).

在小学, 我们就知道, 因为加法 (乘法) 适合结合律与交换律, 故当我们求若干个数的和 (积) 时, 我们可随意地交换这些数的次序, 且可以任何方式作加法 (乘法). 比如,不过, 小学教材没有证明此事, 初中教材似乎也没有证明此事, 且高中教材似乎也没有证明此事.

现在, 我接受这个挑战. 不过, 为方便, 我要一些新的概念.

定义 41.1., 是二个文字. 我们叫形如 的文字为有序对.

再设 , 也是二个文字. 说二个有序对 , 相等, 就是说, .

定义 41.2. 是具有某个特定性质的对象作成的一个整体. 我们叫它的对象为.

无元的集是空集. 自然地, 至少含一个元的集, 是非空的.

是集  的元, 则写 , 且说 属于 包含 . 若 不是集  的元, 则写 , 且说 不属于 不包含 .

一般地, 若集  由元 , , , 作成, 我们写还有一个记号. 设集  是由具有某个性质 的对象作成. 我们写

例 41.3. 当我们视所有的整数为一个整体时, 这个整体, 就是整数集. 习惯地, 我们表它以 .

我们常记由全体非负整数 (自然数) 作成的集为 . 那么, 我们可写不难看出, , 但 .

我们可写我们也可写

定义 41.4., 是二个非空的集. 定义

例 41.5., . 那么, 不过, 可以看到, 虽然 的元的数目是相同的, 但二者的元是不一样的.

抽象地, , 其实是一个对应法则: 变一个有序对 为某一个唯一确定的数 , 其可被表示为 . 类似地, 变一个有序对 为某一个唯一确定的数 , 其可被表示为 , 且其也可被特别地表示为 .

定义 41.6. 是一个非空的集. 设对应法则  适合: 对任何 的一个有序对 , 必存在 里的唯一的一个元 , 使在对应法则  下, 对应. (也就是: (a) 对任何 的二元 , (不必互不相同), 存在 的元 , 使在对应法则  下, 对应; (b) 若在对应法则  下, 对应, 且 对应, 则 .) 那么, 我们说, 的一个二元运算.

设在对应法则  下, 对应. 我们表此事以 .

例 41.7. 加法与乘法都是  的二元运算: 二个给定的非负整数 , 的和 (或积) 是被唯一确定的非负整数 (或 ). 不过, 减法不是: 二个非负整数的差不一定是非负整数.

不过, 减法是  的二元运算. 当然, 加法与乘法也是.

现在, 我们考虑运算律. 我们先看结合律.

为非空的集. 设 的一个二元运算. 文字 是否有意义? 显然, 我们并没有定义它的含义; 毕竟, 二元运算每次只对二个元作运算. 不过, 我们总可以先挑二个元作运算, 然后再作一次运算. 比如, 先施 , , 可得 ; 先施 , , 可得 . 二者不一定相同; 毕竟, 二元运算是相当自由的.

例 41.8.

不过, 当然, 有 总等于 的情形.

定义 41.9. 是一个非空的集. 设 的一个二元运算. 若对 的任何三元 , , (不一定是互不相同的, 下同), 必有我们说, 适合结合律.

通俗地, 结合律说, 若非空的集 的二元运算 适合结合律, 且 , , 的任何  元, 则无论如何加括号 (但不改元的前后次序), 其结果都是相等的. 所以, 是有意义的.

我们看结合律有什么用.

是非空的集. 设 的一个二元运算. 设 适合结合律. 设 , , ,  个元. 考虑文字 . 显然, 它并没有什么含义 (二元运算每次只对二个元作运算). 不过, 我们总可以二个二个地作运算. 具体地, 我们有如下  个结合 (加括号) 方式:不难用结合律验证, , , , 都等于 :所以, 通俗地, 若非空的集 的二元运算 适合结合律, 且 , , , 的任何  元, 则无论如何加括号 (但不改元的前后次序), 其结果都是相等的.

我们有理由认为, 改 , 为任何高于 的整数, 此事仍成立. 为方便, 我引入一个小的记号. 我们证明此事后, 就不再用这个记号.

定义 41.10. 的一个二元运算. 设 , , ,   个元. 定义由此可见, 就是从前向后地, 二个二个地施 , , , 得到的结果.

为方便, 我们说, 施 的一个元 的结果就是 自己.

定理 41.11. 设非空的集 的二元运算 适合结合律, 且 , , , 的任何  元. 则无论如何加括号 (但不改元的前后次序), 其结果都是相等的.

证. 注意, 有限多个元, 只有有限多个加括号的方式. 设 , , ,  个加括号的方式 (比如, , , ). 设以第  个加括号的方式算出的结果为 . 我们证明, 它们都等于 (注意, 这也是一个加括号的方式, 故它必跟 , , , 中的一个有相同的计算式). 具体地, 设命题

对任何  , , , , 无论如何加括号 (但不改元的前后次序), 施 于此  元的结果都等于 .

我们再作一个辅助命题 :

对任何不超过 的正整数 , 是对的.

我们用数学归纳法证明, 对每一个整数 , 是对的.

显然, 是对的.

现在, 我们假定, 是对的. 我们要证, 也是对的.

因为 是对的, 故 , , , 都是对的. 所以, 若我们能由此证明 是对的, 则 是对的.

任取  , , , . 任取一个 . 注意, 无论如何加括号作计算, 最后的那一步总是二个元的计算 (可回想  个元时的情形). 我们设 , 其中 是结合 , , , 的前 个元的结果, 且 是结合 , , , 的后 个元的结果. 注意, , 都低于 , 且都不低于 (因为 ), 故, 由假定, , 那么 就是 自己. 故, 则所以, 是对的.

由数学归纳法, 对任何整数  都是成立的. 进而, 对任何正整数  是成立的.

证毕.

是非空的集 的一个适合结合律的二元运算. 设 , , , 的任何  元. 我们简单地写或任何加括号的方式, 为

然后, 我们看交换律.

为非空的集. 设 的一个二元运算. 设 , . 自然地, 都有意义. 因为二元运算是相当自由的, 故二者不一定相等.

例 41.12.

不过, 当然, 有 总等于 的情形.

定义 41.13. 是一个非空的集. 设 的一个二元运算. 若对 的任何二元 , , 必有我们说, 适合交换律.

现在, 我们证明前面提到的重要事实: 当我们求若干个数的和 (积) 时, 我们可随意地交换这些数的次序, 且可以任何方式作加法 (乘法).

定理 41.14. 设非空的集 的二元运算 适合结合律与交换律, 且 , , , 的任何  元. 则无论如何加括号与交换元的前后次序, 其结果都是相等的.

证. 设命题

对任何  , , , , 无论如何加括号与交换元的前后次序, 施 于此  元的结果都等于 .

我们用数学归纳法证明, 对每一个正整数 , 是对的.

是对的.

是对的, 因为交换律.

现在, 我们假定, 是对的. 我们要证, 也是对的.

任取  , , , . 设 , , , 是不超过 的正整数, 且互不相同.

, 则 , , , 是不超过 的正整数, 且互不相同. 故

, 我们设 . 则 (若 , 则 不出现)

所以, 是对的. 由数学归纳法, 待证命题成立.

证毕.

注意, 只有交换律而没有结合律的二元运算是没有这个好性质的.

例 41.15. 定义 上的二元运算 . 不难验证, 适合交换律. 我们取 , , , , , , . 则不难发现, 不适合结合律:

最后, 我们看分配律.

定义 41.16. 是一个非空的集. 设 的一个二元运算. 设 也是 的一个二元运算.

若对 的任何三元 , , , 必有我们说, 适合左分配律.

若对 的任何三元 , , , 必有我们说, 适合右分配律.

既适合左分配律, 也适合右分配律, 我们说, 适合分配律.

适合结合律, 我们可得如下三个结果.

定理 41.17. 是一个非空的集. 设 的一个二元运算. 设 的一个二元运算, 且适合结合律. 再设 适合左分配律. 则对 的任何  , , , ,

证. 设命题

对任何  , , , , ,

我们用数学归纳法证明, 对每一个正整数 , 是对的.

是对的 (显然).

是对的, 因为左分配律.

现在, 我们假定, 是对的. 我们要证, 也是对的.

任取  , , , , . 则所以, 是对的. 由数学归纳法, 待证命题成立.

证毕.

您可用完全类似的方法, 证明如下二个事实. 我就不证它们了.

定理 41.18. 是一个非空的集. 设 的一个二元运算. 设 的一个二元运算, 且适合结合律. 再设 适合右分配律. 则对 的任何  , , , ,

定理 41.19. 是一个非空的集. 设 的一个二元运算. 设 的一个二元运算, 且适合结合律. 再设 适合分配律. 则对 的任何  , , , ,