基本介紹
- 中文名:埃爾米特伴隨
- 外文名:Hermitian adjoint
- 領域:泛函分析
有界運算元,性質,埃爾米特運算元,無界運算元的伴隨,其他伴隨,參見,
有界運算元
假設H是一個希爾伯特空間,帶有內積
。考慮連續線性運算元A:H→H(這與有界運算元相同)。

利用里斯表示定理,我們可以證明存在惟一的連續線性運算元
A*:H→H具有如下性質:
,對所有
。


這個運算元A* 是A的伴隨。
這可以視為一個方塊矩陣的轉置共軛或伴隨矩陣推廣,在標準(復)內積下具有相似的性質。
性質
可得性質:
- A** =A
- 如A可逆,則A* 也可逆,且 (A*)= (A)*
- (A+B)* =A* +B*
- (λA)* = λ*A*,這裡λ* 表示複數λ的復共軛
- (AB)* =B*A*
如果我們定義A的運算元範數為



希爾伯特空間H上有界線性運算元與伴隨運算元以及運算元範數給出一個C*代數例子。


埃爾米特運算元
有界運算元A:H→H稱為埃爾米特或自伴如果A=A*這等價於
無界運算元的伴隨
其他伴隨
範疇論中,方程

形式上類似地定義了伴隨函子偶性質,這也是伴隨函子得名之由來。
參見
- 數學概念
- 埃爾米特運算元
- 線性映射的轉置
物理套用