Rudin习题1.6c证明验证：有理数r的b^r=sup B(r)

首先明确题目背景：

设$b>1$，对实数$x$，定义集合$B(x)$为所有满足$t$是有理数且$t \leq x$的$b^{t$构成的集合。需证明当$r$为有理数时，$b}r = \sup B(r)$，并由此合理定义实数$x$的$b^x = \sup B(x)$。

你提到的推导逻辑：$b^r = b^t b^{r-t} \geq b^t$且$br \in B(r)$，完全贴合上确界证明的核心框架（先证上界，再证最小上界），下面咱们一步步确认它的正确性与合理性：

1. 证明$b^r$是$B(r)$的上界 #

对于任意$t \in \mathbb{Q}$且$t \leq r$，$r-t$是非负有理数（因为$r,t$都是有理数，且$t \leq r$）。
已知$b>1$，根据有理数指数幂的基础性质：当$s$是非负有理数时，$b^s \geq 1$（比如$s=p/q$，$p,q$为非负整数，$b^s=\sqrt[q]{bp}$，由于$b>1$，$b^p \geq 1$，开方后仍不小于1；当$s=0$时$b^0=1$）。

因此可以推导：
$$b^r = b^t \cdot b^{r-t} \geq b^t \cdot 1 = b^t$$
这说明$b^r$大于等于$B(r)$中的每一个元素，满足上界的定义。

同时，$r$本身是有理数，且$r \leq r$，所以$b^r$显然属于$B(r)$——这一点是后续证明最小上界的关键。

2. 证明$b^r$是$B(r)$的最小上界（上确界） #

假设存在一个比$b^{r$更小的数$M$，声称$M$是$B(r)$的上界。但我们已经知道$b}r \in B(r)$，那么根据上界的定义，$M$必须大于等于$B(r)$中的所有元素，包括$b^r$，这就和$M < b^r$矛盾。

换句话说：任何小于$b^{r$的数都不可能成为$B(r)$的上界，因为$b}r$本身就在集合里，它会“突破”这个更小的上界。因此$b^r$是$B(r)$的最小上界。

对给定证明步骤的合理性总结 #

你提到的推导步骤完美命中了上确界证明的两个核心要求：

• 先通过指数运算性质证明$b^r$是集合的上界；
• 再利用$b^r \in B(r)$的事实，证明它是最小的上界。

整个逻辑严谨且简洁，完全符合Rudin教材的分析风格——紧扣定义，利用已知的有理数指数幂性质完成推导，没有冗余步骤，是非常标准的上确界证明范式。

内容的提问来源于stack exchange，提问作者mathnoob123