Chapter01-Introduction to Calculus and Analysis Volume I
Introduction to basic conception The Continuum of Numbers 首先,自然数可以认为是与生俱来的,但是普通的四则运算所产生的结果却不一定是自然运算,比如$1 - 1 = 0$ , $1 - 2 = -1$ , $1\div2 =\frac{1}{2}$都产生了结果不是自然数的情况。为了满足四则运算能更方便的使用,便引入了$0$ 、分数和负数,即有理数。 有理数的引入使得四则运算的适用范围更广,但有理数是否就能表示生活中所有能见到的物体的度量呢?答案是否定的,比如两个直角边都为1的直角三角形,根据毕达哥拉斯定理,其斜边的平方为$c^2 = 1^2 + 1^2$,但我们无法找到一个有理数,使得其平方为$2$,所以,有理数并不能满足所有的计算。 Real Number and Nested Interval 现在我们用数轴上的点来当作Continuum of Numbers的基本元素,其中每个点都对应一个实数x, 实数之间的大小关系就是其在数轴上的位置关系,比如x在y左边则$x < y$. 我们已经知道有理数可以用两个整数p和q的商$\frac{p}{q}$来定义,那该如何用已知的有理数或者自然数来定义无理数呢?数学中常用的一种做法是渐进,即找一个无限接近目标的序列,其项数越多,误差就越小。为了取得无理数x的渐进值,我们需要从两边同时靠近它(只考虑一边的话便没有终止条件),即在其他左右两边各取一个有理数,比如$a_1$和$b_1$, 且$a_1 < x$,$b_1 > x$, 这样,就选取了一个包含x的区间$[a_1, b_1]$。然后,将$[a_1, b_1]$对半分,取其中包含x的区间$[a_2, b_2]$,则$a_1 \le a_2 < x$, $x < b_2 \le b_1$。同样的,我们可以继续二分$[a_2, b_2]$,并不断重复下去,则可以得到任意个包含x的区间,且$[a_n, b_n]$包含于$[a_{n+1}, b_{n+1}]$,我们称这样一个区间序列为嵌套区间 。很显然,每个区间与x的误差不超过$|b_n - a_n|$。 小数 在前面的嵌套区间中,$a_n < x < b_n$。现在将数轴按以1为单位标记,然后将每个单位长度区间10等分。假设$0 \le x \le 1$,且x肯定在$[0, 1]$区间10等分后的某个小区间中,假设为$[\frac{a_1}{10},\frac{b_1}{10}]$,则$\frac{a_1}{10} \le x \le \frac{b_1}{10}$。接下来将$[\frac{a_1}{10}, \frac{b_1}{10}]$继续10等分,则会有 ...