2차 형식(Quadratic Form)

[경고] 아래 글을 읽지 않고 "2차 형식"을 보면 바보로 느껴질 수 있습니다.

1. 행렬

[그림 1] 2차 함수의 예시(출처: wikipedia.org)

[그림 1]과 같은 2차 함수(quadratic function)를 다변수로 확장하면 2차 형식(quadratic form)이라 부른다. 2차 함수를 기초로 2차 형식을 다음처럼 공식화할 수 있다.

                  (1)

여기서 $\overline{x}$ = $(x_1,x_2,\cdots ,x_n)$이다. 식 (1)을 열 벡터(column vector)와 행렬(matrix)의 곱으로 표현할 수도 있다.

                  (2)

여기서 열 벡터 $\mathbf{x}$ = $[x_1{x}_2\cdots x_n{]}^T$, 행렬 $\mathbf{A}$의 원소는 $a_{ij}$이다. 식 (2)에서 $\mathbf{A}$가 항등 행렬(identity matrix)이면, $q(\mathbf{x})$ = ${\mathbf{x}}^T\mathbf{x}\ge 0$이 항상 성립한다.

식 (2)를 일반화해서 열 벡터 $\mathbf{x}$와 $\mathbf{y}$에 대한 관계로 쓰면, 식 (3)을 쌍선형 형식(bilinear form)이라 부른다.

                  (3)

복소수(complex number) 영역에서 식 (2)를 표현할 때는 켤레 전치 행렬(conjugate transpose)을 사용한다.

                  (4)

여기서 $(\cdot {)}^H$는 켤레 전치 행렬이다. 일반적으로 복소수인 식 (4)의 결과가 실수로 한정되면, 식 (4)를 에르미트 2차 형식(Hermitian quadratic form)이라 한다.

2차 형식은 스칼라(scalar)이므로, 식 (2)에 전치 행렬을 적용하면 다음을 얻을 수 있다.

                  (5)

식 (5)는 반대칭 행렬(skew-symmetric matrix)에 대한 2차 형식이 항상 0임을 의미한다. 따라서 임의의 행렬 $\mathbf{A}$는 대칭 행렬 ${\mathbf{A}}_{\text{sym}}$과 반대칭 행렬 ${\mathbf{A}}_{\text{skew}}$로 분해될 수 있어서 다음 관계가 성립한다.

                  (6)

여기서 $\mathbf{A}$ = ${\mathbf{A}}_{\text{sym}}+{\mathbf{A}}_{\text{skew}}$이다. 식 (6)의 특성으로 인해, 2차 형식에 사용하는 행렬을 대칭 행렬로 한정하더라도 문제가 전혀 없다. 마찬가지로 에르미트 2차 형식도 식 (5)처럼 표현할 수 있다.

                  (7)

임의의 복소 행렬 $\mathbf{A}$를 에르미트 행렬 $\mathbf{H}$와 반에르미트 행렬 $\mathbf{K}$로 나누면, 식 (6)처럼 에르미트 2차 형식을 공식화할 수 있다.

                  (8)

여기서 $\mathbf{A}$ = $\mathbf{H}+\mathbf{K}$이다.

 

[다음 읽을거리]

1. 양의 정부호 행렬

2. 선형 최소 제곱법