物理实验小论文格式(如何写一篇数学研究论文)

本文译自MIT缅因数理学院的艾希礼·瑞特于1995年9月12日发表的论文，可供从事数学研究或者工作中要用到数学的读者书写论文时参考。

原文引用的参考文献为：

【2】 Steenrod, N.E.， "How to write Mathematics", Amer. Math. Soc. 1983, ISBN 0821800558

翻译：在百度翻译的基础上经人工校对修正了一些表述。由于水平有限，译文不妥在所难免，建议有写作需求的读者下载原文进一步阅读。

一、引言：为何要重视数学论文的写作？

好的数学写作，就像好的数学思维一样，是一项必须实践和 进步 才能达到最佳表现的技能。本文旨在为年轻数学家撰写第一篇论文提供帮助，其目的不仅是帮助学生 写好 一篇论文，而且帮助学生开始思考数学写作。

我非常感激一本精彩的小册子《如何写数学》（即前面介绍的引文【2】——译者注），它提供了这篇文章的大部分内容。我将 直接引述其中不少内容 ，特别是 引述 保罗·霍尔莫斯（ Paul Halmos ）写的那一节 。 我怀疑，本文中几乎所有的想法都来源于我阅读 的 这本小册子。它可以从美国数学学会获得，认真学习数学写作的学生应该自己查阅这本小册子。其他大多数想法都源于我对 本人 糟糕的数学写作的失望。虽然从糟糕的数学写作中学习数学并不是学习好的写作的最佳方式，但它可以 有效地 提供 避免犯错 的 借鉴 。 思维 活跃的数学读者 应注重 数学 论文 样本 中那些看起来显得 不清楚的地方，并避免在自己的写作中犯同样的错误。

书面 与 口头 的 数学交流都是一个 滤波器 ， 透过 它可以 审视 你的数学工作。如果把数学 工作 的创造性 方面用“ 作曲 ”来比喻 ，那么写作艺术就可以 用“演奏曲子”来比喻。 作为一 名 数学家，你有权 对 你自己的 曲子进行演奏和 表演！对听众来说， 谱曲与演奏 同样重要。如果你纯粹是为了自己的兴趣而做数学，那么就没有理由去写它了。如果你希望分享你所做的数学之美，那么仅仅写是不够的 —— 你必须努力 把它 写好。

本文将从数学写作的一般概念开始。目的是帮助学生制定论文大纲。下一节将描述论文的“正式”部分和“非正式”部分之间的区别，并为每一部分提供指导原则。第四节将讨论 如何书写一个独特的数学证明 。本文 的 结尾 部分是整整一节 ，其中包含在写作和重写论文时需要考虑的具体建议。

二、写作前：组织论文

几乎所有写作的目的都是为了交流。为了更好地 交流 ，你必须同时考虑你想要沟通的内容以及你希望与谁沟通。对于数学写作来说，这一点不亚于任何其他形式的写作。数学写作的主要目的是用精心构建的逻辑推理来断言数学陈述的真实性。细心的数学读者不会 假定 你的工作是有根据的 ，除非他 被说服。 说服读者是 你数学写作的第一个目标。

然而， 仅仅向 读者 说服 你的 工作 的 真实性 是不够的。当你 书写 你自己的数学研究时，你会有另一个目标 ： 希望你的读者欣赏你所做的数学之美，并理解它的重要性 。如果 将 整个数学 或与你相关的 子领域 看作是 一幅大型的绘画 作品 ，那么你的研究将必然构成整个作品中相对微小的一部分。它的美丽不仅体现在对你所画的特定区域的考察中（尽管这很重要），而且通过观察你自己的作品如何“融入”到整体画面中来。

这两个目标——说服你的读者相信你的推论的真实性，并让你的读者看到你的工作与整个数学的关系的美丽——在你为论文制定大纲的时候，这将是至关重要的。有时，你可能会把自己当成一个 导游 ，引导读者 穿越 只有你自己绘制的区域。

一位成功的数学作家将为她的读者画出两幅逻辑图，一幅展示了她自己的作品与广阔的数学世界之间的联系，另一幅则揭示了她自己作品的内在逻辑结构。

为了给读者提供建议，你必须首先考虑你的作品在数学逻辑图上的位置。如果你的读者访问过数学逻辑图附近的地区，那么你想 让他 在他的脑海中回忆这些经历，这样他就能更好地理解你必须添加的内容，并将其与相关数学联系起来。问几个问题可能有助于你辨别 你的 工作的 特色 和 定位 ：

