統計学のための線形代数（027/X）

　統計学に習熟するには線形代数の習得が不可欠である。が、初等的な線形代数ではカバーしきれないような分野も存在する。そこで以下の参考書

統計学のための線形代数

朝倉書店

Amazon

を基により高等な線形代数を学ぶ。

前回

power-of-awareness.com

前回
4.　行列の因数分解と行列ノルム
- 4.8　行列ノルム
次回

4.　行列の因数分解と行列ノルム

4.8　行列ノルム

　行列の大きさおよび2つの行列の近さを測りたい場合に行列ノルムを用いる。

行列ノルムの定義　 $m$ 次正方行列 $A$ に対して定義される関数 $\|A\|$ は、すべての $m$ 次正方行列 $A,B$ に対して

$\|A\|\geq0$
$A=O\Leftrightarrow\|A\|=0$
${}^{\forall}c\in\mathbb{C}(\|cA\|=|c|\|A\|)$
$\|A+B\|\leq\|A\|+\|B\|$
$\|AB\|\leq\|A\|\|B\|$

を満たすとき、行列ノルムという。

例： $\mathrm{Euclid}$ ノルム
　行列 $A=(a_{ij})_{1\leq i\leq m,1\leq j\leq m}$ に対して定義される
$\begin{aligned} \|A\|_E:=\left(\displaystyle{\sum_{i=1}^{m}\sum_{j=1}^{m}|a_{ij}|^2 }\right)^{\frac{1}{2}} \end{aligned}$
は行列ノルムである。
　実際、絶対値の二乗が非負であるから明らかに $\|A\|\geq0$ である。 $A=O$ ならば明らかに $\|A\|=0$ であり、また絶対値の二乗が非負であるから $\|A\|=0$ ならば任意の $i,j$ に対して $a_{ij}=0$ である。さらに ${}^{\forall}c\in\mathbb{C}$ に対して

$\begin{aligned} \ |ca_{ij}|^2=|c|^2|a_{ij}|^2 \end{aligned}$

であるから、
$\begin{aligned} \|cA\|_E&=\left(\displaystyle{\sum_{i=1}^{m}\sum_{j=1}^{m}|ca_{ij}|^2 }\right)^{\frac{1}{2}}\\ &=\left(\displaystyle{\sum_{i=1}^{m}\sum_{j=1}^{m}|c|^2|a_{ij}|^2 }\right)^{\frac{1}{2}}\\ &=|c|\left(\displaystyle{\sum_{i=1}^{m}\sum_{j=1}^{m}|a_{ij}|^2 }\right)^{\frac{1}{2}}\\ &=|c|\|A\| \end{aligned}$
が成り立つ。
　さらに3つ目の不等式は
$\begin{aligned} \sqrt{\displaystyle{\sum_{i=1}^{m}\sum_{j=1}^{m}a_{ij}^2}}+\sqrt{\displaystyle{\sum_{i=1}^{m}\sum_{j=1}^{m}b_{ij}^2}}\geq\sqrt{\displaystyle{\sum_{i=1}^{m}\sum_{j=1}^{m}(a_{ij}+b_{ij})^2}} \end{aligned}$

を示せばよく、 $\mathrm{Cauchy}$ - $\mathrm{Schwartz}$ の不等式から

$\begin{aligned} \sqrt{\displaystyle{\sum_{i=1}^{m}\sum_{j=1}^{m}a_{ij}^2}}\sqrt{\displaystyle{\sum_{i=1}^{m}\sum_{j=1}^{m}b_{ij}^2}}\geq\displaystyle{\sum_{i=1}^{m}\sum_{j=1}^{m}a_{ij}b_{ij}} \end{aligned}$

が得られ、示すべき式の右辺の二乗にこれを適用した後に両辺の平方根を取ることで導くことができる。またこれは4つ目の不等式も示したことになる。