Lecture 4: The Characterization of the Real Numbers（实数的刻画）

目录 · ← l3 · l5 →

Lecture 4: The Characterization of the Real Numbers（实数的刻画）

概述

本讲回答 Lecture 1 提出的 Problem 3：”如何精确地描述 $\mathbb{R}$？” 前两讲我们已经在集合论层面把 $\mathbb{Q}$ 与 $\mathbb{R}$ 的”大小”（可数 / 不可数）分开了；Lecture 3 又用 Theorem 27、Theorem 28 证明了一件令人不安的事：$E=\{q\in\mathbb{Q}:q>0,\ q^2<2\}$ 在 $\mathbb{Q}$ 里面没有上确界——$\mathbb{Q}$ 这条”数轴”上有洞。可是我们当时只能含糊地说”$\mathbb{R}$ 是把洞填上之后的东西”。本讲要把这句话变成公理。

本讲引入两个核心定义：域 (field, Definition 30) 与 有序域 (ordered field, Definition 33)，并给出本课程的压卷结论 Theorem 39：存在”唯一”的有序域 $\mathbb{R}\supset\mathbb{Q}$，它具有最小上界性质。Lecture 1 的 Problem 3 到此得到正式解答：$\mathbb{R}$ 不是一个”你从小学就认识的对象”，而是一个被公理完全确定下来的结构。

本讲在整个课程中的位置极为特殊：它是全课程唯一一讲专门处理”地基”的讲次。从 Lecture 5 起（Archimedes 性质、$\mathbb{Q}$ 的稠密性）到 Lecture 25（Weierstrass 逼近定理），所有定理最终都只在做一件事——把本讲写下的三条公理（域公理 + 序公理 + LUB 公理）的后果一条条挖出来。

核心定义与直观解释

域 (Field)，Definition 30

先给一句最要紧的直觉，请务必先记住它，再看公理表：

域公理说的就是”四则运算的常识”；序公理说的就是”大小的常识”；LUB 公理说的是”数轴上没有洞”。

这三句话全部加起来，就唯一地钉死了 $\mathbb{R}$。

• 严格定义：设 $F$ 是一个集合，在其上定义了两种运算——加法 (addition) $+$ 与 乘法 (multiplication) $\cdot$。若下列全部条件成立，则称 $F$ 是一个域 (field)：

  加法公理（A 组）

  编号	名称	内容
  A1	封闭性 (closure)	若 $x,y\in F$，则 $x+y\in F$。
  A2	交换律 (commutativity)	$\forall x,y\in F,\ x+y=y+x$。
  A3	结合律 (associativity)	$\forall x,y,z\in F,\ (x+y)+z=x+(y+z)$。
  A4	加法单位元 (additive identity)	$\exists\,0\in F$ 使得对一切 $x\in F$ 有 $0+x=x=x+0$。
  A5	加法逆元 (additive inverse)	$\forall x\in F,\ \exists y\in F$ 使得 $x+y=0$；记 $y=-x$。

  乘法公理（M 组）

  编号	名称	内容
  M1	封闭性	若 $x,y\in F$，则 $x\cdot y\in F$。
  M2	交换律	$\forall x,y\in F,\ x\cdot y=y\cdot x$。
  M3	结合律	$\forall x,y,z\in F,\ (x\cdot y)\cdot z=x\cdot(y\cdot z)$。
  M4	乘法单位元	$\exists\,1\in F$ 使得 $1\cdot x=x=x\cdot 1$ 对一切 $x\in F$ 成立。
  M5	乘法逆元	$\forall x\in F\setminus\{0\},\ \exists x^{-1}$ 使得 $x\cdot x^{-1}=1$。

  连接两种运算的公理

  编号	名称	内容
  D	分配律 (distributativity)	$\forall x,y,z\in F,\ (x+y)z=xz+yz$。

  用一行的符号语言概括：

  \[(F,+,\cdot)\ \text{是域}\iff \text{A1–A5, M1–M5, D 全部成立}.\]

  注意 Definition 30 中的 $1\neq 0$ 这一条是隐含在 M4 与 A4 的配合里的：源文件在 M4 里写”$\exists 1\in F$”，公理清单中并未显式把 $1\neq 0$ 单列一条，但这一点必须成立——否则这个结构退化成一个单点集（见下文”为什么需要这个条件”）。本笔记把它明确标出来，以免读者误以为 $1=0$ 是允许的。

• 直观解释（”它到底在说什么？”）： 把 $F$ 想成一块”运算场地”。A1–A5 说：加法在一个集合内部就能自由进行——你可以任意加、任意调换顺序（A2）、任意重新加括号（A3）、有一个”什么也不改变”的元素 $0$（A4）、而且每个数都配一个”能把它抵消掉”的对手 $-x$（A5）。M1–M5 对乘法说同样的话，只是把”抵消”改成”约掉”：每个非零元都有倒数。 最后的 D（分配律）是唯一一条同时提到加法和乘法的公理，它是把两个独立运作的运算缝合成一套算术的胶水。没有 D，你手里就有两个互不相干的运算，$x(y+z)$ 与 $xy+xz$ 之间没有任何桥梁，整个代数就散架了。

  现实类比：把 $F$ 想成一个可以自由加减乘除而不”漏出”集合外面的封闭世界。$\mathbb{Z}$ 的世界有裂缝：$2$ 除不尽（$2^{-1}\notin\mathbb{Z}$），所以运算会”掉出去”。$\mathbb{Q}$ 与 $\mathbb{R}$ 没有这道裂缝。

• 为什么需要这个条件？（逐条说明每条公理不可省）

  1. 没有 A5（加法逆元）：你无法做减法，$x-y$ 无意义，从而 $x<y$ 的定义 $y-x\in P$ 也无法写。整个分析（一切都在做估计、做差）立刻停摆。
  2. 没有 M5（乘法逆元）：这正是 $\mathbb{Z}$ 出局的原因。$\mathbb{Z}$ 满足 A1–A5、M1–M4、D 全部，只错一条 M5。所以 $\mathbb{Z}$ 是”几乎完美的域”，但差这一条就差了全部：$\frac{1}{2}$ 不存在，$1/n\to0$ 的论证无法开展。
  3. 没有 M4 的 $1\neq0$：若 $1=0$，则对任意 $x$ 有 $x=1\cdot x=0\cdot x=0$，于是 $F=\{0\}$ 只有一个元素。这时 M5 的前提 $F\setminus\{0\}=\varnothing$ 是空条件（”每个非零元都有逆”自动成立），D 也平凡成立——但这样的”域”上做不了任何分析。我们要求 $1\neq0$，就是为了把这种退化的单点结构排除掉。
  4. 没有 A2 / M2（交换律）：你得到的是非交换域（如四元数 $\mathbb{H}$），$xy$ 与 $yx$ 不同，二项式展开 $(x+y)^2=x^2+2xy+y^2$ 立即失效——而后者在分析里到处都在用。
  5. 没有 D（分配律）：无法展开 $(x+y)^2$、无法”提出公因子”、无法证明哪怕最简单的一条代数恒等式。它也是证明 $0\cdot x=0$（Theorem 32）时唯一用到的乘法公理。
• 具体示例（把定义走一遍）：
  • $F=\mathbb{Q}$：A1–A5、M1–M4、D 显然成立。M5 需要验证：设 $x=\frac{m}{n}\neq0$（$m,n\in\mathbb{Z}$，$n\neq0$，$m\neq0$），则 $x^{-1}=\frac{n}{m}$，且 $m\neq0$ 使 $\frac{n}{m}$ 有意义，确实 $\frac{m}{n}\cdot\frac{n}{m}=1$。$\mathbb{Q}$ 是域。✓
  • $F=\mathbb{R}$：同样验证 M5：$x\neq0$ 时 $x^{-1}=1/x$。$\mathbb{R}$ 是域。✓（但注意：$\mathbb{R}$ 的”存在性”要等到 Theorem 39 才被公理化地交代。）
  • $F=\mathbb{Z}_2=\{0,1\}$，规定 $1+1=0$：这是只有两个元素的域（下文 Example 31 详述）。✓
  • $F=\mathbb{Z}$：不是域。反证：取 $x=2\in\mathbb{Z}$，$x\neq0$。若 M5 成立，则 $\exists y\in\mathbb{Z}$ 使得 $2y=1$。但 $2y$ 必为偶数，$1$ 是奇数，矛盾（更严格地：若 $y\ge1$ 则 $2y\ge2>1$；若 $y\le0$ 则 $2y\le0<1$；若 $y$ 不存在第三种情形，因为 $\mathbb{Z}$ 的元素只能是这两类）。故 $2^{-1}\notin\mathbb{Z}$，M5 失败。✗

• 反例（条件不可省的具体展示）：除 $\mathbb{Z}$ 之外，还有几个值得记的”近似域”：

  集合	满足哪些公理	缺哪条	结论
  $\mathbb{Z}$	A1–A5, M1–M4, D	M5	不是域
  $\mathbb{N}$	A1–A3, A4（0）, M1–M4, D	A5、M5	不是域（连减法都做不了）
  $2\mathbb{Z}=\{2k\}$	A1–A5（$0\in2\mathbb{Z}$）, M1–M3, D；但 $1\notin2\mathbb{Z}$	M4、M5	不是域（没有乘法单位元，$2\cdot\frac12$ 无处安放）
  $\mathbb{Q}_{>0}$（正有理数）	A1–A3、M1–M5、D	A4、A5	不是域（没有 $0$、没有负数）
  $\mathbb{C}$	A1–A5, M1–M5, D 全部	无	是域，但不是有序域（见下文）

  $\mathbb{Q}_{>0}$ 这一行最值得停下来看：它乘法部分完美（每个正有理数都有正的倒数），但完全没有加法结构。可见”域”这个名字虽然听起来像”乘法的事”，实际上 A5 与 M5 两条缺一不可。

Example 31（源文件）：两个域的例子

• 严格内容：
  1. $\mathbb{Z}_2=\{0,1\}$，其中规定 $1+1=0$。
  2. $\mathbb{Z}_3=\{0,1,2\}$，运算取模 $3$：$a+b$、$a\cdot b$ 都取模 $3$ 的余数。源文件明确写出两条实例： \(2+1=3\equiv0\pmod 3,\qquad 2\cdot2=4=3+1\equiv1\pmod 3.\)

• 直观解释：有限多个元素也能构成域，这一点在中学直觉里很反常识——$\mathbb{Z}_2$ 里只有 $0$ 和 $1$，而 $1+1=0$。这不是”算错了”，而是因为这条数轴上”绕回来了”：$0,1,0,1,0,1,\dots$ 循环。它像钟表：$\mathbb{Z}_3$ 就是一只 3 小时一圈的表，$2+1=3$ 点整 = $0$ 点整。这种域叫有限域 (finite field)，是抽象代数与密码学的基础。它同时是检验”你是否真的会用公理”的绝佳试炼场——因为在 $\mathbb{Z}_2$ 里，许多你从小认为”必然成立”的直觉（如 $1+1\neq0$）是错的，但所有公理仍然成立。

• 为什么值得讲（这个条件的意义）：它告诉我们，域公理不强制 $F$ 是无限的，也不强制 $F$ 含于 $\mathbb{R}$。因此后面 Theorem 39 里”$\mathbb{Q}\subset\mathbb{R}$”这一句话不是域公理能推出的，必须是额外要求。没有 Example 31，读者很容易误以为”域”就等于”$\mathbb{R}$ 的子域”。

• 具体示例（逐条验证 $\mathbb{Z}_2$ 的域公理）：取 $F=\{0,1\}$，加法表与乘法表为

   +  \| 0  1        ·  \| 0  1
  ----+------      ----+------
   0  \| 0  1        0  \| 0  0
   1  \| 1  0        1  \| 0  1
  

  • A1（封闭）：两表内所有值都落在 $\{0,1\}$ 内。✓
  • A2（交换律）：两表沿主对角线对称。✓
  • A3（结合律）：只有 $2^3=8$ 种三元组，可穷举；关键是 $1+(1+1)=1+0=1$ 与 $(1+1)+1=0+1=1$，相等。✓
  • A4（$0$ 是加法单位元）：加法表第一行/列即 $0,1$。✓
  • A5（加法逆元）：$0+0=0$ 故 $-0=0$；$1+1=0$ 故 $-1=1$（注意：$1$ 是它自己的相反数！）。✓
  • M1–M4：乘法表显示 $1$ 是乘法单位元（第二行/列为 $0,1$）。✓
  • M5（乘法逆元）：$F\setminus\{0\}=\{1\}$，$1\cdot1=1$ 故 $1^{-1}=1$。✓
  • D（分配律）：穷举 8 个三元组，例如 $(1+1)\cdot1=0\cdot1=0$ 与 $1\cdot1+1\cdot1=1+1=0$，相等。✓ 故 $\mathbb{Z}_2$ 是域。

• $\mathbb{Z}_3$ 的乘法逆元清单（用脚本穷举核对过）：

  Z3 乘法：1*1 mod 3 = 1 ； 2*2 mod 3 = 4 mod 3 = 1
  故 1^{-1} = 1 ， 2^{-1} = 2
  （2 的逆元是 2 本身，因为 2·2 = 4 ≡ 1）
  

  同理 $\mathbb{Z}_5$ 中 $2^{-1}=3$，因为 $2\cdot3=6\equiv1\pmod 5$。

• 反例（关键）：$\mathbb{Z}_2$ 是域，但 $\mathbb{Z}_2$ 不是有序域（源文件 Example 34）。这是本讲最重要的”两条公理彼此独立”的例证：多元素、可加减乘除，并不意味着能比大小。证明见下文 Example 34。

有序域 (Ordered Field)，Definition 33

• 严格定义（源文件 Definition 33 原文形式）：域 $F$ 称为有序域 (ordered field)，如果 $F$ 同时也是一个带序关系 $<$ 的有序集 (ordered set)，并且

  \(i)\quad \forall x,y,z\in F,\quad x<y\ \Longrightarrow\ x+z<y+z;\) \(ii)\quad \text{若 } x>0 \text{ 且 } y>0,\ \text{则 } xy>0.\)

  若 $x>0$，称 $x$ 为正的 (positive)；若 $x\ge0$，称 $x$ 为非负的 (non-negative)，其中 $x\ge0$ 意为”$x>0$ 或 $x=0$”。

  这里的”有序集”沿用 Lecture 3 的 Definition 23：$<$ 满足 (1) 三歧性 (trichotomy)：$\forall x,y\in S$，$x<y$、$y<x$、$x=y$ 三者恰有一个成立； (2) 传递性 (transitivity)：若 $x<y$ 且 $y<z$，则 $x<z$。

• 补充（等价刻画：正元素集 / 正锥形式）：上面是源文件的形式。抽象代数里还有一种完全等价的写法，它对理解 Definition 33 极有帮助。设 $F$ 是域，$P\subset F$ 是它的”正元素集”，若

  \((T)\ \text{三歧性：}\ \forall x\in F,\quad x\in P,\ x=0,\ -x\in P\ \text{三者恰有一个成立};\) \((A)\ \text{对加法封闭：}\ x,y\in P\ \Longrightarrow\ x+y\in P;\) \((M)\ \text{对乘法封闭：}\ x,y\in P\ \Longrightarrow\ xy\in P,\)

  则令 $x<y\iff y-x\in P$，就得到一个有序域；反之任一有序域取 $P=\{x:x>0\}$ 也满足 $(T)(A)(M)$。两种说法一一对应：Definition 33 的 $i)$ 就来自 $(A)$ 加上”$y-x=(y+z)-(x+z)$”的改写，$ii)$ 就是 $(M)$。

  说明：标为”补充”是因为源文件 Lecture 4 用的是 $i)$、$ii)$ 两条形式；$(T)(A)(M)$ 是等价的教科书标准写法，本笔记用它来把”为什么 $\mathbb{C}$ 不行”讲透。

• 直观解释（”它到底在说什么？”）： 序公理说的就是“大小的常识”，只有两条：
  • $i)$：不等式两边同时加同一个数，方向不变。这就是你在中学解不等式时”移项”的合法性来源。
  • $ii)$：两个正数相乘还是正数。这一条看起来最无辜，其实是最有力的一条——正是它排除了 $\mathbb{C}$。

  而 $i)$ 里已经悄悄包含了三歧性：因为”$F$ 是有序集”要求任意两个元素可比且恰有一种情形。所以任何一个有序域里，”$x<y$、$x=y$、$x>y$”这三种情况永远穷尽且互斥。这是做一切不等式论证时的”分情形讨论”的许可证（这本身就是 Lecture 3 Remark 17 提到的证明方法：casework）。

