# 행렬: 행렬식 (Determinant)

#### 행렬식의 정의와 기본 성질

행렬식은 정방행렬(square matrix)에 대해 정의되는 스칼라 값으로, 행렬의 특성을 요약하는 중요한 도구이다. 행렬식은 기하학적 의미와 함께, 행렬이 가역인지 여부를 판별하는 데 사용된다.

**행렬식의 정의**는 다음과 같이 주어진다. $ n \times n $ 행렬 $ A = \[a\_{ij}] $의 행렬식 $ det(A) $ 또는 $ |A| $는 주어진 행렬이 2차원인 경우 간단히 계산될 수 있으며, 고차원 행렬의 경우 재귀적으로 소행렬식(minor)을 이용해 계산된다.

예를 들어, 2x2 행렬의 행렬식은 다음과 같다:

$$
\text{det}(A) = \begin{vmatrix} a\_{11} & a\_{12} \ a\_{21} & a\_{22} \end{vmatrix} = a\_{11}a\_{22} - a\_{12}a\_{21}
$$

이는 두 벡터의 외적을 통해 구해지는 면적과 관련이 있다.

**행렬식의 기본 성질**로는 다음이 있다:

* **교환 성질**: 두 행을 교환하면 행렬식의 부호가 바뀐다.
* **스칼라 곱**: 한 행이나 열의 모든 원소에 같은 스칼라를 곱하면, 행렬식은 그 스칼라 값에 비례하여 변한다.
* **삼각 행렬**: 상삼각 또는 하삼각 행렬의 행렬식은 주대각선 성분들의 곱이다.
* **곱의 성질**: 두 행렬 $ A $와 $ B $에 대해, $ \text{det}(AB) = \text{det}(A) \cdot \text{det}(B) $가 성립한다.

#### 행렬식 계산 방법

행렬식은 다양한 방법을 통해 계산될 수 있다. 특히, 고차원의 행렬식 계산은 소행렬식과 여인자 확장(cofactor expansion)을 이용하는 것이 일반적이다.

\*\*소행렬식(Minor)\*\*은 특정 행과 열을 제거한 작은 행렬의 행렬식을 의미한다. 예를 들어, $ 3 \times 3 $ 행렬에서 원소 $ a\_{ij} $에 대응하는 소행렬식은 $ A $ 행렬에서 $ i $번째 행과 $ j $번째 열을 제거한 부분 행렬의 행렬식이다.

\*\*여인자 확장(Cofactor Expansion)\*\*은 행렬식을 특정 행이나 열을 기준으로 전개하는 방법이다. 이 과정에서 각 원소에 해당하는 소행렬식에 원소의 위치에 따른 부호(체커보드 패턴)를 곱해 더한다. 예를 들어, $ 3 \times 3 $ 행렬의 경우, 첫 번째 행을 기준으로 하는 여인자 확장은 다음과 같이 계산된다:

$$
\text{det}(A) = a\_{11}C\_{11} + a\_{12}C\_{12} + a\_{13}C\_{13}
$$

여기서 $ C\_{ij} $는 원소 $ a\_{ij} $에 대응하는 여인자(cofactor)로, 소행렬식에 $ (-1)^{i+j} $를 곱한 값이다.

**가우스 소거법을 이용한 계산**에서는 행렬을 삼각 행렬로 변환한 후, 대각선 원소의 곱으로 행렬식을 계산한다. 이 방법은 계산의 효율성을 높이는 데 유용하다.

#### 행렬식의 기하학적 의미

행렬식은 단순한 수치 이상의 기하학적 의미를 가지며, 이는 벡터 공간 내에서의 변형과 관련이 있다.

**면적과 부피의 변화**: 2차원에서 행렬식은 두 벡터로 정의된 평행사변형의 면적을 나타낸다. $ n \times n $ 행렬의 경우, 행렬식은 그 행렬이 변환하는 n차원 공간의 부피 변화를 나타낸다. 예를 들어, 3차원 공간에서 행렬식은 평행육면체의 부피를 나타낸다.

**가역성과 행렬식**: 행렬의 행렬식이 0이 아닌 경우, 해당 행렬은 가역(invertible)이다. 이는 변환된 벡터 공간이 원래 공간과 동일한 차원을 가지며, 정보 손실이 없음을 의미한다. 반면, 행렬식이 0인 경우는 차원이 축소되거나 변환이 퇴화(degenerate)되어 정보 손실이 발생함을 나타낸다.

**선형 변환의 방향 보존**: 행렬식의 부호는 선형 변환이 방향을 보존하는지 반전하는지를 결정한다. 양수의 행렬식은 변환이 방향을 보존함을, 음수의 행렬식은 변환이 방향을 반전시킴을 나타낸다.

***

관련 자료:

* Linear Algebra and Its Applications by Gilbert Strang
* Introduction to Linear Algebra by Serge Lang
* Matrix Analysis by Roger A. Horn and Charles R. Johnson