陶哲轩实分析 6.2 节习题试解

陶哲轩实分析 6.2 节习题试解

6.2.1 证明命题 6.2.5

（a） 自反性 $x \leq x$
分类讨论：
当 $x = \infty$ 时，有 $\infty \leq \infty$
当 $x \in \mathbb R$ 时，有 $x \leq x$
当 $x = -\infty$ 时，有 $-\infty \leq -\infty$
所以 $x \in \mathbb R^*$ 时， 有 $x \leq x$

（b） $x < y$， $x = y$， $x > y$ 必有一个成立。
分类讨论：
当 $x, y \in \mathbb R$ 时， $x < y$， $x = y$， $x > y$ 必有一个成立。
当 $x = \infty, y = \infty$ 时，有 $x = y$
当 $x = \infty, y \in \mathbb R$ 有 $x > y$
当 $x = \infty, y = - \infty$ 时，有 $x > y$
当 $x \in \mathbb R, y = \infty$ 时，有 $x < y$
当 $x \in \mathbb R, y = -\infty$ 时，有 $x > y$
当 $x = -\infty, y = \infty$ 时，有 $x < y$
当 $x = -\infty, y \in \mathbb R$ 时，有 $x < y$
当 $x = -\infty, y = -\infty$ 时，有 $x = y$
所以，当$x,y \in \mathbb R^*$ 时 $x < y$， $x = y$， $x > y$ 必有一个成立。

（c） 如果 $x \leq y$， $y \leq z$ 那么有 $x \leq z$
分类讨论：
当 $x = \infty$ 时，$x \leq y$ 表明 $y = \infty$, $y \leq z$ 表明 $z = \infty$, 所以有 $x \leq z$
当 $x \in \mathbb R, y = \infty$ 时，$y \leq z$ 表明 $z = \infty$, 所以有 $x \leq z$。
当 $x, y \in \mathbb R, z =\infty$ 时，有 $x \leq z$。
当 $x, y, z \in \mathbb R$ 时，根据实数性质，如果 $x \leq y$， $y \leq z$ 那么有 $x \leq z$
当 $x = -\infty$ 时，总有 $x \leq z$。
所以 如果 $x \leq y$， $y \leq z$ 那么有 $x \leq z$

（d） 如果 $x \leq y$，那么有 $-x \geq -y$
分类讨论：
当 $x = \infty, y = \infty$ 时，有 $-x \geq -y$
当 $x \in \mathbb R, y = \infty$ 时， $-x \geq -\infty$，所以 $-x \geq -y$
当 $x,y \in \mathbb R$ 时，由实数的性质，有 $-x \geq -y$
当 $x = -\infty, y= \infty$ 时，因为 $\infty \geq -\infty$，有 $-x \geq -y$
当 $x = -\infty, y\in \mathbb R$ 时，因为 $\infty \geq y$，有 $-x \geq -y$
当 $x = -\infty, y= -\infty$ 时，有 因为 $-\infty \geq -\infty$，有 $-x \geq -y$

6.2.2 证明命题 6.2.11

设 $E$ 是 $\mathbb R^*$ 的子集，那么有：
（a）对于每个 $x \in E$，有 $x \leq \sup(E)$ 和 $x \geq \inf(E)$
分类讨论：
如果 $E \subset \mathbb R$，那么自然有$x \leq \sup(E)$ 和 $x \geq \inf(E)$
如果 $\infty \in E, -\infty \notin E$，那么 $\sup(E) = \infty, \inf(E) = \inf(E/\{\infty\})$，此时有 $x \leq \sup(E)$ 和 $x \geq \inf(E)$
如果 $\infty \in E, -\infty \in E$，那么 $\sup(E) = \infty, \inf(E) = -\infty$，此时有 $x \leq \sup(E)$ 和 $x \geq \inf(E)$
如果 $\infty \notin E, -\infty \in E$，那么 $\sup(E) = \sup(E/\{-\infty\}), \inf(E) = -\infty$，此时有 $x \leq \sup(E)$ 和 $x \geq \inf(E)$
所以无论哪种情况，都有$x \leq \sup(E)$ 和 $x \geq \inf(E)$

（b）设 $M$ 是 $E$ 的上界，那么有 $M \geq \sup(E)$
分类讨论：
如果 $\infty \in E$，那么 $\sup(E) = \infty$，$M = \infty$，此时有 $M \geq \sup(E)$
如果 $\infty \notin E$，那么有 $\sup(E) = \sup(E/\{-\infty\})$，此时有 $M \geq \sup(E)$

（c）设 $M$ 是 $E$ 的下界，那么有 $M \geq \inf(E)$
如果 $-\infty \in E$，那么 $\inf(E) = -\infty$，$M = -\infty$，此时有 $M \leq \inf(E)$
如果 $-\infty \notin E$，那么有 $\inf(E) = \inf(E/\{\infty\})$，此时有 $M \leq \sup(E)$