行列のフロベニウスノルムとその性質

更新 2021/03/06

行列のフロベニウスノルムについて，定義と3つの性質を解説します。

このページでは $A$ は $m\times n$ の実行列とします（正方行列とは限らない）。

フロベニウスノルムとは

行列の「大きさ」を表す量はいくつもありますが，その中の一つがフロベニウスノルムです。全成分の二乗和のルートをフロベニウスノルムと言います。行列
AAA
 のフロベニウスノルムを
∥A∥F\|A\|_{\mathrm{F}}∥A∥F​
 と書くことが多いです：
∥A∥F=∑i,jaij2\|A\|_{\mathrm{F}}=\sqrt{\displaystyle\sum_{i,j}a_{ij}^2}∥A∥F​=i,j∑​aij2​​
フロベニウスノルムは，行列の全成分を一列に並べてベクトルとみなしたときのベクトルの長さ（2ノルム）と考えることもできます。

フロベニウスノルムとトレース

性質1

$\|A\|_{\mathrm{F}}^2=\mathrm{tr}(AA^{\top})=\mathrm{tr}(A^{\top}A)$

$A^{\top}$ は $A$ の転置行列です。

証明

$\|A\|_{\mathrm{F}}^2=\mathrm{tr}(AA^{\top})$ を示す。

（ $\|A\|_{\mathrm{F}}^2=\mathrm{tr}(A^{\top}A)$ も同様）

$AA^{\top}$ の $ii$ 成分は， $\displaystyle\sum_{j=1}^na_{ij}^2$

であるので，

$AA^{\top}$ のトレースは， $\displaystyle\sum_{i=1}^m\sum_{j=1}^na_{ij}^2$

となりフロベニウスノルムの二乗と一致する。

フロベニウスノルムと直交変換

性質2

直交行列をかけてもフロベニウスノルムは変わらない。つまり，任意の $m\times m$ の直交行列 $U$ と $n\times n$ の直交行列 $V$ に対して，

$\|UAV\|_{\mathrm{F}}=\|A\|_{\mathrm{F}}$

成分計算でも証明できますが，性質1を使うとより簡単に導出できます。

証明

左から直交行列 $U$ をかけてもフロベニウスノルムが変わらないことを示す。

（右からかける場合も同様）

性質1より，

$\|UA\|_{\mathrm{F}}^2=\mathrm{tr}((UA)^{\top}UA)\\ =\mathrm{tr}(A^{\top}U^{\top}UA)\\ =\mathrm{tr}(A^{\top}A)\\ =\|A\|_{\mathrm{F}}^2$

これと，フロベニウスノルムが0以上であることから従う。

フロベニウスノルムと特異値

性質3

フロベニウスノルムの二乗は，特異値の二乗和に等しい：

$\|A\|_{\mathrm{F}}^2=\displaystyle\sum_{i=1}^r\sigma_i^2$

（ $r$ は $A$ のランク， $\sigma_1,\cdots,\sigma_r$ は $A$ の特異値です）

これは性質2と特異値分解の定義から簡単に証明できます。

証明

$A$ の特異値分解： $A=U\Sigma V$ について性質2を使うと，

$\|A\|^2_{\mathrm{F}}=\|\Sigma\|^2_{\mathrm{F}}$

これと， $\Sigma$ の全成分の二乗和が特異値の二乗和であることから分かる。

性質1→性質2→性質3，と順々に証明できているのが気に入っています。

この記事の監修者

マスオ

東京大学大学院情報理工学系研究科修了／2014年にWebサイト『高校数学の美しい物語』を立ち上げ／著書累計 50,000部突破／「わかりやすいこと」と「ごまかさないこと」の両立を意識している。 →著者情報・書籍一覧を見る