latex dagger:厄米共轭与转置共轭的写法

更新于

latex dagger 的写法是 A^{\dagger},排出来是 A 右上角一个短剑形符号 †,物理里读作「A 的厄米共轭」。同一个运算在线性代数教材里常写成 A^{\mathrm{H}}(共轭转置),在泛函分析、矩阵论和部分物理书里写成 A^{*}。三种记法指的都是「先转置、再取复共轭」,选哪个看学科习惯,同一篇文章里只用一种。

\dagger 是 LaTeX 内核自带的符号,不用加载宏包;它属于二元运算符,放在上标位置时按上标排,前后不会多出空白。

速查表:共轭与转置记号 12 条

记号 写法 常见学科 含义
A† A^{\dagger} 量子力学、量子信息 厄米共轭
a† a^{\dagger} 量子光学 产生算符
A^H(正体) A^{\mathrm{H}} 线性代数、信号处理 共轭转置
A^H(无衬线) A^{\mathsf{H}} 部分工程期刊 共轭转置
A* A^{*} 泛函分析 伴随算子
z* z^{*} 物理 复数共轭(不转置)
A^T A^{\mathrm{T}} 线性代数 转置
A^⊤ A^{\top} 统计、机器学习 转置
Ā \overline{A} 数学 逐元素取共轭
A‡ A^{\ddagger} 少数文献 另作定义的双短剑
A⁺ A^{+} 线性代数 伪逆,不是共轭
⟨ψ| \langle\psi\rvert 量子力学 右矢的厄米共轭

表里 A^{*} 一行最容易出事:物理文献里星号多数表示复数共轭、不转置,数学文献里星号是伴随,也就是共轭转置。读者背景不同,同一个星号会被读成两种运算,所以跨学科的文章更适合用 † 或正体 H。

量子力学里的 †

算符的厄米性。可观测量对应的算符满足 H = H†,写法:

\hat{H} = \hat{H}^{\dagger}

乘积的共轭顺序要反过来,这条在推导里用得最多:

(AB)^{\dagger} = B^{\dagger} A^{\dagger}

左矢与右矢的关系。左矢就是右矢的厄米共轭,在 LaTeX 里用尖括号和竖线拼出来(\lvert、\rvert 需要 amsmath):

\langle \psi \rvert = \left( \lvert \psi \rangle \right)^{\dagger}

物理与线性代数两类文献的共轭转置记号对照

乘积 AB 的厄米共轭等于 B† 乘 A†

线性代数里的 H

矩阵的共轭转置在线性代数、矩阵论和信号处理文献里常用上标正体 H,并常与转置 T 并排出现。先转置、再逐元素取共轭:

A=\begin{pmatrix} 1 & \mathrm{i} \\ 2 & 3-\mathrm{i} \end{pmatrix},\qquad
A^{\mathrm{H}}=\begin{pmatrix} 1 & 2 \\ -\mathrm{i} & 3+\mathrm{i} \end{pmatrix}

核对方法:转置后第二行是 i 和 3−i,取共轭变成 −i 和 3+i,与上式一致。

上标 H 写成正体是因为它是运算记号,不是变量;直接写 A^H 会排成斜体 H,和一个叫 H 的矩阵分不清。

在正文里(不是数学模式)要一个 † 作脚注标记或作者标注,用 \dag;双短剑是 \ddag。数学模式里一律用 \dagger,上标只有这一个符号时花括号可以省,写 A^\dagger 与 A^{\dagger} 结果相同;上标里不止一个记号时必须加花括号,例如 A^{\dagger 2}、(A^{\dagger})^{2}。下标照常写 _{ij},与这对花括号无关。

二阶复矩阵 A 与它的共轭转置

常见错误

  1. 把 † 写成 +:A^{+} 是 Moore–Penrose 伪逆,意思完全不同。
  2. 上标 H 忘了正体:斜体 H 容易被读成变量,写 \mathrm{H}。
  3. 星号在同一篇里两用:前文 z* 是复共轭,后文 A* 又当伴随,读者会困惑;换一个记号。
  4. 与转置撞车:矩阵的共轭转置写成 \overline{A}^{\mathrm{T}} 也对,但全文要统一,不要这里写 H、那里写 † 。

矩阵A带四种上标:†、正体H、星号、加号

拿那个 2×2 矩阵练手:把 3−i 换成自己题里的元素,看转置之后每一格虚部的正负号有没有翻过来。

延伸阅读

  • LaTeX数学命令:120 个常用命令按 10 类整理的速查
  • latex编辑器免费:免费的 LaTeX 编辑器里怎么筛掉不该用的
  • latex otimes:张量积和直和符号对照

常见问题

dagger和加号撞了怎么区分?
dagger 的竖笔明显长于横笔,横笔靠上,上标字号下仍是短剑形;加号四臂等长、交点居中。真正容易混的是写法:矩阵的加号上标在线性代数里表示伪逆,两者含义完全不同。源码里写 dagger 命令,别用加号代替,排版时字形自然不同,读者也不会误读。