1. 你的结果是否通过对某个事物进行更精确的 特性 描述来强化先前的结果？
2. 你有没有通过削弱假设或加强结论来 证明旧 定理 有 更强有力的结果？
3. 你证明了两个定义的等价性了吗？
4. 它是一个结构的分类定理，以前被定义过但没有被理解？
5. 数学的两个先前不相关的方面是否联系在一起？
6. 对旧问题应用了新方法吗？
7. 是否为一个旧定理提供了新的证明？
8. 这是一个更大问题的特例吗？

你有必要在数学结构中明确地考虑这个 定位 问题，因为在你回答这个问题之前，它会一直萦绕在读者的脑海中。如果不能解决这个问题，读者会感到非常不满意。

除了提供数学逻辑图来帮助读者在数学领域内定位您的工作，您还必须帮助他们了解您工作的内部组织：

1. 你的结果集中在一个 突出 的定理里吗？
2. 或者你有几个相关但同样重要的定理 吗 ？
3. 你找到重要的反例了吗？
4. 你的研究是在定理证明的意义上 的 纯粹的理论数学，还是你的研究涉及到几种不同类型的 应用？ 例如，在计算机上模拟一个问题，证明一个定理，然后做与你的工作有关的物理实验？
5. 你的工作是朝着解决一个经典问题迈出了清晰（尽管很小）的一步，还是一个新问题？

因为你的读者直到读完你的论文后才知道你要证明什么，所以应提前告诉他他要读什么，这将使他更加享受“阅读旅行”的乐趣，并了解更多你引导他去做的事情。

要诚实而刻意地解释你的工作与数学研究的大局相符，可能需要非常谦虚。 你可能会对自己的成就显得很小而感到失望。 不要烦恼！ 数学已经积累了数千年，是基于数千（或数百万）从业者的工作。 有人说，即使是最好的数学家，在他们的一生中也很少有超过一个真正杰出的想法。 如果你是高中生的话，那真是太令人惊讶了！

一旦你考虑了研究的结构和相关性，你就准备好概述你的论文了。研究论文的公认格式在数学上的定义比其他许多科学领域要严格得多。你有足够的空间来制定一个特别适合你 论文 的大纲。但是， 论文 几乎总是包括几个标准部分：背景、简介、正文和未来的工作。背景将有助于引导你的读者，提供你将带他去哪里的第一个想法。在背景中，您将给出问题历史的最明确描述，尽管提示和引用可能 会放在论文的 其他地方。读者希望在本节中回答一些问题：他为什么要读这篇论文？这篇论文的重点是什么？这个问题是从哪里来的？这个领域已经知道了什么？为什么作者认为这个问题很有趣？例如，如果他不喜欢偏微分方程，就应该提前警告他会遇到它们。如果他不熟悉概率的第一个概念，那么如果你的论文依赖于这种理解，他应该提前得到警告。请记住，尽管你可能花了几百个小时来解决你的问题，但你的读者希望在几分钟内把所有这些问题都清楚地回答出来。

在论文的第二部分，导言部分，你将开始引导读者进入你的工作，特别是从大局到具体结果的放大。 这里是介绍定义和引理的地方，这些定义和引理是该领域的标准，但是您的读者可能不知道。

正文由几个部分组成，包含了你大部分的工作。当你到达最后一节“ 研究意义 ”时，你可能已经厌倦了你的问题，但是这一节对你的读者来说是至关重要的。作为论文主题的世界专家，您处于一个独特的环境中，可以指导您所在领域的未来研究。喜欢你论文的读者可能想继续在你的领域工作。他 （她） 自然会有她 / 他自己的问题，但你在写了这篇论文之后，会比你的读者更清楚哪些问题可能有趣，哪些问题可能 没 有趣。如果你继续研究这个话题，你会问什么问题？此外，对于某些论文，您的工作可能会有重要影响。如果你研究过一个物理现象的数学模型，那么在物理世界中，你的数学工作的结果是什么？这些问题是你的读者希望在论文的最后一节中回答的。你应该注意不要让他们失望！

三、正式和非正式介绍

一旦你有了论文的基本大纲，你应该考虑“由定义、定理和证明组成的 正式结构 或逻辑结构，以及由动机、类比、例子和数学解释组成的补充 性 非正式或介绍性材料。在任何数学表达中，都应该明显地保持材料的这种划分，因为主题的本质首先要求逻辑结构清晰。”（ p.1 ）这两种类型的材料并行 出现 ，以使读者能够从逻辑和认知两方面理解你的工作（这通常是非常不同的 —— 你们中有多少人认为在证明微积分的基本定理之前，积分可以用反导数来计算？ ）。 由于正式结构不依赖于非正式结构，作者可以在添加任何非正式结构之前，详细地写下前者。

