행렬 랭크 계산기

행렬 랭크 계산기에 오신 것을 환영합니다. 이 계산기는 가우스 소거법을 사용하여 모든 행렬의 랭크를 결정하는 포괄적인 선형 대수학 도구입니다. 행렬의 랭크는 선형 독립인 행 또는 열 벡터의 최대 개수로, 방정식 시스템의 해 존재 여부, 변환의 가역성, 데이터 압축 방법 등을 결정하는 근본적인 개념입니다. 본 계산기는 단계별 행 축소, 피벗 분석, 영 공간 계산, 시각적 히트맵 및 랭크-계단수 정리를 통한 검증 기능을 제공합니다.

행렬의 랭크란 무엇인가요?

행렬 A의 랭크(rank, 계수)는 다음과 같이 정의됩니다:

동일한 의미로 랭크는 다음과 같습니다:

• 행렬 A의 행 사다리꼴(REF)에서 피벗 위치의 개수
• 행렬 A의 열 공간(이미지)의 차원
• 행렬 A의 행 공간의 차원
• 행렬 A의 0이 아닌 특잇값(singular values)의 개수
• 0이 아닌 가장 큰 소행렬식(정사각 부분 행렬의 행렬식)의 크기

m×n 행렬의 경우, 랭크는 \(0 \leq \text{rank}(A) \leq \min(m, n)\)을 만족합니다.

가우스 소거법이 랭크를 결정하는 방법

가우스 소거법(행 축소라고도 함)은 세 가지 기본 행 연산을 사용하여 행렬을 행 사다리꼴(REF)로 변환합니다:

1. 행 교환: 두 행을 서로 바꿈 (\(R_i \leftrightarrow R_j\))
2. 행 스케일링: 행에 0이 아닌 상수를 곱함 (\(R_i \leftarrow c \cdot R_i\))
3. 행 덧셈: 한 행의 배수를 다른 행에 더함 (\(R_i \leftarrow R_i + c \cdot R_j\))

행 사다리꼴에서:

• 모든 영행(모든 원소가 0인 행)은 맨 아래에 위치합니다.
• 각 0이 아닌 행의 첫 번째 원소(피벗)는 위쪽 행의 피벗보다 오른쪽에 위치합니다.
• 랭크는 REF에서 0이 아닌 행(피벗)의 개수와 같습니다.

이 계산기는 수치적 안정성을 높이기 위해 각 열에서 절대값이 가장 큰 값을 피벗으로 선택하는 부분 피벗팅(partial pivoting) 기법을 사용합니다.

랭크-계단수 정리 (Rank-Nullity Theorem)

여기서 n은 행렬 A의 열 개수입니다. 계단수(nullity)는 영 공간(커널)의 차원으로, Ax = 0의 모든 해의 집합입니다. 이 정리는 모든 열이 랭크에 기여하는 피벗 열이거나, 계단수에 기여하는 자유 열 중 하나임을 의미합니다.

랭크와 선형 방정식 시스템

행렬의 랭크는 선형 시스템 Ax = b의 해의 존재 여부를 직접적으로 결정합니다:

특수 사례 및 속성

풀 랭크 (Full Rank)

rank(A) = min(m, n)일 때 행렬은 풀 랭크라고 합니다:

• n×n 정사각 행렬의 경우: 풀 랭크는 가역적(det ≠ 0)이며 자명한 영 공간을 가짐을 의미합니다.
• 세로로 긴 행렬 (m > n): 풀 컬럼 랭크는 단사(일대일) 함수임을 의미합니다.
• 가로로 넓은 행렬 (m < n): 풀 로우 랭크는 전사(치역과 공역이 같음) 함수임을 의미합니다.

랭크 부족 행렬 (Rank-Deficient)

rank(A) < min(m, n)인 경우 행렬은 랭크 부족 상태입니다 (정사각 행렬의 경우 특이 행렬). 이는 행 또는 열이 선형 종속일 때 발생하며, 일부 행을 다른 행들의 조합으로 표현할 수 있음을 의미합니다.

주요 랭크 항등식

• rank(A) = rank(A^T) — 행 랭크와 열 랭크는 항상 같습니다.
• rank(AB) ≤ min(rank(A), rank(B)) — 곱의 랭크 범위
• rank(A + B) ≤ rank(A) + rank(B) — 아교환성(Subadditivity)
• rank(A^TA) = rank(AA^T) = rank(A)

분야별 행렬 랭크의 활용

자주 묻는 질문

행렬의 랭크란 무엇인가요?

행렬의 랭크(rank, 계수)는 행렬에서 선형 독립인 행 벡터(또는 열 벡터)의 최대 개수입니다. 이는 열 공간(또는 행 공간)의 차원을 나타냅니다. m×n 행렬에서 랭크는 최대 min(m, n)이며, 랭크가 min(m, n)과 같은 행렬을 풀 랭크(full rank)라고 합니다.

가우스 소거법으로 행렬 랭크를 어떻게 계산하나요?

가우스 소거법은 행 교환, 행에 0이 아닌 상수 곱하기, 한 행의 배수를 다른 행에 더하기와 같은 기본 행 연산을 수행하여 행렬을 행 사다리꼴(REF)로 변환합니다. 랭크는 REF에서 0이 아닌 행의 개수(또는 피벗 위치의 개수)와 같습니다. 이 방법은 선형 대수학 과정에서 배우는 표준 알고리즘 방식입니다.

랭크-계단수 정리란 무엇인가요?

랭크-계단수 정리는 임의의 m×n 행렬 A에 대해 rank(A) + nullity(A) = n(여기서 n은 열의 개수)이 성립한다는 정리입니다. 계단수(nullity)는 영 공간(Ax = 0을 만족하는 모든 벡터 x의 집합)의 차원입니다. 이 근본적인 정리는 열 공간과 영 공간의 차원을 연결합니다.

언제 행렬이 풀 랭크가 되나요?

행렬의 랭크가 행과 열의 수 중 작은 값인 min(m, n)과 같을 때 풀 랭크라고 합니다. n×n 정사각 행렬의 경우, 풀 랭크는 rank = n을 의미하며, 이는 행렬이 가역적(비특이)이고 행렬식이 0이 아님을 뜻합니다. 풀 랭크 행렬은 자명한 영 공간(영 벡터만 존재)을 가지며 열들이 선형 독립입니다.

행 랭크와 열 랭크의 차이점은 무엇인가요?

선형 대수학의 기본 정리에 따르면 모든 행렬에서 행 랭크(행 공간의 차원)는 항상 열 랭크(열 공간의 차원)와 같습니다. 이 공통된 값을 단순히 행렬의 랭크라고 부릅니다. 가우스 소거법은 피벗 행의 개수를 세어 행 랭크를 직접적으로 보여주지만, 이 숫자는 열 랭크와도 일치합니다.

행렬 랭크는 선형 방정식 시스템과 어떤 관련이 있나요?

방정식 Ax = b에서 랭크는 해의 존재 여부를 결정합니다. 만약 rank(A) = rank([A|b])이면 시스템은 일관적(해 존재)입니다. 추가로 rank(A) = n(미지수의 개수)이면 해는 유일합니다. 만약 rank(A) < n이면 n - rank(A)개의 자유 변수로 매개변수화된 무수히 많은 해가 존재합니다. 루셰-카펠리 정리가 이러한 조건들을 공식화합니다.

추가 리소스

• 랭크 (선형 대수학) - 위키백과
• 가우스 소거법 - 위키백과
• 랭크-계단수 정리 - 위키백과