香蕉空间: 写作指引

本文将指引您在香蕉空间创作. 我们建议您在开始写作之前阅读本文.

如果对香蕉空间的 TeX 语法有疑问, 请参见帮助: 编辑页面.

1写作风格
直观性
交叉引用
内部链接
避免西式汉语
2代码风格
代码可读性
排版规范
3内容
收录范围
相关性
完善性
分类
语言
讲义内容
4术语和记号
术语
记号

1写作风格

香蕉空间的条目是以数学教科书的风格写成的. 大致地说, 在介绍一个数学概念时, 应首先给出其动机, 并给出直观、非严格的解释, 然后再通过严格地叙述相关的定理、定义, 来使读者熟悉其性质, 最后介绍其应用. 如果介绍其它学科中的概念, 需要给出其在相应学科中的直观和基本含义, 并同时尽量使行文具有数学严格性 (例如, 指出什么是基本假设, 什么是推导出的结论, 某个量处在什么空间中等等).

$n$ Lab 是以这种写作风格写成的百科的典范. 在写作之前, 我们推荐编辑者先阅读 $n$ Lab 上的对应条目, 作为写作风格、内容安排的参考. 当然, 也可以直接翻译 $n$ Lab 上的对应条目并进行适当调整, 并在编辑摘要中注明来源. 值得注意的是, 我们的写作风格和 Wikipedia 有很大不同, 后者更大众化而偏向科普, 因此请不要直接翻译 Wikipedia 的页面.

香蕉空间的百科页面采用统一的格式, 您可以参照下面的模板来进行写作.

在[[学科名]]中, \textbf{文章标题}是一种 (某类数学对象).
大致来说, (直观、非严格地解释该概念, 把握其主要想法).
例如, (举几个最基本、最简单的例子, 帮助读者理解).

(引言的其它段落, 例如该概念与其它概念的联系, 以及应用等.)

== 定义 ==

\begin{definition}[概念]
    (在此处写下定义. 注意解释清楚每个概念、记号的含义.)
\end{definition}

== 例子 ==

* 举一些例子. 

* 从最显而易见的例子开始, 然后举一些稍微复杂但有趣的例子.

== 性质 ==

=== 基本性质 ===

* 列举一些基本的性质, 也就是几乎直接能从定义得到的性质.

(视情况增加其它小节.)

== 相关概念 ==

{{ 学科模板 }}

{{ transbox
    | (术语翻译)
}}

[[分类:学科分类]]

以下是香蕉空间写作的一些建议. 这些建议对讲义写作也适用.

直观性

初学者在刚刚接触一门数学分支时, 常常被其纷繁复杂的概念所困住, 无法领会其中的意义. 这样的初学者可能会希望在香蕉空间寻找帮助, 香蕉空间也致力于提供这种帮助.

因此, 香蕉空间的百科条目要给读者提供数学概念、数学结论的直观解释. 这些直观解释可能难以在教科书上找到, 但这样的解释对于初学者来说, 或对非该领域专家的读者来说, 将会十分有益. 香蕉空间的条目应当以最直观的方式, 指出每个概念的 (非严格的) 意义. 例如:

Yoneda 引理大致是说, 范畴中的对象由它到所有别的对象的态射决定: 例如, 如果两个对象到任意别的对象的态射集 (自然地) 同构, 那么这两个对象就同构 (推论 X.Y).

交叉引用

阅读数学文章的一大痛苦之处在于, 当忘记某个记号、某个概念的定义时, 有时需要花很大力气才能找到.

在香蕉空间, 我们要避免这种痛苦. 在提到每个概念、记号时, 如果是在同一篇文章中定义的, 那么需要给出该定义的编号. 例如:

光滑流形是指一个拓扑流形 (定义 X.Y), 具备一个坐标图册 (定义 Z.W), 使得...

如果该概念不是在同一篇文章中定义, 则需要给出适当的内部链接 (下一小节).