• 为什么需要这个条件？
  1. 为什么 $ii)$ 不能减弱为”$xy\ge0$”？ 若允许 $xy=0$（$x,y>0$），则正数集合会对乘法”塌缩”到 $0$，Theorem 36（正负相乘得负）的证明会因为无法断言”$-xy>0$ 严格成立”而失败，进而一切严格不等式论证失效。
  2. 为什么需要三歧性而不能只有传递性？ 若只有传递性（即偏序），则 $x$ 与 $y$ 可能不可比。那样 $\sup E$ 的定义就出问题：上界可能与 $E$ 的元素完全无法比较，”最小上界”可能有多条互不可比的候选。LUB 性质的意义会被彻底摧毁。
  3. 为什么 $i)$ 必须是”$x<y\Rightarrow x+z<y+z$”而不是”$\le$”？ 严格版本才能推出 $x>0\iff-x<0$（Theorem 35）这类严格结论；而且非严格版本要由严格版 + 三歧性导出（当 $x=y$ 时 $x+z=y+z$ 是等号，不是序公理的事）。
  4. 序公理的独立性：$\mathbb{Z}2$ 是域却不是有序域（Example 34），$\mathbb{C}$ 是域却不是有序域（[JL] Example 1.1.10）。反过来，$\mathbb{Q}{>0}$ 带通常序 $<$ 也不是有序域（没有 $0$，$i)$ 无法表述），因为它连域都不是。所以”域”与”有序域”是两个真正不同的概念。
• 具体示例（用最小的具体对象走一遍）：
  • $F=\mathbb{Q}$：$i)$ 设 $x<y$，即 $y-x>0$；则 $(y+z)-(x+z)=y+z-x-z=y-x>0$，故 $x+z<y+z$。✓ $ii)$ 设 $x,y>0$ 为有理数，写成正分数 $\frac{m}{n},\frac{p}{q}$（$m,n,p,q\in\mathbb{N}$），则 $xy=\frac{mp}{nq}$，分子分母都是正整数，故 $xy>0$。✓ 由 Example 34，$\mathbb{Q}$ 是有序域。
  • 取具体数字：$x=\frac13<y=\frac12$，$z=-\frac34$。则 $x+z=\frac13-\frac34=\frac{4-9}{12}=-\frac{5}{12}$，$y+z=\frac12-\frac34=-\frac14=-\frac{3}{12}$。比较：$-\frac{5}{12}<-\frac{3}{12}$（因为 $-\frac{3}{12}-(-\frac{5}{12})=\frac{2}{12}>0$）。✓ 这与 $i)$ 的预测一致：加同一个负数，不等式方向不变，但两端都变小了。
• 反例：$\mathbb{Z}_2$ 不是有序域（Example 34，下方给出完整证明）；$\mathbb{C}$ 不是有序域（下方给出完整证明）。这两个反例合起来说明：“能做四则运算”与”能比大小”是两件独立的事。

Example 34（源文件）：$\mathbb{Q}$ 是有序域，$\mathbb{Z}_2$ 不是

• 严格内容：$\mathbb{Q}$ 是有序域。反例是 $\mathbb{Z}_2$：考察 $0<1$ 与 $1<0$ 两种可能，均导出矛盾。
• 证明策略：穷尽情形（casework）+ 反证。三歧性告诉我们 $0$ 与 $1$ 之间只有三种可能：$0<1$、$0=1$、$1<0$。第三种被 $1\neq0$ 排除（$1=0$ 会使 $\mathbb{Z}_2$ 退化为单点集，而 $\mathbb{Z}_2$ 有两个元素）。所以只剩 $0<1$ 与 $1<0$，把两条序公理分别用在它们上面，各造出一个矛盾。

• 逐步推导（源文件证明的完整展开）：

  第一步：取定 $F=\mathbb{Z}_2=\{0,1\}$，其中 $1\neq0$，$1+1=0$。

  第二步（情形一：假设 $0<1$）：对不等式 $0<1$ 两端同时加 $1$。 由 $i)$（取 $x=0,\ y=1,\ z=1$）： \(0+1<1+1.\) 由 A4（$0+1=1$）与 $\mathbb{Z}_2$ 的加法规定（$1+1=0$）： \(1<0.\) 但由三歧性，$0<1$ 与 $1<0$ 不能同时成立。矛盾。（源文件原文写作”$1+0<1+1=0\Rightarrow1<0$，这是矛盾”。）

  第三步（情形二：假设 $1<0$）：对不等式 $1<0$ 两端同时加 $1$。 由 $i)$（取 $x=1,\ y=0,\ z=1$）： \(1+1<0+1.\) 由 $\mathbb{Z}_2$ 的加法规定（$1+1=0$）与 A4（$0+1=1$）： \(0<1.\) 同样与三歧性矛盾（$1<0$ 与 $0<1$ 不能同时成立）。

  第四步（穷尽情形）：第三种情形 $0=1$ 已被 $1\neq0$ 排除。所有情形都矛盾，故假设”$\mathbb{Z}_2$ 上存在使之成为有序域的序关系 $<$”不成立。 结论：$\mathbb{Z}_2$ 不是有序域。$\blacksquare$

• 【证明机制解说】：这个证明的全部力量来自一个极简的观察——在 $\mathbb{Z}_2$ 里 $1+1=0$，也就是“$1$ 是它自己的相反数”。而在任何有序域里我们希望有类似 $0<1$ 的结论，$i)$ 又要求”加同一个数不改变方向”。于是：
  • 若 $0<1$，加 $1$ 得 $1<1+1=0$，变成 $1<0$；
  • 若 $1<0$，加 $1$ 得 $1+1=0<0+1=1$，变成 $0<1$。

  两个方向都会把不等式翻过来，而三歧性禁止同时成立。换句话说：在 $\mathbb{Z}_2$ 里”加 $1$”这个操作本身就是”取相反数”，而序公理 $i)$ 不允许”取相反数”保序。这就是矛盾的根源。这个论证还顺带告诉我们一个普遍事实（下文补充推论）：任何有序域都必然满足 $0<1$，因此特征 (characteristic) 为 $0$，必然含有一个与 $\mathbb{Q}$ 同构的子域——而 $\mathbb{Z}_2$ 的特征是 $2$，$1+1=0$，天生做不到 $0<1$。

• 【证明技巧总结】：
  1. 只有三种情形时，穷举就是完整证明（Lecture 3 Remark 17 的 casework 方法）。
  2. “最简要素”策略：在有多个元素的结构里找最小的可能冲突。这里连 $x+y$ 都还没用上，只用 $0,1$ 和 $1+1=0$ 就够了。
  3. “用序公理去撞代数事实”：把 $i)$ 施加在一个代数恒等式（$1+1=0$）上，是证明”某结构不可序”的标准套路。$\mathbb{C}$ 的反证用的是同一个套路，只是把 $1+1=0$ 换成 $i^2=-1$（见下文）。

最小上界性质 (Least Upper Bound Property, LUB) —— 回顾 Lecture 3 Definition 26

本讲的 Theorem 38、39、40 都建立在 LUB 性质之上，所以必须在序的语境下把它的精确定义重述一遍（源文件在 Lecture 3 给出，Lecture 4 直接引用）。

• 严格定义（回顾 Definition 26）：设 $S$ 是有序集。先回顾（Definition 24）：

  • 若 $\exists b\in S$ 使得 $\forall x\in E,\ x\le b$，则称 $E$ 有上界 (bounded above)，$b$ 是 $E$ 的上界 (upper bound)；
  • 若 $\exists c\in S$ 使得 $\forall x\in E,\ x\ge c$，则称 $E$ 有下界 (bounded below)，$c$ 是 $E$ 的下界 (lower bound)。

  进而，$b_0\in S$ 称为 $E$ 的最小上界 (least upper bound) 或上确界 (supremum)，若 \(A)\ b_0\ \text{是}\ E\ \text{的上界};\qquad B)\ \text{若}\ b\ \text{是}\ E\ \text{的上界，则}\ b_0\le b.\) 记作 $b_0=\sup E$。类似地定义最大下界 / 下确界 (infimum) $c_0=\inf E$。

  最后：有序集 $S$ 具有最小上界性质 (has the least upper bound property)，若

  \[\text{每一个非空且有上界的子集}\ E\subset S\ \text{都在}\ S\ \text{中有上确界}\ \sup E.\]

  用符号写清量化结构（请特别留意量词顺序，这是本课程最容易写错的地方）：

  \[\forall E\subset S,\quad \Big[\big(E\neq\varnothing\ \wedge\ E\ \text{有上界}\big)\ \Longrightarrow\ \exists\,b_0\in S\ \text{s.t.}\ b_0=\sup E\Big].\]
• 直观解释：LUB 性质说的是”数轴没有洞“。想象你拿一把无限长的直尺去量 $E$：上界就是所有”站在 $E$ 右边（或恰好压在 $E$ 最右端）”的点。LUB 性质断言：这些”右边点”里一定有一个最靠左的，而且它就在 $S$ 里面。
  • 另一方面，它同时说的是”没有缝隙“：如果 $S$ 在某个位置断开成左右两块，左边那块就会是一个”非空、有上界、但在 $S$ 中取不到上确界”的集合。
• 为什么需要这个条件？ 域公理 + 序公理只能保证”四则运算和比大小的常识”，完全管不了数轴是否连续。$\mathbb{Q}$ 满足全部域公理与序公理，却在 $\sqrt2$ 处有个洞（Lecture 3 Theorem 28）。没有 LUB 性质，就无法证明单调有界定理、Bolzano–Weierstrass、极值定理、介值定理——整门分析课会全线崩塌。
• 具体示例：
  • $S=\mathbb{Z}$，$E=\{-2,-1,0,1,2\}$：$\inf E=-2\in E$，$\sup E=2\in E$（Lecture 3 Example 25）。注意这时 $\sup$ 恰好落在 $E$ 里，但这是巧合，不是要求。
  • $S=\mathbb{Q}$，$E=\{q\in\mathbb{Q}:0\le q<1\}$：$\inf E=0\in E$，但 $\sup E=1\notin E$。上确界不必属于集合本身。 把 $\sup$ 与 $\max$ 混为一谈是本课程最常见的错误之一。
  • $S=\mathbb{Z}$，$E=\mathbb{N}$：$\inf E=1$，但 $\sup E$ 不存在（没有比所有自然数都大的整数）。
• 反例（关键）：$S=\mathbb{Q}$，$E=\{q\in\mathbb{Q}:q>0,\ q^2<2\}$。Lecture 3 Theorem 27 证明：若 $x=\sup E$ 存在，则 $x^2=2$；Theorem 28 证明：不存在 $x\in\mathbb{Q}$ 使 $x^2=2$。所以 $E$ 非空、有上界（$2$ 是上界），但在 $\mathbb{Q}$ 中没有上确界。因此 $\mathbb{Q}$ 不具有 LUB 性质。$\mathbb{Q}$ 与 $\mathbb{R}$ 的差别，全在这一条上。

定理与完整证明（核心）

Theorem 32（$0\cdot x=0$）

• 定理陈述：设 $F$ 是域，$x\in F$。则 \(0\cdot x=0.\)

• 证明策略：“加一项减一项”（更准确地说是”造一个 $0$”）。直接从 $0\cdot x$ 出发是无从下手的——因为关于 $0\cdot x$ 你什么都不知道。破局点是一个极巧的观察：$0=0+0$（A4），而一旦把 $0$ 写成 $0+0$，分配律 D 就能把它”劈成两项”，其中一项与待减去的项相互抵消。

  这个策略的目标很明确：把 $0\cdot x$ 变造成”某物减自己”，而”某物减自己 $=0$”是 A5 白送的。

• 逐步推导（编号步骤，逐步注明依据）：

  设 $x\in F$。

  1. $0\cdot x-0\cdot x=0$。 （依据：A5，取 $x$ 位置上的元素为 $0\cdot x\in F$——注意由 M1，$0\cdot x\in F$ 确实合法，所以 A5 可以对它使用；差的定义 $a-b:=a+(-b)$。）
  2. $0=0+0$。 （依据：A4，$0$ 是加法单位元，故 $0+0=0$。）
  3. 在 $0\cdot x$ 中把 $0$ 替换为 $0+0$： \(0\cdot x=(0+0)\cdot x.\) （依据：步骤 2 与等量替换。）
  4. $(0+0)\cdot x=0\cdot x+0\cdot x$。 （依据：分配律 D，取 $y=0,\ z=x$：$(x+y)z=xz+yz$ 即 $(0+0)x=0\cdot x+0\cdot x$。注意这里只用到 D 的一个方向。）
  5. 合并 3、4： \(0\cdot x=0\cdot x+0\cdot x.\)
  6. 两端同时减去 $0\cdot x$（即加 $-(0\cdot x)$，由 A5 存在）： \(0\cdot x-\bigl(0\cdot x\bigr)=\bigl(0\cdot x+0\cdot x\bigr)-\bigl(0\cdot x\bigr).\) （依据：A5 提供的加法逆元；等式两边加同一个元素保持相等。）
  7. 左端 $=0$（步骤 1）；右端由 A3（结合律）重排： \(\bigl(0\cdot x+0\cdot x\bigr)-\bigl(0\cdot x\bigr)=0\cdot x+\bigl(0\cdot x-\bigl(0\cdot x\bigr)\bigr)=0\cdot x+0=0\cdot x.\) （依据：A3 结合律、A5 加法逆元、A4 加法单位元。）
  8. 合并 6、7： \(0=0\cdot x.\) （依据：传递性。）

  即 $0\cdot x=0$。$\blacksquare$

  源文件把 1–8 压缩成一行链式等式，正是这个意思： \(0=0\cdot x-0\cdot x=(0+0)\cdot x-0\cdot x=0\cdot x+0\cdot x-0\cdot x=0\cdot x.\)

• 【证明机制解说】：这个证明的”灵光一现”之处是：你要证明的东西是关于 $0\cdot x$ 的，但你唯一能操纵的杠杆是关于 $0$ 的（A4：$0=0+0$）。所以策略是”把 $0$ 换成 $0+0$，让分配律把它劈开“。

  为什么这能成功？因为分配律 D 是一条”把乘法分配到加法上“的规则，它天然会把”乘以 $0$”变成”乘以两个 $0$ 之和”。劈开之后，你得到了两个相同的项 $0\cdot x+0\cdot x$，而”相同的两项相减得零”是 A5 立刻给出的。于是整个等式变成 $0\cdot x=0\cdot x+0\cdot x$，两端消去一个 $0\cdot x$，答案是 $0$。

  如果你要自己重新发明这个证明，思路轨迹是：“我要求 $0\cdot x$。可我手上没有关于它的信息。$0$ 的特殊之处在哪？A4 说 $0+0=0$，A5 说 $x+(-x)=0$。我想办法用其中一个去’生成’关于 $0\cdot x$ 的等式。D 是唯一连接乘法和加法的桥——那我就把 $0$ 写成 $0+0$，走这座桥。”

  这个证明还揭示了一个更普遍的模式：在公理化的代数证明里，”构造一个 0”或”构造一个 1”几乎总是第一步棋。

• 【证明技巧总结】：
  1. “把特殊元写成两半”：$0=0+0$、$1=1\cdot1$、$x=x+0$。这是代数公理证明的头号技巧。
  2. “造出 $a-a=0$ 再消去”：只要你想证某个量等于 $0$，就设法让它等于”某物减它自己”。
  3. 只挑一条公理当桥：注意整个证明只用了 A3、A4、A5、D，一次都没用 A2（交换律）、M2–M5。这说明”$0\cdot x=0”是分配律与加法结构的直接后果，与乘法是否能交换、是否有逆毫无关系。
  4. 合法性检查：每写一步都要确认写下的对象真的在 $F$ 里（用 M1 确认 $0\cdot x\in F$，才能对它用 A5）。这正是 A1、M1 这两条”封闭性公理”存在的意义——它们是所有后续步骤的通行证。

