Sora's Garden

为什么「存在上确界」是一件大事 [排版示例]

2026-10-26T00:00:00+08:00

这是一篇用于展示公式、证明和阅读排版的示例文章。

设 $(a_n)$ 是一个递增且有上界的实数列。画一张图，很容易觉得它应该向某个数靠近。但「看起来应该」与「这个数确实存在」，中间还隔着一步。

我们通常把结论记作：

a_1\leq a_2\leq \cdots\leq M \quad\Longrightarrow\quad a_n\longrightarrow L\in\mathbb{R}.

真正值得停下来问的是：极限 $L$ 是从哪里来的？

令 $A=\{a_n:n\in\mathbb N\}$ 。集合 $A$ 非空且有上界，实数的上确界性质给出了一个确实存在的实数：

L=\sup A.

这一步把「数列似乎正在靠近某处」变成了「我们已经有了一个候选」。接下来要做的，是验证定义。

给定任意 $\varepsilon>0$ 。由于 $L-\varepsilon$ 小于上确界，它不是 $A$ 的上界。因此，存在 $N\in\mathbb N$ ，使得

L-\varepsilon<a_N\leq L.

递增性随后接上了这一小步：对所有 $n\geq N$ ，都有

L-\varepsilon<a_N\leq a_n\leq L,

也就是 $|a_n-L|<\varepsilon$ 。这便是收敛。

这不是一段需要逐字记住的证明。更有用的，是看见两件事情各自承担的工作：

读完一个证明，可以试着问：每个条件在哪一步真正开始工作？

如果把实数换成有理数，上面哪一步可能失效？

可以考虑从下方逼近 $\sqrt 2$ 的有理数列。每一项都在 $\mathbb Q$ 里，也有有理数上界，但它所需要的那个「候选」，未必还在 $\mathbb Q$ 里。

写到这里，一个熟悉的定理就变成了理解实数结构的入口。

2026-10-26T00:00:00+08:00

这是一篇读书笔记的写法示例，展示段落、引文和清单的排版。

一段定义读起来顺畅，并不意味着已经理解。一个很小的检验是：能否不看书，给出一个符合定义的例子，再给出一个差一点就符合的例子？

后者往往更有意思。它让条件的边界显现出来，也让那些初看多余的字有了用处。

看到定理，先暂时遮住证明。可以试着写下：

这些问题不保证马上找到证明，却能让后面的阅读变成一次对照，而不只是跟着每一行点头。

好的笔记可以保留卡住的地方。它记录的是理解怎样发生，而不只是最后的结论。

不必每次都重新誊写整页内容。可以只留下三句话：

如果第三句暂时没有答案，就把它留下来。下一次重读，变化往往从这里开始。

2026-10-26T00:00:00+08:00

这是一篇日常随笔的排版示例，不代表博主的真实经历。

开始写一个博客，容易先想到许多问题：应该有怎样的风格，文章要多长，什么内容值得放在这里。

但或许也可以从一个很小的念头开始。一道题里让人停住的步骤，一段读完之后还想再读的话，或者一个尚且说不明白的问题。

它们不一定已经完整。写下来，反而给了它们继续生长的地方。

笔记的用处，有时不在于当下解释了多少，而在于过一段时间重新翻开，还能想起那时为什么在意。

允许一篇文字停在问题上，而不是急着停在答案上。

这份手记可以慢慢写。文章之间的空白，也可以保留下来。