因此，写作过程的下一个阶段可能是制定论文逻辑结构的大纲。 问 有几个问题可能会有所帮助：首先，你到底证明了什么？这些定理所依据的引理是什么（你自己的或他人的）。这些定理的推论是什么？在决定哪些结果称为引理、哪些定理和哪些推论时，问问自己哪些是中心思想。哪一个是自然地从别人那里来的，哪一个是真正的 贡献 ？写作的结构要求你的假设和推论必须符合线性顺序 （即由简单到复杂的顺序）。对于这种线性结构， 引理 的 复杂 程度越来越高 ，一个接一个，直到一个定理被证明，随后是一系列越来越复杂的推论。然而，很少有研究论文真正具有 这样的 线性结构 ，而是反过来，看起来就像 复杂的图 形 ，其中几个基本假设以复杂的方式与一些众所周知的定理相结合 ， 可能有几个看似独立的推理路线 会 在最后一步 聚集 。 事实上， 任何断言都应该 从 它所依赖的引理和定理 得出。 可能有许多满足这一要求的线性 顺序 。鉴于这一困难，你有责任首先 自己 理解这一结构，其次，安排你写作的必然线性结构，以尽可能反映 你论文的 结构。当然，这一 写作 的确切方式取决于具体情况。

帮助您揭示论文复杂逻辑结构的一种方法是正确地命名结果。通过适当地命名你的结果（引理作为基础，定理作为 核心结果 ，推论作为 收尾 工作），你将在你的引理中创造出某种平行感，帮助你的读者欣赏 和快速游览哪些是你 关键的想法， 而不能让读者 费劲地 好像 与你进行 一起 研究 一样 。

另一种 发展 简明逻辑大纲的 方式 来源于《如何写数学》的 作者 保罗·霍尔莫斯（ Paul Halmos ）的警告 ： 从不重复 证明。

如果定理 2 证明中的几个步骤与定理 1 证明中的某些部分非常相似，那么这是一个 信号 ，表明某些东西可能没有被完全理解。同一 毛病 的其他症状是：“使用与定理 1 的证明中相同的技术（或方法、装置或技巧）”，或 冒失 地 使用 “参见定理 1 的证明”。当这种情况发生时，很有可能 值得构造 一个 可公式化和可证明的 引理，从这个引理可以更容易、更清楚地推导出定理 1 和定理 2 。（第 35 页）

在你开始写论文之前，这些结构问题应该经过深思熟虑，尽管写作本身的过程确实有助于你更好地理解结构。

我们已经讨论 完 了 正式 结构， 现在 我们就转向非正式结构。

正式 结构包含 正式 定义、定理证明格式和严谨的逻辑，这是“纯”数学的语言。非正式结构是正式结构的补充。它使用不那么严格（但也同样准确） 的 语言，在阐明 作品 的数学位置和更具认知性的呈现中起着重要的作用。因为尽管数学家用逻辑语言写作，但实际上很少有人用逻辑语言思考 ( 尽管我们确实用逻辑思维 ) ，因此为了理解你的工作，他们将会极大地受益于对为什么某事是真的以及你是如何证明这样一个定理的微妙 论证 。在你写作之前，在这些非正式的章节中概述你希望交流的内容，很可能会 让 交流 更有效 。

在开始写之前，您还必须考虑 数学 符号。符号的选择是撰写研究论文的关键部分。实际上，你正在发明一种你的读者为了理解你的论文必须学习的语言。好的符号首先让读者忘记他正在学习一种新的语言，其次提供了一个框架，在这个框架中，你的证明的要点被清楚地理解了。另一方面，糟糕的注释是灾难性的，可能会阻止读者阅读你的论文。在大多数情况下，遵循惯例是明智的。 例如，不要 对函数使用 x （ f ）， 而应该按惯例使用 f(x) 。

四、证明

写一个好的证明的第一步是对定理的陈述。一个措辞得当的定理会使写证明变得容易得多。定理的陈述首先应该包含正确的假设。当然，必须包括所有必要的假设。另一方面， 应尽可能滤除 无关的假设 ，因为无关假设 只会 让读者分散注意力，无法将注意力集中在你 定理 要表达的 观点 上。

当你写 证明 的时候，就像写整篇论文一样，你必须以线性的顺序，写下一组假设和推论，这些假设和推论在形式上可能不是线性的。我建议，在你写作之前，你先把假设和推论拟订出来，并试图以一种对读者造成最少混乱的方式对陈述进行排序。

在《如何写数学》中，哈尔莫斯（ Halmos ）提供了几个关于编写证明的重要建议：

1. 用正向证明方法，而不是逆向证明方法。逆向证明 的优点是容易被机器验证 ，但不适合 被人理解 。正向证明 的安排是可以理解和记忆的。（第 43 页）

