# 数学字体 · 黑板体、花体、粗体……

> 实数集的黑板体 R、拉格朗日量的花体 L、李代数的哥特体 g、向量的粗体 x——数学里一个字母换个字体就换个含义。这一章把 mathbb / mathcal / mathfrak / mathbf / boldsymbol 等字体命令讲全，并说清各自的惯用场合。

- 作者：David（道雾轩）
- 专栏：LaTeX 完全上手指南（https://daiw.org/manual/latex.md）
- 最后更新：2026-07-13
- 原文：https://daiw.org/manual/latex/math-fonts
- 转载与引用：请注明出处并附原文链接（https://daiw.org/about/copyright）

# 数学字体 · 黑板体、花体、粗体……

数学里，**同一个字母换一种字体，就是另一个意思**。$R$ 是个变量，$\mathbb{R}$ 是实数集，$\mathcal{R}$ 可能是某个算子，$\mathfrak{R}$ 又是另一回事。这些「特殊字体」不是为了好看，而是**承载约定俗成的语义**。这一章把常用的数学字体命令列全，并说清每种的惯用场合。

## 九种数学字体一览

每个字体命令都是 `\mathXX{...}`，把字母放进花括号。同一个字母 `R` 在各字体下：

| 命令 | 效果 | 名称 | 典型用途 |
| --- | --- | --- | --- |
| `\mathrm{R}` | $\mathrm{R}$ | 直立体(roman) | 单位、函数名、常数 e/i/d |
| `\mathit{R}` | $\mathit{R}$ | 斜体(italic) | 强制斜体（变量默认已斜） |
| `\mathbf{R}` | $\mathbf{R}$ | 粗体(bold) | 向量、矩阵、张量 |
| `\boldsymbol{R}` | $\boldsymbol{R}$ | 粗斜体 | 粗体变量、粗体希腊 |
| `\mathbb{R}` | $\mathbb{R}$ | 黑板粗体 | 数集 $\mathbb{N}\mathbb{Z}\mathbb{Q}\mathbb{R}\mathbb{C}$ |
| `\mathcal{R}` | $\mathcal{R}$ | 花体(calligraphic) | 拉格朗日量、σ-代数、范畴 |
| `\mathscr{R}` | $\mathscr{R}$ | 剧本体(script) | 另一种花体 |
| `\mathfrak{R}` | $\mathfrak{R}$ | 哥特体(Fraktur) | 李代数、理想 |
| `\mathsf{R}` | $\mathsf{R}$ | 无衬线(sans-serif) | 范畴、某些特殊记号 |
| `\mathtt{R}` | $\mathtt{R}$ | 打字机(monospace) | 代码式记号 |

## 黑板粗体：数集的招牌

`\mathbb{}` 渲染出中间「空心」的**黑板粗体**，是**数集**的标准记号——几乎所有数学文献都这么写：

| 数集 | 命令 | 效果 |
| --- | --- | --- |
| 自然数 | `\mathbb{N}` | $\mathbb{N}$ |
| 整数 | `\mathbb{Z}` | $\mathbb{Z}$ |
| 有理数 | `\mathbb{Q}` | $\mathbb{Q}$ |
| 实数 | `\mathbb{R}` | $\mathbb{R}$ |
| 复数 | `\mathbb{C}` | $\mathbb{C}$ |

于是「n 维实空间」写作 `\mathbb{R}^n` → $\mathbb{R}^n$，「x 属于实数」写作 `x \in \mathbb{R}` → $x \in \mathbb{R}$。

<Callout type="warn">
  **`\mathbb` 和 `\mathcal` 通常只对大写字母有效。** 黑板粗体、花体设计上只有大写（`\mathbb{R}` 有，`\mathbb{r}` 多数环境给不出小写黑板体）。所以看到有人写 $\mathbb{R}$、$\mathcal{L}$ 全是大写，不是巧合——这两种字体本来就只服务大写字母。
</Callout>

## 粗体的两种：\mathbf 与 \boldsymbol

