royden实分析 翻译+部分习题 1.2 THE NATURAL AND RATIONAL NUMBERS

THE NATURAL AND RATIONAL NUMBERS

将自然数定义为$1,2,3,......$实际上是一种临时的做法，我们有必要令其变得更加精确，为此，我们需要首先介绍可归纳集的概念。

定义 有一集合E，如果在$x\in E$的情况下有$(x+1)\in E$，并且$1\in E$，那么称E为可归纳集。

整个实数集是可归纳的，由不等式$1\ge 0$可知，集合 { x ∈ R ∣ x ≥ 0 } \{x\in R|x\geq 0\} {x∈R∣x≥0}和集合 { x ∈ R ∣ x ≥ 1 } \{x\in R|x\geq 1\} {x∈R∣x≥1}也是可归纳的，自然数集合N是R中所有可归纳子集的交，于是N也是可归纳的。实际上N可归纳是一个显然的结论:$1\in N$并且$(x+1)\in N.iffx\in N$

那个一切子集的交有点意思，我琢磨着是说，R中一切归纳集都具备有形式 { ( 1 − ϵ , 1 + ϵ ) , ( 2 − ϵ , 2 + ϵ ) , . . .   . . . , ( n − ϵ , n + ϵ ) , . . .   . . . } ∀ ϵ ∈ ( 0 , 1 ) \{(1 - \epsilon,1 + \epsilon),(2-\epsilon,2+\epsilon), ...\ ...,(n-\epsilon,n+\epsilon),...\ ...\}\forall \epsilon \in (0,1) {(1−ϵ,1+ϵ),(2−ϵ,2+ϵ),... ...,(n−ϵ,n+ϵ),... ...}∀ϵ∈(0,1)，其中小括号表示开集，那么所有这种集合的交就是自然数集。

数学归纳原理，对于任意自然数$n$和一个数学断言$S(n)$，假设$S(1)$成立，如果在$S(n)$成立的情形下必有$S(n+1)$也成立，那么对于任意自然数$n$都必有$S(n)$成立。

证明:定义 A = { k ∈ N ∣ S ( k )   i s   t r u e } A=\{ k\in N|S(k)\ is\ true \} A={k∈N∣S(k) is true},于是由假设可知，A是一个可归纳集，那么$N\subseteq A$为显然(N是所有可归纳集的交)，于是$S(N)$全为true。

定理1： 每一个非空自然数集合都有一个最小数。

证明:令$E$是一个非空自然数集合，依据定义，$E$必有一个下界$1$，按照完备公理，$E$必有下确界$c$，于是$c+1$必不是$E$的下界，于是必定存在一个自然数$m$使得$m<c+1,m\in E$，这个$m$就是$E$的最小值。

(反证法开始)，如若$m$不是$E$的最小值，则必有另一个自然数$n<c+1$使得$n<m$，也就是说，必定有$c<n<m<c+1$，于是$m<n+1$，换而言之$m\in (n,n+1)$，然而$(n,n+1)\cap N=\varnothing$矛盾。说白了,随便一个$c\in R$和$c+1$之间最多一个自然数，两个是不可能的。

阿基里德属性：对于任意两个正实数$a$和$b$,总是存在有一个自然数使得$na>b$

证明：假设存在有$a$，$b$使得结论不成立，令$c=\frac{b}{a}>0$，则c为全体自然数的一个上界，依据完备公理，必存在有有$c^{\prime }<c$为全体自然数的上确界，那么$c^{\prime }-1$必不是自然数上界，我们选择一个$n\in N,n>c^{\prime }-1$，于是$n+1>c^{\prime }$，然而自然数是归纳集，于是$n+1$也是一个自然数，那么$c^{\prime }$就不是自然数上确界了，矛盾。

我们使用阿基里德属性的一般方式是，对于任意正实数$ϵ$，总是存在一个自然数使得$\frac{1}{n}<ϵ$.

整数Z：自然数，自然数的相反数和0。有理数Q：自然数的商。无理数：不能表示为自然数商的数。

定义：对于R中一个子集E，如果E中任意两个数之间还有一个数，那么称E在R中稠密(dense)

证明：令$a$和$b$都是实数，假设有$a<b$，于是有两个case：$a>0$和$a<0$

case 1:$a>0$由R的阿基里德属性可知，总是存在一个有理数q使得$\frac{1}{q}<b-a$再次使用阿基里德属性就有 S = { n ∈ N ∣ n q ≥ b } S=\{n\in N | \frac{n}{q}\geq b\} S={n∈N∣qn​≥b}是一个非空集合。依据定理1，$S$必有一个最小数$p$。观察知$\frac{1}{q}<b-a<b$于是$p>1$为显然，并且$p-1$是一个自然数。通过选择最小值p使得$\frac{(p-1)}{q}<b$立刻就有$$a=b-(b-a)<(p/q)-(1/q)=(p-1)/q$$于是$(p-1)/q$在$(a,b)$中为显然。