内部链接

内部链接是指在条目中, 指向其他条目的链接. 在写作中要给提到的所有概念添加内部链接. 例如:

拓扑流形是局部 Euclid、Hausdorff、第二可数的拓扑空间.

这样, 读者可以点击进入相应的条目, 以了解该概念.

但是, 不要过多地添加内部链接. 同一个概念只有在每一节 (或每一段话) 中第一次出现时, 才需要内部链接.

避免西式汉语

数学百科的语言应符合汉语的语法和语言习惯. 例如:

不好: 一个域是一个集合, 其上加减乘除四则运算被定义, 且具有像实数或有理数上的对应运算那样的行为.

好些: 域是带有加减乘除四则运算的集合, 这些运算满足实数、有理数的四则运算那样的性质.

2代码风格

香蕉空间的数学百科是多人合作的代码项目. 因此, 代码需要能够轻松地被别人阅读和修改.

错误示例:

    \[A=\begin{pmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{pmatrix}.\]

正确示例:

\[
    A =
    \begin{pmatrix}
        a_{11} & a_{12} \\
        a_{21} & a_{22}
    \end{pmatrix} .
\]

以下列举一些常见的注意事项.

代码可读性

•	代码中不能有过长的行. 每行尽量不超过 80 个字符. 如果一行代码超出了编辑器的右侧边界, 就说明这行代码太长了.
•	环境的内容 (`\begin` 和 `\end` 之间) 使用 4 个空格缩进.
•	`\[` 与 `\]` 各占一行, 它们之间的内容用 4 个空格缩进.
•	`\item` 独占一行, 它的内容用 4 个空格缩进:

\begin{itemize}
    \item
        ...
\end{itemize}

•	数学公式中, 应多加空格. 例如: `1 + 1 = 2`, `f(x, y)`.

排版规范

下面这些注意事项是对排版结果有影响的. 遵守这里的规则可以排版出更美观的网页.

•

中文与西文之间、中文与数学公式之间应有 1 个空格. 虽然香蕉空间的编译器会自动保证这一点, 但它不一定能处理所有特殊情况. 因此, 应该在源码中保持这个习惯.

•

除非在数学公式或表格中, 否则不要使用 \\ 进行换行.

•

注意区分 -、--、---.

∘	`-` 是连字符 (-), 用于单词中, 例如 `well-known`, 或连接同一姓氏的不同部分, 例如 `Levi-Civita`.
∘	`--` 是短横线 (–), 用于连接两个人名, 例如 `Newton--Leibniz`, 或连接两个数字, 例如 `1--10`.
∘	`---` 是长横线 (—), 用作破折号. 中文破折号由两个长横线构成, 即 `------`.
∘	以上三者都不能作为减号或负号. 因此, 在行文中提到数字时, 总应放在数学公式中: $-1$ .

•

单引号是 ` ', 而不是 ' '. 双引号是 `` '', 而不是 " ".

•

在数学公式中:

∘	表示绝对值的竖线是 `\|`, 但 ${x ∣ x > 0}$ 中的竖线是 `\mid`. 区别在于竖线两侧间距不同. 如果想要更长的竖线, 可以使用 `\Bigm\|` 等等.
∘	表示比值的冒号是 `:`, 但 $f : X \to Y$ 中的冒号是 `\colon`. 区别在于冒号两侧间距不同.
∘	$coker f$ 中的正体字使用 `\operatorname{coker}`. 不要用 `\mathrm` 或 `\text` 等, 因为间距不正确.

3内容

收录范围

什么样的内容适合收录到百科条目中? 数学的各个子学科、与数学有关的物理学和其它自然科学, 以及数学哲学, 或是数学家传记, 都在香蕉空间希望收录的范围内.

不过, 在项目的初期, 应首先给最重要的数学概念建立条目, 不宜将注意力放在不那么重要的分支上.

完善性

放在百科中的页面可以暂时不完善, 但应该有大致框架 (完成章节划分, 并完成其中一些小节的内容), 使得其他人可以沿着作者的思路写下去. 否则请先把写作进度保存在本人用户页面中.

分类

在百科页面的末尾, 应将其分类至其所处 (尽量小的) 学科分支. 例如, 群的所在分支为分类: 群论, 拓扑空间的所在分支为分类: 一般拓扑. 页面分类的有关语法请参见帮助: 编辑页面, 如果拿不准主意, 可以在讨论室: 香蕉空间里讨论.

语言

所有的百科条目都必须以简体中文写成. 英文 (或其他语言) 作品可以放在 “讲义” 命名空间中, 不过我们建议作者使用中文写作讲义, 以方便阅读和交流.

讲义内容

香蕉空间希望收录任何有关数学的课程或讨论班的讲义, 无论上传者是否是主讲人.

不过, 在上传讲义时, 请保证内容的自治性: 初学者可以在具有相应前置知识的情况下, 仅通过这份讲义就可以学会相应内容. 例如行文逻辑需要较为流畅, 命题都要有证明, 定义也要解释清楚动机. 特别地, 请不要把个人的读书笔记放在 “讲义” 命名空间中, 除非它们经过实践检验后满足上述要求 (不过可以放在本人的用户界面下).

4术语和记号

术语

参见: 香蕉空间: 术语规范

数学术语在文中须被翻译为中文, 并且不要使用外文简写 (例如不要将 “主理想整环” 写成 “PID”), 除非术语由人名构成导致过于冗长 (例如 ZFC 集合论、BRST 量子化等). 并且不要在文中标注其外文翻译. 术语的翻译 (例如英、法、德文) 应放进 {{transbox}} 模板里, 然后放在条目的末尾. 当一个数学概念没有被普遍接受的翻译时, 应尽量满足 “信达雅” 的原则翻译之.

如果提及数学书, 应首先给出此书在源语言中的名称, 再给出此书的中文译名. 如果行文中再次出现同一本书, 为了行文的流畅性, 应仅写出书籍的中文译名.

很多数学概念、数学定理都以人名命名. 如果该人名是中文, 则应将它写成汉字. 若不是, 则应采用通用的拉丁字母拼写. 如果原语言中有扩充的拉丁字母 (如 ß, þ, ð), 或有字母上的音符 (é, è, ê) 应保留之. 例如: 陈类、Lie 代数、Nakayama 引理、Gauß 绝妙定理、Calabi–丘流形, Euclid 几何, Pontryagin 对偶, Poincaré 群.

如在西文中, 人名在数学概念中加以后缀, 翻译后须去掉后缀, 转化为人名本身. 例如: Abel 群, Abel 化, Descartes 积, Riemann 几何.

不过, 如果出现外文的国名和地名, 仍应采用通用的中文译名.

记号

参见: 香蕉空间: 记号索引

在条目中, 应尽量使用通用的记号. 常见的记号应与香蕉空间: 记号索引中一致; 对于不太常见的记号来说, 在每一节中第一次使用该记号时, 应说明该记号的含义.

另外, 记号还应遵守以下约定, 以使得所有百科条目尽量统一.

•	特定范畴的名称使用无衬线字体 (`\mathsf`), 例如 $Set$ (`\mathsf{Set}`), $A - Mod$ (`A\text{-}\mathsf{Mod}`). 但是, 如果讨论的是一般的范畴, 例如 “设 $C$ 是范畴, ...”, 应使用手写字体 (`\mathcal`).
•	特定的线性群名称使用正体 (`\mathrm`), 例如 $U (n)$ (`\mathrm{U} (n)`).
•	在代数结构中, 如果要将加法、乘法等运算用字母表示, 那么应将正常的运算用拉丁字母表示, 将余运算用希腊字母表示.

名字空间

视图