随伴作用素

数学の特に函数解析学において、ヒルベルト空間上の各有界線型作用素は、対応する随伴作用素（ずいはんさようそ、英: adjoint operator）を持つ。作用素の随伴は正方行列の随伴行列の概念の無限次元の場合をも許すような一般化である。ヒルベルト空間上の作用素を「一般化された複素数」と考えれば、作用素の随伴は複素数に対する複素共軛の役割を果たすものである。

作用素 $A$ の随伴は、シャルル・エルミートに因んでエルミート共軛 (Hermitian conjugate) とも呼ばれ、 $A *$ あるいは $A †$ 、また稀に $A +$ などで表される（“†” は特にブラケット記法とともに用いられる）。

有界作用素に対する定義

$H$ は内積 $⟨,⟩$ を備えるヒルベルト空間とし、連続線型作用素 $A : H \to H$ （線型作用素に対して、連続性はそれが有界作用素であることと同値）を考えるとき、 $A$ の随伴作用素 $A * : H \to H$ は、

\langle Ax,y\rangle =\langle x,A^{*}y\rangle \quad (\forall x,y\in H)

を満たす線型作用素である。随伴作用素の存在と一意性はリースの表現定理から従う^[1]。

これは（標準複素内積に関して同様の性質をもつ）複素正方行列の随伴行列の一般化と見ることができる。

性質

有界作用素のエルミート随伴は以下の性質を満たす^[1]:

対合性: $A ** = A$
$A$ が可逆ならば $A *$ も可逆であり、かつ $(A *) -1 = (A -1) *$
加法性: $(A + B) * = A * + B *$
半斉次性: $(λ A) * = λ A *$ , ただし λ は複素数 $λ$ の複素共軛
逆転性: $(AB) * = B * A *$

加法性と半斉次性を合わせて反線型性（英語版）、逆転性と対合性は合わせて *-環としての対合性を表す。

$A$ の作用素ノルムを

\|A\|_{\mathrm {op} }:=\sup\{\|Ax\|:\|x\|\leq 1\}

で定義するならば、

\|A^{*}\|_{\mathrm {op} }=\|A\|_{\mathrm {op} }

^[1]

および、さらに

\|A^{*}A\|_{\mathrm {op} }=\|A\|_{\mathrm {op} }^{2}

^[1]

が成り立つ。この性質を満足するノルムは、自己随伴作用素の場合からの類推で、「最大値」のように振る舞うということができる。

ヒルベルト空間 $H$ 上の有界線型作用素全体の成す集合は、随伴をとる操作と作用素ノルムに関して $C *$ 環の原型的な例である。

密定義作用素の随伴

ヒルベルト空間 $H$ 上の密定義作用素 $A$ は、その定義域 $D (A)$ が $H$ において稠密で、かつその終域が $H$ であるようなものを言う^[2]。その随伴 $A *$ はその定義域 $D (A *)$ が

\langle Ax,y\rangle =\langle x,z\rangle \quad (\forall x\in H)

を満たす $z \in H$ が存在するような $y \in H$ 全体の成す集合で与えられ、かつ $A * (y) = z$ となるものとして定義される^[3]。

上記性質 1.–5. は（定義域と終域が適当な条件を満たせば）成立する。例えば最後の性質について、随伴作用素 $(AB) *$ は（ $A$ , $B$ , $AB$ が密定義作用素ならば）作用素 $B * A *$ の延長で与えられる^[4]。

作用素 $A$ の像とその随伴 $A *$ の核との間の関係性は、

{\begin{aligned}&\ker A^{*}=(\operatorname {im} A)^{\bot }\\&(\ker A^{*})^{\bot }={\overline {\operatorname {im} A}}\end{aligned}}

で与えられる（ここで上付き横棒は集合の閉包を表す。直交補空間も参照）。一つ目の式の証明^[5]は

{\begin{aligned}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{aligned}}

で、二つの式は一つ目の式の両辺の直交補空間をとることでわかる。一般に、像は閉とは限らないが連続線型作用素の核は常に閉である^[6]。

エルミート作用素

有界作用素 $A : H \to H$ が自己随伴であるとは

A=A^{*}

あるいは同じことだが

\langle Ax,y\rangle =\langle x,Ay\rangle \quad (\forall x,y\in H)

を満たすことを言う^[7]。

適当な意味において、エルミート作用素は実数（自身とその複素共軛が等しい複素数）の役割を果たし、実ベクトル空間を成す。エルミート作用素は量子力学において観測可能量のモデルを提供する。エルミート作用素に関する詳細は自己随伴作用素の項を参照せよ。

反線型作用素の随伴