这里，$q$的选择实际上划分了区间长度，我们总是能通过$q$的选择构造一个比$(a,b)$“更小的区间”，$S$的构造是说，堆叠“足够多”的这样的小区间之后，总是能大于$b$，于是$p-1$的选择实际上是选了$S$补集的最大值，也就是说堆叠“不那么多”的“更小的区间”，当然是小于$b$的。
不等式$1$实际上是将$a$用$b$表示出来，于是$S$能帮助选择一个比$b$“稍微大一点”的有理数，$q$能帮助构造一个比$(a,b)$更小的区间，于是不等式是显然的。
case 2:$a<0$
先取$-a$，必存在有自然数$n>-a$恒成立，由case 1知道，必存在有有理数$r\in (n+a,n+b)$，那么$r-n$在$(a,b)$之间为显然。

Problem

8. Use an induction argument to show that for each natural number $n$, the interval $(n,n+1)$ fails to contain any natural number.
   Proof：
   case $n=1$:$(1,2)$之间没有自然数为显然。
   case $n=k\to n=k+1$：令$(k,k+1)$之间没有自然数，下面使用反证法：假设$(k+1,k+2)$之间存在一个自然数$m$，则必有$(m-1)\in (k,k+1)$也是一个自然数，矛盾！于是若$(k,k+1)$之间没有自然数，那么$(k+1,k+2)$之间也没有，归纳完备。

9. Use an induction argument to show that if $n>1$ is a natural number, then $n-1$ also is a natural number. Then use another induction argument to show that if $m$ and $n$ are natural numbers with $n>m$, then $n-m$ is a natural number.
   Proof:
   第一问归纳法：
   case $n=2$：于是$n-1=1$是自然数为显然。
   case $n=k$：假设$k$为自然数时，$k-1$为自然数，于是对于$k+1$而言，$k+1-1=k\in N$为显然，归纳完备。
   第二问归纳法：
   两次归纳:先令$m=1$归纳$n$，然后放开$m$归纳m，懒得写了，显然的。

10. Show that for any integer n, there is exactly one integer in the interval [n, n + 1).
    Proof:
    $n\in N$并且$n\in [n,n+1)$为显然，套用8，$(n,n+1)=[n,n+1)/n$中没有其他自然数，于是成立。

11. Show that any nonempty set of integers that is bounded above has a largest member
    Proof:
    令该集合为$Z^{\prime }$，其有上界必有上确界$E=\sup Z^{\prime }$，$(E-1,E)$之间存在一个整数$z$为显然，依据问题8有另一个整数是不可能的，于是$z$就是最大值。

12. Show that the irrational numbers are dense in R.
    Proof:
    若无理数不是稠密的，必定能选一实数区间，令其中全部是有理数，然而有理数是可数的，这与R不可数矛盾。

13. Show that each real number is the supremum of a set of rational numbers and also the supremum of a set of irrational numbers.
    Proof:
    对于任意一个实数r，构造一列有理数序列：$$S_{rational}=\frac{r}{2},\frac{r}{4},......\frac{r}{2^n},r\in R,n=(1,2,......)$$
    构造一列无理数序列：$$S_{rational}=\frac{r}{2-\sqrt{2}},\frac{r}{(2-\sqrt{2}{)}^2},......\frac{r}{(2-\sqrt{2}{)}^n},r\in R,n=(1,2,......)$$显然的，这两个序列都收敛于$r$

14. Show that if $r>0$, then, for each natural number $n$, $(1+r{)}^n\ge 1+n\ast r$.
    Proof:
    case $n=1$: 等号成立。case $n=2$：大于号成立
    假设对于$n=i$成立，于是$(1+r{)}^i\ge 1+i\ast r$。 case $n=i+1$时有：$$(1+r{)}^{i+1}=(1+r{)}^i(1+r)=(1+r{)}^i+r(1+r{)}^i>1+i\ast r+r(1+r{)}^i>1+i\ast r+r>1+(i+1)\ast r$$注意这里$r(1+r{)}^i>r$即可

15. Use induction arguments to prove that for every natural number n,
    $$\sum _{j=1}^n{j}^2=\frac{n(n+1)(2n+1)}{6}$$
    $$1^3+2^3+......+n^3=(1+2+......+n{)}^2$$
    $$1+r+......+r^n=\frac{1-r^{(}n-1)}{1-r},r\ne 1$$
    等式基本都是显然的，懒得归纳了。