推论 32.1–32.3（补充：另外三条从域公理出发的基本推论）

源文件只证了 Theorem 32，并说”Simple properties follow from the properties of a field”。为了把”从公理出发做证明”这项训练做透，这里补充（明确标注为补充，非源文件定理）三条最常用的推论，全部只依赖 A1–A5、M1–M5、D。

推论 32.1（补充）：设 $F$ 是域，$x,y\in F$，则 \((-x)\cdot y=-(xy).\) 推论 32.2（补充）：设 $F$ 是域，$x,y\in F$，则 \((-x)\cdot(-y)=xy.\) 特别地，取 $x=1$ 得 $(-1)\cdot(-1)=1$；再结合推论 32.1 得 \((-1)\cdot x=-x.\) 推论 32.3（补充）：设 $F$ 是域，$x,y\in F$，则 \(x\cdot y=0\ \Longrightarrow\ x=0\ \text{或}\ y=0.\) （这条件等价于”域没有零因子 (zero divisor)”，是消去律 $xz=yz\ \wedge\ z\neq0\Rightarrow x=y$ 的来源。）

证明策略（三条共用一个策略）：用”唯一性”把目标钉死。要证 $a=-(xy)$，最省力的办法不是从 $a$ 出发变形，而是证明”$a$ 满足 $-(xy)$ 的定义性质，即 $a+xy=0$”，再用加法逆元的唯一性（引理 32.4）断言二者相等。这是一个极其重要的思维转换：“证明两个东西相等” ⟶ “证明其中一个满足另一个的定义刻画性质”。

引理 32.4（补充：单位元与逆元的唯一性）：在域 $F$ 中， (a) 加法单位元唯一：若 $0^{\prime}$ 满足 $\forall x,\ 0^{\prime}+x=x$，则 $0^{\prime}=0$。 (b) 乘法单位元唯一：若 $1^{\prime}$ 满足 $\forall x,\ 1^{\prime}\cdot x=x$，则 $1^{\prime}=1$。 (c) 加法逆元唯一：若 $a+x=0$，则 $a=-x$。 (d) 乘法逆元唯一：若 $x\neq0$ 且 $a\cdot x=1$，则 $a=x^{-1}$。

引理 32.4 的证明： (a) 取 $x=0$ 于 $0^{\prime}+x=x$ 得 $0^{\prime}+0=0$；又由 A4（$0$ 是单位元）$0^{\prime}+0=0^{\prime}$；故 $0^{\prime}=0$。 （更标准的三行写法：$0^{\prime}=0^{\prime}+0=0$，第一步用 A4，第二步用 $0^{\prime}$ 的单位元性质。） (b) 同理：$1^{\prime}=1^{\prime}\cdot1=1$，第一步用 M4，第二步用 $1^{\prime}$ 的单位元性质。 (c) 设 $a+x=0$。则 \(a=a+0=a+(x+(-x))=(a+x)+(-x)=0+(-x)=-x,\) （依据依次为：A4；A5；A3；假设 $a+x=0$ 与 A4；A4。） (d) 设 $x\neq0$、$a\cdot x=1$。则 \(a=a\cdot1=a\cdot(x\cdot x^{-1})=(a\cdot x)\cdot x^{-1}=1\cdot x^{-1}=x^{-1},\) （依据依次为：M4；M5（$x^{-1}$ 存在，因 $x\neq0$）；M3；假设与 M4。）$\blacksquare$

推论 32.1 的证明：只需证 $(-x)\cdot y+x y=0$。计算： \((-x)\cdot y+xy=\bigl((-x)+x\bigr)\cdot y=0\cdot y=0,\) （依据依次为：D（反向使用，把公因子 $y$ 提出）；A5（$(-x)+x=0$）；Theorem 32。）由引理 32.4(c)（加法逆元唯一），$(-x)y=-(xy)$。$\blacksquare$

推论 32.2 的证明：由推论 32.1 两次， \((-x)(-y)=-\bigl(x\cdot(-y)\bigr)=-\bigl(-(xy)\bigr).\) （第一步：把 $(-x)$ 看成”$x$ 的相反数”代入推论 32.1；第二步：把 $(-y)$ 看成”$y$ 的相反数”代入推论 32.1。） 再由引理 32.4(c)：$-(xy)$ 的相反数就是 $xy$（因为 $-(xy)+xy=0$，由 A5）。故 $(-x)(-y)=xy$。$\blacksquare$

取 $x=1$ 的特例：由推论 32.1，$(-1)\cdot y=-(1\cdot y)=-y$（最后一步用 M4）。这就是”负一乘任何数等于取相反数“，也是思考题 Q1 要求的内容。

推论 32.3 的证明（反证 + 利用 $y^{-1}$ 的存在性）：设 $xy=0$。若 $y=0$，结论已成立。否则 $y\neq0$，由 M5 存在 $y^{-1}$。则 \(x=x\cdot1=x\cdot(y\cdot y^{-1})=(x\cdot y)\cdot y^{-1}=0\cdot y^{-1}=0,\) （依据依次为：M4；M5；M3；假设 $xy=0$；Theorem 32。）故 $x=0$。两种情形穷尽，结论成立。$\blacksquare$

• 【证明机制解说】：这三条推论反复使用同一个思想——“要证 $a=b$，就证 $a$ 具备 $b$ 的定义性特征”。
  • 想证 $(-x)y=-(xy)$？不要去”变形 $(-x)y$”（你手上没有它的任何刻画像），而是去验证”它的定义性特征”：加上 $xy$ 得 $0$。这个验证过程只用一步分配律 D 加 Theorem 32，非常干净。
  • 想证 $(-x)(-y)=xy$？把它归约（reduce）到已经证过的推论 32.1——这是数学证明里的”搭梯子“：先证一个稍微一般化的命题（32.1 对任意 $y$ 成立），然后把它当工具反复使用。注意 $(-x)(-y)$ 的第二个括号里的负号，是通过把 32.1 里的”$y$”换成”$-y$”得到的，这一步换元是合法且关键的。
  • 推论 32.3 则展示了”用逆元消去的合法性“：域里”乘积为零必有一因子为零”这条中学就学过的规则，其唯一来源就是 M5（乘法逆元存在）。这解释了为什么 $\mathbb{Z}$ 虽然不是域，却仍然没有零因子——因为推论 32.3 的证明在 $y\neq0$ 且可逆时才能走通；对 $\mathbb{Z}$ 我们用的是不带逆元的直接整除论证。反过来说，若一个结构有零因子（如 $\mathbb{Z}_6$：$2\cdot3=6\equiv0$ 而 $2,3\neq0$），它一定不是域。

  为什么”唯一性”这个中间步骤值得单独抽成引理？ 因为它把”求逆”这件操作变成了”定义”：你不需要知道 $(-x)y$ 长什么样，只需要知道它是那个”加上 $xy$ 等于 $0$”的元素，而 A5 保证了后者的存在、引理 32.4(c) 保证了它的唯一。这一”存在 + 唯一 ⟹ 可用定义代替计算”的思想，是本课程之后定义 $\sup$、$f^{-1}$、$\lim$ 时的同一个套路。

• 【证明技巧总结】：
  1. “证明相等 ⟶ 验证定义性特征 + 唯一性”：这是代数与分析通吃的最强模式。要证 $a=\sup E$，就验证”$a$ 是上界”且”$a$ 不超过任何上界”；要证 $a=-b$，就验证 $a+b=0$。
  2. “搭梯子”（先证一般命题再反复调用）：先立推论 32.1，再两行拿下推论 32.2。
  3. “分情形 + 反证”：推论 32.3 中”若 $y=0$ 则完事；否则 $y\neq0$ 可用 $y^{-1}$”这个二分法，是把”或”字形结论（$x=0$ 或 $y=0$）证明出来的标准方式——要证 “$P$ 或 $Q$”，先假设 $Q$ 不成立再证 $P$。
  4. “每步都检查对象是否合法存在”：用 $y^{-1}$ 之前必须先有 $y\neq0$；用 $-(xy)$ 之前必须先有 $xy\in F$。这个习惯在后面的 ε 论证里会变成”用 $1/y_n$ 之前必须先证 $y_n\neq0$”。

Theorem 35（$x>0\Rightarrow -x<0$）

• 定理陈述：设 $F$ 是有序域，$x\in F$。若 $x>0$，则 $-x<0$（反之亦然）。

• 证明策略：把序公理 $i)$ 当成一台”平移机器”。注意 $<0$ 与 $>0$ 之间的唯一桥梁就是 $i)$：$i)$ 是 Definition 33 里唯一一条把 $<$ 与 $+$ 联系起来的公理。因此我们别无选择，只能对不等式 $x>0$ 的两端同时加 $-x$——这样左端恰好变成 $-x$，右端恰好变成 $0$，一步到位。

• 逐步推导：
  1. 假设 $x>0$，即 $0<x$。 （依据：$x>0$ 的定义就是 $0<x$。）
  2. 对 $0<x$ 两端同时加 $-x$。由 $i)$（取 $x$ 位置为 $0$、$y$ 位置为 $x$、$z$ 位置为 $-x$）： \(0+(-x)<x+(-x).\)
  3. 左端：$0+(-x)=-x$。 （依据：A4，$0$ 是加法单位元。）
  4. 右端：$x+(-x)=0$。 （依据：A5，$-$ 的定义。）
  5. 合并：$-x<0$。

  反之亦然：若 $-x<0$，即 $0-(-x)>0$；由推论 32.2（补充）与 A5，$-(-x)=x$，故 $x>0$。$\blacksquare$

  源文件的写法更简，但依据完全相同：$x>0\ \Rightarrow\ -x+x>-x+0=0\ \Rightarrow\ 0>-x$。 （依据：$i)$ 取 $z=-x$ 得 $-x+x>-x+0$；再由 A5 左端 $=0$、A4 右端 $=-x$。）

• 【证明机制解说】：这个证明短到几乎没有内容，但它的方法论价值极高：在有序域里，你只有一条序公理能动不等式（$i)$），因此任何”从不等式到不等式”的证明都必须想办法把 $i)$ 用上。 而 $i)$ 的用法永远只有一种——在两端加同一个东西。这里我们想从 $x>0$ 得到关于 $-x$ 的信息，唯一能让 $-x$ “凭空出现”的方式就是加 $-x$。

  换句话说：这个证明不是”想出来的”，而是”被公理逼出来的”——因为没有别的路可走。这种”公理少 ⟹ 出路唯一”的现象，正是公理化方法的美妙之处。Lecture 1 的 Problem 3 问”如何描述 $\mathbb{R}$”；本讲给出的回答之所以有力，恰恰因为公理少到几乎不留自由度。

• 【证明技巧总结】：
  1. 平移法：要得到关于 $x+z$ 的不等式，就对已知不等式加 $z$。这在本课程后段反复出现（例如证明 $\vert x\vert \le M$ 的等价形式）。
  2. “用公理倒逼”：当你不知道该怎么走时，问”我最想得到的形式是什么？哪条公理能生成它？”$i)$ 能生成的形式就是”两端同加一物”，于是立刻定下策略。
  3. 正负号的双向性：$x>0\iff-x<0$ 说明”正的相反数是负的”，这条看似平凡的事实必须证明——因为 Definition 33 里根本没提”负”这个概念，”负”是通过”$<0$”事后定义的。

Theorem 36（正负相乘得负）

• 定理陈述：设 $F$ 是有序域，$x,y\in F$。若（$x>0$ 且 $y<0$）或（$x<0$ 且 $y>0$），则 \(xy<0.\)

• 证明策略：“把负数变成正数”。序公理 $ii)$ 只对两个正数说话（$x>0,y>0\Rightarrow xy>0$），所以只要出现负数，第一步永远是把负号通过 Theorem 35 转成正号，再用 $ii)$，最后用代数恒等式把结果翻译回去。 具体地：$-y>0$（Theorem 35），于是 $x(-y)>0$（$ii)$）；再用推论 32.1 把 $x(-y)$ 写成 $-(xy)$，得到 $-(xy)>0$，最后由 Theorem 35 翻转成 $xy<0$。

• 逐步推导（按源文件分两种情形）：

  情形一：$x>0$ 且 $y<0$。

  1. 由 $y<0$ 与 Theorem 35（反之亦然的方向），$-y>0$。 （依据：Theorem 35。）
  2. 由 $x>0$、$-y>0$ 与序公理 $ii)$：$x\cdot(-y)>0$。 （依据：$ii)$，取 $x$ 位置为 $x$，$y$ 位置为 $-y$。）
  3. 由推论 32.1（补充），$x\cdot(-y)=-(xy)$。 （依据：推论 32.1，把 $x$ 与 $y$ 的位置互换：$(-y)\cdot x=-(yx)=-(xy)$，再用 M2 交换律。）
  4. 故 $-(xy)>0$。 （依据：3 代入 2。）
  5. 由 Theorem 35（反之亦然），$-(xy)>0\iff xy<0$。 （依据：Theorem 35。） 结论：$xy<0$。源文件把 2–4 写成一行：$-xy=x(-y)>0$，故 $xy<0$。

  情形二：$x<0$ 且 $y>0$。

  1. 由 $x<0$ 与 Theorem 35，$-x>0$。由假设 $y>0$。
  2. 由 $ii)$：$(-x)\cdot y>0$。
  3. 由推论 32.1：$(-x)\cdot y=-(xy)$。
  4. 故 $-(xy)>0$，由 Theorem 35 得 $xy<0$。 源文件同样压缩为：$-x>0$ 且 $y>0\Rightarrow -xy=(-x)y>0\Rightarrow xy<0$。$\blacksquare$

• 【证明机制解说】：整条定理的全部内容可以用一句话记住：“序公理只认正数，所以永远先把负数翻成正数。” 这就是”乘负数要变号“这条中学规则的公理级证明——注意它不是序公理里的哪一条，而是 $ii)$ + Theorem 35 + 推论 32.1 的推论。

  还有一处值得注意的细节：步骤 3 里的 $x(-y)=-(xy)$ 不是显然的，它就是需要预先证明的推论 32.1。很多同学在这里会说”这不明摆着吗”，但严格地说，Definition 30 里没有任何一条告诉你”负号可以提到乘法外面”。公理化方法的代价和魅力都在这里：越”显然”的事实，越要从公理一步不落地推出来。源文件说”One can see Proposition 1.1.8 [L] for a list of other simple inequality facts”——[JL] 的 Proposition 1.1.8 把这一整族事实（(i)–(vii)）系统地列了出来，并给出了证明。

• 【证明技巧总结】：
  1. “先把所有因子变成正的”：处理不等式时，永远第一时间用 $x>0\iff-x<0$ 把符号统一。
  2. “用代数恒等式把结论翻译回目标形式”：$ii)$ 只给”$>0$”的结论，而我们要的是”$<0$”，中间必须靠 $-(xy)>0\iff xy<0$ 这座桥。
  3. 分情形但共用同一套机器：两种情形的证明逐字对称，只是把”把 $y$ 取反”换成”把 $x$ 取反”。这种对称性提示我们还可以更省事：用 M2 交换律，情形二直接由情形一得到（$xy=yx$，交换后即情形一）。

补充推论 35.1–35.4（有序域里的”大小常识”全集）

下面的结论源文件没有逐条证明（它引用 [JL] Proposition 1.1.8），但它们是本课程之后每一讲都在用的基础事实。这里补充完整证明，以便自学者真正掌握”从公理出发”的手感。

补充推论 35.1：任何有序域 $F$ 中，$0<1$。 证明：由 M4 与 $1\neq0$（见 Definition 30 的说明），三歧性给出两种可能：$1>0$ 或 $1<0$。

• 若 $1<0$：由 Theorem 35，$-1>0$。由 $ii)$（取 $x=y=-1$，两个因子都是正的），$(-1)\cdot(-1)>0$。又由推论 32.2，$(-1)(-1)=1\cdot1=1$。故 $1>0$，与 $1<0$ 由三歧性互斥。矛盾。
• 故只能是 $1>0$，即 $0<1$。$\blacksquare$

补充推论 35.2：任何有序域 $F$ 中，若 $x\neq0$，则 $x^2>0$。（特别地 $1=1^2>0$，与 35.1 一致。） 证明：由三歧性与 $x\neq0$，只有 $x>0$ 或 $x<0$ 两种可能。

