LaTeX 中的大张量积符号（\bigotimes）

用途

大型带圈乘号，表示一族空间或算子的张量积。

量子计算把 n 个量子比特的状态空间写作 \bigotimes_{i=1}^{n} \mathbb{C}^2，多重线性代数则构造张量代数 T(V) = \bigoplus_k V^{\otimes k}。二元形式 \otimes 连接两个因子，如 A \otimes B，也表示矩阵的克罗内克积。作为大型运算符，\bigotimes 在行间公式中的上下限堆叠排列。对同一空间的重复张量幂，保留上标写法 V^{\otimes n}，它比带上下限的大型运算符更紧凑。当基环或基域不明显时，请注明，如 \otimes_R。

最小可编译示例

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Big Tensor Product: $\bigotimes$

\[ \mathcal{H} = \bigotimes_{i=1}^{n} \mathbb{C}^2 \]
\end{document}

相关符号

• 大圈点符号\bigodot
• 大直和符号\bigoplus
• 大方形并符号\bigsqcup
• 大析取符号\bigvee
• 二重求和\sum_{i=1}^{m} \sum_{j=1}^{n}
• 大合取符号\bigwedge

常见问题

如何在 LaTeX 中输入大张量积符号？

在数学模式中输入 \bigotimes，例如 $\mathcal{H} = \bigotimes_{i=1}^{n} \mathbb{C}^2$。无需加载任何宏包即可在标准 LaTeX 中使用。

\bigotimes 需要哪个宏包？

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

\bigotimes 能在文本模式中使用，还是只能用于数学模式？

只能用于数学模式。在 $...$ 之外，LaTeX 会报错 "Missing $ inserted"，所以在正文中请写 $\bigotimes$。 如果只需要在正文中显示该字形，可以直接粘贴 Unicode 字符 ⨂（需使用 XeLaTeX 或 LuaLaTeX 以及包含该字形的字体）。