2. 避免不必要的符号。 考虑 由等号分 开 的一长串表达式组成的证明。这样的 证明 很容易写。作者从第一个方程开始，进行自然替换得到第二个方程， 合并同类项 、 置换 、插入并 去掉 一个 中间 因子，然后通过这些步骤进行，直到他得到最后一个方程。这 种证明 又是一次编码，读者不仅被迫一边学习 ，还 一边去解码。 这种让负担翻倍的做法是不必要的。应多 花 10 分钟写一 个文字性 段落， 用以介绍证明过程 的秘诀，取代那些只报告结果 和需要读者猜测 的无用 过程。 这段话 可以 是这样的：“作为证 明 ，首先用 P 代替 Q ，然后 合并同类项 ， 置换 因子，最后插入并取消 一个 因子 R 。”（第 42-43 页）

五、具体建议

在任何形式的交流中，都有一定的文体 习惯 ，这会使你的写作或多或少地被理解。写完初稿后，最好对这些内容进行检查和更正。 我 这些想法中的许多来自《如何写数学》，并且在那里更充分地证明了其合理性。

前面已定义的符号在连续 几页甚至几段中 如果 没有 被 使用 ，再次出现时应交代在前面哪里定义了或者重新提示其意义。

论文的 结构应 做到 很容易地通过 你的 标题和标点 符号 来识别。

在整个 论文 中，应该对 所涉及 的问题有一个清晰的定义。

论文标题 是读者接触你的论文 的第一个要素 。它必须向你所在领域的专家以及感兴趣的新手传达某种 信息 。因此，术语在技术上 必须 是正确的 。

不要过度使用标点符号，如句点或逗号。它们很容易被读者 看漏 ，并且 这样的漏读 会导致回溯、混乱 和耽搁 。 不要以符号 作为句子的 开头。如果你坚持在句子开头提到符号所表示的东西，那么 在符号之前加上 适当的 术语 ， 例如， “集合 x 属于 C 类，…” 而不是 “ x 属于 C 类， …” 。对于 逗号 也是如此 。 不要使用 “对于可逆 x ， x* 也是可逆的”，而 要使用 “对于可逆 x ，伴随 x* 也是可逆的。”（第 44 页）

在所有的数学上下文中，我推荐 “如果”（ “ if ” ）与“那么”（ “ then ” ）连起来使用，因为 “ 那么 ”的存在永远不会 引起 混淆。

另一个关键特性是页面的布局或架构。 “ 如果它看起来像纯朴的 白话文 ，它会令人生畏 且显得呆板 ；如果它看起来像计算散列 充满数学 符号， 则会显得 可怕 和 复杂。中庸之道是黄金。把它拆开，但不要太小；用 白话文 ，但不要太多。穿插足够多的展示，给眼睛一个帮助大脑的机会；使用符号，但在足够多的 白话文 中间，以防止大脑淹没在一堆后缀之中。”（第 44-5 页）

同一符号不能用于多个事物；如果在一个证明中使用 n 作为计数，则在下一个证明中使用 m ，除非这两个符号在每一个证明中都起着相似的作用。

所有符号都应该有意义（没有自由变量）：“避免使用不 必要 的符号。例 如 “在紧凑空间上，每个实值连续函数 f 都是有界的” ，这里 符号“ f ”对该语句的清晰度 没有任何 贡献。（第 41 页）

在日常英语中，“ any ”是一个模棱两可的 单词。到底是指一个限定的量词（如 "if anyone can do it, he can") ）还是指一个通用的量词（如 "any number can play" ）， 取决于 上下文。因此， 不要在数学写作中使用“ any ”。用“ each ”或“ every ”替换，或改写整个句子（第 38 页）

不要事后定义，例如，不要使用 “ 如果 n 足够大，那么 an<e ，其中 e 是预先指定的 正数 ” 。不要使用 “等价” ，因为定理的“等价”是 逻辑上的废话。 这里所说的“定 理”是指一个数学真理，一个已经被证明的东西。一个有意义的陈述可能是错误的，但一个定理不能。至于“如果……那么……如果……那么”，这只是一个 写作快手 和 慢速 读者常犯的文体错误。 例如，“ 如果 P ，那么 Q ，那么 R ”虽然在 逻辑 过意得去 ，但从心理上来说 可能把读者绊住 。 如果依据本身意义要求，改成 “如果 P 和 Q ，那么 R ”或者“在 P 的存在下，假设 Q 则 意味着结论 R ” 会更清晰 。

用反例 来 说明定理条件的必要性。 正确使用词语：区分功能和价值。