3A
  • Portfolio Top
  • Categories
  • Tags
  • Archives

Ex.7 Positive Definite Symmetric Matrix

Q7

解答

1

$$A = O\Lambda O^T\Longleftrightarrow O^TAO = \Lambda$$

ここで、\(O=\left(\mathbf{u}_1,\cdots\mathbf{u}_m\right)\) と分解できるので、\(O\) の第 \(k\) 列ベクトル \(\mathbf{u}_k\) に注目すると、

$$\lambda_k = \mathbf{u}_k^TA\mathbf{u}_k > 0\quad\left(\because\text{positive definite}\right)$$

2

\(k\) 成分のみゼロではない次のベクトルを考える。

$$\mathbf{e}_k = \left(\begin{array}{ccc}0\\\vdots\\1\\\vdots\\0\end{array}\right)$$

すると、

$$A_{kk} = \mathbf{e}_k^TA\mathbf{e}_k > 0\quad\left(\because\text{positive definite}\right)$$

3

\(k,l\) 成分のみゼロではないベクトル \(\mathbf{v}\) を考える。ここで、

$$v_k = x,v_l=y \qquad \forall x,y\in\mathbb{R},x.y\neq0$$

とする。すると、

$$\begin{aligned} \mathbf{v}^TA\mathbf{v} &= x^2A_{kk} + xyA_{kl} + yxA_{lk} + y^2A_{ll}\\ &= \left(\begin{array}{ccc}x\\y\end{array}\right)^T\left(\begin{array}{ccc}A_{kk} & A_{kl}\\A_{lk} & A_{ll}\end{array}\right)\left(\begin{array}{ccc}x\\y\end{array}\right) > 0 \end{aligned}$$

したがって、行列

$$A^{(kl)} = \left(\begin{array}{ccc}A_{kk} & A_{kl}\\A_{lk} & A_{ll}\end{array}\right)$$

は正定値行列であることがわかる。ゆえに、\((1)\) より、行列 \(A^{(kl)}\) の固有値(\(\lambda^{(kl)}_1,\lambda^{(kl)}_2\))は全て非負。

一方、行列式は固有値の積でかけるので、以下の関係が成り立つ。

$$\left|A^{(kl)}\right| = A_{kk}A_{ll} - A_{kl}A_{lk} = \lambda^{(kl)}_1\lambda^{(kl)}_2 > 0$$

また、\(A^T=A\) より \(A_{kl} = A_{lk}\) なので、上より、

$$A_{kk}A_{ll} - A_{kl}^2 > 0\Longleftrightarrow\sqrt{A_{kk}A_{ll}} > \left|A_{kl}\right|$$

  • « Ex.6 Multinomial Distribution
  • Ex.8 Multivariate Normal Distribution »
hidden
Table of Contents
Published
Nov 4, 2019
Last Updated
Nov 4, 2019
Category
情報基礎実験(木立)
Tags
  • 3A 127
  • 情報基礎実験(木立) 20
Contact
Other contents
  • Home
  • Blog
  • Front-End
  • Kerasy
  • Python-Charmers
  • Translation-Gummy
    • 3A - Shuto's Notes
    • MIT
    • Powered by Pelican. Theme: Elegant