• 若 $x>0$：由 $ii)$（取两个因子都是 $x$），$x\cdot x=x^2>0$。
• 若 $x<0$：由 Theorem 35，$-x>0$。由 $ii)$，$(-x)(-x)>0$。由推论 32.2，$(-x)(-x)=x\cdot x=x^2$。故 $x^2>0$。$\blacksquare$

补充推论 35.3：任何有序域 $F$ 中，若 $x>0$，则 $x^{-1}>0$。 证明：由 M5，$x^{-1}$ 存在；且 $x^{-1}\neq0$（否则 $1=x\cdot x^{-1}=x\cdot0=0$，与 $1\neq0$ 矛盾，这里用了 Theorem 32）。由三歧性，$x^{-1}>0$ 或 $x^{-1}<0$。

• 若 $x^{-1}<0$：由假设 $x>0$ 与 Theorem 36（情形一），$x\cdot x^{-1}<0$，即 $1<0$。这与补充推论 35.1（$0<1$）由三歧性互斥。矛盾。
• 故 $x^{-1}>0$。$\blacksquare$

补充推论 35.4（加法的保序与消去）：设 $F$ 是有序域。 (a) $x<y\iff x+z<y+z$（$i)$ 的完整双向形式）。 (b) $x<y$ 且 $z<0$ $\Longrightarrow$ $xz>yz$（乘负数变号，这正是 Assignment 2 Exercise 1.1.1 的内容）。 (c) $0<x<y\Longrightarrow0<\dfrac1y<\dfrac1x$（[JL] Prop 1.1.8(v)）。 (d) $x\le y$ 且 $z\le w\Longrightarrow x+z\le y+w$（[JL] Prop 1.1.8(vii)）。

证明： (a) “$\Rightarrow$”就是 $i)$。”$\Leftarrow$”：设 $x+z<y+z$。由 $i)$ 两端同加 $-z$ 得 $(x+z)+(-z)<(y+z)+(-z)$，由 A3、A5、A4 化简即 $x<y$。$\blacksquare$ (b) 设 $x<y$，即 $y-x>0$。设 $z<0$，由 Theorem 35，$-z>0$。由 $ii)$，$(y-x)(-z)>0$。由 D 与推论 32.1： \((y-x)(-z)=y(-z)-x(-z)=-(yz)+(xz)\cdot(-1)(-1)\overset{\text{整理}}{=}xz-yz,\) 更清楚地算：$y(-z)=-(yz)$，$x(-z)=-(xz)$，故 $(y-x)(-z)=-(yz)-\bigl(-(xz)\bigr)=xz-yz$（末步用推论 32.2：$-(-(xz))=xz$）。于是 $xz-yz>0$，即 $xz>yz$。$\blacksquare$ (c) 由补充推论 35.3，$x>0\Rightarrow x^{-1}>0$，$y>0\Rightarrow y^{-1}>0$。由 $ii)$，$x\cdot y^{-1}>0$、$y\cdot x^{-1}>0$。又 $0<x<y$ 两端乘 $x^{-1}y^{-1}>0$（这用了 $ii)$：$x^{-1}>0,y^{-1}>0\Rightarrow x^{-1}y^{-1}>0$），得 \(x\cdot x^{-1}y^{-1}<y\cdot x^{-1}y^{-1}\ \Longrightarrow\ y^{-1}<x^{-1}.\) （左端 $=1\cdot y^{-1}=y^{-1}$，右端 $=x^{-1}\cdot(y y^{-1})=x^{-1}$；用的是 M2、M3、M4。）结合 $y^{-1}>0$ 得 $0<y^{-1}<x^{-1}$。$\blacksquare$ (d) 由 $y\le x$ 的否定……更直接地：$x\le y$ 意即 $x<y$ 或 $x=y$；$z\le w$ 意即 $z<w$ 或 $z=w$。分四种情形：若 $x=y$ 且 $z=w$，则 $x+z=y+w$。否则至少一端严格，例如 $x<y$：由 $i)$ $x+z<y+z$；若再有 $z<w$，则由 $z<w$ 与 $i)$（加 $y$）得 $y+z<y+w$；由传递性 $x+z<y+w$。若 $z=w$ 则 $y+z=y+w$，故 $x+z<y+w$。其余情形对称。在所有情形下都有 $x+z\le y+w$。$\blacksquare$

关于 $(b)$ 的直观与重要提醒：$(b)$ 就是“不等式两边同乘负数要变号”这条中学规则的严格证明。请注意 $(b)$ 的前提是 $z<0$ 严格成立；如果 $z=0$，两端都变成 $0$，不等式退化为等式（既非 $>$ 也非 $<$）。$(b)$ 也是 Assignment 2 Exercise 1.1.1 要求你证明的内容（见”与教材的对应”）。

补充：$\mathbb{C}$ 不是有序域（关键教学点）

$\mathbb{C}$ 是域（满足 Definition 30 的全部公理：$z^{-1}=\bar z/\vert z\vert ^2$ 给出 M5），但它在 Definition 33 上必然失败。这一点源文件 Lecture 4 未展开，但正是”为什么有序域这个概念值得单独定义”的最佳答案，并且 [JL] 的 Example 1.1.10 明确讨论过（原文要点：$\mathbb{C}$ is also a field; however, it is not an ordered field … In every ordered field, $-1<0$ and $x^2>0$ for all nonzero $x$, but in $\mathbb{C}$, $i^2=-1$）。下面给出补充的完整证明。

• 定理陈述（补充）：不存在任何序关系 $<$ 使 $\mathbb{C}$ 成为有序域。

• 证明策略：反证 + 制造”$1>0$ 与 $1<0$ 同时成立”。在有序域里，由补充推论 35.2，任何非零元的平方都是正的。$\mathbb{C}$ 里有两个非零元，它们的平方恰好是 $1$ 与 $-1$： \(1=1^2>0,\qquad -1=i^2>0.\) 这两个不等式靠加法封闭性（或靠 Theorem 35）直接冲突：$-1>0$ 意味着 $1<0$，而 $1>0$。矛盾。

• 逐步推导：

  第一步（假设）：设 $\mathbb{C}$ 上存在序关系使之成为有序域。

  第二步（$1>0$）：由 M4，$1\neq0$（$\mathbb{C}$ 中 $1=1+0i\neq0$）。由补充推论 35.2（$x\neq0\Rightarrow x^2>0$，取 $x=1$）：$1=1^2>0$。

  第三步（$-1>0$）：取 $i\in\mathbb{C}$，$i=0+1i\neq0$（虚部为 $1\neq0$）。由补充推论 35.2（取 $x=i$）：$i^2>0$。而按 $\mathbb{C}$ 的定义，$i^2=-1$。故 $-1>0$。

  第四步（导出矛盾，两条路都可走）：

  • 路线甲（用 Theorem 35）：由第二步 $1>0$，用 Theorem 35 得 $-1<0$。但第三步给出 $-1>0$。由三歧性，$-1<0$ 与 $-1>0$ 不能同时成立。矛盾。
  • 路线乙（用正元素集的加法封闭性，即 $(A)$ / $i)$）：把”$>0$”理解为”$\in P$”，于是 $-1\in P$ 且 $1\in P$。由加法封闭性 $(A)$（取 $x=-1,y=1$，两者都在 $P$ 中）：$(-1)+1=0\in P$。但三歧性 $(T)$ 要求 $0\notin P$（$x=0$ 这一支与 $x\in P$ 互斥）。矛盾。

  两条路线都成立；路线乙更直接地暴露了是哪一条序公理被违犯：“$P$ 对加法封闭”（等价地，序公理 $i)$ 的”平移不变号”）。因为 $i)$ 要求”两端同加 $1$”保持 $<$ 的方向，而 $\mathbb{C}$ 的”正元素”必须是 $-1$ 与 $1$ 两个，它们的和却是 $0$——$0$ 既不正也不负。

  第五步（结论）：假设不成立。$\mathbb{C}$ 不是有序域。$\blacksquare$

• 【证明机制解说】：这个证明的美在于它的不对称性。$\mathbb{C}$ 是域这一点毫无问题——$\mathbb{C}$ 甚至比 $\mathbb{R}$ 更”好”，它是代数闭域，每个多项式都有根。但它必然无法有序化，原因是结构性的：$\mathbb{C}$ 里存在非零元 $i$ 使 $i^2=-1$。而有序域的 $ii)$（乘法对正元素封闭）一旦加上三歧性，就强制了”非零元的平方必为正”，于是 $\mathbb{C}$ 立刻被卡死。

  换句话说：$ii)$ 这条看似温和的”正正得正”，实际上等价于说”域中不能有 $i$ 这种平方为负的东西”。这就是 $\mathbb{R}$（可以做分析）与 $\mathbb{C}$（可以做代数，但不能做序的讨论）的分野。它同时解释了为什么分析课必须建立在 $\mathbb{R}$ 上而不是 $\mathbb{C}$ 上：没有序，就没有 $<$，就没有上界、$\sup$、$\varepsilon$ 的语言。

  对照 Definition 33 逐条看是哪一条出问题：$i)$ 单独看没有问题（$\mathbb{C}$ 上可以随便造一个序，[JL] 原文也说”one can make $\mathbb{C}$ into an ordered set in some way”）；出问题的是 $ii)$ 与 $i)$ 同时要求时——或者用 $P$ 的语言说，出问题的是 $(M)$ 与 $(A)(T)$ 三者无法同时满足：$i\neq0$ 逼着 $-1\in P$（来自 $(M)$ 与 $(T)$），$1\in P$（同），但 $(A)$ 又要求 $-1+1=0\in P$，与 $(T)$ 冲突。

• 【证明技巧总结】：

  1. “找结构中最小的代数冲突”：$\mathbb{Z}_2$ 的冲突是 $1+1=0$，$\mathbb{C}$ 的冲突是 $i^2=-1$。证明”某结构不可序”的通用套路就是：找出该结构里一个非零元的平方为负（或两个正元素之和为零）。
  2. “平方非负”是序的指纹：任何有序域里 $x^2\ge0$（$x\neq0$ 时 $>0$）。看到这个条件被违反，就能立刻断定不可序。
  3. “同一矛盾给出两条路”：路线甲（Theorem 35）与路线乙（$P$ 的加法封闭）本质是同一件事的两种表述。会写两种版本，说明你真正理解了 $i)$ 与 $(A)$ 的等价性。

Theorem 38（LUB 性质蕴含最大下界性质）

源文件用 Question 37（”Is there a greatest lower bound property?”）引出这条定理。

• 定理陈述：设 $F$ 是有序域且具有最小上界性质。若 $A\subset F$ 非空且有下界，则 $\inf A$ 在 $F$ 中存在。

• 证明策略：“取相反数，把下界问题翻译成上界问题”。LUB 性质只处理上界，所以第一步必须造一个集合，使 $A$ 的下界与它上界的 $-$ 号一一对应。构造是唯一自然的选择： \(B=\{-x:x\in A\}.\) 这个构造的直觉是”把整个集合关于 $0$ 镜像翻转”：$A$ 往左下无限延伸，$B$ 就往右上无限延伸。翻转之后，”$A$ 的下界 $a$”恰好变成”$B$ 的上界 $-a$”。于是 $\sup B$ 存在，而它取相反数就是 $\inf A$。

• 逐步推导（严格按源文件）：

  1. 假设：$A\subset F$ 非空且有下界，即 $\exists a\in F$ 使得 $\forall x\in A,\ a\le x$。 （依据：有下界的定义，Definition 24。）
  2. 构造：$B=\{-x:x\in A\}$。 （依据：构造，用 A5 保证每个 $-x$ 存在。）
  3. $B$ 有上界，且 $-a$ 是一个上界：设 $x\in A$。由 1 中 $a\le x$ 与 $i)$（两端加 $-x-a$；也可用 Theorem 35 的翻转 + 补充推论 35.4(a)），得 $-x\le-a$。由于 $x\in A$ 任意，$-x$ 取遍 $B$ 的元素，故 $\forall b\in B,\ b\le-a$。即 $-a$ 是 $B$ 的上界。 （依据：$i)$ 的平移不变性与 Theorem 35。） 源文件原文：$\forall x\in A,\ -x\le-a\Rightarrow -a$ is an upper bound for $B$。
  4. $B$ 非空：由 $A$ 非空（步骤 1），任取 $x\in A$，则 $-x\in B$，故 $B\neq\varnothing$。 （依据：$A\neq\varnothing$ 与构造。）
  5. $B$ 有上确界：由 3、4 与 LUB 性质（题目假设），$\exists c\in F$ 使得 $c=\sup B$。 （依据：LUB 性质的定义，Definition 26。）
  6. $-c$ 是 $A$ 的下界：设 $x\in A$。则 $-x\in B$，故由 $c$ 是 $B$ 的上界得 $-x\le c$。两端加 $x+c$（或用 Theorem 35 翻转）得 $-c\le x$。由于 $x\in A$ 任意，$-c$ 是 $A$ 的下界。 （依据：$c=\sup B$ 定义中的条件 A)，即 $c$ 是上界；$i)$。） 源文件原文：$\forall x\in A,\ -x\le c\Rightarrow\forall x\in A,\ -c\le x$。Hence, $-c$ is a lower bound for $A$。
  7. $-c$ 是最大的下界：设 $a$ 是 $A$ 的任意一个下界（即 $\forall x\in A,\ a\le x$）。由步骤 3 的同一论证，$-a$ 是 $B$ 的上界。由于 $c=\sup B$ 是 $B$ 的最小上界（条件 B)），必有 $c\le-a$。再由 $i)$（两端加 $a+c$）或 Theorem 35 翻转，得 $a\le-c$。 （依据：$c=\sup B$ 定义中的条件 B)；$i)$。） 源文件原文：We have also shown that if $a$ is a lower bound for $A$, then $-a$ is an upper bound for $B$. Therefore, $c\le-a$ since $c=\sup B\Rightarrow a\le-c$。
  8. 结论：由 6（$-c$ 是下界）与 7（任何下界都不超过 $-c$），$-c$ 是 $A$ 的最大下界，即 \(\inf A=-c=-\sup B=-\sup\{-x:x\in A\}.\) （依据：infimum 的定义，Definition 24。） $\blacksquare$

• 【证明机制解说】：这条定理的内容可以浓缩成一句口诀：”$\inf A=-\sup(-A)$”。它之所以重要，是因为它把两条性质变成了一条：LUB 与 GLB（最大下界性质）在有序域里是等价的——本定理给出 LUB $\Rightarrow$ GLB；反向只需把 $A$ 换成 $-A$ 重做一遍（或直接对 $-A$ 应用同样的论证）。所以以后我们可以自由地使用 $\inf$，而不用再单独公理化它。

  证明的关键”灵光一现”是构造 $B=-A$。为什么一定要这么构造？因为 LUB 性质是先天偏向”上”的：它只说”非空有上界的集合有 $\sup$”。想用它处理”下界”，就必须做一次镜像，把”下”翻译成”上”。而且镜像必须用 $-x$ 实现——因为在有序域里，$-x$ 正是那个把大小关系翻转的元素（Theorem 35）。

  另一个值得注目之处是步骤 7 的双重否定结构：要证 “$-c$ 是最大的下界”，标准做法是”设 $a$ 是任意下界，证 $a\le-c$”。这里的 $a$ 是任取的，所以结论对一切下界成立。注意 $c\le -a$ 推出 $a\le-c$ 时又用了一次”$-x$ 翻转大小”——整个证明就是一台反复镜像的机器。

  最后请看这个证明完整地用到了 $\sup$ 定义的两个条件：条件 A)（是上界）用在步骤 6，条件 B)（最小）用在步骤 7。这是”要证 $b_0=\sup E$ 时必须两件都查”的样板。任何只查了条件的证明都是残缺的。

• 【证明技巧总结】：

  1. “镜像归约”：把 $\inf$ 问题化成 $\sup$ 问题（$A\mapsto-A$）；把”有下界”化成”有上界”；把”$<$”化成”$>$”。归约是本课程贯穿始终的节约工具。
  2. ”$\sup$ 的双条件检验”：证 $\sup$ 必须要走两步（是上界 + 最小上界）。缺一不可，这是最常见的失分点。
  3. “任取 + 传递”：证明”$X$ 是最大下界”时，永远写成”设 $a$ 是任一（任意）下界……得 $a\le X$”。注意这个 $a$ 是任取的，不是某个特殊的 $a$（源文件 1 中的 $a$ 只是存在性假设里的那个下界，步骤 7 中重新任取是为了得到通用性）。
  4. “构造要有动机”：$-A$ 这个构造不是猜的，而是被”$-x$ 翻转大小”这条 Theorem 35 直接提示出来的。凡是遇到”要把一个集合倒过来看”，就想到取相反数集。

