完备公理(戴德金分割)

                     

贡献者: DTSIo

预备知识 实数

   从这里开始,我们将不再区分有理数和由有理数确定的戴德金分割。

   通过戴德金分割,我们得以填补有理数集中的"空隙", 从而得到了实数集。纯粹从四则运算的角度,还不能看出实数与有理数之间有何区别。然而如果引入一些超出四则运算范围的操作,即可看出实数与有理数的决定性区别:实数集是完备(complete) 的,或者模糊地说,实数集里"没有空隙".

1. 完备公理

   怎么刻画"不存在缝隙"这样的直观特性呢?

   仍旧以数 $\sqrt{2}$ 为例。我们记得这个数的下类是 $L=\{l\leq0\}\cup\{l>0:l^2<2\}$, 上类是 $R=\{r>0:r^2>2\}$. $L$ 和 $R$ 的并集就是有理数集 $\mathbb{Q}$, 而由于 2 并非任何有理数的平方,因此 $L$ 和 $R$ 之间"空无一物", 分割 $L|R$ 并不是由一个实际存在的分点确定的。但实数集却与此不同:在区间 $(-\infty,\sqrt{2})$ 和 $(\sqrt{2},+\infty)$ 之间的确存在着一个分点 $\sqrt{2}$.

   一般来说,如果像定义戴德金分割那样对实数集 $\mathbb{R}$ 进行操作,那么得不到任何新的对象:每一个这样的分割都必定是由一个分点确定的。 实际上,如果将实数集 $\mathbb{R}$ 分成不相交的两部分 $A\cup B$, 满足

  1. 如果 $a\in A$, 那么任何小于 $a$ 的实数 $a'$ 都属于 $A$.
  2. 如果 $b\in B$, 那么任何大于 $b$ 的实数 $b'$ 都属于 $B$.
  3. 如果 $a\in A$, $b\in B$, 那么必有 $a\leq b$.
  4. $A$ 不包含最大的元素;

   那么 $L=A\cap\mathbb{Q}$ 满足戴德金分割下类的定义,从而 $R=B\cap\mathbb{Q}$ 自动满足分割上类的定义,于是 $L|R$ 自动成为一个戴德金分割,它自然就确定了一个实数 $x$. 这个实数 $x$ 自然就是"分割"$A\cup B$ 的分点,它满足如下的性质:

   对于 $a\in A$, $b\in B$, 总有 $a\leq x\leq B$. 而且,实际上更有 $A=(-\infty,x)$, $B=[x,+\infty)$.

习题 1 

   证明这一点。提示:如果存在 $a\in A$ 使得 $a>x$, 那么开区间 $(x,a)$ 中存在有理数 $q$.

   仿照这个思路,我们便能证明如下的定理:

定理 1 实数的完备性

   设 $A,B$ 是实数集的子集,使得对于任意的 $a\in A$, $b\in B$ 都有 $a\leq b$. 那么存在实数 $x$ 使得对于任意的 $a\in A$, $b\in B$ 都有 $a\leq x\leq b$.

   上面的这个性质"两个集合中间一定有一个元素"被称作"完备公理" (the axiom of completeness).

习题 2 

   证明实数的完备性,即定理 1. 提示:考虑集合 $A$ 中所有元素的下类的并集,它仍然还是一个下类。

2. 实数的公理刻画

   在得到了完备公理后,我们便可以给出实数集合的公理刻画了。

   我们称一个带有二元运算 $+$, $\cdot$ 和序关系 $<$ 的集合 $\mathfrak{R}$ 为一个实数模型,如果上述运算和序关系满足下列一组公理:

阿贝尔群公理

域公理

全序公理

完备公理

   从中学课本已经知道,可以用各种不同的方式来表示实数,例如十进制小数,但这些表示是相互等价的。严格地来说,这就是如下定理:

定理 2 实数的唯一性

   任意两个满足实数公理的实数模型都是同构的。

   在这里,"同构" (isomorphic) 的意思是说:如果 $\mathfrak{R}_1$ 和 $\mathfrak{R}_2$ 是两个实数模型,那么存在一个双射 $f:\mathfrak{R}_1\to \mathfrak{R}_2$, 使得 $f$ 保持元素之间的加法和乘法运算(即 $f$ 是域同构), 而且还保持序关系。

习题 3 

   试证明实数的唯一性定理。提示:若给定了一个实数模型,那么可以从加法单位元 0 和乘法单位元 1 开始,先在其中构造出整数和有理数,然后利用完备公理说明所有的元素都可以被视为戴德金分割的分点; 这样一来,所有的实数模型都同构于戴德金分割模型。


致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。

                     

友情链接: 超理论坛 | ©小时科技 保留一切权利