跳到主要内容

名古屋大学 情報学研究科 複雑系科学専攻 2023年8月実施 线性代数

Author

思齐塾, 祭音Myyura

Description

行列 M=[2001]M = \begin{bmatrix} 2 & 0 \\ 0 & 1 \end{bmatrix} は正定値行列である。 x=[x1x2]x = \begin{bmatrix} x_1 \\ x_2 \end{bmatrix} として xTMxx^T M x を計算することでこのことを示せ。

题目描述

矩阵

M=[2001]M=\begin{bmatrix}2&0\\0&1\end{bmatrix}

是正定矩阵。令

x=[x1x2].\boldsymbol x=\begin{bmatrix}x_1\\x_2\end{bmatrix}.

通过计算 xTMx\boldsymbol x^{\mathsf T}M\boldsymbol x 证明 MM 的正定性。

Kai

正定値行列であることの証明は、 xTMx>0x^T M x > 0 for all x0x \neq 0 を示すことである。

xTMx=[x1x2][2001][x1x2]=[x1x2][2x1x2]=2x12+x22x^T M x = \begin{bmatrix} x_1 & x_2 \end{bmatrix} \begin{bmatrix} 2 & 0 \\ 0 & 1 \end{bmatrix} \begin{bmatrix} x_1 \\ x_2 \end{bmatrix} = \begin{bmatrix} x_1 & x_2 \end{bmatrix} \begin{bmatrix} 2x_1 \\ x_2 \end{bmatrix} = 2x_1^2 + x_2^2

2x12+x222x_1^2 + x_2^2 は、 x1x_1x2x_2 が同時に 0 でない限り常に正である。つまり、 x0x \neq 0 ならば xTMx>0x^T M x > 0 である。したがって、行列 MM は正定値行列である。