随伴作用素
数学の特に函数解析学において、ヒルベルト空間上の各有界線型作用素は、対応する随伴作用素(ずいはんさようそ、テンプレート:Lang-en-short)を持つ。作用素の随伴は正方行列の随伴行列の概念の無限次元の場合をも許すような一般化である。ヒルベルト空間上の作用素を「一般化された複素数」と考えれば、作用素の随伴は複素数に対する複素共軛の役割を果たすものである。
作用素 テンプレート:Math の随伴は、シャルル・エルミートに因んでエルミート共軛 (Hermitian conjugate) とも呼ばれ、テンプレート:Math あるいは テンプレート:Math などで表される(後者は特にブラケット記法とともに用いられる)。
有界作用素に対する定義
テンプレート:Math は内積 テンプレート:Math を備えるヒルベルト空間とし、連続線型作用素 テンプレート:Math(線型作用素に対して、連続性はそれが有界作用素であることと同値)を考えるとき、テンプレート:Math の随伴作用素 テンプレート:Math は、
- <math> \langle Ax , y \rangle = \langle x , A^* y \rangle \quad (\forall x,y\in H)</math>
を満たす線型作用素である。随伴作用素の存在と一意性はリースの表現定理から従う[1]。
これは(標準複素内積に関して同様の性質をもつ)複素正方行列の随伴行列の一般化と見ることができる。
性質
- 対合性: テンプレート:Math
- テンプレート:Math が可逆ならば テンプレート:Math もそうであり、かつ テンプレート:Math
- 加法性: テンプレート:Math
- 半斉次性: テンプレート:Math, ただし λ は複素数 テンプレート:Math の複素共軛
- 逆転性: テンプレート:Math
加法性と半斉次性を合わせてテンプレート:仮リンク、逆転性と対合性は合わせて *-環としての対合性を表す。
- <math> \| A \|_\text{op} := \sup \{ \|Ax \| : \| x \| \le 1 \} </math>
で定義するならば、
- <math> \| A^* \|_\text{op} = \| A \|_\text{op}</math>[1]
および、さらに
- <math> \| A^* A \|_\text{op} = \| A \|_\text{op}^2</math>[1]
が成り立つ。この性質を満足するノルムは、自己随伴作用素の場合からの類推で、「最大値」のように振る舞うということができる。
ヒルベルト空間 テンプレート:Math 上の有界線型作用素全体の成す集合は、随伴をとる操作と作用素ノルムに関して C*-環の原型的な例である。
密定義作用素の随伴
ヒルベルト空間 テンプレート:Math 上の密定義作用素 テンプレート:Math は、その定義域 テンプレート:Math が テンプレート:Math において稠密で、かつその終域が テンプレート:Math であるようなものを言う[2]。 その随伴 テンプレート:Math はその定義域 テンプレート:Mathが
- <math> \langle Ax , y \rangle = \langle x , z \rangle \quad (\forall x \in H)</math>
を満たす テンプレート:Math が存在するような テンプレート:Math 全体の成す集合で与えられ、かつ テンプレート:Math となるものとして定義される[3]。
上記性質 1.–5. は(定義域と終域が適当な条件を満たせば)成立する。例えば最後の性質について、随伴作用素 テンプレート:Math は(テンプレート:Math, テンプレート:Math, テンプレート:Math が密定義作用素ならば)作用素テンプレート:Math の延長で与えられる[4]。
作用素 テンプレート:Math の像とその随伴 テンプレート:Math の核との間の関係性は、
- <math>\begin{align}
& \ker A^* = (\operatorname{im}A)^{\bot}\\ & (\ker A^*)^\bot = \overline{\operatorname{im}A}
\end{align}</math> で与えられる(ここで上付き横棒は集合の閉包を表す。直交補空間も参照)。一つ目の式の証明[5]は
- <math>\begin{align} A^* x = 0
&\iff \langle A^*x,y \rangle = 0 \quad (\forall y \in H) \\ &\iff \langle x,Ay \rangle = 0 \quad (\forall y \in H) \\ &\iff x \mathrel{\bot} \operatorname{im}A
\end{align}</math> で、二つのの式は一つ目の式の両辺の直交補空間をとることでわかる。一般に、像は閉とは限らないが連続線型作用素の核は常に閉である[6]。
エルミート作用素
有界作用素 テンプレート:Math が自己随伴であるとは
- <math> A = A^{*}</math>
あるいは同じことだが
- <math> \lang Ax , y \rang = \lang x , A y \rang \quad (\forall x,y\in H)</math>
を満たすことを言う[7]。
適当な意味において、エルミート作用素は実数(自身とその複素共軛が等しい複素数)の役割を果たし、実ベクトル空間を成す。エルミート作用素は量子力学において観測可能量のモデルを提供する。エルミート作用素に関する詳細はテンプレート:仮リンクの項を参照せよ。
反線型作用素の随伴
テンプレート:仮リンクに対する随伴の定義は、複素共軛を相殺するために調整が必要である。ヒルベルト空間 テンプレート:Math 上の反線型作用素 テンプレート:Math の随伴は、反線型作用素 テンプレート:Math で
- <math> \lang Ax , y \rang = \overline{\lang x , A^* y \rang} \quad (\forall x,y\in H)</math>
を満たすものを言う(上付き横棒は複素共軛を意味する)。
その他の随伴
等式
- <math> \lang Ax , y \rang = \lang x , A^* y \rang </math>
は形の上では圏論における随伴対を定義する性質と同じ形をしている。そしてこれは随伴函手の名の由来でもある。
関連項目
- 数学的概念
- 物理学への応用