|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 相 ： [そう] 【名詞】 1. aspect 2. phase 3. countenance ・ 相似 ： [そうじ] 1. (n,adj-na,vs) resemblance 2. similarity 3. analogy ・ 似 ： [に] (suf) takes after (his mother) ・ 行 ： [くだり, ぎょう] 【名詞】 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
線型代数学において、ふたつの ''n'' 次正方行列 ''A'', ''B'' が相似（そうじ、）であるとは、''n'' 次正則行列 ''P'' で : となるようなものが存在するときに言う。互いに相似な行列は同じ線型写像を異なる基底に関して表現するもので、さきほどの ''P'' はそれらの基底の間の基底変換 を与える行列である。上記のような変換はしばしば、変換行列 ''P'' に関する相似変換 と呼ばれる。線型代数群の文脈では、行列の相似性は（群の元としての）共軛性として言及されることも多い。 == 性質 == 行列の相似性は正方行列全体の成す空間における同値関係である。 相似な行列の間ではさまざまな性質が保たれ、たとえば以下のようなものが挙げられる。 * 階数 * 行列式 * トレース * 固有値（ただし、固有ベクトルは一般には異なる） * 特性多項式 * 最小多項式 * 単因子 これらの性質が保たれるという事実に、ふたつの理由を挙げることができる。 * 互いに相似な行列は、ことなる基底に関する同じ線型写像を記述するものと考えることができる。 * 写像 ''X'' ↦ ''P''−1''XP'' は（行列全体の成す圏の単一対象部分圏としての）''n''-次正方行列全体の成す結合多元環の自己同型を与える。 これにより、与えられた行列 ''A'' に対して、''A'' に相似な行列の中で「標準形」 と呼ばれる簡単な形の行列 ''B'' を求めることに意味が生じる。''A'' について調べる代わりにより単純な行列 ''B'' を調べることに帰着することができるからである。たとえば、''A'' が対角化可能であるとは、''A'' がある対角行列に相似であることをいう。必ずしも全ての行列が対角化可能ではないが、すくなくとも複素数体（あるいはほかの任意の代数閉体）上では任意の行列がジョルダン標準形と呼ばれる行列に相似である。別の標準形として、有理標準形（フロベニウス標準形）は任意の体上で意味を持つ。与えられた行列 ''A'', ''B'' のジョルダン標準形あるいはフロベニウス標準形を見れば、''A'' と ''B'' とが相似か否かは直ちに判別することができる。は与えられたいくつかの行列が互いに相似か否かの判断に利用することができるが、ジョルダン標準形やフロベニウス標準形とは異なりある行列とそのスミス標準形とは必ずしも相似ではない。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「行列の相似」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Matrix similarity 」があります。 スポンサード リンク
|