随伴行列

数学の特に線型代数学における行列の, エルミート転置 (Hermitian transpose), エルミート共軛 (Hermitian conjugate), エルミート随伴 (Hermitian adjoint) あるいは随伴行列（ずいはんぎょうれつ、）とは、複素数を成分にとる  行列  に対して、 の転置およびその成分の複素共役（実部はそのままで虚部の符号を反転する）をとって得られる  行列  を言う。

 記法と名称 
式で書けば、行列  に対してその随伴は

で与えられる。ここで  は  の -成分で、1 ≤ i ≤ n および 1 ≤ j ≤ m である。また上付きのバーはスカラーに対する複素共軛（すなわち  を実数として ）である。あるいはこれを

と書くこともできる。ただし、 は  の転置を、 は  の各成分の複素共軛をとったもの（複素共軛行列）の意味とする。ここで、 は少々曖昧な表現だが、転置をとってから複素共軛をとること（転置共軛; transjugate）と、共軛複素をとってから転置をとること（共軛転置; conjugate transpose）とは、操作としては異なるが結果として同じことであるので、混乱のもとにはならない。また  と書く代わりに  と書く流儀もある。

ほかにも  の随伴を表す記号として
 : 線型代数学で広く用いられる
 : 量子力学でよく使う。ダガー † を用いるのでダガー行列 (be-daggered matrix)、あるいはダガーを付けると言う。
  を使うこともあるが、ムーア・ペンローズ擬逆行列を表す場合の方が普通。
文献によっては、単に成分の複素共軛をとる操作を  で表す場合もあり、その場合、随伴は別途転置をとる形、すなわち ,  ,  などで表す。

 基本的な注意 
正方行列  が
 エルミートあるいは自己随伴は、 すなわち ;
 歪エルミートまたは反エルミートは、 すなわち ;
 正規は、;
 ユニタリは、
をそれぞれ満たすときに言う。

行列  が正方行列でない場合にも、二つの行列  および  はともにエルミートであり、実は正定値になる。

成分がすべて実数であるような行列  の随伴を求めることは、（実数の複素共軛はその実数自身であるから） の転置行列を求めることに還元される。

 動機付け 
随伴行列の動機付けは、複素数が行列和と行列積の規則に従うことで  実行列として有効に表現できることに注意することによってなされる：

これはつまり各「複素」数 z は、ガウス平面 （を「実」ベクトル空間 2 と見たもの）上で z を乗算することによって生じる  上の「実」一次変換としての「実」 行列として表現されるということである。

従って、複素数を成分とする  行列は、実数を成分とする  行列として表される。このとき共軛転置は、この形に書いた実行列に対して単に転置をとること（をもとの  行列に立ち返って見ること）によって極めて自然に生じる。

 性質 
 :  は同じサイズの任意の行列 
 : 任意の複素数 z と任意の行列 , z∗ は z の複素共軛
 : 積の因子の順序は逆になる。行列  は積が定義できるサイズ。
 : 行列  は任意
 行列  が正方行列のとき、行列式  およびトレース : それぞれ右辺は複素数の複素共軛
  が正則 ⇔  が正則。またそのとき、
  の固有値は  の固有値の複素共軛。
 :  は  行列で、. また  はそれぞれ  の標準内積

 一般化 
上に掲げた性質

は  をユークリッド型のヒルベルト空間  から  の線型変換と見るとき、行列  が線型変換  の随伴作用素に対応するものであることを示すものと見ることができる。従って、ヒルベルト空間の間の随伴作用素の概念は、行列の随伴の概念の一般化と考えられる。

別な一般化の仕方もある。 を複素ベクトル空間  から別の複素ベクトル空間  への線型写像とするとき、転置線型写像と同様にを定義することができる。つまり、複素線型写像  の共軛転置写像  は  の転置写像の複素共軛写像である。 は  の共軛双対空間から  の共軛双対空間への複素線型写像である。

 関連項目 
 随伴作用素
 余因子行列 (adjugate matrix; 随伴行列)

 外部リンク 




Category:行列
Category:数学に関する記事