# 행렬: 삼각행렬

#### 삼각행렬의 정의

삼각행렬은 행렬의 중요한 특수 형태로, 행렬의 구조를 단순화하고 여러 수학적 문제를 해결하는 데 유용하다. 삼각행렬은 상삼각행렬(Upper Triangular Matrix)과 하삼각행렬(Lower Triangular Matrix)로 구분된다.

**상삼각행렬**은 모든 비주요 요소가 0인 정방행렬로, 주대각선 위와 아래의 모든 요소가 0인 행렬을 의미한다. 즉, 상삼각행렬의 모든 요소 $ a\_{ij} $는 $ i < j $일 때 0이다. 수식으로 표현하면, $ A = \[a\_{ij}] $인 행렬 A에서 $ a\_{ij} = 0 $ (i < j)인 경우 상삼각행렬이다.

**하삼각행렬**은 모든 비주요 요소가 0인 정방행렬로, 주대각선 위와 아래의 모든 요소가 0인 행렬을 의미한다. 즉, 하삼각행렬의 모든 요소 $ a\_{ij} $는 $ i > j $일 때 0이다. 수식으로 표현하면, $ A = \[a\_{ij}] $인 행렬 A에서 $ a\_{ij} = 0 $ (i > j)인 경우 하삼각행렬이다.

#### 삼각행렬의 성질

삼각행렬은 여러 가지 중요한 수학적 성질을 가진다. 이러한 성질들은 선형대수에서 문제를 해결하는 데 유용하게 사용된다.

**행렬식**은 삼각행렬의 경우 주대각선의 모든 원소의 곱으로 계산된다. 즉, 상삼각행렬 $ A $의 행렬식은 $ \text{det}(A) = \prod\_{i=1}^{n} a\_{ii} $이다. 이는 하삼각행렬에도 동일하게 적용된다. 이 특성 덕분에 삼각행렬의 행렬식 계산이 간단해진다.

**역행렬**의 존재는 상삼각행렬과 하삼각행렬 모두에 대해 다음과 같은 조건을 가진다. 만약 삼각행렬의 모든 주대각선 원소가 0이 아니면, 해당 삼각행렬은 역행렬을 가진다. 이는 삼각행렬의 역행렬 역시 삼각행렬이 되며, 상삼각행렬의 역행렬은 다시 상삼각행렬이 되고, 하삼각행렬의 역행렬은 다시 하삼각행렬이 된다.

**행렬의 곱셈**에서, 두 상삼각행렬을 곱하면 결과는 다시 상삼각행렬이 된다. 마찬가지로 두 하삼각행렬을 곱하면 결과는 다시 하삼각행렬이 된다. 이는 삼각행렬의 곱셈 성질이 삼각행렬의 형태를 유지한다는 것을 의미한다.

#### 삼각행렬의 분해

삼각행렬은 선형대수에서 여러 가지 분해 방법에 중요한 역할을 한다. 주요한 분해 방법 중 두 가지는 LU 분해와 QR 분해이다.

**LU 분해**는 주어진 행렬을 상삼각행렬과 하삼각행렬의 곱으로 분해하는 방법이다. 즉, 임의의 정방행렬 $ A $를 $ A = LU $로 분해할 수 있으며, 여기서 $ L $은 하삼각행렬, $ U $는 상삼각행렬이다. 이 분해 방법은 연립방정식의 해를 구하거나 행렬의 역행렬을 구하는 데 유용하다.

**QR 분해**는 임의의 행렬을 직교행렬과 상삼각행렬의 곱으로 분해하는 방법이다. 즉, 행렬 $ A $를 $ A = QR $로 분해하며, 여기서 $ Q $는 직교행렬, $ R $은 상삼각행렬이다. QR 분해는 주로 최소제곱문제를 해결하거나 선형회귀 분석에서 활용된다.

#### 삼각행렬의 응용

삼각행렬은 다양한 수학적 및 공학적 문제 해결에 필수적인 역할을 한다. 특히, 삼각행렬의 구조적 특성은 복잡한 행렬 연산을 단순화하며, 이를 통해 효율적인 알고리즘 설계와 구현이 가능하다.

**해의 유일성**: 삼각행렬의 사용은 연립방정식의 해의 유일성을 보장하는 데 기여한다. 삼각형식으로 변환된 시스템은 해를 구하는 데 필요한 계산을 단순화한다.

**계산 효율성**: 삼각행렬의 구조를 이용하면 행렬 연산, 특히 해를 찾는 과정에서 계산의 효율성을 높일 수 있다. 이는 대규모 데이터 분석 및 계산에서 중요한 역할을 한다.

**수치 안정성**: 삼각행렬을 이용한 계산은 수치적 안정성을 높이는 데 기여하며, 이는 특히 수치해석 및 과학적 계산에서 중요한 요소로 작용한다.

***

관련 자료:

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