역행렬: 가우스-조르당 소거법 (Gaussian-Jordan Elimination)

가우스-조르당 소거법의 개요

가우스-조르당 소거법(Gaussian-Jordan Elimination)은 선형대수에서 시스템의 해를 구하거나 역행렬을 찾기 위한 강력한 방법론이다. 이 방법은 행렬을 기약 형태로 변환하여 선형 시스템을 간단하게 해결하는 데 유용하다. 가우스 소거법과 조르당 소거법을 결합한 방식으로, 선형 방정식을 직접적으로 해석하고 역행렬을 찾는 데 필수적인 도구이다.

기본 단계

가우스-조르당 소거법은 기본적으로 두 가지 주요 단계를 포함한다: 전진 소거(forward elimination)와 후진 대체(back substitution). 이 과정은 주어진 행렬을 기약행렬 형태로 변환하고, 이를 통해 해를 도출하거나 역행렬을 계산하는 데 사용된다.

전진 소거는 원래 행렬에서 피벗을 선택하고, 이를 사용하여 아래쪽의 모든 원소를 0으로 만드는 과정이다. 이 과정은 각 열에서 0이 아닌 피벗을 찾고, 이를 기준으로 하여 그 열의 아래쪽 모든 원소를 0으로 만들어 간다. 전진 소거가 완료되면 행렬은 계단 형태를 가지게 된다.

후진 대체는 전진 소거를 통해 얻어진 계단 형태의 행렬을 기약행렬 형태로 변환하는 과정이다. 이 과정에서는 현재 열의 위쪽 원소들도 0으로 만들어, 최종적으로 각 열의 주대각선 요소가 1이 되도록 변환한다. 이를 통해 행렬이 기약행렬 형태로 변환되며, 역행렬을 직접적으로 구할 수 있는 형태가 된다.

가우스-조르당 소거법의 절차

가우스-조르당 소거법의 절차는 다음과 같은 단계로 구성된다:

단계 1: 원본 행렬 준비 행렬을 표준 형태로 작성한다. 주어진 시스템이 $ Ax = b $의 형태일 때, 확장 행렬 $ [A|b] $를 준비한다. 이 확장 행렬을 기약 형태로 변환하는 것이 목표이다.

단계 2: 전진 소거 각 열의 피벗을 선택하고, 이를 기준으로 해당 열의 아래쪽 원소들을 0으로 만든다. 이때, 피벗을 1로 만드는 과정을 포함하여 각 행을 조작한다. 이 과정은 행렬을 상삼각 형태로 변환하는 과정과 유사하다.

단계 3: 후진 대체 전진 소거로 얻어진 상삼각 형태의 행렬을 기약행렬 형태로 변환한다. 각 열의 위쪽 원소를 0으로 만들어, 최종적으로 행렬이 단위 행렬에 가까운 형태가 되도록 변환한다.

단계 4: 해의 도출 또는 역행렬 계산 기약행렬 형태로 변환된 행렬에서 해를 직접적으로 읽어내거나, 원래의 행렬에 대응하는 역행렬을 계산한다. 확장 행렬의 경우, 해를 구하기 위해 변환된 행렬의 우측 열에서 직접적으로 해를 읽을 수 있다.

예제와 적용

가우스-조르당 소거법의 적용을 예제로 살펴보면, 3x3 행렬을 이용해 이 방법을 직접 수행할 수 있다. 예를 들어, 행렬 $ A $가 다음과 같을 때:

$$A = \begin{pmatrix} 2 & 1 & -1 \\ -3 & -1 & 2 \\ -2 & 1 & 2 \end{pmatrix}$$

이 행렬에 대해 가우스-조르당 소거법을 적용하면, 행렬을 기약행렬 형태로 변환할 수 있다. 변환 과정에서 각 행을 적절히 조작하여, 최종적으로 단위 행렬로 변환된다.

단계별 설명:

1. 전진 소거: 행렬을 변환하여 상삼각 형태로 만들기 위해, 피벗을 선택하고 해당 열의 아래쪽 원소들을 0으로 만든다.

2. 후진 대체: 상삼각 형태의 행렬을 기약행렬 형태로 변환하기 위해, 각 열의 위쪽 원소들도 0으로 만든다.

3. 역행렬 계산: 기약행렬에서 원래의 행렬에 해당하는 역행렬을 직접적으로 읽어낸다.

특성 및 장점

가우스-조르당 소거법은 선형 시스템을 해결하는 데 있어 매우 직관적이며, 특히 작은 규모의 시스템에서는 계산이 간단하고 효과적이다. 또한, 이 방법은 직접적인 계산을 통해 행렬의 기약형을 구할 수 있기 때문에, 다양한 문제에 유용하게 적용된다. 기약형 행렬에서 역행렬을 구하는 것도 매우 간단하며, 수치적 안정성도 높다.

이 방법은 시스템의 해를 찾는 것 외에도 행렬의 특성을 분석하거나, 선형 시스템의 해가 존재하는지 여부를 판단하는 데 유용하다.

---

관련 자료:

• 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