行列ノルム

線型代数学における**行列ノルム**（ぎょうれつノルム、）は、ベクトルのノルムを行列に対し自然に一般化したものである。

## 性質
以下では体  を実数体  または複素数体  のいずれかを指すものとして用いる。また、 を、 の元を成分に持つ  行  列の矩形行列の全体が、通常の和とスカラー倍に関してなすベクトル空間とする。 上の行列のノルムはベクトルとしてのノルムである。すなわち、行列  のノルムを  で表せば
# **正定値性**： かつ等号成立は  と同値
# **斉次性**： ならば 
# **劣加法性**： ならば 
が全て満たされる。

正方行列 () に関して、以下に挙げる条件を課す場合がある。

# **劣乗法性**: 
# **-性**:  
ここで  は複素行列  の随伴を表す。 が実である場合、その随伴は  は転置  に一致する。

劣乗法性を持つノルムを**劣乗法的ノルム**  と呼ぶ。劣乗法的ノルムを備えた  次の正方行列全体の成す集合はバナッハ代数の一例である。

## 誘導されたノルム
2つのベクトル空間  におけるベクトルのノルムが与えられているとき、それらに対応して  行列の空間  上の行列ノルムを与えることができる。
: \begin{align}
 \|A\| &= \max_{x\in \mathbb{K}^n\atop \|x\|_{\mathbb{K}^n}\le 1} \|Ax\|_{\mathbb{K}^m} \\[8pt]
       &= \max_{x\in \mathbb{K}^n\atop \|x\|_{\mathbb{K}^n} = 1} \|Ax\|_{\mathbb{K}^m} \\
       &= \max_{\ x\in \mathbb{K}^n\atop x\ne 0} \frac{\|Ax\|_{\mathbb{K}^m}}{\|x\|_{\mathbb{K}^n}}
