Royden 实分析 翻译+部分习题 1.1

1.1 THE FIELD, POSITIVITY, AND COMPLETENESS AXIOMS

我们假设读者对于实数，实属集合，实数序列和单实值函数的性质都很熟悉，这些应该是在本科分析课本上讨论的。对于实变量的理解能帮助读者更好的理解这一章，我们将在这一章很快的建立一些以后会用的结论。我们假设实数集合满足三公理，使用$R$来表示它。我们从自然数，有理数和可数集的基本性质来推导一些公理。在这些背景之上，我们建立起实数中开集，闭集的属性；实数上收敛，单调以及柯西序列；单实变函数的连续性。
我们对于每一对实数a和b，定义其在R上有$a+b$和$ab$，分别称作是“和”和“积”，a和b分别满足以下域公理，正性公理和完备公理。
域公理
加法交换：$a+b=b+a$
加法结合：$a\ast b=b\ast a$
加运算下存在单位元0使得：$a+0=0+a,\forall a\in R$
对于任意a，加运算存在一个b使得：$a+b=0$
乘法交换：$ab=ba$
乘法结合：$a(bc)=(ab)c$
乘运算下存在单位元1使得：$a1=1a,\forall a\in R$
对于任意a，乘法下存在逆元b使得：$ab=1$
分配率：$a(b+c)=ab+ac$
非trivial定理：$0\ne 1$
任何满足这些公理的集合都称为域。从加法的交换性推出加法的单位$0$是唯一的，我们从乘法的交换性推出乘法的单位$1$也是唯一的。加法逆和乘法逆也是唯一的。我们用$-a$来表示$a$的加法逆，如果$a\ne 0$，它的乘法逆用$a^{-1}$或$1/a$来表示。如果我们有一个域，我们可以进行初等代数的所有运算，包括线性方程组的解。我们使用这些公理的各种结果，但没有明确提到。
正性公理
在实数中有一个自然的顺序概念:大于，小于等等。对这些性质进行编码的一种方便的方法是指定一组正数所满足的公理。有一组实数，用P表示，叫做正数的集合。它有以下两个属性:
P1 如果$a$和$b$是正的，那么$ab$和$a+b$也是正的。
P2 对于实数a，下面三个选项中的一个是正确的: $$a>0,a<0,a=0$$
正性公理为实数的排序提供了一种自然的方式，对于实数a和b，如果有$a-b>0$，那么就有$a>b$，$a\ge b$等价于$a>bora=b$，相应的，$a<b$和$a\le b$也是对应的意思。
使用域公理和正性公理，我们可以公理化建立不等式形式(如习题2那样)。给定实数a和b，假设有$a<b$，我们定义 ( a , b ) = { x ∣ a < x < b } {(a,b) = \{ x|a<x<b \}} (a,b)={x∣a<x<b}，将$x$描述为$a$，$b$中的一点，这样的集合，我们称作一个区间。区间两端点之间所有的点都属于这个区间，当然的，集合$(a,b)$是一个区间，下面这样的也是区间： [ a , b ] = { x ∣ a ≤ x ≤ b } ; [ a , b ) = { x ∣ a ≤ x < b } ; ( a , b ] = { x ∣ a < x ≤ b } [a,b]=\{ x|a\leq x\leq b \}; [a,b)=\{ x|a\leq x< b \};(a,b]=\{ x|a< x\leq b \} [a,b]={x∣a≤x≤b};[a,b)={x∣a≤x<b};(a,b]={x∣a<x≤b}
完备公理
对于一个非空实数集$E$，如果有$x\le b,\forall x\in E$，那么称E上有界，b为E的一个上界，相似的，“下有界”和“下界”的定义也是类似的。上有界集合不必有最大值，但可以有最小的上界。
完备公理————上有界的非空实数集$E$必有一个最小的上界。
如果E上有界，最小上界称作上确界，记作$\sup E$，如果E下有界，最大下界称作下确界，记作$\inf E$
三角不等式
我们定义$x$的绝对值为$|x|$，定义$$|x|=x,ifx\ge 0$$$$|x|=-x,ifx<0$$于是我们迅速得到三角不等式$$|a+b|\le |a|+|b|$$
扩展实数集
引入正无穷和负无穷的概念有很多好处，这里我们将$R\cup \pm \infty$称作扩展实数，很明显的，在扩展实数中，上有界非空实数集一定存在上界，下有界非空实数集一定存在下界，这为后面序列极限的很多性质带来好处，它们能很方便的定义在扩展实数上。

problem

