転置余因子行列の定義
n×n行列

のi行とj列を除く(n-1)×(n-1)部分行列の行列式をj行i列の要素に持つn×n行列
![\mathbf{C}[ \mathbf{X} ]](http://chart.apis.google.com/chart?cht=tx&chf=bg,s,ffffff00&chco=000000ff&chs=25&chl=%5Cmathbf%7BC%7D%5B%20%5Cmathbf%7BX%7D%20%5D)
を転置余因子行列と呼び次式のように定義する。
![\mathbf{C}[\mathbf{L}^T \mathbf{L}] = \begin{pmatrix} c_{11} & \cdots & c_{1n} \\ \vdots & \ddots & \vdots \\ c_{n1} & \cdots & c_{nn} \end{pmatrix}, \mbox{ } c_{ji} = (-1)^{(i+j)} \det\left[ \underset{(\ominus \mathbf{l}_i)}{\mathbf{L}}^T \underset{(\ominus \mathbf{l}_j)}{\mathbf{L}} \right]](http://chart.apis.google.com/chart?cht=tx&chf=bg,s,ffffff00&chco=000000ff&chs=25&chl=%5Cmathbf%7BC%7D%5B%5Cmathbf%7BL%7D%5ET%20%5Cmathbf%7BL%7D%5D%20%3D%20%5Cbegin%7Bpmatrix%7D%20c_%7B11%7D%20%26amp%3Bamp%3B%20%5Ccdots%20%26amp%3Bamp%3B%20c_%7B1n%7D%20%5C%5C%20%5Cvdots%20%26amp%3Bamp%3B%20%5Cddots%20%26amp%3Bamp%3B%20%5Cvdots%20%5C%5C%20c_%7Bn1%7D%20%26amp%3Bamp%3B%20%5Ccdots%20%26amp%3Bamp%3B%20c_%7Bnn%7D%20%5Cend%7Bpmatrix%7D%2C%20%5Cmbox%7B%20%7D%20c_%7Bji%7D%20%3D%20%28-1%29%5E%7B%28i%2Bj%29%7D%20%5Cdet%5Cleft%5B%20%5Cunderset%7B%28%5Cominus%20%5Cmathbf%7Bl%7D_i%29%7D%7B%5Cmathbf%7BL%7D%7D%5ET%20%5Cunderset%7B%28%5Cominus%20%5Cmathbf%7Bl%7D_j%29%7D%7B%5Cmathbf%7BL%7D%7D%20%5Cright%5D)
(ただし、

が1列しかない場合には、

とする。)
転置余因子行列
の性質
任意の正方行列

の余因子総和について、
![\mathbf{1}^T \mathbf{C}[ \mathbf{X} ] \mathbf{1} = \det\left[ \begin{pmatrix} 0 & 1 & \cdots & 1 \\ -1 & & & \\ \vdots & & \mathbf{X} & \\ -1 & & & \end{pmatrix} \right]](http://chart.apis.google.com/chart?cht=tx&chf=bg,s,ffffff00&chco=000000ff&chs=25&chl=%5Cmathbf%7B1%7D%5ET%20%5Cmathbf%7BC%7D%5B%20%5Cmathbf%7BX%7D%20%5D%20%5Cmathbf%7B1%7D%20%3D%20%5Cdet%5Cleft%5B%20%5Cbegin%7Bpmatrix%7D%200%20%26amp%3Bamp%3B%201%20%26amp%3Bamp%3B%20%5Ccdots%20%26amp%3Bamp%3B%201%20%5C%5C%20-1%20%26amp%3Bamp%3B%20%26amp%3Bamp%3B%20%26amp%3Bamp%3B%20%5C%5C%20%5Cvdots%20%26amp%3Bamp%3B%20%26amp%3Bamp%3B%20%5Cmathbf%7BX%7D%20%26amp%3Bamp%3B%20%5C%5C%20-1%20%26amp%3Bamp%3B%20%26amp%3Bamp%3B%20%26amp%3Bamp%3B%20%5Cend%7Bpmatrix%7D%20%5Cright%5D)
とも書ける。
このことを用いれば、任意の正方行列

とそれと同じ列数を持つ任意の列ベクトル

について、
![\mathbf{1}^T \mathbf{C}[\mathbf{X} - \mathbf{a} \mathbf{1}^T] \mathbf{1} = \mathbf{1}^T \mathbf{C}[\mathbf{X} - \mathbf{1} \mathbf{a}^T] \mathbf{1} = \mathbf{1}^T \mathbf{C}[ \mathbf{X} ] \mathbf{1}](http://chart.apis.google.com/chart?cht=tx&chf=bg,s,ffffff00&chco=000000ff&chs=25&chl=%5Cmathbf%7B1%7D%5ET%20%5Cmathbf%7BC%7D%5B%5Cmathbf%7BX%7D%20-%20%5Cmathbf%7Ba%7D%20%5Cmathbf%7B1%7D%5ET%5D%20%5Cmathbf%7B1%7D%20%3D%20%5Cmathbf%7B1%7D%5ET%20%5Cmathbf%7BC%7D%5B%5Cmathbf%7BX%7D%20-%20%5Cmathbf%7B1%7D%20%5Cmathbf%7Ba%7D%5ET%5D%20%5Cmathbf%7B1%7D%20%3D%20%5Cmathbf%7B1%7D%5ET%20%5Cmathbf%7BC%7D%5B%20%5Cmathbf%7BX%7D%20%5D%20%5Cmathbf%7B1%7D)
(余因子総和の定理)が成り立つ。
余因子総和行列の定義
(n+1)×(n+1)行列

のi行とj列を除くn×n部分行列の余因子総和をj行i列の要素に持つ(n+1)×(n+1)行列
![\tilde{\mathbf{C}}[ \tilde{\mathbf{X}} ]](http://chart.apis.google.com/chart?cht=tx&chf=bg,s,ffffff00&chco=000000ff&chs=25&chl=%5Ctilde%7B%5Cmathbf%7BC%7D%7D%5B%20%5Ctilde%7B%5Cmathbf%7BX%7D%7D%20%5D)
を余因子総和行列と呼び次式のように定義する。

の余因子総和行列は、
![\tilde{\mathbf{C}}[\mathbf{P}^T \mathbf{P}] = \begin{pmatrix} \mathbf{1}^T \mathbf{C}[\mathbf{L}^T \mathbf{L}] \mathbf{1}, & - \mathbf{1}^T \mathbf{C}[\mathbf{L}^T \mathbf{L}] \\ - \mathbf{C}[\mathbf{L}^T \mathbf{L}] \mathbf{1}, & \mathbf{C}[\mathbf{L}^T \mathbf{L}] \end{pmatrix}](http://chart.apis.google.com/chart?cht=tx&chf=bg,s,ffffff00&chco=000000ff&chs=25&chl=%5Ctilde%7B%5Cmathbf%7BC%7D%7D%5B%5Cmathbf%7BP%7D%5ET%20%5Cmathbf%7BP%7D%5D%20%3D%20%5Cbegin%7Bpmatrix%7D%20%5Cmathbf%7B1%7D%5ET%20%5Cmathbf%7BC%7D%5B%5Cmathbf%7BL%7D%5ET%20%5Cmathbf%7BL%7D%5D%20%5Cmathbf%7B1%7D%2C%20%26amp%3Bamp%3B%20-%20%5Cmathbf%7B1%7D%5ET%20%5Cmathbf%7BC%7D%5B%5Cmathbf%7BL%7D%5ET%20%5Cmathbf%7BL%7D%5D%20%5C%5C%20-%20%5Cmathbf%7BC%7D%5B%5Cmathbf%7BL%7D%5ET%20%5Cmathbf%7BL%7D%5D%20%5Cmathbf%7B1%7D%2C%20%26amp%3Bamp%3B%20%5Cmathbf%7BC%7D%5B%5Cmathbf%7BL%7D%5ET%20%5Cmathbf%7BL%7D%5D%20%5Cend%7Bpmatrix%7D)
となり、

の余因子行列
![\mathbf{C}[\mathbf{L}^T \mathbf{L}]](http://chart.apis.google.com/chart?cht=tx&chf=bg,s,ffffff00&chco=000000ff&chs=25&chl=%5Cmathbf%7BC%7D%5B%5Cmathbf%7BL%7D%5ET%20%5Cmathbf%7BL%7D%5D)
を1次元過剰にしたような行列である。
余因子総和行列
の性質
![\tilde{\mathbf{C}} \mathbf{P}^T \mathbf{P} \tilde{\mathbf{C}} = \tilde{\mathbf{C}} v^n, \mbox{ } \tilde{\mathbf{C}} \overset{[n+1]}{\mathbf{1}} = \overset{[n+1]}{\mathbf{0}}](http://chart.apis.google.com/chart?cht=tx&chf=bg,s,ffffff00&chco=000000ff&chs=25&chl=%5Ctilde%7B%5Cmathbf%7BC%7D%7D%20%5Cmathbf%7BP%7D%5ET%20%5Cmathbf%7BP%7D%20%5Ctilde%7B%5Cmathbf%7BC%7D%7D%20%3D%20%5Ctilde%7B%5Cmathbf%7BC%7D%7D%20v%5En%2C%20%5Cmbox%7B%20%7D%20%5Ctilde%7B%5Cmathbf%7BC%7D%7D%20%5Coverset%7B%5Bn%2B1%5D%7D%7B%5Cmathbf%7B1%7D%7D%20%3D%20%5Coverset%7B%5Bn%2B1%5D%7D%7B%5Cmathbf%7B0%7D%7D)
のような性質がある。
最終更新:2010年10月13日 00:14