数学においてエルミート行列（エルミートぎょうれつ、Hermitian matrix）とは、エルミート内積に関して自己共軛（じこきょうやく）となる複素行列のことである。名称はシャルル・エルミートに由来する。
目次
1 定義といくつかの性質
2 エルミート形式・複素二次形式
3 正値エルミート行列
4 性質
5 関連項目
//
その成分が複素数である行列 A に対し、その随伴行列を A* で表すときA = A *
を満たす行列 A をエルミート行列と呼ぶ。定義から、A は正方行列でなければならない。エルミート行列 A は複素ベクトル x, y と標準エルミート内積 "(?, ?)" に対し (Ax, y) = (x, Ay) を満たす。すなわち、エルミート行列はエルミート内積に関して自己共軛な作用素（エルミート作用素）である。
複素行列 A = (aij) がエルミートであることを成分を用いて表せば、
が任意の i, j について成立することと言い換えられる（ここで、? は ? の複素共軛をとる操作である）。特に、エルミート行列の主対角成分はすべて実数でなければならない。また、任意の複素正方行列 X = (xij) に対して
であるから、和 X + X* は常にエルミート行列になる。もっと一般に
は複素正方行列 X のエルミート成分・歪エルミート成分への分解を与える。
n 次エルミート行列 A と n 次元複素ベクトル x, y に対し、f(x, y) = x*Ay とおくことにより定まる2変数（成分で見れば複素 2n 変数）の函数 f: Cn × Cn → C を対称半双線型形式 (symmetric sesquilinear form) あるいは エルミート形式 (Hermitian form) という。半双線型とは、第一の変数 x に関して反線型で、第二の変数 y に関して線型となることをいう。また、ここでいう（共軛）対称性あるいはエルミート性は
となることを意味する。数ベクトル空間 Cn の標準エルミート内積はエルミート形式である。
エルミート形式 x*Ay (A = (aij)) に対し、y = x = z := (z1, z2, ..., zn) とおくことにより、 2n 個の複素変数 z1, z1, z2, z2, ..., zn, zn に関する斉二次の複素多項式
が得られる。これをエルミート行列 A に対応（associate; 付随）する（複素）二次形式あるいはエルミート（二次）形式といい、A をこの複素二次形式の係数行列という。定義から A{z} = z*Az であるが、標準エルミート内積 (?, ?) を用いれば A{z} = (z, Az) = (Az, z) などと表せる。また、
と書けることに注意して、複素共軛の性質を用いると
という表示（ここで、Re ? は ? の実部）が得られるから、二次形式 A{z} の値は常に実数値をとる。また、あるユニタリ行列による変数変換で標準形
に変換できる。これは、n 個の実変数 x1, ..., xn に関する通常の実二次形式であると看做すことができる。
エルミート行列と複素二次形式の実成分の場合の類似物として実対称行列と二次形式を捉えることができる。
エルミート行列 A は対応する複素二次形式 A{x} が正値（または正定値）（すなわち任意の x ∈ Cn に対し A{x} > 0）であるとき正値（または正定値）であるといい A > 0 で表す。同様に A{x} が非負値（または半正値）（すなわち任意の x ∈ Cn に対し A{x} ? 0）であるとき非負値（または半正値）であるといい A ? 0 で表す。
任意の複素行列 C に対して、CC* は常に半正定値エルミートで、これが正定値であることと C が正則であることとは同値である。また、任意の半正定値エルミート行列 P に対して、P = CC* を満たす適当な複素行列が常に存在する。
エルミート行列は次の性質を持つ。
エルミート行列の固有値は全て実数である。
正値エルミート行列（対応するエルミート形式あるいは複素二次形式が正定値）の固有値は全て正の実数である。
エルミート行列はあるユニタリー行列で対角化可能である。
関連項目
対称行列
随伴行列
正規行列
歪エルミート行列
カテゴリ: 線型代数学 | 数学に関する記事
更新日時:2008年8月10日(日)13:39
取得日時:2008/08/17 22:32