翻訳と辞書
Words near each other
・ エルミート共役
・ エルミート内積
・ エルミート多様体
・ エルミート多項式
・ エルミート形式
・ エルミート性
・ エルミート接続
・ エルミート標準形
・ エルミート演算子
・ エルミート積
エルミート行列
・ エルミート計量
・ エルミート随伴
・ エルム
・ エルム (列車)
・ エルムS
・ エルムの街
・ エルムア
・ エルムグローブ郡区 (アイオワ州カルホーン郡)
・ エルムステークス


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

エルミート行列 : ウィキペディア日本語版
エルミート行列[えるみーとぎょうれつ]
線型代数学におけるエルミート行列(エルミートぎょうれつ、)または自己随伴行列(じこずいはんぎょうれつ、)は、複素数に成分をとる正方行列で自身の随伴行列(共軛転置)と一致するようなものを言う。エルミート行列は、実対称行列の複素数に対する拡張版の概念として理解することができる。
行列 ''A'' の随伴を ''A'' と書くとき、複素行列がエルミートであるということは、
: A = A^\dagger
が成り立つということであり、これはまた
: A^ = (a_) = (\bar_) =\bar
が成り立つことと同値ゆえ、その成分は任意の添字 ''i'', ''j'' について (''i'', ''j'')-成分は (''j'',''i'')-成分の複素共軛と等しい。
随伴行列 ''A'' は ''A'' と書かれるほうが普通だが、''A'' を複素共軛(本項では と書いた)の意味で使う文献もおおく紛らわしい。
エルミート行列の名はシャルル・エルミートに因む。エルミートは1855年に、この形の行列が固有値が常に実数となるという実対称行列と同じ性質を持つことを示した。
よく知られたパウリ行列、およびそれらの一般化はエルミートである。理論物理学においてそれらのエルミート行列には、しばしば虚数の係数が掛かって〔
〕〔
Physics 125 Course Notes at California Institute of Technology
歪エルミートとなる。
== 性質 ==

* 任意のエルミート行列の主対角成分は、それが自身の複素共軛と一致することから、実数でなければならない。全ての成分が実数であるような行列がエルミートであるのは、それが対称行列(主対角線に関して全ての成分が対称)となるときであり、かつそのときに限る。実対称行列はエルミート行列の特別の場合である。
* 任意のエルミート行列は正規行列である。
* 有限次元のスペクトル定理によれば、任意のエルミート行列はユニタリ行列対角化して、得られた対角行列の成分がすべて実数となるようにすることができる。これにより、エルミート行列 の全ての固有値が実数であり、 が 個の線型独立な固有ベクトルを持つことがわかる。さらには の ''n'' 個の固有ベクトルからなる の正規直交基底をとることができる。
* 二つのエルミート行列の和はふたたびエルミートであり、エルミート行列の逆行列も存在すれば同様にエルミートになる。しかし、二つのエルミート行列 に対してそれらの がエルミートとなるための必要十分条件は となることである。従って、任意の整数 に対して冪 は がエルミートならばエルミートである。
* 複素エルミート行列の全体は、複素数体 上のベクトル空間を成さない(例えば単位行列 はエルミートだがそのスカラー ''i''-倍である はエルミートでない)。しかし複素エルミート行列の全体は実数体 上のベクトル空間にはなる。 複素行列の全体は 上で -次元のベクトル空間であり、その中で複素エルミート行列の全体は -次元の部分空間を成す。その基底は、行列単位 (-成分が でそれ以外の成分は全て であるような -行列)を用いれば、
\begin E_ & (1\le j\le n) \\ E_+E_,\,i(E_-E_) & (1\le j < k \le n)\end
で与えられ、これらの形の基底ベクトルはそれぞれ ''n'', (''n''2 − ''n'')/2, (''n''2 − ''n'')/2 個ずつ存在するから、次元は であることがわかる。ただし、''i'' は虚数単位である。
* エルミート行列 の ''n'' 個の正規直交固有ベクトル u_1,\ldots,u_n を選び、それを列ベクトルとする行列を と書けば、''A'' の

A = U \Lambda U^\dagger\qquad (UU^\dagger = I = U^\dagger U)
が成り立って、対角行列 Λ の主対角線上に並ぶ固有値を λ''j'' として

A = \sum_ \lambda_ u_j u_^
と書くことができる。
* 任意の正方行列とその共軛転置との和 (C + C^) はエルミートである。
* 任意の正方行列とその共軛転置との差 (C - C^)歪エルミートである。したがってまた、二つのエルミート共軛の交換子積は歪エルミートになる。
* 任意の正方行列 はエルミート行列 と歪エルミート行列 との和
C = A+B \quad\mbox\quad A = \frac(C + C^) \quad\mbox\quad B = \frac(C - C^)
に一意的に分解される。
* エルミート行列の行列式は実数である。これは行列式は固有値の積であり、エルミート行列の固有値が実数であることから従う。あるいは直接計算で確かめるならば、転置行列の行列式がもとの行列のそれと等しいこと、および複素共軛行列の行列式がもとの行列の行列式の複素共軛であること

\det(A) = \det(A^),\quad \det(\bar) = \overline
から

A=A^\dagger \implies \det(A) = \overline
を得る。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「エルミート行列」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.