反線型作用素（英語版）に対する随伴の定義は、複素共軛を相殺するために調整が必要である。ヒルベルト空間 $H$ 上の反線型作用素 $A$ の随伴は、反線型作用素 $A * : H \to H$ で

\langle Ax,y\rangle ={\overline {\langle x,A^{*}y\rangle }}\quad (\forall x,y\in H)

を満たすものを言う（上付き横棒は複素共軛を意味する）。

その他の随伴

等式

\langle Ax,y\rangle =\langle x,A^{*}y\rangle

は形の上では圏論における随伴対を定義する性質と同じ形をしている。そしてこれは随伴函手の名の由来でもある。

注釈

^ ^a ^b ^c ^d Reed & Simon 2003, pp. 186–187; Rudin 1991, §12.9
^ 詳細は非有界作用素を参照。
^ Reed & Simon 2003, pp. 252; Rudin 1991, §13.1
^ Rudin 1991, Thm 13.2
^ 有界作用素の場合は Rudin 1991, Thm 12.10 を見よ。
^ 有界作用素の場合と同じ。
^ Reed & Simon 2003, pp. 187; Rudin 1991, §12.11

参考文献

Reed, Michael; Simon, Barry (2003), Functional Analysis, Elsevier, ISBN 981-4141-65-8 .
Rudin, Walter (1991), Functional Analysis (second ed.), McGraw-Hill, ISBN 0-07-054236-8 .

外部リンク

Weisstein, Eric W. "Adjoint". mathworld.wolfram.com (英語).
adjoint - PlanetMath.（英語）
Definition:Adjoint at ProofWiki
Sobolev, V.I. (2001), “Adjoint operator”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

[rs186-1] Reed & Simon 2003, pp. 186–187; Rudin 1991, §12.9

[2] 詳細は非有界作用素を参照。

[3] Reed & Simon 2003, pp. 252; Rudin 1991, §13.1

[4] Rudin 1991, Thm 13.2

[5] 有界作用素の場合は Rudin 1991, Thm 12.10 を見よ。

[6] 有界作用素の場合と同じ。

[7] Reed & Simon 2003, pp. 187; Rudin 1991, §12.11

[1]

[2]

[3]

[4]

[5]

[6]

[7]

表話編歴関数解析学
集合 / 部分集合のタイプ	均衡星状絶対凸凸併呑有界（英語版）放射状（英語版）対称（英語版）線型錐（部分集合）凸錐（部分集合）
線型位相空間のタイプ	バナッハ樽型界相 Brauner（英語版） F-空間有限次元フレシェ (tame) ヒルベルト LF空間局所凸マッキー（英語版）モンテル核型ノルム付き（ノルム）準ノルム付き回帰的リーススミス（英語版） Stereotype（英語版）ウェブ付き位相テンソル積（英語版）（ヒルベルト空間の（英語版））
位相	双対双対空間作用素強（極作用素） Ultrastrong（英語版）弱（作用素） Ultraweak（英語版）一様収束（英語版）
線型作用素	随伴双線型（形式）有界 / 非有界閉（英語版）連続 / 不連続コンパクトフレドホルムヒルベルト＝シュミット汎関数（正（英語版））正規核自己共役 Strictly singular（英語版）トレースクラス転置ユニタリ
集合の操作	代数的内部（核）内部ミンコフスキー和（英語版）極
バナッハ環	C-環スペクトル（C-環（英語版）半径) スペクトル理論
定理	Eberlein–Šmulian（英語版）開写像角谷の不動点ゲルファント＝マズールコーシー＝シュワルツの不等式 Goldstine（英語版）シャウダーの不動点パーセヴァルの等式ハーン–バナッハ（分離超平面）バナッハ＝アラオグル Banach–Saks（英語版） Banach–Mazur（英語版）フロイデンタールのスペクトル閉値域閉グラフベッセルの不等式マッキー＝アレンスマズールの補題リースの拡張 Lomonosov's invariant subspace（英語版）ニュートン＝カントロビッチ
解析	ボホナー空間フレシェ空間における微分（英語版）微分（フレシェガトー汎函数 holomorphic（英語版））積分（ボホナー Dunford ゲルファント＝ペティス方正弱) 汎函数計算（Borel（英語版） continuous（英語版） holomorphic（英語版））逆函数定理（Nash–Moser theorem（英語版））ベクトル測度
応用	量子力学の数学的定式化有限要素法偏微分方程式の解に対する精度保証付き数値計算
日本人研究者	加藤敏夫吉田耕作藤田宏増田久弥
海外の研究者	リース・フリジェシュステファン・バナフダフィット・ヒルベルトイズライル・ゲルファントピーター・ラックス
カテゴリ