共変行列と自己相関関数の定義