Theorem 39（$\mathbb{R}$ 的唯一刻画 —— 本讲的主定理）

• 定理陈述（源文件原文）：存在一个”唯一”的有序域，记作 $\mathbb{R}$，使得 $\mathbb{Q}\subset\mathbb{R}$ 且 $\mathbb{R}$ 具有最小上界性质。

  用 Lecture 3 Theorem 22 的等价表述（两处陈述的是同一件事）： \(\text{There exists a unique ordered field containing }\mathbb{Q}\text{ with the least upper bound property.}\) 源文件另加一句关于”如何造出来”的 Remark：

  One can construct $\mathbb{R}$ using Dedekind cuts（戴德金分割）or as equivalence classes of Cauchy sequences（Cauchy 列的等价类）。（Cauchy 列将在本课程后续讲次中定义。）

• 证明策略与”证明机制解说”：请注意源文件的措辞——Theorem 39 是以定理形式陈述的”公理”，它不在这里证明（源文件只给出构造途径的说明）。这一步不是疏漏，而是刻意的架构选择，必须讲清楚：

  1. 这是一条存在性公理。我们不去造 $\mathbb{R}$（造法有 Dedekind 分割、Cauchy 列等价类等等，都相当技术化，见 Rudin 的构造），而是直接假定存在这样一个结构，然后把它的一切性质推出来。Lecture 3 也是这样做的（Theorem 22 先”state what our end result will be”，然后往下推）。所以：”存在”这部分是假设，”唯一”这部分是可证的一般性事实。

  2. “唯一”的精确含义是”同构意义下唯一”。源文件把 unique 打了引号，[JL] Theorem 1.2.1 的脚注也写明：”Uniqueness is up to isomorphism, but we wish to avoid excessive use of algebra.” 精确的说法是：

     补充（唯一性的精确形式）：设 $F$ 与 $F^{\prime}$ 都是具有 LUB 性质的有序域。则存在唯一的双射 $\varphi:F\to F^{\prime}$，使得对一切 $x,y\in F$ \(\varphi(x+y)=\varphi(x)+\varphi(y),\qquad \varphi(x\cdot y)=\varphi(x)\cdot\varphi(y),\qquad x<y\Longrightarrow\varphi(x)<\varphi(y).\) 这样的 $\varphi$ 称为保序域同构 (order-preserving field isomorphism)。

     “唯一”为什么打引号：因为 $\mathbb{R}$ 的元素叫什么名字、具体用什么集合实现（Dedekind 分割？Cauchy 列？超实数？）并不是定理的内容。定理说的是：任何两个符合条件的对象在结构上完全一样，你可以通过 $\varphi$ 把它们逐字逐句对照翻译。这就是”结构唯一”而非”字面唯一”。

  3. 唯一性的证明机制（补充说明）：证明思路是：因为 $\mathbb{Q}\subset F$，$F$ 中必须有一个”$\mathbb{Z}$ 的副本”，进而有”$\mathbb{Q}$ 的副本”；又由 LUB 性质，$F$ 中每个元素都可以写成有理数的上确界，即 \(\forall x\in F,\quad x=\sup\{q\in\mathbb{Q}\ (\text{视为 } F \text{ 的子集}):q<x\}.\) 于是映射 $\varphi$ 被迫定义成”把 $F$ 中的 $x$ 送成 $F^{\prime}$ 中对应的那个 $\sup$”，而 $\mathbb{Q}$ 的部分由 $1$ 的反复相加与取逆唯一确定（$n=\underbrace{1+\cdots+1}_{n}$，$-n=-(n)$，$\frac{m}{n}=m\cdot n^{-1}$）。这就是为什么 $\varphi$ 不但存在而且唯一：它在 $\mathbb{Q}$ 上无选择余地，而每个元素又被 $\mathbb{Q}$ 通过 $\sup$ 唯一锁定。

• 【证明机制解说】（把定理的意义讲透 —— 这就是”实数”的答案）：

  至此 Lecture 1 的 Problem 3 被彻底解决。让我们把”回答了什么问题”讲清楚：

  • 问题：$\mathbb{R}$ 是什么？
  • 答案：$\mathbb{R}$ 是（在同构意义下）唯一的、满足以下三条公理组的结构： \(\textbf{(域公理)}\ +\ \textbf{(序公理)}\ +\ \textbf{(LUB 公理)}.\)

  这三条公理组的含义，用一句话概括就是本讲最该背下来的口诀：

   域公理   （Definition 30, A1-A5, M1-M5, D）  ⟹  四则运算的常识
   序公理   （Definition 33, i) 与 ii)）        ⟹  比大小的常识
   LUB 公理 （Definition 26）                   ⟹  数轴上没有洞
   ────────────────────────────────────────────────────────────
   三者合一 + 含 Q  ⟹  唯一确定 ℝ（Theorem 39）
  

  为什么”唯一性”如此重要？ 因为它意味着我们不需要”造”出实数——只要写下公理，满足公理的对象的一切性质就都已经被确定了。具体地说：

  1. 不需要选择实现方式。Dedekind 分割、Cauchy 列、十进制小数展开……这些都是 $\mathbb{R}$ 的模型 (model)，它们彼此同构。以后做分析时，你永远不需要问”$\sqrt2$ 到底是什么集合”——你只需要问”$\sqrt2$ 满足什么性质（$x>0$ 且 $x^2=2$）”。”存在且唯一”保证了：性质确定对象，而不是对象确定性质。
  2. 一切定理自动通用。Theorem 40（$\sqrt2$ 存在）一旦在 $\mathbb{R}$ 中证明，就对任何具有 LUB 性质的有序域成立，因为 $F\cong\mathbb{R}$ 是保序域同构，$\sup$、$+$、$\cdot$、$<$ 全部保持。这就是”公理化方法的典范”：证明一次，处处适用。
  3. 公理是最小且充分的。这三组公理一条都不能删（删域公理 → 无法四则运算；删序公理 → 无法比大小；删 LUB → 得到 $\mathbb{Q}$，不够用），也一条都不用加。这是数学中”刻画”一词的最高标准：恰好不多不少地钉死一个对象。

  这就是”实数的刻画 (The Characterization of the Real Numbers)”这个讲名的含义。Lecture 1 问”如何描述 $\mathbb{R}$”，Lecture 3 开始”state what our end result will be”，Lecture 4 给出了终局答案。

• 【证明技巧总结】（针对”唯一性”这类定理）：

  1. “唯一”= 存在同构 + 同构唯一。见到”unique”就要立刻问：”是在什么意义上唯一？同构？等距？保序？”
  2. “先定骨架，再扩到整体”：唯一性证明总是先在最小子结构上（这里是 $\mathbb{Q}$）定下映射，再用结构的完备性（这里是 LUB）把定义唯一地扩张出去。这与后面证明”连续函数由它在稠密集上的值唯一决定”是同一个模式。
  3. “用稠密 + 完备夹住”：$\mathbb{Q}$ 在 $\mathbb{R}$ 中稠密（Lecture 5 会证明）+ $\mathbb{R}$ 完备（LUB）⟹ 映射唯一。这是分析里反复出现的”稠密 + 连续 ⟹ 唯一“原理的第一次现身。

Theorem 40（$\exists!\,r\in\mathbb{R}$ 使 $r>0$ 且 $r^2=2$，即 $\sqrt2\in\mathbb{R}\setminus\mathbb{Q}$）

• 定理陈述：存在唯一的 $r\in\mathbb{R}$ 使得 \(r>0\quad\text{且}\quad r^2=2.\) 换言之，$\sqrt2\in\mathbb{R}$ 但 $\sqrt2\notin\mathbb{Q}$。

• 证明策略：“用 $\sup$ 造出 $\sqrt2$”。思路是：$\mathbb{Q}$ 里没有 $\sqrt2$，但 $\mathbb{R}$ 里有 LUB 性质，所以我们可以把 $\sqrt2$ 定义为某个集合的上确界。取 \(\tilde E=\{x\in\mathbb{R}:x>0\ \text{且}\ x^2<2\},\) 于是 $r:=\sup\tilde E$。剩下要做两件事：(a) 证明 $r^2=2$（排除 $r^2<2$ 与 $r^2>2$）；(b) 证明唯一性（若有另一个 $r^{\prime}$，则 $r=r^{\prime}$）。 其中 (a) 是本题的全部难度所在，源文件明确写”This is left as an exercise”（留给学生），而 (b) 源文件给出了完整证明。

• 逐步推导（第一部分：$r$ 存在且 $r>0$）：

  1. $\tilde E$ 非空：$1\in\tilde E$，因为 $1>0$ 且 $1^2=1<2$。 （依据：$\tilde E$ 的定义与 $1<2$ 这一事实——$1<2$ 由 $1>0$ 与 $2=1+1>1$ 得到；严格地，$2-1=1>0$，用补充推论 35.1 得 $1>0$。）
  2. $\tilde E$ 有上界，$2$ 就是一个上界：设 $x\in\tilde E$。由 [JL] Exercise 1.1.3（$0<x<y\Rightarrow x^2<y^2$ 的推论）或直接地：若 $x\ge2$，则由 $x>0$、$2>0$ 与 $ii)$ 及补充推论 35.2 的单调性得 $x^2\ge2^2=4>2$，与 $x^2<2$ 矛盾。故 $x<2$，即 $2$ 是上界。源文件原文：”since $\tilde E$ is bounded above (by 2 for instance)”。 （依据：$ii)$ 的单调性推论 + 反证。）
  3. $r:=\sup\tilde E$ 存在：由 1、2 与 $\mathbb{R}$ 的 LUB 性质（Theorem 39）。 （依据：LUB 性质。）
  4. $r>0$：由 1 中 $1\in\tilde E$ 与 $r$ 是上界，$1\le r$；由 $1>0$ 得 $r>0$。 （依据：$\sup$ 是上界 + 传递性。）源文件把 $r>0$ 与 $r^2=2$ 一起说成”one can show that $r>0$ and $r^2=2$. This is left as an exercise.”

• 逐步推导（第二部分：$r^2=2$ —— 补充完成源文件留作练习的证明）

  证明”$r^2=2$”的标准方法是两头排除：先证 $r^2\ge2$（即排除 $r^2<2$），再证 $r^2\le2$（即排除 $r^2>2$），然后由三歧性得 $r^2=2$。这个”证 $=$ 靠证两个 $\le$”的模式，源文件在 [JL] Example 1.2.3 中明确称为分析师证明等式的方式（”This is the way analysts show equality, by showing two inequalities”）。两个方向的证明用的是同一个技巧：造出一个更好的候选者，去撞 $r$ 的定义——若 $r^2<2$，我们造一个比 $r$ 稍大一点的数，它仍在 $\tilde E$ 中，于是 $r$ 不是上界；若 $r^2>2$，我们造一个比 $r$ 稍小一点的数，它仍是 $\tilde E$ 的上界，于是 $r$ 不是最小上界。

  【子命题 A】$r^2\ge2$（即不可能 $r^2<2$）：

  1. 反设 $r^2<2$。则 $2-r^2>0$。 （依据：反证假设与 $<$ 的定义。）
  2. 令 \(h:=\min\Bigl\{\tfrac12,\ \frac{2-r^2}{2(2r+1)}\Bigr\}.\) 则 $0<h\le\frac12<1$，且 $h>0$（因为 $\frac{2-r^2}{2(2r+1)}>0$，这里分母 $2(2r+1)>0$ 由 $r>0$ 与 $ii)$ 保证）。 （依据：正数除以正数为正（补充推论 35.3）；两个正数取 $\min$ 仍为正。）
  3. 估计 $(r+h)^2$： \((r+h)^2=r^2+2rh+h^2.\) （依据：D 展开，$(r+h)^2=(r+h)(r+h)=r^2+rh+hr+h^2$，再用 M2 得 $2rh$。）
  4. 由 $h<1$ 得 $h^2<h$，故 \((r+h)^2=r^2+2rh+h^2<r^2+2rh+h=r^2+h(2r+1).\) （依据：$h<1$ 且 $h>0$ $\Rightarrow$ $h^2=h\cdot h<h\cdot1=h$，这里用了补充推论 35.4(b)（乘正数 $h$ 保号，注意 $h^2<h$ 是”乘 $h$ 于 $h<1$”）。 源文件原文：”$(x+h)^2=x^2+2xh+h^2<x^2+h(2x+1)$ as $h<1$”。）
  5. 由 $h\le\frac{2-r^2}{2(2r+1)}$ 与 $2r+1>0$ 得 $h(2r+1)\le\frac{2-r^2}{2}$，故 \((r+h)^2<r^2+\frac{2-r^2}{2}=\frac{2+r^2}{2}<2.\) （依据：步骤 8；$h$ 的选取；末步 $\frac{2+r^2}{2}<2\iff 2+r^2<4\iff r^2<2$，即第五步的反设。） 源文件原文：”$(x+h)^2\le x^2+(2-x^2)\cdot\frac{2x+1}{2(2x+1)}=x^2+\frac{2-x^2}{2}=2-\frac{2-x^2}{2}<2$”。
  6. 于是 $r+h>0$（由 $r>0,h>0$ 与 $ii)$ 的保号性）且 $(r+h)^2<2$，即 $r+h\in\tilde E$。 （依据：$\tilde E$ 的定义。）
  7. 又 $h>0$ 得 $r+h>r$。所以 $\tilde E$ 中有元素严格大于 $r$，即 $r$ 不是 $\tilde E$ 的上界。 （依据：上界的定义。）
  8. 但 $r=\sup\tilde E$ 必须是上界（定义条件 A)）。矛盾。 （依据：$\sup$ 的定义条件 A)。）
  9. 故 $r^2<2$ 不成立，即 $r^2\ge2$。 （依据：三歧性。）

  【子命题 B】$r^2\le2$（即不可能 $r^2>2$）：

  1. 反设 $r^2>2$。则 $r^2-2>0$。
  2. 令 \(h:=\frac{r^2-2}{2r}.\) 则 $h>0$（分子分母都为正，分母 $2r>0$ 由 $r>0$）。 （依据：补充推论 35.3。）
  3. 先验证 $r-h>0$：因为 $h=\frac{r^2-2}{2r}$ 而 $r^2<2r^2$（由 $r^2>2>0$ 与 $r^2>0$，实际上 $2r^2-r^2=r^2>0$），故 $h=\frac{r^2-2}{2r}<\frac{2r^2}{2r}=r$。 （依据：$r^2-2<r^2<2r^2$；除以正数 $2r$ 保号（补充推论 35.4(b) 的”乘正数不变号”形式）。） 源文件原文：”Let $h=\frac{x^2-2}{2x}$. Hence, if $x^2>2$ then $h>0$ and $x-h>0$.”
  4. 估计 $(r-h)^2$： \((r-h)^2=r^2-2rh+h^2=r^2-(r^2-2)+h^2=2+h^2>2.\) （依据：D 展开；$2rh=2r\cdot\frac{r^2-2}{2r}=r^2-2$（用 M3、M5：$2r\cdot\frac{1}{2r}=1$）；$h^2>0$ 由 $h\neq0$ 与补充推论 35.2。） 源文件原文完全一致。
  5. 证明 $r-h$ 是 $\tilde E$ 的上界：设 $q\in\tilde E$，即 $q>0$、$q^2<2$。由 17，$(r-h)^2>2>q^2$，故 $(r-h)^2-q^2>0$。 （依据：$q^2<2<(r-h)^2$ 与传递性。）
  6. 分解因式：$(r-h)^2-q^2=((r-h)-q)((r-h)+q)$。 （依据：平方差恒等式，由 D 展开可验证：$(a-b)(a+b)=a^2+ab-ba-b^2=a^2-b^2$，末步用 M2。）
  7. 由 $(r-h)+q>0$（$r-h>0$ 由 16，$q>0$）与乘法保号（补充推论 35.4(b) 的逆用：乘积为正且一因子为正 ⟹ 另一因子为正；严格地，若 $(r-h)-q\le0$ 则由 $ii)$ 与 $i)$ 得乘积 $\le0$，矛盾），得 \((r-h)-q>0,\quad\text{即}\quad q<r-h.\) （依据：19 与 20 的前提。） 源文件原文：”Let $q\in E$. Then $q^2<2<(x-h)^2\Rightarrow(x-h)^2-q^2>0$. Hence, $((x-h)+q)((x-h)-q)>0\Rightarrow(x-h)-q>0$.”（源文件此处第二个括号内 $+q$ 为笔误，应为 $(x-h)-q$，由上下文与结论 $q<x-h$ 可确认。）
  8. 由于 $q\in\tilde E$ 任意，$r-h$ 是 $\tilde E$ 的上界；又由 16，$r-h<r$。所以 $r$ 不是 $\tilde E$ 的最小上界。 （依据：$\sup$ 定义条件 B)。）
  9. 但 $r=\sup\tilde E$ 必须满足条件 B)。矛盾。 （依据：$\sup$ 的定义。）
  10. 故 $r^2>2$ 不成立，即 $r^2\le2$。 （依据：三歧性。）

  【合并】

  1. 由 13（$r^2\ge2$）与 23（$r^2\le2$）以及三歧性（$\ge$ 与 $\le$ 同时成立只能是 $=$），得 \(r^2=2.\) 结合步骤 4（$r>0$），$r$ 即为所求。 $\square$（子命题完成）

