漫谈实数(一)

实数(real number) 在1871年由德国数学家康托儿提出，记作$\mathbb{R}$，意味所有有理数与无理数之并.在这我暂且不展示奇技淫巧，大抵上希望能提供些新观点以供大家思考

很久之前一直是有理数(rational number） 的天下，这种局面持续了很久直到$\sqrt{2}$的出现.事实上有理数这三个字,起源多半由于舶来时各种失误，丢失了ratio(比例)这个有理数的本意，误会成了相近的"rational",后人用$\mathbb{Q}$(quotient)来指代有理数域

事实上有理数作为一个代数结构而言相当稳固，有理数的(有限次）四则运算具有封闭性，换而言之粗浅的计算并不会带来任何困扰，与此同时我们做个trick引入小数，事实上希腊当时发现$\frac{1}{3}$除不出索性就把这个当做一个结果，可谓是设而不求的先驱了，我们如今当然是知道$0.3333\cdots$这个记法，这么一来无理数(无限不循环小数)以及实数的诞生就显然了.
回到$\sqrt{2}$，我们发现他没办法写成一个比例的形式，但这个说对于朴素的人们而言又有着奇妙的魔力,为此我们把原有的有理数域给扩张成了$\mathbb{Q}(\sqrt{2})$.
这里不对域扩张做更多解释,我们理解$\mathbb{Q}(\sqrt{2})$为 { a + b 2 ∣ a , b ∈ Q } \{a+b\sqrt{2}|a,b\in \mathbb{Q}\} {a+b2 ​∣a,b∈Q}.这么做的好处是显然的:$$x^2-2=0$$
这样一个方程我们在$\mathbb{Q}$上是无解的,但是我们也不必涉及到$\mathbb{R}$,因此我们人为给这个方程增添了一个根叫做$\sqrt{2}$.可能会有人纠结$-\sqrt{2}$,事实上从代数上而言$\mathbb{Q}(\sqrt{2})$与$\mathbb{Q}(-\sqrt{2})$是一致(同构)的,而且这个元素增添不影响封闭性:$$(a+b\sqrt{2})+(c+d\sqrt{2})=(a+b)+(c+d)\sqrt{2}$$$$(a+b\sqrt{2})(c+d\sqrt{2})=(ac+2bd)+(ad+bc)\sqrt{2}$$

• 考虑方程$x^3-2=0$,我们定义${\theta }^3=2$,则我们可将$\mathbb{Q}$扩充为 Q ( θ , θ 2 ) = { a + b θ + c θ 2 ∣ a , b , c ∈ Q } Q(\theta,\theta^2)=\{a+b\theta+c\theta^2|a,b,c\in\mathbb{Q}\} Q(θ,θ2)={a+bθ+cθ2∣a,b,c∈Q}
  不难发现,我们可以将这里的$1,\theta ,{\theta }^2$当做一组基(basis) 来看,顺带一提,上述例题中$(1+\theta {)}^{-1}=\frac{{\theta }^2-\theta +1}{3}$
  再顺带一提,这里扩域可以自然延伸到多项式环上.
  单扩张会增加一些有趣的结论，比如我们知道在$\mathbb{Z}$中$7$是一个素数，但倘若我们扩张成$\mathbb{Z}(\sqrt{2})$,则有$$7=(3+\sqrt{2})(3-\sqrt{2})$$,我们将类似的概念称为不可约
• 化简$\frac{\sqrt{7}+5\sqrt{3}+4\sqrt{2}}{\sqrt{2}1+\sqrt{6}+\sqrt{1}4+3}$
  这里多了六个根式，但注意到其中$\sqrt{7},\sqrt{3},\sqrt{2}$是不可约的，不妨将其当做“基”来看待（这里可能有些歧义），则原式可转化为$\frac{\sqrt{3}+\sqrt{7}+4(\sqrt{3}+\sqrt{2})}{(\sqrt{3}+\sqrt{7})(\sqrt{3}+\sqrt{2})}=\sqrt{7}-\sqrt{2}$

初中数学把实数分成无理数和有理数 这么分自然没错，但少了许多美感，我们从这几个角度出发去思考
对有理数而言，它除了有着封闭性还有着稠密性，即任意两个不同的有理数之间必定有着不同的第三个有理数，这点是离散的整数所不具备的，然而人们发现即便如此该性质还是不足够填充满一条实直线(数轴)，为此我们可以参考戴德金的分割法，以此基础我们可以说是填满了整条数轴，因此可以说实数和整条数轴一一对应，这点是有理数所不具备的
倘若把填满数轴用近代的话描述，即实数具备完备性，即收敛(柯西)实数点列收敛得到的必定是实数，这点$\mathbb{Q}$就不具备，比如$(1+\frac{1}{n}{)}^n$点列收敛到无理数$e$

至此我们解释了两种实数的由来，一是填充满实直线，二是要求任意柯西列收敛.