「粗体」有两个命令，区别在**斜不斜**，别用混了：

- **`\mathbf{}`**：粗体 + **直立**。适合用**拉丁字母**命名的向量、矩阵——$\mathbf{x}$、$\mathbf{A}$。
- **`\boldsymbol{}`**：粗体 + **斜体**。当你要**粗体希腊字母**，或希望粗体变量保持斜体的「变量感」时用它。

对比最能说明问题——想要**粗体的 $\alpha$**：

| 你敲的 | 效果 | 结果 |
| --- | --- | --- |
| `\mathbf{\alpha}` | $\mathbf{\alpha}$ | ✗ 希腊字母没变粗 |
| `\boldsymbol{\alpha}` | $\boldsymbol{\alpha}$ | ✓ 粗体 α |
| `\mathbf{v}` | $\mathbf{v}$ | ✓ 粗体向量 v（直立） |
| `\boldsymbol{v}` | $\boldsymbol{v}$ | ✓ 粗体向量 v（斜体） |

规律：`\mathbf` 对希腊字母**基本无效**（它只加粗直立的拉丁字母），要粗体希腊必须用 `\boldsymbol`。向量到底用直立粗体($\mathbf{v}$)还是斜粗体($\boldsymbol{v}$)，看你或期刊的偏好，一致即可。

## 花体与哥特体：各有各的地盘

这两种字体在特定领域是「行话」：

- **花体 `\mathcal{}`**：$\mathcal{L}$ 拉格朗日量 / 损失函数、$\mathcal{F}$ σ-代数或傅里叶变换、$\mathcal{O}$ 大 O 记号、$\mathcal{P}$ 幂集、$\mathcal{C}$ 范畴。
- **哥特体 `\mathfrak{}`**：$\mathfrak{g}$、$\mathfrak{h}$ 李代数，$\mathfrak{p}$、$\mathfrak{m}$ 环的素理想 / 极大理想。

```latex
\mathcal{L}(\theta)          % 损失函数
\mathcal{F}\{f\}(\omega)     % 傅里叶变换
\mathfrak{su}(2)             % 李代数
```

$\mathcal{L}(\theta)$、$\mathfrak{su}(2)$——换个字体，读者一眼就知道这不是普通变量，而是某个特定对象。

## \mathrm 与 \text 的区别

最后厘清一对容易混的：`\mathrm{}` 和 `\text{}` 都能得到「直立正体」，但**不一样**：

- **`\mathrm{}`** 是**数学字体**：内部仍是数学模式（空格被忽略），只是字形变直立。适合单位、函数名、常数——`\mathrm{d}x`、`\mathrm{km}`。
- **`\text{}`** 是**切回文本模式**：空格有效、字体跟随正文，适合插入**真正的自然语言**——`\text{当且仅当}`。

一句话：**排「直立的数学符号 / 单位」用 `\mathrm`，插「一段人话」用 `\text`。** 二者都很常用，别混。

## 小结与下一章

数学字体的核心是**语义**：$\mathbb{R}$ 是数集、$\mathcal{L}$ 是算子、$\mathfrak{g}$ 是李代数、$\mathbf{x}$ 是向量——换字体等于换含义。记住 `\mathbb`/`\mathcal` 只有大写、粗体希腊要用 `\boldsymbol`、以及 `\mathrm` 与 `\text` 之别，常见场合就够用了。

字母这一站到此结束——变量的「原料」齐了。下一站进入**常用构造**：把这些字母符号**拼成公式**。第一个就是数学里最日常的分数与根式：$\frac{a}{b}$、$\sqrt{x}$。👉 [分数与根式](https://daiw.org/manual/latex/fractions-roots)。

## 参考文献

- [1] Overleaf.「Mathematical fonts.」https://www.overleaf.com/learn/latex/Mathematical_fonts —— 数学字体命令与用途。
- [2] KaTeX.「Supported Functions — Font.」https://katex.org/docs/supported.html#font —— 本站可用的数学字体。