• 逐步推导（第三部分：唯一性 —— 源文件给出的完整证明）

  1. 假设：存在 $\tilde r>0$ 使得 $\tilde r^2=2$。 （依据：反证 / 任取。）
  2. $r+\tilde r>0$：由 $r>0$、$\tilde r>0$ 与 $ii)$ 的保号性（或直接由序公理的”正数之和为正”）得 $r+\tilde r>0$。 （依据：$ii)$ / 正元素集对加法封闭。这一步是关键的除法许可：只有 $r+\tilde r\neq0$ 才能约掉。）
  3. 分解因式： \(0=r^2-\tilde r^2=(r+\tilde r)(r-\tilde r).\) （依据：$r^2=2=\tilde r^2$；平方差恒等式。）
  4. 用推论 32.3（无零因子）：由 27，$(r+\tilde r)(r-\tilde r)=0$，故 $r+\tilde r=0$ 或 $r-\tilde r=0$。 （依据：推论 32.3，$xy=0\Rightarrow x=0$ 或 $y=0$。）
  5. 由 26，$r+\tilde r>0$，与 $r+\tilde r=0$ 矛盾（三歧性），故只能是 $r-\tilde r=0$，即 \(r=\tilde r.\) （依据：三歧性 + 引理 32.4(c)。）
  6. 结论：满足 $r>0$、$r^2=2$ 的元素唯一。$\blacksquare$ 源文件原文：”Suppose that there is a $\tilde r>0$ with $\tilde r^2=2$. Then, since $(r+\tilde r)>0$, $0=r^2-\tilde r^2=(r+\tilde r)(r-\tilde r)\Rightarrow r-\tilde r=0\Rightarrow r=\tilde r$.”

• $\sqrt2\notin\mathbb{Q}$ 的说明：Lecture 3 Theorem 28 已经证明 $\mathbb{Q}$ 中不存在 $x$ 使 $x^2=2$（用良序原理论证：设 $x=m/n$ 为最简形式，由 $\exists n$ 使 $nx\in\mathbb{N}$，取 $S=\{k\in\mathbb{N}:kx\in\mathbb{N}\}$ 的最小元 $k_0$，构造 $k_1=k_0(x-1)\in\mathbb{N}$ 且 $k_1<k_0$，再证 $xk_1\in\mathbb{N}$，与 $k_0$ 的最小性矛盾）。因此由 Theorem 40 得到的 $r$ 必然满足 $r\in\mathbb{R}\setminus\mathbb{Q}$。这正是 $\mathbb{R}\neq\mathbb{Q}$ 的证明：LUB 性质”造出”了 $\mathbb{Q}$ 里没有的数。

• 【证明机制解说】：
  • 核心思想：两头逼近（two-sided squeeze）。要证 $r^2=2$，不是直接算出来，而是排除”$<2$”和”$>2$”两种可能。这是分析学家证等式的标准手法。为什么必须这样？因为 $r$ 只是被定义为 $\sup$，我们手上没有任何关于 $r$ 的显式公式——只有一个”抽象的存在”。对这种抽象对象，唯一能用的工具就是它的定义性特征（是上界 + 最小），所以证明必然是”造一个元素去撞这两个特征”。
  • 关键的”灵光一现”：$h$ 是从哪来的？ 同学们最常问的就是这个。答案是：从你想要的不等式倒推出来的。以子命题 A 为例，我希望 $(r+h)^2<2$。展开： \((r+h)^2=r^2+2rh+h^2.\) 这里 $h^2$ 是个麻烦（非线性）。技巧：令 $h<1$，则 $h^2<h$，于是 \((r+h)^2<r^2+h(2r+1).\) 现在只需求 $r^2+h(2r+1)<2$，即 $h<\frac{2-r^2}{2r+1}$。为了安全（留一半余量），取 $h=\frac{2-r^2}{2(2r+1)}$，并配上 $h<1$ 的限制，得 $h=\min\{\frac12,\frac{2-r^2}{2(2r+1)}\}$。（Lecture 3 Theorem 27 用的就是这个 $h$。）所以 $h$ 不是”从帽子里变出来的”，而是”先把 $h^2$ 降成一次，再解一个线性不等式”得到的。 [JL] Example 1.2.3 特意提醒读者：”In the following, it may seem we are pulling certain expressions out of a hat… the order in which we write the proof is not necessarily the order in which we come up with the proof.”
    • 子命题 B 的 $h$ 同理：希望 $(r-h)^2>2$，展开得 $r^2-2rh+h^2>2$，令 $h=\frac{r^2-2}{2r}$ 恰好使 $-2rh=-(r^2-2)$，于是 $(r-h)^2=2+h^2>2$ 自动成立。这个 $h$ 是”精确解”而不是”留余量的解”，因为这一边只要严格大于就行。
  • 为什么要假设 $h<1$？ 因为不控制 $h$ 的大小就无法把 $h^2$ 估成一次项。这是分析里极常见的”先假设小，再取 $\min$“模式——它的 $\varepsilon$-$\delta$ 版本就是”取 $\delta=\min\{1,\varepsilon/M\}$”。
  • 唯一性证明为什么这么短？ 因为它复用了三个已证工具：平方差恒等式（代数）、推论 32.3（无零因子）、以及 $r+\tilde r>0$（序与 $ii)$ 的后果）。注意 $r+\tilde r>0$ 这一步绝对不能省——若 $r+\tilde r=0$，那么 $(r+\tilde r)(r-\tilde r)=0$ 对任何 $\tilde r=-r$ 都成立，无法推出 $r=\tilde r$。这正是”除法前必须确认除数非零”的又一次现身。
• 【证明技巧总结】：
  1. “证 $=$ 用两个 $\le$”：证 $a=b$ 就证 $a\le b$ 与 $b\le a$。这是分析中证等式的第一号武器。
  2. “两头夹逼 + 造矛盾对象”：要证 $r=\sup E$，就分别假设 $r$ 太大 / 太小，各造出一个反例元素去撞定义。
  3. “降次技巧”：用 $h<1\Rightarrow h^2<h$ 把二次估计化为一次估计，再解一个简单的线性不等式定出 $h$。这个技巧在后面的 $\varepsilon$-$\delta$ 证明里会反复出现（例如 $\vert x^2-a^2\vert =\vert x-a\vert \vert x+a\vert $ 时先设 $\vert x-a\vert <1$ 控制 $\vert x+a\vert $）。
  4. “取 $\min\{1,\ \text{某量}\}$”：只要是”先假设小”的论证，最后一步永远写成取 $\min$。这与 $\varepsilon$ 论证里 $N=\max\{N_1,N_2\}$、$\delta=\min\{\delta_1,\delta_2\}$ 是同一件事。
  5. “平方差 + 无零因子”处理唯一性：看到”两个正数同平方”，立刻写 $(a-b)(a+b)=0$，然后用 $a+b>0$ 约掉。这个模式在本课程中出现无数次。

Remark 41（源文件）：Assignment 2 Exercise 7 预告

源文件以 Remark 41 收尾：

In Assignment 2 Exercise 7, you will show that $\sqrt[3]{2}\in\mathbb{R}$.

即 Assignment 2 第 7 题会让你证明：设 \(E=\{x\in\mathbb{R}:x>0\ \text{且}\ x^3<2\},\) 则 (a) $E$ 有上界；(b) 令 $r=\sup E$，则 $r>0$ 且 $r^3=2$。（题目给出的提示是：”Hint: Adapt the proof used in Example 1.2.3.”，即把 Theorem 40 的两头夹逼论证搬到三次方的情形。）

这里把 Exercise 7 的证明框架写全（数值已用脚本核对，见下文”关键要点”）：

• (a) $E$ 有上界：$2$ 是一个上界。理由：若 $x\ge2$ 且 $x>0$，则 $x^3\ge2^3=8>2$，故 $x\notin E$；所以 $E\subset(0,2)$，即 $2$ 是上界。
• (b) $r=\sup E$ 存在（由 LUB 性质；$E$ 非空因为 $1\in E$：$1^3=1<2$），且 $r>0$（$1\le r$）。
• (b) 续：$r^3=2$。仍是两头排除：
  • 若 $r^3<2$：取 $h=\min\{\frac12,\frac{2-r^3}{3r^2+3r+1}\}>0$。展开且用 $h<1$： \((r+h)^3=r^3+3r^2h+3rh^2+h^3\le r^3+h(3r^2+3r+1)\le r^3+(2-r^3)=2,\) 从而 $r+h\in E$ 且 $r+h>r$，与 $r$ 是上界矛盾。故 $r^3\ge2$。
  • 若 $r^3>2$：取 $h=\frac{r^3-2}{3r^2}$（此时 $h>0$ 且可验证 $r-h>0$），展开 $(r-h)^3=r^3-3r^2h+3rh^2-h^3$，其中 $-3r^2h=-(r^3-2)$，故 $(r-h)^3=2+3rh^2-h^3$。需要 $3rh^2-h^3>0$，即 $h<\frac{3r}{1}$……更直接地按 [JL] Example 1.2.3 的思路改：取 $h=\frac{r^3-2}{3r^2+1}$，则可验证 $(r-h)^3>2$，从而 $r-h$ 是 $E$ 的上界且 $r-h<r$，与 $r=\sup E$ 矛盾。故 $r^3\le2$。
  • 由三歧性得 $r^3=2$，即 $r=\sqrt[3]2$。

  数值核对（脚本验证）：取 $r=1.25$，$r^3=1.953125<2$，$2-r^3=0.046875$，$3r^2+3r+1=9.4375$，故 $h=\min\{0.5,\ 0.046875/9.4375\}=0.004966887\ldots$，验证 $(r+h)^3=1.9764999\ldots<2$ ✓；且 $h$ 确实小于真实缺口 $1.259921\ldots-1.25=0.009921\ldots$，即取到的 $h$ 是安全的（偏保守的）✓。$1.5^3=3.375>2$ 也印证了 $2$ 是合法上界（虽不紧）。

• 【补充说明：为什么 Exercise 7 与 Theorem 40 是”同一件事”】：把 Theorem 40 证明中的 $2$ 换成 $3$、把 $(r+h)^2$ 换成 $(r+h)^3$，整个证明逐字同构。这说明证明的结构（两头夹逼 + 降次 + 构造更好的候选者）与具体指数无关。真正起作用的是：对每个 $n$，$(r+h)^n$ 是 $h$ 的连续函数，且在 $h=0$ 附近单调，所以”往上挪一点点仍小于 2”、”往下挪一点点仍大于 2”都成立。这正是 Lecture 16 介值定理与 Lecture 5 中 $n$ 次方根存在性的雏形。

补充：$\mathbb{Q}$ 不满足 LUB 性质（对照 Theorem 39）

源文件在 Lecture 4 未重述这一点（Lecture 3 Theorem 27、28 已证），但 Theorem 39 的全部意义就在于”$\mathbb{R}$ 是唯一具有 LUB 的有序域”，所以必须把 $\mathbb{Q}$ 摆进来对照。下面用代码块形式的公理对照表把两者的差别一次性讲清——这也是本讲最该记住的一张表。

┌────────────────────────┬──────────────────────┬──────────────────────┐
│  公理 / 性质            │  ℚ （有理数）         │  ℝ （实数）           │
├────────────────────────┼──────────────────────┼──────────────────────┤
│ A1–A5 加法公理          │  ✓ 满足              │  ✓ 满足              │
│ M1–M5 乘法公理          │  ✓ 满足（2^{-1}=1/2） │  ✓ 满足              │
│ D    分配律             │  ✓ 满足              │  ✓ 满足              │
│ ⟹ 是域 (field)         │  ✓ 是域              │  ✓ 是域              │
├────────────────────────┼──────────────────────┼──────────────────────┤
│ i)  平移不变号          │  ✓ 满足              │  ✓ 满足              │
│ ii) 正×正 = 正          │  ✓ 满足              │  ✓ 满足              │
│ ⟹ 是有序域 (ordered f.)│  ✓ 是有序域          │  ✓ 是有序域          │
├────────────────────────┼──────────────────────┼──────────────────────┤
│ LUB 最小上界性质        │  ✗ 不满足            │  ✓ 满足              │
│ 反例：E={q>0: q²<2}     │  sup E 在 ℚ 中不存在  │  sup E = √2 ∈ ℝ     │
│                        │  (Lecture 3 Thm 28)  │  (Theorem 40)        │
├────────────────────────┼──────────────────────┼──────────────────────┤
│ 结论                   │ 有序域但"有洞"        │ 唯一具 LUB 的有序域   │
│                        │ 分析工具不足          │ 分析的全部地基        │
└────────────────────────┴──────────────────────┴──────────────────────┘

逐个解释这三行差别为什么互不蕴含：

• 域公理 ⟹ 序公理？不。$\mathbb{C}$ 是域但不是有序域（上文补充证明），$\mathbb{Z}_2$ 是域但不是有序域（Example 34）。所以”能四则运算”与”能比大小”是两件独立的事。
• 序公理 ⟹ 域公理？不。Lecture 3 的 $\mathbb{Q}\times\mathbb{Q}$ 用字典序是一个有序集，$\mathcal{P}(\mathbb{N})$ 带 $\subset$ 连有序集都不是（Definition 23 例）。有序集不必有运算。
• 域 + 序 ⟹ LUB？不。$\mathbb{Q}$ 就是铁证：它满足全部域公理与全部序公理，却在 $\sqrt2$ 处有洞（Lecture 3 Theorem 28）。这是本课程最重要的一个反例，因为它是”唯一”一词的全部来源：如果 $\mathbb{Q}$ 也满足 LUB，那么 Theorem 39 里的”唯一”就假了。
• 反过来 LUB ⟹ 域 + 序？不。$\mathbb{Q}$ 的某个截断、$\mathbb{Z}\cup\{\pm\infty\}$（带自然的序）之类都能有”某种”上确界性质，却没有域结构。三条公理缺一不可，这正是”刻画”的含义。

补充说明（$\mathbb{Q}$ 不满足 LUB 的完整论证梗概）：由 Lecture 3，$E=\{q\in\mathbb{Q}:q>0,\ q^2<2\}$ 非空（$1\in E$）且有上界（$2$，因为 $q\ge2\Rightarrow q^2\ge4>2$）。若 $\sup E=x\in\mathbb{Q}$ 存在，则 Theorem 27 证明 $x^2=2$（论证与上文 Theorem 40 的子命题 A、B 完全一样，只是全部限制在 $\mathbb{Q}$ 内），而 Theorem 28 用良序原理证明 $\mathbb{Q}$ 中无平方为 $2$ 的元素。矛盾。故 $\sup E$ 不存在于 $\mathbb{Q}$。$\blacksquare$—

与教材的对应

对应 [JL]（Lebl, Basic Analysis I）

