いくつかの行列の公式を証明するその3
応用上よく使われるいくつかの行列の公式を証明しておくことにしました.
(正方)行列を準備します.
逆行列(inverse matrix) ,余因子行列(adjugate matrix) (文献[4]にあります),cofactor matrix (文献[5]にあります),小行列式(minor) (文献[5]にあります)について以下が成り立ちます.
(1)
行列式(determinant)はラプラス展開(Laplace expansion)することができます(文献[6]にあります).
(2)
本記事の目的に進みます.行列式の対数の微分についての以下の公式を証明します.
'--------------------------------------------------------------------------------------------------------------------------------------------
事実1.
となる について以下が成り立つ.
事実1.の証明.
は の関数
(2) (第 行に沿ったラプラス展開)
(※)
(※)
(1)
(1)
二つ目の等号は文献[7]に記述があるので省略する.
(証明終わり)
'--------------------------------------------------------------------------------------------------------------------------------------------
以上,いくつかの行列の公式を証明しました.
参考文献
[1] Petersen, K.B., and Pedersen, M.S., The Matrix Cookbook https://www.math.uwaterloo.ca/~hwolkowi/matrixcookbook.pdf
[2] Stanford University Kenneth Tay様のブログ https://statisticaloddsandends.wordpress.com/2018/05/24/derivative-of-log-det-x/
[3] Wikipedia Invertible matrix のページ https://en.wikipedia.org/wiki/Invertible_matrix
[4] Wikipedia Adjugate matrix のページ https://en.wikipedia.org/wiki/Adjugate_matrix
[5] Wikipedia Minor (linear algebra) のページ https://en.wikipedia.org/wiki/Minor_(linear_algebra)
[6] Wikipedia Laplace expansion のページ https://en.wikipedia.org/wiki/Laplace_expansion
[7] Wikipedia Transpose のページ https://en.wikipedia.org/wiki/Transpose
[8] 東京大学 足助太郎先生のページ https://www.ms.u-tokyo.ac.jp/~asuke/linear_algebra/corrections.html