style-guide.md · 条目写作风格指南

重点说明「直觉理解」和「常见错误」两个最难写好的板块。


直觉理解板块

写作目标

用自然语言说清楚”这个数学对象/结论在描述什么”,让读者在看懂符号之前就建立正确的心理图像。

写法原则

原则 1:先给比喻,再解释为什么比喻成立。

✅ 好的写法:

数列像一个只往上走、但被天花板限制的人——迟早会贴近天花板静止。 这里”天花板”就是上确界,“贴近静止”就是极限存在。

❌ 差的写法:

单调有界数列必然收敛到上确界,这是实数完备性的体现。

第二种写法只是把定理重述了一遍,没有帮助理解。

原则 2:用对比说明”为什么两个条件缺一不可”。

✅ 好的写法:

单调但无界(如 aₙ = n)→ 跑向无穷。 有界但不单调(如 (−1)ⁿ)→ 来回振荡。 只有两个条件同时满足,才能”既不跑掉也不乱跳”。

原则 3:量词顺序是定义条目直觉理解的核心。

对于含量词的定义(ε-δ 类),必须解释量词顺序的含义:

✅ 好的写法(以一致连续为例):

普通连续:先固定一个点 x₀,再针对这个点找 δ。不同的点可以用不同的 δ。 一致连续:必须先定好一个 δ,然后这个 δ 要对区间上所有点同时生效。 区别就在于 δ 是否依赖 x₀。

常见写法误区

  • ❌ 直接翻译符号:“∀ε>0, ∃δ>0 说明对任意正数 ε,存在正数 δ……” — 这不是直觉,是定义的白话翻译
  • ❌ 只说结论:“极限存在意味着数列趋近于某个固定值” — 过于空泛
  • ❌ 用比喻但不解释:只说”像爬楼梯”而不说”为什么是爬楼梯”

常见错误板块

写作目标

记录该知识点上真实发生过的典型错误或混淆,不是泛泛提醒”要注意”。

写法原则

原则 1:每条错误必须有反例或反驳。

✅ 好的写法:

✗ 认为”有界”就收敛——(−1)ⁿ 有界但振荡,不收敛。

❌ 差的写法:

注意有界不等于收敛。

第二种只是声明,没有给出具体的反例帮助记忆。

原则 2:区分”符号层面的错误”和”概念层面的错误”。

符号层面:写法、量词顺序、边界条件

✗ 把 Cauchy 条件写成"对某固定 N,∀m,n>N 有…"
  → 错:m,n 应该都大于同一个 N,这没问题;
     但条件必须是 ∀ε>0 ∃N,而不是先给 N 再说 ε。

概念层面:错误的推理方向

✗ 在有理数域上用确界原理
  → 反例:{1, 1.4, 1.41, 1.414, …} 在 ℚ 中单调有界,
    但上确界 √2 ∉ ℚ,极限不在有理数域内。

原则 3:记录”这个错误为什么容易犯”。

✅ 好的写法:

✗ 认为 Cauchy 列在有理数域一定收敛 (容易犯的原因:Cauchy 条件看起来只涉及数列本身,不依赖极限值, 但实数完备性是隐含前提——有理数域不完备,所以这个结论不成立。)

数量建议

  • 难度 1–2 的条目:1–2 条错误
  • 难度 3–4 的条目:2–4 条错误
  • 难度 5 的条目:可以没有(太难的东西常见错误反而少,因为很少有人去做)

整体语气规范

  • 不使用”显然""容易得” — 什么对读者”显然”是未知的
  • 不使用”留作练习” — 知识库里每一步都应该可查
  • 使用主动语态 — “由确界原理,L 存在”而非”L 的存在性可由确界原理得到”
  • 证明结尾统一用 $\blacksquare$ — 不用”证毕""QED”等文字
  • 例题「分析」板块要展示思路,不是答案 — 写”为什么要这么想”,而不是”接下来计算”