• 对应 [JL] §1.1 “The set of real numbers” 的前半（[JL] 1.1 的第一块内容：有序域 (ordered field) 的公理化）。该节的核心命题依次为：
  • Definition 1.1.1（ordered set）、Definition 1.1.2（bounded above / below）——对应 Lecture 3 的 Definition 23、24。
  • Definition 1.1.5：$F$ 称为域 (field)，若带加法与乘法并满足 [JL] 的 (A1)–(A5)、(M1)–(M5)、(D)。这就是本讲的 Definition 30（编号不同，内容一一对应，[JL] 的编号方式也是在公理代号前加 A/M/D）。
  • Definition 1.1.7（implicit，经 Proposition 1.1.8 使用）：有序域的定义——域 + 序，且满足 (i) $x<y\Rightarrow x+z<y+z$、(ii) $x>0$ 且 $y>0\Rightarrow xy>0$。这就是本讲的 Definition 33。
  • Example 1.1.6：$\mathbb{Q}$ 是域；$\mathbb{Z}$ 不是域（乘法逆元不存在）。对应本讲的 Theorem 32 之前的讨论 + 下方 Example 31 的对照。
  • Proposition 1.1.8：有序域中七条基本不等式事实 (i)–(vii)： (i) $x>0\Rightarrow -x<0$（反之亦然）——对应本讲 Theorem 35； (ii) $x>0$ 且 $y<z\Rightarrow xy<xz$（乘正数不变号）； (iii) $x<0$ 且 $y<z\Rightarrow xy>xz$（乘负数变号）——对应 Assignment 2 Exercise 1.1.1，本笔记写作补充推论 35.4(b)； (iv) $x\neq0\Rightarrow x^2>0$（特别地 $1>0$）——对应本笔记补充推论 35.2、35.1； (v) $0<x<y\Rightarrow 0<1/y<1/x$——对应本笔记补充推论 35.3 与 35.4(c)； (vi) $0<x<y\Rightarrow x^2<y^2$——对应 Assignment 2 Exercise 1.1.3 要求的内容（不在本题，但同族）； (vii) $x\le y$ 且 $z\le w\Rightarrow x+z\le y+w$——对应本笔记补充推论 35.4(d)。 [JL] 原文说：”Analysis consists of proving inequalities, and the following proposition, or one of its many variations, is how an analyst proves a nonstrict inequality.” 这句话可以当作整个 §1.1 的纲领。
  • Example 1.1.10：$\mathbb{C}$ 是域但不是有序域（原文：”While one can make $\mathbb{C}$ into an ordered set in some way, it is not possible to put an order on $\mathbb{C}$ that would make it an ordered field: In every ordered field, $-1<0$ and $x^2>0$ for all nonzero $x$, but in $\mathbb{C}$, $i^2=-1$.”）——这正是本笔记”补充：$\mathbb{C}$ 不是有序域”一节的出处与动机。
  • Proposition 1.1.11：具有 LUB 性质的有序域必有 GLB（最大下界）性质——对应本讲 Theorem 38（源文件 Theorem 38 与 [JL] Prop 1.1.11 是同一命题）。
• 对应 [JL] §1.2 “The set of real numbers”（实数的引入与 $\sqrt2$）。该节的核心命题：
  • Theorem 1.2.1：”There exists a unique ordered field $\mathbb{R}$ with the least-upper-bound property such that $\mathbb{Q}\subset\mathbb{R}$.”（脚注：”Uniqueness is up to isomorphism.”）——这就是本讲的 Theorem 39（源文件 Theorem 39 与 [JL] Theorem 1.2.1 逐字对应）。注意 [JL] 也是以定理形式陈述而不证明，只说明”we simply state their existence as a theorem without proof”，并把 Dedekind 分割 / Cauchy 列的构造归给 Rudin。
  • Proposition 1.2.2：若 $x\le\varepsilon$ 对所有 $\varepsilon>0$ 成立，则 $x\le0$。这是分析师证明非严格不等式的标准武器。（本讲未用，但 Lecture 5 起会大量使用；此处记下它的出处，因为它与 Theorem 40 的”两头夹逼”是同一套思想。）
  • Example 1.2.3：Claim: There exists a unique positive $r\in\mathbb{R}$ such that $r^2=2$，记作 $\sqrt2$。取 $A=\{x\in\mathbb{R}:x^2<2\}$，$r:=\sup A$，用两头夹逼证明 $r^2=2$——这就是本讲 Theorem 40（源文件 Theorem 40 的取集合方式略有不同：源文件用 $\tilde E=\{x\in\mathbb{R}:x>0,\ x^2<2\}$，多加了 $x>0$ 的限制；证明机制完全一致）。[JL] 的 $h$ 取法与我们上文完全一样：
    • $r^2<2$ 时取 $h=\min\{1/2,\ (2-r^2)/(2(2r+1))\}$（[JL] 写作 $h<\min\{1,\ (2-s^2)/(2s+1)\}$）；
    • $r^2>2$ 时取 $h=(s^2-2)/(2s)$。 [JL] 并特意提醒：”In the following, it may seem we are pulling certain expressions out of a hat… the order in which we write the proof is not necessarily the order in which we come up with the proof.”
  • Theorem 1.2.4：(i) Archimedes 性质（$\mathbb{N}$ 无上界：$x,y\in\mathbb{R}$、$x>0$ $\Rightarrow$ $\exists n\in\mathbb{N},\ nx>y$）；(ii) $\mathbb{Q}$ 在 $\mathbb{R}$ 中稠密（$x<y\Rightarrow\exists r\in\mathbb{Q},\ x<r<y$）。这是 Lecture 5 的主题，本讲只预告：它的证明正是 LUB 性质的第一号应用（取 $b=\sup\mathbb{N}$，则 $b-1$ 不是上界，故 $\exists m\in\mathbb{N},\ m>b-1$，从而 $m+1>b$，与 $b$ 是上界矛盾）。
  • Proposition 1.2.6 / 1.2.7 / 1.2.8、Definition 1.2.9 等：$n$ 次方根、$\sup(A+B)=\sup A+\sup B$ 等，见 Exercise 1.2.9 条。
  • Exercise 1.2.14：Prove $\sup\{x\in\mathbb{Q}:x^2<2\}=\sqrt2$——[JL] 在 Example 1.2.3 中提示”This fact requires a bit of work. See also Exercise 1.2.14.”，正是 Lecture 3 与 Theorem 40 的合流点。

对应 OCW Assignment 2（Reading: Sections 0.3, 1.1, 1.2）

源文件 hw_all.txt 中 Assignment 2 的全部七题如下（阅读范围为 [JL] §0.3, §1.1, §1.2 —— 与本讲完全对上）：

对应 OCW Midterm 第 2 题（开集 / 闭集的定义与否定形式）

Midterm 第 2 题原文：

A subset of real numbers $U\subset\mathbb{R}$ is open if for all $x\in U$, there exists $\varepsilon>0$ such that $(x-\varepsilon,x+\varepsilon)\subset U$. A subset of real numbers $F\subset\mathbb{R}$ is closed if $F^c$ is open. (a) State what it means to say $U$ is not open. (b) Prove that if $U$ is not open, then there exists $x\in U$ and a sequence $\{x_n\}n$ of elements of $U^c$ such that $\lim{n\to\infty}x_n=x$. (c) Suppose $F\subset\mathbb{R}$ has the following property: for every convergent sequence $\{x_n\}n$ of elements of $F$ we have $\lim{n\to\infty}x_n\in F$. Prove that $F$ is closed. (Hint: Argue by contradiction using (b).)

这道题与本讲的关系（为什么列在这里）：题 (a) 考的是把 $\forall\exists$ 句式取否定，而取否定恰恰是本讲”域公理 / 序公理 / LUB 公理”全部写成量词句式之后的必备技能。把开集定义写成量词形式：

它的否定（按 $\neg\forall=\exists\neg$、$\neg\exists=\forall\neg$ 逐层翻转）：

这正是题 (a) 的答案，也是题 (b) 的出发点（对每个 $\varepsilon=1/n$ 取出一个”漏出 $U$ 的点” $x_n\in U^c$，就得到所需的序列）。同一个”量词否定”技能在本讲里的体现是：LUB 性质的否定（”存在非空有上界但无上确界的子集”，即 $\mathbb{Q}$ 中的 $E=\{q>0:q^2<2\}$）、以及”$r$ 不是 $E$ 的上界”的精确含义（$\exists x\in E,\ x>r$）——Theorem 40 的子命题 A 用的正是这一条。

同时请注意：Midterm 第 2 题里的”开集”定义的逻辑形式，与 Exercise 1.1.6（非空有上界、$\sup A\notin A$ $\Rightarrow$ $A$ 有可数无限子集）如出一辙：两者都在做”对每个 $\varepsilon$（或每个 $n$）取出一个见证者，从而造出无穷序列”。这个“可数选择式构造”是本课程从 Lecture 5 到 Lecture 25 反复使用的核心动作。

对应其他讲次

• Lecture 1（Remark 1、Definition 2、Problem 3）：本讲正式回答 Problem 3。Lecture 1 的 Remark 1 提出课程两大目标（获得证明经验 + 证明关于实数、函数与极限的命题），本讲是第一个”纯证明”讲次。
• Lecture 3（Theorem 22、27、28）：Theorem 22 已经预告了”存在唯一有序域 $\mathbb{R}\supset\mathbb{Q}$ 具 LUB”；Theorem 27、28 证明 $\mathbb{Q}$ 不具 LUB。本讲的 Theorem 39、40 是这两条线的收口。Remark 20（”the set of real numbers is the unique set with all the algebraic and ordering properties of the rational numbers, but none of the holes”）是本讲 Theorem 39 的通俗版。
• Lecture 5（Archimedes 性质与 $\mathbb{Q}$ 的稠密性）：建立在 Theorem 39（LUB）之上（[JL] Theorem 1.2.4 的证明取 $\sup\mathbb{N}$）。

与其他讲次的关联

• 向后依赖（本讲是后面哪些讲的地基）：
  1. Lecture 5（Archimedes 性质 + $\mathbb{Q}$ 稠密性）：Archimedes 性质的证明取 $b=\sup\mathbb{N}$，直接使用 Theorem 39 的 LUB 性质；而 $\mathbb{Q}$ 的稠密性是 Lecture 5 与 Lecture 13–14（函数极限）的基础。没有 Theorem 39，Lecture 5 的第一行就写不下去。
  2. Lecture 6（数列极限的 ε-N 定义）与 Lecture 7（单调有界定理）：作业 Midterm 第 3(a) 题要你”用收敛的定义证明 $\lim \frac{210n}{n^2+16n+1}=10$”——这类计算的合法性（$\varepsilon$ 的比较、绝对值不等式的放大）底层依赖本讲补充推论 35.4（$x\le y,z\le w\Rightarrow x+z\le y+w$ 与乘正数保号）。而单调有界定理的全部内容就是”用 LUB 造出极限”，是本讲 Theorem 39 的最直接后果。
  3. Lecture 9（Bolzano–Weierstrass）与 Lecture 10（Cauchy 完备性）：两者的证明都要反复取 $\sup$ / $\inf$，并依赖 Theorem 38 保证 $\inf$ 也存在。Theorem 38 是”$\inf$ 可以随便用”的许可证。
  4. Lecture 16（极值定理与介值定理）：介值定理的证明是”对集合 $\{x:f(x)<c\}$ 取 $\sup$”，与本讲 Theorem 40 的构造方式逐字同构。极值定理取 $\sup f([a,b])$，同样靠 LUB。
  5. Lecture 25（Weierstrass 逼近定理）：整个定理的证明建立在”$\mathbb{R}$ 完备 + $\mathbb{Q}$ 稠密”之上，即本讲 Theorem 39 + Lecture 5 的合流。
• 向前依赖（本讲用到了哪些前面的结论）：
  1. Lecture 3 Definition 23（有序集）与 Definition 24（有界 / 上界 / 下界 / $\sup$ / $\inf$）：本讲的 Definition 33（有序域）里”$F$ 也是一个有序集”这一句直接引用 Definition 23；Theorem 38 的整个陈述依赖 Definition 24 的 $\sup$/$\inf$ 定义。
  2. Lecture 3 Definition 26（LUB 性质）与 Theorem 22（Theorem 39 的预告）：本讲 Theorem 38、39、40 全部以 LUB 为假设。
  3. Lecture 3 Theorem 27、28（$\mathbb{Q}$ 不具 LUB）：给出 Theorem 39 中”唯一”之所以是”唯一”的反例，也为 Theorem 40 的”$\sqrt2\notin\mathbb{Q}$”提供证明（Theorem 28 的良序论证）。
  4. Lecture 2（可数 / 不可数）：Exercise 1.1.6（$A$ 含可数无限子集）与 Exercise 1.1.12（任何有序域必含可数无限集）用到可数概念；本讲未直接使用，但这是 $\mathbb{Q}\subset\mathbb{R}$ 的”最小性”讨论的背景。
  5. Lecture 1 的数学归纳法与良序原理：Theorem 28 的证明（$\mathbb{Q}$ 中无 $\sqrt2$）用良序原理；Exercise 1.1.2 要求用归纳法证明有限集的 $\sup$/$\inf$ 存在。
• 横向依赖（本讲内部的依赖链）：

  Definition 30 (域, A1-A5/M1-M5/D)
        │
        ├─► Theorem 32 (0·x = 0)  ──► 推论 32.1 ((-x)y = -xy)  ──► 推论 32.2 ((-x)(-y) = xy)
        │                                                              │
        │                                                              ▼
        │                                                   推论 32.3 (无零因子) ──► Theorem 40 的唯一性
        │
        └─► Definition 33 (有序域, i) 与 ii))
                  │
                  ├─► Theorem 35 (x>0 ⇒ -x<0)  ──► Theorem 36 (正负相乘得负)
                  │                                     │
                  │                                     └─► 补充推论 35.1 (0<1)
                  │                                         ──► 补充推论 35.2 (x²>0)
                  │                                             ──► **ℂ 不是有序域**
                  │
                  └─► Theorem 38 (LUB ⟹ GLB)  ──► Theorem 39 (存在唯一 ℝ)
                                                        │
                                                        └─► Theorem 40 (√2 ∈ ℝ)  ──► Remark 41 (∛2 ∈ ℝ)
  

  这张图请务必记住：它说明本讲的每一条定理都只能从它左边的节点推出来，没有任何”从天而降”的结论。特别地，$\mathbb{C}$ 不是有序域依赖补充推论 35.2，而 35.2 依赖 $ii)$；Theorem 40 的唯一性依赖推论 32.3，而 32.3 依赖 M5 与 Theorem 32。

关键要点

1. 域 (field) 的定义（Definition 30）：集合 $F$ 带 $+,\cdot$，满足
   • 加法：A1 封闭、A2 交换、A3 结合、A4 存在单位元 $0$、A5 每个元有加法逆元 $-x$；
   • 乘法：M1 封闭、M2 交换、M3 结合、M4 存在单位元 $1$（且 $1\neq0$）、M5 每个非零元有乘法逆元 $x^{-1}$；
   • D 分配律：$(x+y)z=xz+yz$。

     口诀：域公理 = 四则运算的常识。 $\mathbb{Q}$、$\mathbb{R}$、$\mathbb{C}$、$\mathbb{Z}_2$、$\mathbb{Z}_3$、$\mathbb{Z}_p$（$p$ 素数）都是域；$\mathbb{Z}$ 不是（只差 M5：$2^{-1}\notin\mathbb{Z}$）。

2. 有序域 (ordered field) 的定义（Definition 33）：域 $F$ + 序关系 $<$（有序集，Definition 23 的三歧性 + 传递性），且 \(i)\ x<y\Longrightarrow x+z<y+z,\qquad ii)\ x>0\ \wedge\ y>0\Longrightarrow xy>0.\)

   口诀：序公理 = 大小的常识。 $i)$ 是”移项”的合法性，$ii)$ 是”正正得正”。等价地：存在”正元集” $P$ 满足三歧性 $(T)$、对加法封闭 $(A)$、对乘法封闭 $(M)$，令 $x<y\iff y-x\in P$。