1. For $a\ne 0$ and $b\ne 0$, show that $(ab{)}^{-1}=a^{-1}{b}^{-1}$.
   证明：实数域上必存在有唯一的$c\in R$使得$(ab{)}^{-1}c=1$，于是$c=ab$为显然。对于等式右边，我们有$(a^{-1}{b}^{-1})c=a^{-1}{b}^{-1}ab=a^{-1}ab{b}^{-1}=1$，于是等式左边在乘运算下的逆元和等式右边在乘运算下的逆元是相等的，而乘运算下$ c\in R $有且仅有一个逆元，所以等式成立.
2. Verify the following:（这题不会）
   (i) For each real number $a\ne 0$, $a^2>0$. In particular, $1>0$ since $1\ne 0$ and $1=1^2$.
   (ii) For each positive number a, its multiplicative inverse $a^{-1}$ also is positive.
   (iii) If $a>b$, then $ac>bc$ if $c>0$ and $ac<bc$ if $c<0$.
3. For a nonempty set of real numbers E, show that $\inf E=\sup E$ if and only if E consists of a single point.
   证明：E中任取一点x都有$\inf E\le x\le \sup E$，而$\inf E=\sup E$，于是必有$x=\inf E=\sup E$为一单点。
4. Let $a$ and $b$ be real numbers.
   (i) Show that if $ab=0$, then $a=0$ or $b=0$.
   证明：若$a>0,b>0$或者$a<0,b<0$，负值取加运算逆元，必有$ab>0$，若$a>0,b<0$或者$a<0,b>0$，负值取加运算逆元，必有$ab<0$，所以$a,b$中必有一个为0.
   (ii) Verify that $a^2-b^2=(a-b)(a+b)$ and conclude from part (i) that if $a^2=b^2$, then $a=b$ or $a=-b$. (trivial)
   (iii) Let $c$ be a positive real number. Define E = { x ∈ R ∣ x 2 < c . } E = \{x\in R | x^2 < c.\} E={x∈R∣x2<c.} Verify that $E$ is nonempty and bounded above. Define $x_0=\sup E$. Show that $x_0^2=c$. Use part (ii) to show that there is a unique $x>0$ for which $x^2=c$. It is denoted by $\sqrt{c}$.
   证明：若E为空，必有$c\le 0$，矛盾，所以E是$bound$的。如果还有$x_1^2=c$，必有$ x_0=\pm x_1 $，由于E是$bound$的，所以$x_1=x_0=\sqrt{c}$
5. Let $a,b,$ and $c$ be real numbers such that $a\ne 0$ and consider the quadratic equation $$a{x}^2+bx+c=0,X\in R$$
   (i) Suppose $b^2-4ac>0$. Use the Field Axioms and the preceding problem to complete the square and thereby show that this equation has exactly two solutions given by $$x=\frac{-b+\sqrt{b^2-4ac}}{2a}andx=\frac{-b-\sqrt{b^2-4ac}}{2a}$$
   证明：域公理实际上满足了实数集上的四则运算，结合4中(i)的证明，这题是trivial的。
   (ii) Now suppose $b^2-4ac<0$. Show that the quadratic equation fails to have any solution.
   证明：开方之后无实数，便没有实数解。
6. Use the Completeness Axiom to show that every nonempty set of real numbers that is bounded below has an infimum and that inf ⁡ E = − sup ⁡ { − x ∣ x ∈ E } \inf E=-\sup\{-x|x\in E\} infE=−sup{−x∣x∈E}.
   证明：E有下界，依据完备公理，E必存在下确界，那么-E必有上界，它必存在上确界。此外$$x\ge \inf x\leftrightarrow -x\le -\inf x$$于是$-\inf x$就是$-x$集合的上确界为显然。
   7.For real numbers $a$ and $b$, verify the following:
   (i) $|ab|=|a||b|$
   (i) $|x|=\pm x$，两边都大于0，于是结论为trivial
   (ii)$|a+b|\le |a|+|b|$
   (ii)做差$f=|a+b|-|a|-|b|$，一共6个case：$$a>0,b>0,a+b>0$$ $$a<0,b<0,a+b<0$$ $$a>0,b<0,a+b<0$$ $$a>0,b<0,a+b>0$$ $$a<0,b>0,a+b<0$$ $$a<0,b>0,a+b<0$$均有$f\le 0$，于是结论成立。
   (iii) For $ϵ>0$, $$|x-a|<ϵ.iffa-ϵ<x<a+ϵ$$
   (iii)一共两个case：$$x-a>0\to x<a+ϵ$$ $$x-a<0\to -x+a<ϵ\to x>a-ϵ$$要想充分必要，这两个需要同时满足，于是结论成立。