随伴行列のソースを表示
←
随伴行列
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
{{hatnote|[[線型代数学]]において (i,j)-[[余因子]]を (i,j)-成分に持つ行列、またはその転置行列を[[余因子行列]]と呼ぶが、後者を'''随伴行列''' (adjugate matrix) あるいは'''古典随伴行列''' (classical adjoint) と呼んで、前者を余因子行列 (cofactor matrix) と呼びわける場合もある。}} [[数学]]の特に[[線型代数学]]における[[行列]]の, '''エルミート転置''' (''Hermitian transpose''), '''エルミート共軛''' (''Hermitian conjugate''), '''エルミート随伴''' (''Hermitian adjoint'') あるいは'''随伴行列'''（ずいはんぎょうれつ、{{lang-en-short|''adjoint matrix''}}）とは、[[複素数]]を成分にとる {{math|''m''×''n''}} 行列 {{math|''A''}} に対して、{{math|''A''}} の[[転置行列|転置]]およびその成分の[[複素共軛|複素共役]]（実部はそのままで虚部の符号を反転する）をとって得られる {{math|''n''×''m''}} 行列 {{math|''A''<sup>∗</sup>}} を言う。 :<math> \begin{align} A &= \begin{bmatrix} 1 & -2-i \\ 1+i & i \end{bmatrix}\\ A^* &= \begin{bmatrix} 1 & 1-i \\ -2+i & -i\end{bmatrix} \end{align}</math> == 記法と名称 == 式で書けば、行列 {{math|1=''A'' = (''a''<sub>''ij''</sub>)}} に対してその随伴は :<math>A^* = (\overline{a}_{ji})</math> で与えられる。ここで {{math|''a''<sub>''ij''</sub>}} は {{math|''A''}} の {{math|(''i'',''j'')}}-成分で、1 ≤ ''i'' ≤ ''n'' および 1 ≤ ''j'' ≤ ''m'' である。また上付きのバーはスカラーに対する[[複素共軛]]（すなわち {{math|''a'', ''b''}} を実数として {{math|{{overline|''a'' + ''ib''}} {{=}} ''a'' − ''ib''}}）である。あるいはこれを :<math>A^* = \overline{A}{}^{\top} (= (\overline{A})^{\top} = \overline{A^{\top}})</math> と書くこともできる。ただし、{{math|''A''<sup>T</sup>}} は {{math|''A''}} の[[転置行列|転置]]を、{{math|{{overline|''A''}}}} は {{math|''A''}} の各成分の複素共軛をとったもの（複素共軛行列）の意味とする。ここで、{{math|{{overline|''A''}}<sup>T</sup>}} は少々曖昧な表現だが、転置をとってから複素共軛をとること（'''転置共軛'''; ''transjugate''）と、共軛複素をとってから転置をとること（'''共軛転置'''; ''conjugate transpose''）とは、操作としては異なるが結果として同じことであるので、混乱のもとにはならない。また {{math|''A''<sup>T</sup>}} と書く代わりに {{math|<sup>''t''</sup>''A''}} と書く流儀もある。 ほかにも {{math|''A''}} の随伴を表す記号として * {{math|''A''<sup>∗</sup>, ''A''<sup>H</sup>}}: [[線型代数学]]で広く用いられる * {{math|''A''<sup>†</sup>}}: [[量子力学]]でよく使う。[[短剣符|ダガー]] † を用いるので'''ダガー行列''' (''be-daggered matrix'')、あるいはダガーを付けると言う。 * {{math|''A''<sup>+</sup>}} を使うこともあるが、[[ムーア・ペンローズ擬逆行列]]を表す場合の方が普通。 文献によっては、単に成分の複素共軛をとる操作を {{math|''A''<sup>∗</sup>}} で表す場合もあり、その場合、随伴は別途転置をとる形、すなわち {{math|''A''<sup>∗T</sup>}}, {{math|''A''<sup>T∗</sup>}}, {{math|<sup>''t''</sup>''A''<sup>∗</sup>}} などで表す。 == 基本的な注意 == 正方行列 {{math|1=''A'' = (''a''<sub>''ij''</sub>)}} が * [[エルミート行列|エルミート]]あるいは自己随伴は、{{math|''A'' {{=}} ''A''<sup>∗</sup>}} すなわち {{math|''a''<sub>''ij''</sub> {{=}} {{overline|''a''}}<sub>''ji''</sub>}}; * [[歪エルミート行列|歪エルミート]]または反エルミートは、{{math|''A'' {{=}} −''A''<sup>∗</sup>}} すなわち {{math|''a''<sub>''ij''</sub> {{=}} −{{overline|''a''}}<sub>''ji''</sub>}}; * [[正規行列|正規]]は、{{math|''A''<sup>∗</sup>''A'' {{=}} ''AA''<sup>∗</sup>}}; * [[ユニタリ行列|ユニタリ]]は、{{math|''A''<sup>∗</sup> {{=}} ''A''<sup>-1</sup>}} をそれぞれ満たすときに言う。 行列 {{math|''A''}} が正方行列でない場合にも、二つの行列 {{math|''A''<sup>∗</sup>''A''}} および {{math|''AA''<sup>∗</sup>}} はともにエルミートであり、実は[[正定値行列|正定値]]になる。 成分がすべて実数であるような行列 {{math|''A''}} の随伴を求めることは、（実数の複素共軛はその実数自身であるから）{{math|''A''}} の[[転置行列]]を求めることに還元される。 == 動機付け == 随伴行列の動機付けは、複素数が行列和と行列積の規則に従うことで {{math|2×2}} 実行列として有効に表現できることに注意することによってなされる： : <math>a + ib \equiv \begin{bmatrix} a & -b \\ b & a \end{bmatrix}</math> これはつまり各「複素」数 ''z'' は、[[ガウス平面]] {{math|'''C'''}}（を「実」ベクトル空間 {{math|'''R'''}}<sup>2</sup> と見たもの）上で ''z'' を乗算することによって生じる {{math|'''C'''}} 上の「実」一次変換としての「実」{{math|2×2}} 行列として表現されるということである。 従って、複素数を成分とする {{math|''m''×''n''}} 行列は、実数を成分とする {{math|2''m''×2''n''}} 行列として表される。このとき共軛転置は、この形に書いた実行列に対して単に転置をとること（をもとの {{math|''m''×''n''}} 行列に立ち返って見ること）によって極めて自然に生じる。 == 性質 == * {{math|(''A'' + ''B'')<sup>∗</sup> {{=}} ''A''<sup>∗</sup> + ''B''<sup>∗</sup>}}: {{math|''A'', ''B''}} は同じサイズの任意の行列 * {{math|(''zA'')<sup>∗</sup> {{=}} ''z''<sup>∗</sup>''A''<sup>∗</sup>}}: 任意の複素数 ''z'' と任意の行列 {{math|''A''}}, ''z''<sup>∗</sup> は ''z'' の複素共軛 * {{math|(''AB'')<sup>∗</sup> {{=}} ''B''<sup>∗</sup>''A''<sup>∗</sup>}}: 積の因子の順序は逆になる。行列 {{math|''A'', ''B''}} は積が定義できるサイズ。 * {{math|(''A''<sup>∗</sup>)<sup>∗</sup> {{=}} ''A''}}: 行列 {{math|''A''}} は任意 * 行列 {{math|''A''}} が正方行列のとき、[[行列式]] {{math|det(''A''<sup>∗</sup>) {{=}} (det ''A'')<sup>∗</sup>}} および[[蹟 (線型代数学)|トレース]] {{math|tr(''A''<sup>∗</sup>) {{=}} (tr ''A'')<sup>∗</sup>}}: それぞれ右辺は複素数の[[複素共軛]] * {{math|''A''}} が[[正則行列|正則]] [[必要十分条件|⇔]] {{math|''A''<sup>∗</sup>}} が正則。またそのとき、{{math|(''A''<sup>∗</sup>)<sup>−1</sup> {{=}} (''A''<sup>−1</sup>)<sup>∗</sup>}} * {{math|''A''<sup>∗</sup>}} の[[固有値]]は {{math|''A''}} の固有値の複素共軛。 * {{math|⟨ ''A'''''x''', '''y'''⟩ {{=}} ⟨ '''x''', ''A''<sup>∗</sup>'''y'''⟩}}: {{math|''A''}} は {{math|''m''×''n''}} 行列で、{{math|'''x''' ∈ '''C'''<sup>''n''</sup>, '''y''' ∈ '''C'''<sup>''m''</sup>}}. また {{math|⟨,⟩}} はそれぞれ {{math|'''C'''<sup>''m''</sup>, '''C'''<sup>''n''</sup>}} の標準内積 == 一般化 == 上に掲げた性質 * {{math|⟨ ''A'''''x''', '''y'''⟩ {{=}} ⟨ '''x''', ''A''<sup>∗</sup>'''y'''⟩}} は {{math|''A''}} をユークリッド型の[[ヒルベルト空間]] {{math|'''C'''<sup>''n''</sup>}} から {{math|'''C'''<sup>''m''</sup>}} の[[線型変換]]と見るとき、行列 {{math|''A''<sup>∗</sup>}} が線型変換 {{math|''A''}} の[[随伴作用素]]に対応するものであることを示すものと見ることができる。従って、ヒルベルト空間の間の随伴作用素の概念は、行列の随伴の概念の一般化と考えられる。 別な一般化の仕方もある。{{math|''A''}} を複素[[ベクトル空間]] {{math|''V''}} から別の複素ベクトル空間 {{math|''W''}} への線型写像とするとき、[[線型写像の転置|転置線型写像]]と同様に{{仮リンク|複素共軛線型写像|en|complex conjugate linear map}}を定義することができる。つまり、複素線型写像 {{math|''A''}} の共軛転置写像 {{math|''A''<sup>∗</sup>}} は {{math|''A''}} の転置写像の複素共軛写像である。{{math|''A''<sup>∗</sup>}} は {{math|''W''}} の共軛[[双対空間]]から {{math|''V''}} の共軛双対空間への複素線型写像である。 == 関連項目 == * [[随伴作用素]] * [[余因子行列]] (adjugate matrix; 随伴行列) == 外部リンク == * {{SpringerEOM|title=Adjoint matrix|urlname=Adjoint_matrix}} * {{MathWorld | urlname=ConjugateTranspose | title=Conjugate Transpose}} * {{PlanetMath|id=4382|title=Conjugate transpose}} {{DEFAULTSORT:すいはんきようれつ}} [[Category:行列]] [[Category:数学に関する記事]]
このページで使用されているテンプレート:
テンプレート:Hatnote
(
ソースを閲覧
)
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:Math
(
ソースを閲覧
)
テンプレート:MathWorld
(
ソースを閲覧
)
テンプレート:PlanetMath
(
ソースを閲覧
)
テンプレート:SpringerEOM
(
ソースを閲覧
)
テンプレート:仮リンク
(
ソースを閲覧
)
随伴行列
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報