3. 域公理的必证推论：
   • $0\cdot x=0$（Theorem 32）：$0=0x-0x=(0+0)x-0x=0x+0x-0x=0x$。
   • $(-x)y=-(xy)$（补充 32.1）：$(-x)y+xy=((-x)+x)y=0\cdot y=0$，再用加法逆元唯一性。
   • $(-x)(-y)=xy$（补充 32.2）：对 32.1 用两次，再用 $-(-(xy))=xy$。
   • $xy=0\Rightarrow x=0$ 或 $y=0$（补充 32.3）：若 $y\neq0$ 则 $x=xy\cdot y^{-1}=0$。

     “证明相等 ⟶ 验证定义性特征 + 唯一性” 是这四条共用的唯一策略。

4. 有序域的必证推论：
   • $x>0\iff-x<0$（Theorem 35）：对 $0<x$ 两端加 $-x$。
   • $x>0,y<0\Rightarrow xy<0$（Theorem 36）：$-y>0$，故 $-xy=x(-y)>0$，故 $xy<0$。“乘负数变号”就是这么来的。
   • $0<1$（补充 35.1）；$x\neq0\Rightarrow x^2>0$（补充 35.2）；$x>0\Rightarrow x^{-1}>0$（补充 35.3）。
   • $\mathbb{C}$ 不是有序域：否则 $1=1^2>0$ 且 $-1=i^2>0$，但 $(-1)+1=0$ 不能属于正元集 $P$（$P$ 对加法封闭 + 三歧性），或等价地用 Theorem 35 得 $-1<0$ 与 $-1>0$ 矛盾。
5. Theorem 38（LUB ⟹ GLB）：$\inf A=-\sup(-A)$，其中 $-A=\{-x:x\in A\}$。
   • 证明的双条件：$-c$ 是下界（用 $\sup$ 的条件 A）+ 任何下界 $a$ 满足 $a\le-c$（用 $\sup$ 的条件 B）。
   • 意义：LUB 与 GLB 等价，所以只需公理化前者。
6. Theorem 39（本讲主定理）：存在”唯一”的有序域 $\mathbb{R}\supset\mathbb{Q}$，它具有最小上界性质。
   • “唯一”= 保序域同构意义下唯一（[JL] 脚注：”Uniqueness is up to isomorphism”）。
   • 构造途径：Dedekind 分割 (Dedekind cuts) 或 Cauchy 列的等价类。
   • 这就是 Lecture 1 Problem 3 的答案：$\mathbb{R}$ 被”域公理 + 序公理 + LUB 公理 + 含 $\mathbb{Q}$”恰好刻画。三条公理组缺一不可：删域公理 → 不能四则运算；删序公理 → 不能比大小；删 LUB → 退化成 $\mathbb{Q}$（有洞，Lecture 3 Theorem 28）。
7. Theorem 40：$\exists!\,r\in\mathbb{R}$，$r>0$ 且 $r^2=2$（即 $\sqrt2\in\mathbb{R}\setminus\mathbb{Q}$）。
   • 构造：$r=\sup\tilde E$，$\tilde E=\{x\in\mathbb{R}:x>0,\ x^2<2\}$。
   • 证明 $r^2=2$：两个不等式——$r^2<2$ 时取 $h=\min\{\frac12,\frac{2-r^2}{2(2r+1)}\}$ 得 $r+h\in\tilde E$ 且 $r+h>r$（$r$ 不是上界）；$r^2>2$ 时取 $h=\frac{r^2-2}{2r}$ 得 $r-h$ 是上界且 $r-h<r$（$r$ 不是最小上界）。两头夹逼 + 降次技巧 $h<1\Rightarrow h^2<h$。
   • 唯一性：$(r+\tilde r)(r-\tilde r)=r^2-\tilde r^2=0$，而 $r+\tilde r>0$，故 $r-\tilde r=0$。
   • $\sqrt2\notin\mathbb{Q}$ 由 Lecture 3 Theorem 28（良序原理）给出。$\mathbb{R}\neq\mathbb{Q}$ 由此得证。
8. 数值核对记录（脚本验证，写入前已核对）：

   Z2：1+1 ≡ 0 (mod 2)                    → Z2 是域
   Z3：2+1 ≡ 0 (mod 3)；2·2 ≡ 1 (mod 3)   → 2^{-1}=2
   Z5：2·3 ≡ 1 (mod 5)                    → 2^{-1}=3
   Theorem 40 子命题 A（取 r=1.4）：x²=1.96，h=min{1/2, (2-1.96)/(2·3.8)}=0.005263…，
                                    (r+h)²=1.974764… < 2 ✓
   Theorem 40 子命题 B（取 r=1.4143）：r²=2.000244…>2，h=(r²-2)/(2r)=0.0000864…，
                                     r-h=1.41421…，(r-h)² 应 >2 ✓
   Remark 41（∛2，取 r=1.25）：r³=1.953125，2-r³=0.046875，
                                B=3r²+3r+1=9.4375，h=0.004966887…，
                                (r+h)³=1.976499… < 2 ✓；真实缺口 1.259921…-1.25=0.009921… > h ✓
                                1.5³=3.375 > 2（验证 2 是合法上界）✓
   中点验证：x=-3/7, y=5/11 → m=(x+y)/2=0.012987…，m-x=(y-x)/2=0.441558… ✓
   

常见误区与注意事项

1. 把”域”和”有序域”混为一谈（最常见的概念错误）。
   • 错误做法：看到 $\mathbb{C}$ 能做四则运算就说”$\mathbb{C}$ 和 $\mathbb{R}$ 一样好”，或者看到 $\mathbb{Z}_2$ 能做四则运算就说”$\mathbb{Z}_2$ 里也能比大小”。
   • 为什么错：Definition 30 与 Definition 33 是两组独立的公理。$\mathbb{C}$ 满足全部 A/M/D 但不满足 $ii)$（因为 $i^2=-1$）；$\mathbb{Z}_2$ 满足全部 A/M/D 但不满足 $i)$（因为 $1+1=0$ 导致”加 $1$”会翻转不等式，Example 34）。
   • 正确做法：每当要说”$F$ 上可以做某件事”，先问”这件事用的是域公理的哪一条，还是序公理的哪一条？”本讲的三条口诀（四则运算 / 比大小 / 没有洞）正是为此准备的。
2. 把 $\sup$ 与 $\max$ 混为一谈；把”上界”与”上确界”混为一谈。
   • 错误做法：在 Theorem 40 中写”$r=\sup\tilde E$，所以 $r\in\tilde E$”，或者”$2$ 是上界，所以 $\sup\tilde E=2$”。
   • 为什么错：$\sup$ 不必属于集合（Lecture 3 Example 25：$\sup\{q\in\mathbb{Q}:0\le q<1\}=1\notin E$）。事实上 Theorem 40 的结论恰恰是 $r=\sqrt2\notin\mathbb{Q}$，而 $\tilde E\subset\mathbb{Q}$ 时有 $\sqrt2\notin\tilde E$。而”上界”弱于”上确界”：$2$ 是 $\tilde E$ 的上界，但 $\sup\tilde E=\sqrt2\ne2$。
   • 正确做法：证 $b_0=\sup E$ 必须两件事都做：(A) $b_0$ 是上界；(B) 任何上界 $b$ 都满足 $b_0\le b$。检验”$b_0$ 不是上确界”就是检验”存在更小的上界”。本讲 Theorem 38 与 Theorem 40 都是这个双条件检验的样板。
3. 在 Theorem 40 中忘记验证 $r+\tilde r>0$ 就约掉它。
   • 错误做法：从 $(r+\tilde r)(r-\tilde r)=0$ 直接写”两边除以 $r+\tilde r$，得 $r-\tilde r=0$”。
   • 为什么错：在没有确认 $r+\tilde r\neq0$ 之前，除法（即乘 $(r+\tilde r)^{-1}$）不合法——M5 只对非零元给出逆元。这是一个真实的逻辑缺口，不只是形式主义。
   • 正确做法：先由 $r>0$、$\tilde r>0$ 与 $ii)$（正元素之和仍是正元素）得 $r+\tilde r>0$，再由推论 32.3（无零因子）或直接由 M5 得到 $r-\tilde r=0$。凡是除法/约分，前面必须有一步”除数非零”。 这个习惯在 Lecture 8 的商法则（$y_n\neq0$）里会再次救命。
4. 在 $\varepsilon$ 或 $\delta$ 或 $h$ 的选取中忘记”先假设小”。
   • 错误做法：在 Theorem 40 中直接写 $h=\frac{2-r^2}{2(2r+1)}$ 而丢掉 $\min\{\frac12,\cdot\}$ 中的 $\frac12$，然后断言 $(r+h)^2<2$。
   • 为什么错：若 $r$ 很接近 $\sqrt2$，则 $\frac{2-r^2}{2(2r+1)}$ 很小，可能 $h<1$ 自动成立；但若 $2-r^2$ 很大（例如 $r$ 很小），$h$ 可能 $\ge1$，于是 “$h^2<h$” 这一步失效（$h<1$ 是它成立的前提），整个估计链条断裂。
   • 正确做法：永远写成 $h=\min\{1/2,\ \text{某量}\}$ 或 $h=\min\{1,\ \text{某量}\}$，先把 $h$ 压到 $1$ 以下拿到 $h^2<h$，再解线性不等式定出另一个上界。这与后面 $\varepsilon$-$\delta$ 证明中写 $\delta=\min\{1,\varepsilon/M\}$ 是完全一样的动作。
   • 补充：同理，在 Theorem 40 的子命题 B 中必须先验证 $r-h>0$（步骤 16），否则 $r-h$ 不能当作 $\tilde E$ 的上界候选。
5. 把”$\mathbb{Z}$ 不是域”的理由说成”$\mathbb{Z}$ 不满足分配律”或”$\mathbb{Z}$ 关于加法不封闭”。
   • 错误做法：含糊地说”$\mathbb{Z}$ 太’小’，所以不是域”。
   • 为什么错：$\mathbb{Z}$ 满足 A1–A5、M1–M4、D 全部十二条中的十一条，唯一失败的是 M5（$x\neq0$ 时乘法逆元不存在：$2^{-1}\notin\mathbb{Z}$）。把它说成别的原因，说明没有逐条核对公理。
   • 正确做法：明确指出失败的是 M5，并举反例：$2\in\mathbb{Z}\setminus\{0\}$，若 $\exists y\in\mathbb{Z}$ 使 $2y=1$，则 $y\ge1\Rightarrow2y\ge2>1$，$y\le0\Rightarrow2y\le0<1$，两种情形都矛盾，故 $2^{-1}\notin\mathbb{Z}$。逐条核对公理是判断”是不是域”的唯一正确方法。
6. 把”LUB 性质”误当成”有上界就有上确界”，漏掉”非空”。
   • 错误做法：陈述 LUB 性质时说”$S$ 的每个有上界的子集都有上确界”。
   • 为什么错：漏掉”非空”会让空集 $\varnothing$ 被卷入。$\varnothing$ 有上界（任何元素都是它的上界），但 $\sup\varnothing$ 在一般有序集中不存在（在 $\mathbb{R}$ 中通常约定 $\sup\varnothing=-\infty$，不是 $\mathbb{R}$ 的元素）。Definition 26 明确要求”非空 (nonempty) and bounded above”。
   • 正确做法：一字不差地记住：$\mathbb{R}$ 的每个非空有上界的子集都有上确界。同理 Theorem 38 的前提里也写明 $A$ 非空且有下界——少了任何一半，$\inf$ 都可能不存在。
7. 把 Theorem 39 的”唯一”理解成”字面唯一”（即认为 Dedekind 分割与 Cauchy 列造出的是”不同的”实数）。
   • 错误做法：问”$\sqrt2$ 到底是一个分割还是一个等价类？”
   • 为什么错：定理说的是同构意义下唯一。Dedekind 分割、Cauchy 列等价类、十进制展开都是 $\mathbb{R}$ 的模型，彼此之间存在唯一的保序域同构。
   • 正确做法：把”$\mathbb{R}$”理解为一个结构（structure）而非某一个具体的集合实现。这在分析里带来极大的自由：你永远可以用”性质”而不是”构造”来说话（”$\sqrt2$ 是那个满足 $x>0,\ x^2=2$ 的数”，Theorem 40 保证了它存在且唯一）。

思考题（带答案）

Q1.（从域公理证明一条推论）设 $F$ 是域，$x\in F$。仅使用 Definition 30 的公理 A1–A5、M1–M5、D，以及本讲已证的 Theorem 32（$0\cdot x=0$）与引理 32.4（逆元唯一性），证明 \((-1)\cdot x=-x.\) （提示：证明 $(-1)\cdot x$ 满足 $-x$ 的定义性特征。）

Q2.（考察 $\mathbb{Z}$ 不是域 / $\mathbb{C}$ 不是有序域的理由）

(a) 逐条核对 $\mathbb{Z}$ 的域公理：证明 $\mathbb{Z}$ 满足 A1–A5、M1–M4 与 D，但不满足 M5。 (b) 证明 $\mathbb{C}$ 不是有序域。要求明确指出：证明过程中失败的是哪一条公理？（是 Definition 33 的 $i)$ 还是 $ii)$？还是正元集形式里的 $(T)/(A)/(M)$ 中的哪一条？） (c) 顺带考察 $\mathbb{Z}_3=\{0,1,2\}$（模 $3$）：它是域吗？它是有序域吗？

Q3.（做一次完整的 $\sup$ 计算）设 $\tilde E=\{x\in\mathbb{R}:x>0,\ x^2<2\}$，$r=\sup\tilde E$（Theorem 40 已证 $r^2=2$）。 (a) 取 $r_0=1.4$ 具体走一遍 Theorem 40 子命题 A 的 $h$，算出 $h$ 与 $(r_0+h)^2$ 的精确数值，并说明 $(r_0+h)^2<2$。 (b) 取 $r_1=1.4143$ 具体走一遍子命题 B 的 $h$，算出 $h$ 与 $r_1-h$，并说明 $(r_1-h)^2>2$。 (c) 解释这两步分别否定了”$r_0$ 是上界”和”$r_1$ 是最小上界”中的哪一个，并说明为什么这两类论证合起来就证明了 $r^2=2$。 (d) 用同样的机制验证 Remark 41（Assignment 2 第 7 题）中 $r=1.25$ 时的 $h$，并检查 $(1.25+h)^3<2$。

一页回顾（本讲”最小必背清单”）

┌───────────────────────────────────────────────────────────────────────────┐
│  Lecture 4 一句话：ℝ = 唯一具有 LUB 的有序域（Theorem 39）                  │
├───────────────────────────────────────────────────────────────────────────┤
│  三条口诀：                                                                │
│    域公理 (Def 30)   ⟹  四则运算的常识                                     │
│    序公理 (Def 33)   ⟹  比大小的常识                                       │
│    LUB 公理 (Def 26) ⟹  数轴上没有洞                                       │
├───────────────────────────────────────────────────────────────────────────┤
│  三个"不是"：                                                              │
│    ℤ 不是域        ← 只差 M5（2^{-1} ∉ ℤ）                                │
│    ℤ₂ 不是有序域   ← 1+1=0，加 1 会翻转不等式（Example 34）                 │
│    ℂ  不是有序域   ← i²=-1 ⟹ -1>0 与 1>0 冲突（正元集加法封闭被违反）      │
├───────────────────────────────────────────────────────────────────────────┤
│  三条必证推论：                                                            │
│    0·x = 0                       (Theorem 32)                              │
│    (-x)(-y) = xy                 (推论 32.2)                               │
│    x>0, y<0 ⟹ xy<0               (Theorem 36，"乘负数变号")                │
├───────────────────────────────────────────────────────────────────────────┤
│  两条主定理链条：                                                          │
│    LUB ⟹ GLB :  inf A = -sup(-A)                       (Theorem 38)        │
│    LUB ⟹ √2  :  r = sup{x>0 : x²<2}, 两头夹逼 ⟹ r²=2  (Theorem 40)        │
├───────────────────────────────────────────────────────────────────────────┤
│  三大可迁移技巧：                                                          │
│    ① 证 a=b：验证 b 的定义性特征 + 唯一性                                  │
│    ② 证 a=b：证 a≤b 与 b≤a（两个不等式）                                   │
│    ③ 先假设小：h = min{1, ...}，用 h²<h 降次（ε-δ 的 δ=min{1,ε/M} 雏形）  │
└───────────────────────────────────────────────────────────────────────────┘