埃尔米特伴随

Template:Mathportal Template:Distinguish 數學中，特別是算子理論中，每個內積空間中的線性算子 $A$ 都個有一個對應的伴隨算子（Template:Lang-en），記作 $A^{*}$，伴隨算子可由以下關係定義

$⟨Ax,y⟩=⟨x,A^{*}y⟩$

其中 $⟨\cdot ,\cdot ⟩$ 是向量空間中的內積。

算子 $A$ 的伴隨 $A^{*}$ 亦可稱作埃尔米特伴随（Template:Lang-en），以夏尔·埃尔米特命名。在物理學，尤其是量子力學中，算子 $A$ 的埃尔米特伴随常被記作 $A^{†}$（狄拉克符号记法）。

有限維向量空間中算子可以以矩陣的形式表示，而伴隨算子的矩陣等於原矩陣的共軛轉置。

泛函分析中，上述對伴隨算子的定義可以直接套用於希尔伯特空间中的线性算子。

有界算子

假設$H$是一個希爾伯特空間，帶有內積 $⟨\cdot ,\cdot ⟩$。考慮連續線性算子$A:H\to H$（這與有界算子相同）。

利用里斯表示定理，我們可以證明存在唯一的連續線性算子

$A^{*}:H\to H$具有如下性質：

$⟨Ax,y⟩=⟨x,A^{*}y⟩$，对所有$x,y\in H$。

這個算子$A^{*}$是$A$的伴隨。

這可以視為一個方塊矩陣的轉置共軛或伴隨矩陣推廣，在標準（復）內積下具有相似的性質。

性质

马上可得的性质

1. $A^{**}=A$
2. 如$A$可逆，则$A^{*}$也可逆，且$(A^{*}{)}^{-1}=(A^{-1}{)}^{*}$
3. $(A+B{)}^{*}=A^{*}+B^{*}$
4. $(\lambda A{)}^{*}={\lambda }^{*}{A}^{*}$，这里${\lambda }^{*}$表示复数$\lambda$的复共轭
5. $(AB{)}^{*}=B^{*}{A}^{*}$

如果我们定义$A$的算子范数为

$\Vert A{\Vert }_{op}:=\sup \{\Vert Ax\Vert :\Vert x\Vert \le 1\}$

则

$\Vert A^{*}{\Vert }_{op}=\Vert A{\Vert }_{op},$

而且有

$\Vert A^{*}A{\Vert }_{op}=\Vert A{\Vert }_{op}^2$。

希尔伯特空间$H$上有界线性算子与伴随算子以及算子范数给出一个C*代数例子。

$A$的像与它的伴随的核的关系为

$\ker A^{*}={(\mathrm{im}A)}^{\mathrm{\perp }},$

${(\ker A^{*})}^{\mathrm{\perp }}=\overline{\mathrm{im}A}$。

第一个等式的证明：

$\begin{array}{cc}{A}^{*}x=0& ⟺⟨A^{*}x,y⟩=0\mathrm{\forall }y\in H\\ & ⟺⟨x,Ay⟩=0\mathrm{\forall }y\in H\\ & ⟺x\mathrm{\perp }\mathrm{im}A\end{array}$

第二个等式由第一个推出，于两边取正交空间即可。注意到一般地，像未必是闭的，但连续算子的核总是闭的。

埃尔米特算子

有界算子$A:H\to H$称为埃尔米特或自伴如果

$A=A^{*}$

这等价于

$⟨Ax,y⟩=⟨x,Ay⟩,\mathrm{\forall }x,y\in H$。

在某种意义下，这种算子起着实数（等于他们的复共轭）的作用。他们在量子力学中作为实值可观测量的模型。更多细节参见自伴算子一文。

无界算子的伴随

许多重要的算子不是连续的或只定义在希尔伯特的一个子空间上。在这种情形，我们仍然能定义伴随，在自伴算子一文有解释。

其他伴随

范畴论中，方程

$⟨Ax,y⟩=⟨x,A^{*}y⟩$

形式上类似地定义了伴随函子偶性质，这也是伴随函子得名之由来。

又见

• 数学概念
  • 线性代数
  • 内积
  • 希尔伯特空间
  • 埃尔米特算子
  • 范数
  • 算子范数
  • 线性映射的转置
• 物理应用
  • 对偶空间
  • 狄拉克符号
  • 量子力学
  • 可观测量

参考文献

• Walter Rudin. Functional Analysis(2nd ed.), China Machine Press, 2006