# 행렬 : 영행렬 (Zero Matrix)

#### 영행렬의 정의

영행렬(Zero Matrix)은 선형대수에서 매우 중요한 개념으로, 모든 요소가 0인 행렬을 의미한다. 행렬의 차원에 상관없이 모든 원소가 0으로 구성된 행렬은 영행렬이라 불리며, 이는 덧셈 연산의 항등원(identity element) 역할을 한다. 영행렬은 일반적으로 $ \mathbf{0} $ 또는 $ O\_{m \times n} $ 형태로 표기되며, 여기서 $ m \times n $은 행렬의 크기(행과 열의 수)를 나타낸다.

#### 영행렬의 성질

**덧셈의 항등원**: 영행렬은 행렬 덧셈에서 항등원으로 작용한다. 즉, 임의의 $ m \times n $ 행렬 $ A $에 대해, $ A + O\_{m \times n} = A $가 성립한다. 이는 영행렬이 덧셈에 영향을 미치지 않음을 의미하며, 모든 행렬에 대해 성립하는 성질이다.

**스칼라 곱**: 영행렬에 스칼라를 곱하면 여전히 영행렬이 된다. 즉, 임의의 스칼라 $ c $와 영행렬 $ O\_{m \times n} $에 대해, $ c \cdot O\_{m \times n} = O\_{m \times n} $가 성립한다. 이는 스칼라 곱셈이 영행렬의 성질을 변경하지 않음을 의미한다.

**행렬 곱셈**: 영행렬과 임의의 행렬 $ A $를 곱하면 여전히 영행렬이 된다. $ A $가 $ m \times n $ 행렬이고 $ O\_{n \times p} $가 영행렬일 때, $ A \cdot O\_{n \times p} = O\_{m \times p} $ 및 $ O\_{m \times n} \cdot A = O\_{m \times p} $가 성립한다. 이는 영행렬이 행렬 곱셈에서도 항등원이 아닌 특수한 성질을 가짐을 나타낸다.

**행렬식**: 정방행렬의 경우, 행렬이 영행렬이면 그 행렬식은 항상 0이다. 즉, $ O\_{n \times n} $의 행렬식 $ \det(O\_{n \times n}) = 0 $이다. 이는 영행렬이 비가역적이며, 고유값이 모두 0임을 나타낸다.

#### 영행렬과 선형 시스템

영행렬은 선형 시스템을 해석할 때 중요한 역할을 한다. 특히, 선형 시스템의 계수 행렬이 영행렬일 때, 시스템의 해는 항상 자명해지거나 무한한 해를 가지게 된다.

**자명한 해**: $ A $가 영행렬이고, $ A \cdot x = 0 $ 형태의 선형 시스템을 고려할 때, 자명한 해 $ x = 0 $이 유일한 해가 된다. 이는 행렬 $ A $가 시스템에 대한 정보가 전혀 없음을 의미한다.

**무한한 해**: 만약 $ A \cdot x = b $에서 $ b = 0 $이 아니라면, 시스템은 무수히 많은 해를 가지게 된다. 이는 $ x $가 $ A $의 영공간(null space)에 포함되며, 추가적인 자유도가 존재함을 나타낸다.

#### 영행렬의 연산적 활용

영행렬은 다양한 선형대수 연산에서 도구적으로 활용된다. 행렬의 차원과 연산을 간단하게 처리하거나 특정 구조를 갖는 행렬을 생성할 때 유용하다.

**블록 행렬**: 큰 행렬을 블록으로 나눌 때, 블록 중 일부를 영행렬로 설정할 수 있다. 이는 행렬 연산을 간소화하고, 특정 연산의 영향을 제한하는 데 사용된다. 예를 들어, 블록 대각선 행렬에서는 주대각선 이외의 블록을 영행렬로 설정하여 대각화된 행렬을 간단하게 표현할 수 있다.

**특정 구조 행렬 생성**: 영행렬은 특정 구조를 갖는 행렬을 생성하는 데 사용된다. 예를 들어, 희소 행렬(sparse matrix)은 대부분의 요소가 0으로 채워진 행렬이며, 영행렬을 활용해 이런 행렬을 쉽게 표현할 수 있다.

***

관련 자료:

* Linear Algebra and Its Applications by David C. Lay
* Matrix Computations by Gene H. Golub and Charles F. Van Loan
* Elementary Linear Algebra by Howard Anton