本記事は以下の過去記事の内容を用います．行列式の対数はその行列の凹関数であることを証明する - エンジニアを目指す浪人のブログノルムの連続性を証明する - エンジニアを目指す浪人のブログ 勉強を進めていて，二次ノルム(quadratic norm)というものを知…