LaTeX 中的函数定义（f: A \to B）

用途

声明 f 是从定义域 A 到陪域 B 的函数。

这种签名式写法是分析和代数中大多数定义的开头，后面常跟着元素层面的对应规则 x \mapsto x^2。直接输入冒号会在两侧产生关系符间距，显得过宽；\colon 给出恰当的紧凑标点间距，即 f\colon A \to B。\to 和 \rightarrow 产生同一个箭头；\longrightarrow 在行间公式中更为醒目。可以搭配 \mapsto 写出元素层面的规则：f\colon \mathbb{R} \to \mathbb{R}, x \mapsto x^2。若有多个对象之间的多个映射，最好用专门的交换图环境来绘制。

最小可编译示例

将其粘贴到空白 .tex 文件中，用 pdfLaTeX、XeLaTeX 或 LuaLaTeX 编译。

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Function Definition: $f: A \to B$

\[ f\colon \mathbb{R} \to \mathbb{R}, \quad x \mapsto x^2 \]
\end{document}

相关符号

• 映射箭头\mapsto
• 函数记号f(x)
• 趋近箭头\to
• 长右箭头\longrightarrow
• 复合函数f \circ g
• 反函数f^{-1}

常见问题

如何在 LaTeX 中输入函数定义？

在数学模式中输入 f: A \to B，例如 $f\colon \mathbb{R} \to \mathbb{R}, \quad x \mapsto x^2$。无需加载任何宏包即可在标准 LaTeX 中使用。

f: A \to B 需要哪个宏包？

不需要。f: A \to B 是标准 LaTeX 的一部分，导言区只需文档类即可编译。

f: A \to B 能在文本模式中使用，还是只能用于数学模式？

只能用于数学模式。在 $...$ 之外，LaTeX 会报错 "Missing $ inserted"，所以在正文中请写 $f: A \to B$。