【数学杂谈】你真的读懂了证明吗 懂的标准是什么

来源链接：https://www.bilibili.com/video/BV1Uw4m1Y7U5?spm_id_from=333.788.videopod.sections&vd_source=c38eb08b57cbfb609282dfbe69642d25

目录

• 初学者的懂的标准 *Content-[00:06]
• 成熟学习者的懂的标准 *Content-[01:10]
• 实例演示：Riesz-Fischer 定理 *Content-[02:11]
• 初学者看证明的过程 *Content-[02:53]
• 成熟学习者看证明的过程 *Content-[04:01]
• 成熟学习者的模仿与应用 *Content-[06:27]
• 两种标准差异的原因 *Content-[07:24]
• AI 总结

初学者的懂的标准 *Content-[00:06]

初学者在判断自己是否“懂”一个数学证明时，通常有以下两个标准： 1. 逐行验证：特别在乎证明中每一行为什么是对的，认为自己每一行都能看懂就算懂了。 2. 感觉接受：认为“我可以接受这个说法”，即觉得没有很困惑，知识能够装进脑袋里就算懂了（这在中学生中更为常见）。

*

成熟学习者的懂的标准 *Content-[01:10]

成熟的学习者对“读懂”数学证明有更深层次的要求，包含以下三个标准： 1. 清楚框架与结构：不再着眼于每一步、每一行的细节，而是把握整个证明的大局结构和框架。 2. 知晓作者背后的想法：探究作者为什么要这么做、为什么不那么做、这么做有什么目的和好处；并思考这个想法能否提炼成一个一般的方法，为我所用。 3. 能够模仿与迁移：不只是看懂当前这个证明，还能用作者的招数和技术，去处理类似的或其他有关的事情。

*

实例演示：Riesz-Fischer 定理 *Content-[02:11]

为了体现两种“懂”的标准的差异，视频举了实分析中的一个重要定理——Riesz-Fischer 定理作为例子。

• 定理内容：$L^1$ 空间是完备的。即任意 $L^1$ 空间中的 Cauchy 列，必然 $L^1$ 收敛到一个函数 $F$，且 $F$ 一定属于 $L^1$ 空间。

*

初学者看证明的过程 *Content-[02:53]

初学者看证明时采取的是逐行验证的模式： 1. 第一行：验证 $f_n$ 中是否存在这样的子列？确认存在，OK。 2. 第二行：验证这样的构造没有问题，OK。 3. 第三行：验证 $|f| < g$，且 $g$ 能够控制 $f$ 并且是可积的，没问题，OK。 4. 第四行：验证几乎处处收敛，没问题，OK。 5. 第五行：用控制收敛定理证明它是 $L^1$ 收敛的，没问题，OK。 6. 第六行：验证 $2\epsilon$ 结构没有问题，OK。 7. 结论：Proof complete。

*

成熟学习者看证明的过程 *Content-[04:01]

成熟学习者看证明时，会经历更深度的思考步骤：

步骤1：抽象概括

将整个证明省略不重要的细节，抽象出几个主要步骤，整理出大致的证明结构。 *

步骤2：探究背后想法

思考作者经历这些步骤的目的，发掘背后更宏大的思想：用子列来提升收敛的性质。

• 思想内涵：如果一个序列的收敛性质不够好，总能找到一个具有更好收敛性质的子列；先证明子列的性质，再将子列的性质还原/揭露给原本的序列。

*

在 Riesz-Fischer 定理中，这一思想的具体体现为： 1. 寻找快速 Cauchy 列：在度量空间中找到一个快速 Cauchy 列，它带来两个好处：

• 收敛足够快，保证构造出的对象 $F$ 是 $L^p$ 可积的。
• 方便后续使用控制收敛定理，因为它可以被一个 $L^p$ 收敛的函数很好地控制。 2. 性质还原（绕回来）：原命题要证明原本的序列收敛到 $F$，之所以考虑子列，是为了把子列的性质绕回来——若子列 $L^p$ 收敛，则 Cauchy 列本身也 $L^p$ 收敛到同一个对象。

成熟学习者的模仿与应用 *Content-[06:27]

成熟学习者需要用实际行动证明自己真的理解了想法，最好的方法就是模仿做出差不多的东西。

模仿实例：证明“如果 $X$ 是一个线性赋范空间，且其中所有绝对收敛的级数都是收敛的，那么 $X$ 是完备的”。

• 方法：参照一模一样的想法（去找一个快速 Cauchy 列）来完成这个命题的证明。

*

两种标准差异的原因 *Content-[07:24]

为什么成熟学习者与初学者对“懂”的标准有如此大的差异？核心在于两者的目的不同：

• 初学者：主要目的是接受和记住知识，把知识装进大脑，确认其正确性。
• 成熟学习者：主要目的是创造，搞出新的东西。学习不仅为了记住，更是为了解决未知问题，或者以后创造出与作者类似的成果。基于这样的目的，才会确立上述更高的懂的标准。

*

AI 总结

本视频深入探讨了数学学习中初学者与成熟学习者对“懂”的标准差异。初学者往往以“逐行验证无误”或“主观感觉接受”为标准，而成熟学习者则要求“把握证明框架”、“洞悉作者背后的核心思想”以及“能够模仿迁移解决类似问题”。视频以实分析中的 Riesz-Fischer 定理（证明 $L^1$ 空间完备性）为例，直观对比了两种视角：初学者逐行确认逻辑，成熟学习者则提炼出“用子列提升收敛性质”的宏大思想并加以模仿应用。最终指出，这种差异的根源在于学习目的的转变——初学者旨在“接受与记忆”，而成熟学习者旨在“创造与解决未知”。