[線型代数] 疑似逆行列と射影行列

疑似逆行列と射影行列

疑似逆行列と射影行列もしばしば推薦システムでも利用されるので、メモしておきます。

github

jupyter notebook形式のファイルはこちら

google colaboratory

google colaboratory で実行する場合はこちら

筆者の環境

筆者のOSはmacOSです。LinuxやUnixのコマンドとはオプションが異なります。

!sw_vers

ProductName:	Mac OS X
ProductVersion:	10.14.6
BuildVersion:	18G103

!python -V

Python 3.8.5

基本的なライブラリとkerasをインポートしそのバージョンを確認しておきます。

%matplotlib inline
%config InlineBackend.figure_format = 'svg'

import matplotlib
import matplotlib.pyplot as plt
import scipy
import numpy as np
import pandas as pd

print('matplotlib version :', matplotlib.__version__)
print('scipy  version :', scipy.__version__)
print('numpy  version :', np.__version__)

matplotlib version : 3.3.2
scipy  version : 1.3.1
numpy  version : 1.19.2

疑似逆行列の計算

通常の行列は常に逆行列を持つとは限りません。その場合、連立方程式、

$$ Ax=b $$

をという事が出来ません。

そこで擬似的な逆行列を定義します。

$$ A^{+}=\left(A^{T} A\right)^{-1} A^{T} $$

この$A^{+}$を左からかけて計算を進めると、

$$ A^{+}A=\left(A^{T} A\right)^{-1} A^{T}A=I $$

となり、$x$を計算することが可能です。

A = np.arange(25).reshape((5,5))
A

array([[ 0,  1,  2,  3,  4],
       [ 5,  6,  7,  8,  9],
       [10, 11, 12, 13, 14],
       [15, 16, 17, 18, 19],
       [20, 21, 22, 23, 24]])

この行列のランクを計算します。

np.linalg.matrix_rank(A)

2なので、逆行列を計算することが出来ません。

np.linalg.inv(A)

---------------------------------------------------------------------------

LinAlgError                               Traceback (most recent call last)

<ipython-input-6-ae645f97e1f8> in <module>
----> 1 np.linalg.inv(A)


<__array_function__ internals> in inv(*args, **kwargs)


~/anaconda3/lib/python3.8/site-packages/numpy/linalg/linalg.py in inv(a)
    544     signature = 'D->D' if isComplexType(t) else 'd->d'
    545     extobj = get_linalg_error_extobj(_raise_linalgerror_singular)
--> 546     ainv = _umath_linalg.inv(a, signature=signature, extobj=extobj)
    547     return wrap(ainv.astype(result_t, copy=False))
    548


~/anaconda3/lib/python3.8/site-packages/numpy/linalg/linalg.py in _raise_linalgerror_singular(err, flag)
     86
     87 def _raise_linalgerror_singular(err, flag):
---> 88     raise LinAlgError("Singular matrix")
     89
     90 def _raise_linalgerror_nonposdef(err, flag):


LinAlgError: Singular matrix

エラーが出て終了となります。

疑似逆行列はnumpyのpinvで計算することが出来ます。

np.linalg.pinv(A).round(3)

array([[-0.144, -0.092, -0.04 ,  0.012,  0.064],
       [-0.076, -0.048, -0.02 ,  0.008,  0.036],
       [-0.008, -0.004, -0.   ,  0.004,  0.008],
       [ 0.06 ,  0.04 ,  0.02 ,  0.   , -0.02 ],
       [ 0.128,  0.084,  0.04 , -0.004, -0.048]])

となり計算することが出来ます。

射影行列

射影行列は以下の様に定義されます。

$$ P^{2}=P $$

ベクトル空間上である点を一度$P$で線形変換（回転や移動）させた後は、それ以上は移動させることが出来ないことを意味しています。

$$ P^{N}=P $$

となるからです。

スペクトル分解

$A$をエルミート行列とし、固有値分解を行います。$u_i$を固有ベクトル、$\lambda_i$を固有値とします。

$$ A=U \Lambda U^{T} \equiv\left[u_{1}, \ldots, u_{n}\right] \operatorname{diag}\left(\lambda_{1}, \ldots, \lambda{n} \right)\left[\begin{array}{c} u_{1}^{T} \\ \vdots \\ u_{n}^{T} \end{array}\right] $$

よって、

$$ A = \sum_{i} \lambda_i u_i u_i^T $$

と分解することが可能です。

$U$はユニタリ行列で

$$ U^TU=I $$

が成り立ちます。ここで、$u_i u_i^T$は、

$$ (u_i u_i^T)^2 = u_i u_i^Tu_i u_i^T = u_i u_i^T $$

となり、固有空間への射影行列となります。よって、