定義
次のような列ベクトルを考える。
このベクトルの要素が各々分散が有限である確率変数であるとき、( i, j ) の要素が次のような行列 Σ を分散共分散行列という。
ただし、
は、ベクトル X の i 番目の要素の期待値である。すなわち、Σ は次のような行列である。
この行列の逆行列は は、逆共分散行列(英: inverse covariance matrix) または精度行列(英: precision matrix) と呼ばれる[1]。
分散の一般化としてみたとき
上記の定義は、下記の等式と同値である。
この形は、スカラー値における分散を高次元に拡張したものと捉えられる。
スカラー値を取る確率変数 X について、次が成り立つことに注意する。
ただし、
が、分散共分散行列と呼ばれるのは、対角要素は分散だからである。
名称の問題
この行列の名前の呼び名には、いくつかの異なった流儀がある。統計学者の一部は、ウィリアム・フェラー(英語: William Feller)にならって、この行列が 1 次元の分散の自然な拡張であることから、この行列を確率変数のベクトル の分散と呼ぶ。また、この行列がベクトル のスカラー要素の共分散であることから、この行列を共分散行列と呼ぶ流儀もある。すなわち、
しかし、二つの確率変数ベクトルの間の相互共分散の標準的な記法は次のようになる。
による記法は、フェラーの 2 巻の本 An Introduction to Probability Theory and Its Applications[2]に見ることができるが、どちらの形式もかなり標準化されていて、その間に曖昧性はない。