기본 콘텐츠로 건너뛰기

라벨이 negative-semi definite인 게시물 표시

[matplotlib]quiver()함수

[Linear Algebra] 이차형식의 부호

이차형식의 부호 관련된 내용 이차형식(Quadratic forms) 0 벡터가 아닌 x와 대칭행렬 A 사이에 이차 형식 Q(x)가 식 1을 성립하면 행렬 A를 양의 정부호 행렬 (positive definite matrix) 이라 합니다. $$\tag{식 1}Q(x) = x^TAx \gt 0$$ 양의 정부호 행렬의 고유값은 양수입니다. 즉, 0이 아닌 벡터 x에 대해 위 식을 정리하면 식 2와 같습니다. \begin{align}Ax& = \lambda x\\ x^TAx&=x^T\lambda x \gt 0\\ \tag{식 2} &=\lambda x^Tx \gt 0\\ \because\, x^Tx &=\begin{bmatrix}x_1& x_2 \end{bmatrix} \begin{bmatrix}x_1\\x_2 \end{bmatrix}\\&=x_1^2+x_2^2 \gt 0 \rightarrow \lambda \gt 0\\& \text{if}\, x_1, x_2 \neq=0\end{align} 식 2의 성립은 변수벡터의 각 변수가 0이 아닌 조건이 필요합니다. 이 조건에서 이차식은 항상 0보다 크므로 양의 정부호 행렬이 됩니다. 그러나 이 조건이 충족되지 않을 경우 이차식은 0이 될 수 있습니다. 이 경우 양의 반정부호 행렬 이라 합니다. 예 1) 다음 행렬은 양의 정부호 행렬입니까? $$A=\begin{bmatrix}3& 0\\0& 7\end{bmatrix}$$ 행렬 A의 고유값을 결정하면 다음과 같이 모두 양수입니다. A=np.array([[3,0],[0, 7]]) d, P=la.eig(A) print(d) [3. 7.] 행렬 A는 대각행렬로서 식 3을 적용하면 교차항이 없는 단순한 이차식으로 0보다 크거나 같다는 것을 알 수 있습니다. \begin{align} ax_1^2 + bx_1x_2 + cx_2^2 & = \begin{bmatrix}x...