|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 対 ： [つい] 【名詞】 1. pair 2. couple 3. set ・ 対称 ： [たいしょう] 【名詞】 1. symmetry ・ 称 ： [しょう] 1. (n,vs) call 2. label ・ 行 ： [くだり, ぎょう] 【名詞】 1. (1) line 2. row 3. (2) verse ・ 行列 ： [ぎょうれつ] 1. (n,vs,n) (1) line 2. procession 3. (2) (gen) (math) matrix ・ 列 ： [れつ] 【名詞】 1. queue 2. line 3. row
線型代数学における対称行列（たいしょうぎょうれつ、）は、自身の転置行列と一致するような正方行列を言う。記号で書けば、行列 ''A'' は : を満たすとき対称であるという。相等しい行列の型（次元、サイズ）は相等しいから、この式を満たすのは正方行列に限られる。 定義により、対称行列の成分は主対角線に関して対称である。即ち、成分に関して行列 は任意の添字 に関して を満たす。例えば、次の 行列 : は対称である。任意の正方対角行列は、その非対角成分が であるから、対称である。同様に、歪対称行列（ なる行列）の各対角成分は、自身と符号を変えたものと等しいから、すべて でなければならない。 線型代数学において、実対称行列は実内積空間上の自己随伴作用素を表す。これと、複素内積空間の場合に対応する概念は、複素数を成分に持つエルミート行列（自身の共役転置行列と一致するような複素行列）である。故に、複素数体上の線型代数学においては、対称行列という言葉は行列が実数に成分をとる場合に限って使うことがしばしばある。対称行列は様々な応用の場面に現れ、典型的な数値線型代数ソフトウェアではこれらに特別な便宜をさいている。 == 性質 == === スペクトル論 === 有限次元のスペクトル定理によれば、任意の実対称行列は直交行列によって対角化可能である。即ち、各実対称行列 に対し、実直交行列 が存在して、 が対角行列となるようにすることができる。従って、任意の対称行列は適当な正規直交基底に関する（同値の違いを除いて）対角行列である。言い換えれば、 実行列 が対称となる必要十分条件は、 の固有ベクトルの全体が の正規直交基底となることである。 任意の実対称行列は、複素行列と見てエルミートであり、従ってその全ての固有値は実数である。実はこれら固有値は、その行列の対角化（上で述べた ）の成分であり、従って は によって（成分を並べる順番を除いて）一意に決定される。本質的に、実行列が対称であるという性質は複素行列がエルミートであるという性質に対応する。 複素対称行列はユニタリ行列によって対角化される。即ち、複素対称行列 に対しユニタリ行列 が存在して が対角行列となるようにすることができる。このことは「オートン高木分解」とも呼ばれ、もとはレオン・オートン と高木貞治 がそれぞれ証明し、その後さまざまな数学者によって異なる証明を以って再発見された〔See: *, Lemma 1, page 12 〕。実は行列 はエルミートかつ非負であり、ユニタリ行列 によって非負実数を成分とする対角行列 が得られる。従って、 は が実であるような複素対角行列になる。実対称行列 , を用いて と置けば となるから、 を得る。 と が可換ゆえ、実直交行列 が存在して がともに対角行列となるようにすることができる。そこで と置けば、行列 ''UAU''T は対角行列になる。 に右から対角行列を掛けることにより対角成分を正にすることができる。各対角成分の平方は の固有値であり、 の特異値と一致する。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「対称行列」の詳細全文を読む スポンサード リンク
|