\end{align}
この行列ノルムは**誘導ノルム**  あるいは**[[ノルム#無限次元ベクトル空間のノルム|作用素ノルム]]**  と呼ばれる。 で行列の定める線型写像の定義域と値域で同じノルムを用いている場合、誘導される作用素ノルムは劣乗法的である。ベクトルの  ノルムに対応して、作用素ノルム
: \| A\|_p = \max_{x \ne 0} \frac{ \| Ax\|_p}{\| x\|_p}

が得られる。特に  と  に対しては
: \begin{alignat}{2} 
  &\| A\|_1      &= &\max_{1 \leq j \leq n} \sum_{i=1}^m |a_{ij}|, \\
  &\| A\|_\infty &= &\max_{1 \leq i \leq m} \sum_{j=1}^n |a_{ij}|
\end{alignat}
と計算することができる（前者は各列に対する「成分の絶対値の和」の最大の値で、後者は各行に対する同様の和の最大の値である）。

特に  かつ , つまり正方行列に対してユークリッドノルムを考えた場合には、誘導された行列ノルムは**スペクトルノルム**  になる。行列  のスペクトルノルムとは  の最大の特異値、別な言い方をすれば半正定値行列  の最大固有値の平方根
: \| A\|_2 = \sqrt{\lambda_{\text{max}}(A^* A)} = \sigma_\text{max}(A)
で与えられる。ここで  は複素行列  の随伴行列を表す。

 を  のスペクトル半径とすると、誘導ノルムはいずれも不等式
: \| A \| \ge \rho(A)
を満たす（スペクトル半径は下界を与えている）。つまり  は  の誘導ノルム全体を動かしたときの下限である。さらに言えば、
:\lim_{r\to\infty}\|A^r\|^{1/r}=\rho(A)
というスペクトル半径公式も得られる。

## 成分ごとのノルム
行列の成分ごとのノルムとは、 行  列の行列を  成分のベクトルと見なして、ベクトルの通常のノルムを考えたものである。例えばベクトルの  ノルムを利用すれば
: \| A\|_{p} = \left( \textstyle\sum\limits_{i=1}^m \sum\limits_{j=1}^n |a_{ij}|^p \right)^{\!\!1/p}
というノルムが得られる。特別の場合として、 のときはフロベニウスノルムが、 のときは最大値ノルムがそれぞれ得られる。

### フロベニウスノルム
 の場合は**フロベニウスノルム**  または**[[ヒルベルト＝シュミット作用素|ヒルベルト＝シュミットノルム]]**  と呼ばれる（後者は普通、ヒルベルト空間の作用素に限定して使われる）。
このノルムはいくつか異なる定義があるが、
: \|A\|_F = \sqrt{\textstyle\sum\limits_{i=1}^m \sum\limits_{j=1}^n |a_{ij}|^2} = \sqrt{\operatorname{tr}(A^* A)} = \sqrt{\textstyle\sum\limits_{i=1}^{\min\{m,n\}}\!\!\!\! {\sigma_i}^2}
のように書くことができる。ここで  は行列 *A* の随伴、 は行列  の特異値、 は行列のトレースを表わす。フロベニウスノルムは  上のユークリッドノルムと似て、行列の空間上の（行列を単にベクトルと見なした）標準内積から得られるノルムになっている。

フロベニウスノルムは劣乗法的である。数値線型代数学において有益であり、またフロベニウスノルムは誘導ノルムより計算が容易なことが多い。

### 最大ノルム
**最大ノルム**  は  に対する成分ごとのノルムとして
: \|A\|_{\max}=\max\{|a_{ij}|\}
で定義される。これは劣乗法的ノルムではない。

## シャッテンノルム

**シャッテンノルム**  は行列の特異値を並べたベクトルに対するノルムとして得られる。ベクトルノルムに  ノルムを用いるものをシャッテン  ノルムと呼ぶ。行列  のシャッテン *p*-ノルムは、 の特異値を  で表せば、以下のように定義される。
: \|A\|_p = \left( \sum_{i=1}^{\min\{m,n\}}\!\!\!\! \sigma_i^p \right)^{\!\!1/p}
シャッテンノルムはいずれの  に対しても劣乗法的である。また、任意の行列  のユニタリ変換に対してシャッテンノルムは不変であり、任意のユニタリ行列  対して  が成り立つ。

 の場合がよく知られており、 の場合はフロベニウスノルムが得られる。 はスペクトルノルム、すなわちベクトルの 2 ノルムから誘導される行列ノルムである。

### トレースノルム
 からは核型ノルム 、トレースノルム、あるいは の  ノルムとして知られるノルム
: \|A\|_{\text{trace}} =\operatorname{tr}(\sqrt{A^*A})= \!\!\!\sum_{i=1}^{\min\{m,n\}} \!\!\!\!\sigma_i
が定まる。ここで行列  の平方根は  を満たす行列  の意味で用いている。

## 両立するノルム
空間  上の行列ノルム  は  上のノルム  と  上のノルム  に対して
: \|Ax\|_b \leq \|A\|_{ab} \|x\|_a
を満たすとき、 と**両立する**  という。 から誘導される作用素ノルムは、その定義から明らかに  と両立する。誘導ノルムをベクトルのノルムと両立する行列ノルムにまで広げても、スペクトル半径が下限を与えるという命題はなお正しい。

## ノルムの同値性
有限次元ベクトル空間  の任意の2つの（ベクトルとしての）ノルム  に対して、適当な定数  をとれば
: r\left\|A\right\|_\alpha\leq\left\|A\right\|_\beta\leq s\left\|A\right\|_\alpha
が任意の行列  に対して成立するようにできる。言い換えれば、このようなノルムはどれも**同値**  なノルムであり、空間  に同じ位相を誘導する。

さらに実行列  の場合、任意のノルム  に対し一意な正の定数  が存在して、 が（劣乗法的な）行列ノルムになる。

行列ノルム  は、他のいかなる行列ノルム   も  を満たさないとき、**極小**（）であると呼ばれる。

### 同値なノルムの例
実行列  に対し、以下の不等式が成立する：
*\|A\|_2\le\|A\|_F\le\sqrt{r}\|A\|_2
*\|A\|_F\le\|A\|_*\le\sqrt{r}\|A\|_F
*\|A\|_{\max} \le\|A\|_2\le\sqrt{mn}\|A\|_{\max}
*\frac{1}{\sqrt{n}}\|A\|_\infty\le\|A\|_2\le\sqrt{m}\|A\|_\infty
*\frac{1}{\sqrt{m}}\|A\|_1\le\|A\|_2\le\sqrt{n}\|A\|_1
ここで  は行列  のランクである。

他にも次のような関係は有用である：
*\|A\|_2\le\sqrt{\|A\|_1\|A\|_\infty}
これはヘルダーの不等式の特殊例である。

## 注釈

## 出典

## 参考文献
* 
* 
* 
* 
* 

## 関連項目
* ノルム - 作用素ノルム

## 外部リンク
*