촐레스키 분해 계산기

촐레스키 분해 계산기 정보

촐레스키 분해 계산기는 대칭 양의 정부호 행렬 A를 하삼각 행렬 L과 그 전치 행렬 Lᵀ의 곱인 A = LLᵀ로 분해합니다. 이 분해는 수치 선형 대수학에서 매우 중요하며, 입력 행렬의 대칭성과 양의 정부호성을 활용하여 일반적인 LU 분해보다 약 두 배의 효율성을 제공합니다. 이 계산기는 애니메이션 방식의 단계별 유도 과정, 대화형 셀 강조 표시, 그리고 LLᵀ가 A를 재구성하는지 확인하는 자동 검증 기능을 제공합니다.

촐레스키 분해의 작동 원리

n×n 대칭 양의 정부호 행렬 A가 주어지면, 알고리즘은 L을 열 단위로 계산합니다. 각 열 j에 대해:

대각 요소:

$$L_{jj} = \sqrt{A_{jj} - \sum_{k=1}^{j-1} L_{jk}^2}$$

비대각 요소 (i > j인 경우):

$$L_{ij} = \frac{1}{L_{jj}} \left( A_{ij} - \sum_{k=1}^{j-1} L_{ik} L_{jk} \right)$$

알고리즘은 열을 따라 왼쪽에서 오른쪽으로 진행됩니다. 각 대각 요소 계산에는 제곱근이 포함되는데, A가 양의 정부호일 때 이 값은 항상 양의 실수임이 보장됩니다. 제곱근 안에 음수 값이 나타나면 행렬이 양의 정부호가 아님을 의미합니다.

촐레스키 분해의 조건

주요 특징

촐레스키 분해 계산기 사용 방법

1. 행렬 크기 선택 — 2×2에서 6×6 중에서 선택합니다. 촐레스키 분해는 정사각 행렬이 필요합니다.
2. 값 입력 — 행렬 셀을 채웁니다. 계산기는 대칭성을 유지하기 위해 대각선을 가로질러 항목을 자동으로 미러링합니다 (A[i,j]를 수정하면 A[j,i]가 자동으로 설정됨).
3. 분해 클릭 — "분해 A = LLᵀ" 버튼을 눌러 계산을 시작합니다.
4. 결과 탐색 — 색상으로 구분된 A = L × Lᵀ 방정식을 확인합니다. L의 셀을 클릭하여 유도 공식을 확인하세요. "모두 재생"을 사용하여 모든 요소를 자동으로 단계별 확인이 가능합니다.
5. 검증 — 계산기가 L × Lᵀ를 다시 곱하여 최대 오차를 보고하며, 분해가 정확한지 확인합니다.

실제 응용 분야

촐레스키 vs 기타 분해법

자주 묻는 질문

촐레스키 분해란 무엇인가요?

앙드레 루이 촐레스키의 이름을 딴 촐레스키 분해는 대칭 양의 정부호 행렬 A를 A = LLᵀ로 분해하는 것으로, 여기서 L은 양의 대각 요소를 가진 하삼각 행렬입니다. 가장 효율적이고 수치적으로 안정적인 행렬 분해 방법 중 하나입니다.

촐레스키 분해는 언제 적용할 수 있나요?

행렬은 반드시 대칭(A = Aᵀ)이어야 하며 양의 정부호(모든 고윳값이 양수, 또는 모든 0이 아닌 벡터 x에 대해 xᵀAx > 0)여야 합니다. 일반적인 예로는 공분산 행렬, 상관 행렬, 그람 행렬, 구조 공학의 강성 행렬 등이 있습니다.

행렬이 양의 정부호가 아니면 어떻게 되나요?

행렬이 양의 정부호가 아니면 분해 과정에서 제곱근 안에 음수 값이 나타나게 되며, 이는 실수가 아닙니다. 계산기는 정확히 어느 대각선 단계에서 실패했는지 나타내는 오류를 보고합니다. 행렬의 대칭 오류를 확인하거나, 양의 준정부호 행렬의 경우 LDLᵀ 분해를 고려해 보세요.

촐레스키 분해를 사용하여 선형 시스템을 어떻게 푸나요?

Ax = b를 풀기 위해 먼저 A = LLᵀ로 분해합니다. 그런 다음 전진 대입으로 Ly = b를 풀고(L이 하삼각 행렬이므로), 후진 대입으로 Lᵀx = y를 풉니다. L과 Lᵀ가 동일한 데이터를 공유하므로 LU 분해를 통한 풀이보다 약 두 배 빠릅니다.

촐레스키 분해와 행렬식(Determinant) 사이의 관계는 무엇인가요?

A = LLᵀ이므로, det(A) = det(L) × det(Lᵀ) = det(L)² 성립합니다. L은 삼각 행렬이므로 det(L)은 단순히 대각 요소들의 곱입니다. 이는 양의 정부호 행렬의 행렬식을 계산하는 매우 효율적인 방법을 제공합니다.

복소수 행렬에도 촐레스키 분해를 적용할 수 있나요?

네, 복소수 행렬의 경우 A가 에르미트(Hermitian) 양의 정부호 행렬(A = A*, A*는 켤레 전치)이어야 합니다. 분해 식은 A = LL*가 되며, 여기서 Lᵀ는 L의 켤레 전치인 L*로 대체됩니다. 본 계산기는 실수 행렬을 처리합니다.