翻訳と辞書
Words near each other
・ コンパチビリティ
・ コンパック
・ コンパックコンピュータ
・ コンパックショック
・ コンパック・コンピュータ
・ コンパック・センター
・ コンパニオン
・ コンパニオン (接客業)
・ コンパニオンアニマル
・ コンパニオンプランツ
コンパニオン行列
・ コンパニオン診断
・ コンパニ・フランシェ・ド・ラ・マリン
・ コンパニー・ナショナル・ア・ポトファイ
・ コンパネ
・ コンパヤック・ポープラムック
・ コンパラブルインデックス
・ コンパリウム
・ コンパルソリー
・ コンパルソリーダンス


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

コンパニオン行列 : ミニ英和和英辞書
コンパニオン行列[れつ]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [くだり, ぎょう]
 【名詞】 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 

コンパニオン行列 ( リダイレクト:同伴行列 ) : ウィキペディア日本語版
同伴行列[どうはんぎょうれつ]

線型代数学におけるフロベニウス同伴行列(どうはんぎょうれつ、; コンパニオン行列)とは、モニック多項式
:p(t)=c_0 + c_1 t + \cdots + c_t^ + t^n
に対して
:C(p)=\begin
0 & 0 & \dots & 0 & -c_0 \\
1 & 0 & \dots & 0 & -c_1 \\
0 & 1 & \dots & 0 & -c_2 \\
\vdots & \vdots & \ddots & \vdots & \vdots \\
0 & 0 & \dots & 1 & -c_
\end.
と定義される正方行列を言う。慣例的に、基底 ''v''1, …, ''v''''n'' は、''C'' = ''C''(''p'') が基底を巡回するようにとる。つまり、''Cv''''i'' = ''C''''i''v''1 = ''v''''i''+1 (''i'' < ''n'') かつ ''v''1 は ''K''-加群として ''V'' を生成する。
文献によってはいま挙げた行列の転置(と双対巡回座標)を採用するものもある。これは線型漸化式に用いるなどの目的でより効果を発揮する。
(どうはんぎょうれつ、; コンパニオン行列)とは、モニック多項式
:p(t)=c_0 + c_1 t + \cdots + c_t^ + t^n
に対して
:C(p)=\begin
0 & 0 & \dots & 0 & -c_0 \\
1 & 0 & \dots & 0 & -c_1 \\
0 & 1 & \dots & 0 & -c_2 \\
\vdots & \vdots & \ddots & \vdots & \vdots \\
0 & 0 & \dots & 1 & -c_
\end.
と定義される正方行列を言う。慣例的に、基底 ''v''1, …, ''v''''n'' は、''C'' = ''C''(''p'') が基底を巡回するようにとる。つまり、''Cv''''i'' = ''C''''i''v''1 = ''v''''i''+1 (''i'' < ''n'') かつ ''v''1 は ''K''-加群として ''V'' を生成する。
文献によってはいま挙げた行列の転置(と双対巡回座標)を採用するものもある。これは線型漸化式に用いるなどの目的でより効果を発揮する。
== 特徴付け ==
多項式 ''p'' の同伴行列 ''C''(''p'') の特性多項式最小多項式と同じく ''p'' に一致する〔
〕。この意味で、行列 ''C''(''p'') は多項式 ''p'' に「同伴」するものであると考えられる。
行列 ''A'' が適当な ''K'' に係数を持つ ''n'' × ''n'' 行列とすると、以下は同値:
* ''A'' はその特性多項式の ''K'' 上の同伴行列に相似である。
* ''A'' の特性多項式は ''A'' の最小多項式に一致する(これは「最小多項式の次数が ''n'' である」と言っても同じ)。
* ''A'' に対する巡回ベクトル v ∈ ''V'' = ''K''''n'' が存在する。つまり、 が ''V'' の基底となる。同じことだが、''V'' は ''K''-加群として巡回的(かつ ''V'' = ''K''/(''p''(''A'')) である(このことを以って ''A'' は正常 (''regular'') であるという)。
必ずしもすべての正方行列が何らかの同伴行列に相似なわけではないが、しかし任意の行列が同伴行列をブロックとする区分行列として書くことができる。さらに言えば、そのような同伴行列たちはそれが同伴する多項式たちが互いに他を割り切るように選ぶことができ、それは ''A'' によって一意的に決まる。そのようにして得られた区分行列を ''A'' の有理標準形と呼ぶ(代数閉体上の行列のジョルダン標準形の類似)。

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

英語版ウィキペディアに対照対訳語「 Companion matrix 」があります。




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

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