任意长整数加法问题分析与方案设计_数学分析与高等代数：实数集上的运算

以前我写过一些以科普为本意的、有特定主题的文章，但是不成体系，效果不好。现在我决定在专栏上按照自己的节奏系统地讲一讲作为基础数学必修课的数学分析和高等代数。

为什么我要再讲一遍呢？是因为我看到主流的教材不能很好地体现出它们的精华，同时国外的教材相对没那么好获得，即便获得了，也容易因为它们门槛太高或篇幅太大而放弃阅读。而我希望使这些知识通俗易懂、平易近人，就要在门槛、篇幅这些方面做好平衡。

阅读本系列需要的背景知识是集合论的基础内容，高中数学的集合、逻辑用语和映射概念基本上已经够用，其它知识我会补充说明。因此本系列的门槛比较低。

在中学我们讨论了很多实数运算和不等式问题，但是有一个很明显的缺陷就是连实数是什么都说不清楚。数学分析的研究对象是实数集和欧式空间及其上的映射，这就要求我们必须把实数的意义做严格化，也就是公理化。

接下来并不直接叙述实数的完整定义，而是有顺序地给出定义中的条目，并分析它们。本文叙述和分析实数定义的第一部分，即实数集上的代数运算。

通过中学的学习，我们已经认识到实数和有理数的四则运算是一致的。然而为了确定两个实数做四则运算的结果，还是有必要先把四则运算的性质做出描述。

补充一个集合论知识。集合

与集合

的直积

在

上元素

与

相等是指

且

这使得符号

是有顺序的，即当

时

不等于

显然直积成立结合律，即

用

表示实数集。实数的加法是一个

的映射，将

上的元素

映成

满足对于任意

成立

1. 交换律，即

2. 结合律，即

3. 存在

使得

4. 存在

使得

我们也可以说

关于这样的加法构成了一个交换群。

特别地，正整数集

作为

的子集，其上的加法运算与

的一致，并且归纳地满足

这样也确定了整数集

上的加法运算。

减法依赖于加法。实数的减法是一个

的映射，将

上的元素

映成

满足对于任意

成立

乘法是一个与加法有联系但不同的运算。实数的乘法是一个

的映射，将

上的元素

映成

满足对于任意

成立

1. 交换律，即

2. 结合律，即

3. 分配律，即

我们也可以说

关于这样的乘法和上述的加法构成了一个交换环。

由于

构成交换环，可以在

上做整式的加法和乘法运算，就像初中的整式运算那样。

关于乘法，归纳地定义正整数指数幂。对于

记

在

上有一个元素是

满足

且对于任意

如果

那么

1.

2. 存在

使得

记集合

进而可以定义除法。实数的除法是一个

的映射，将

上的元素

映成

满足对于任意

和

成立

我们也可以说

关于以上的四则运算构成了一个域。

由于

构成域，可以在

上做分式的四则运算，就像初中的分式运算那样。

归纳地定义整数指数幂。对于

记

这样也就使得我们过去的指数运算成立。