灯下 登录

实数十 · 上确界语气

Bounded sets invite least upper bounds.

有界集合引出最小上界。

完备性最终会以确界、切割或柯西列的方式出现。

sup S

先用现代记号固定骨架,再回到原典术语。

  1. 确认对象。

  2. 写出关系。

  3. 说明这个关系在历史上解决了什么问题。

这是柯西判别法背后的数系承诺。