2020年10月29日
完备性定理之间的等价证明
摘要： 确界存在 ⇒ 有限覆盖 \([a, b]\) 被 \(\{I_\lambda\}\) 覆盖，对于 \(\forall S \subset \{I_\lambda\}\) 使得 \(S\) 有限，覆盖 \(a\) （这样的 \(S\) 总能找到） 定义 \(B = \{y \in [a, b] ~|~ 阅读全文
posted @ 2020-10-29 20:56 zjp_shadow 阅读(428) 评论(2) 推荐(2) 编辑