기약 행 사다리꼴 계산기: 행렬을 단계별로 푸는 방법

기약 행 사다리꼴이란 무엇인가요?

기약 행 사다리꼴(RREF)은 행 연산을 통해 행렬을 변환할 수 있는 특정한 형태이며, 행 사다리꼴 형태를 가장 단순하게 정리한 버전입니다. 행렬이 RREF가 되려면 네 가지 조건을 만족해야 합니다. 0이 아닌 모든 행의 선행 성분(피벗)이 정확히 1일 것, 각 피벗이 바로 위 행의 피벗보다 엄격하게 오른쪽에 있을 것, 피벗의 아래뿐 아니라 위에 있는 모든 성분도 0일 것, 그리고 모든 성분이 0인 행은 맨 아래로 밀려나 있을 것입니다. 세 번째 조건, 즉 피벗의 아래는 물론 위까지 0이어야 한다는 점이 RREF를 일반 행 사다리꼴 형태와 구분해 줍니다. 모든 행렬은 행 연산을 어떤 순서로 수행하든 상관없이 정확히 하나의 RREF를 가집니다. 이 유일성이 RREF를 유용하게 만듭니다. 두 사람이 같은 행렬을 서로 다른 순서의 단계로 손수 축소해도 항상 동일한 최종 행렬에 도달합니다.

RREF의 조건: 0이 아닌 모든 행에 선행 1이 있을 것, 아래로 내려갈수록 피벗이 오른쪽으로 이동할 것, 모든 피벗의 위아래가 0일 것, 영행은 맨 아래에 있을 것. 그리고 그 결과는 주어진 행렬에 대해 유일합니다.

기약 행 사다리꼴 계산기는 어떻게 답을 구하나요?

기약 행 사다리꼴 계산기는 가우스 소거법을 한 단계 더 확장한 가우스-조던 소거법 알고리즘을 적용합니다. 여기에는 세 가지 정당한 행 연산만 사용되며, 각 연산은 행렬이 나타내는 연립방정식의 해집합을 그대로 보존합니다. 두 행을 서로 바꾸기, 한 행에 0이 아닌 상수를 곱하기, 한 행의 배수를 다른 행에 더하기입니다. 계산기는 행렬이 RREF의 네 조건을 모두 만족할 때까지 이 연산들을 열 단위로 반복합니다. 내부적으로 이 과정은 두 번의 패스로 진행됩니다. 전진 패스에서는 피벗을 만들고 각 피벗 아래의 성분을 0으로 지워 일반적인 행 사다리꼴 형태를 만듭니다. 이어지는 후진 패스에서는 맨 아래 피벗부터 위로 올라가며 각 피벗 위의 성분을 지우고, 모든 피벗 행에 배율을 적용해 선행 성분을 정확히 1로 만듭니다. 이 두 번째 패스가 바로 일반 행 사다리꼴 계산기가 건너뛰는 부분이며, REF와 RREF의 차이이기도 합니다.

행 사다리꼴 형태와 기약 행 사다리꼴, 무엇이 다른가요?

행 사다리꼴 형태(REF)는 각 피벗 아래가 0이고, 아래 행으로 갈수록 피벗이 오른쪽으로 이동할 것만 요구합니다. 피벗 값 자체는 0이 아닌 어떤 수든 될 수 있고, 피벗 위의 성분도 0이 아닐 수 있습니다. 기약 행 사다리꼴은 여기서 한 걸음 더 나아갑니다. 피벗은 반드시 정확히 1이어야 하고, 피벗 위의 모든 성분도 0으로 지워져야 합니다. 두 형태 모두 같은 세 가지 행 연산으로 도달하지만, REF는 유일하지 않습니다. 같은 원래 행렬이라도 소거 순서가 다르면 겉모습이 다른 REF 행렬이 나올 수 있습니다. 반면 RREF는 항상 유일합니다. 연립방정식을 풀 때 REF만으로도 후진 대입을 통해 해를 구할 수 있지만, RREF에서는 추가적인 대수 계산 없이 행렬에서 답을 바로 읽어 낼 수 있는 경우가 많습니다. 계산기가 REF에서 멈추지 않고 기본적으로 RREF까지 계산하는 이유가 바로 이것입니다.

REF: 각 피벗 아래가 0, 피벗 값은 0만 아니면 무엇이든 가능, 유일하지 않음. RREF: 각 피벗의 위와 아래 모두 0, 피벗 값은 반드시 1, 항상 유일함.

모든 RREF의 바탕이 되는 세 가지 기본 행 연산

손으로 하든 계산기로 하든 모든 축소 과정은 정확히 세 가지 동작으로만 이루어집니다. 행렬이 같은 연립방정식을 계속 나타내게 하려면 이 외의 연산은 허용되지 않습니다.

교환하고, 배율을 곱하고, 배수를 더한다. 이 세 연산은 행렬이 나타내는 연립방정식의 해집합을 절대 바꾸지 않으며, 그렇기 때문에 행 축소가 정당합니다.

예제 풀이: 3×3 행렬을 손으로 RREF까지 축소하기

M = [[1, 2, -1], [2, 3, 1], [3, 5, 0]]을 RREF까지 끝까지 행 축소해 봅시다. 3행이 1행 더하기 2행과 같다는 점(1+2=3, 2+3=5, -1+1=0)에 주목하세요. 이 행렬이 완전 계수(full rank)를 갖지 않으리라는 힌트입니다.

M의 최종 RREF: [[1, 0, 5], [0, 1, -3], [0, 0, 0]]. 피벗 두 개와 영행 하나이므로 rank(M) = 2이며, 처음에 발견한 행 사이의 종속 관계가 확인됩니다.

예제 풀이: RREF로 연립일차방정식 풀기

2x + y - z = 8, -3x - y + 2z = -11, -2x + y + 2z = -3을 첨가행렬 [A|b]를 RREF로 축소해 풀어 봅시다.

첨가행렬의 왼쪽이 단위행렬이 되는 RREF에 도달하면 마지막 열이 곧 해입니다: x=2, y=3, z=-1. 후진 대입 계산이 전혀 필요 없습니다.

RREF의 피벗 패턴은 왜 중요한가요?

RREF에서 피벗의 위치와 개수가 행렬을 어떻게 해석해야 하는지 알려 줍니다. 피벗이 있는 각 열은 값이 유일하게 결정되는 변수에 대응하고, 피벗이 없는 열은 어떤 값이든 가질 수 있는 자유변수에 대응하며 다른 변수들은 그 자유변수로 표현됩니다. 위 예제처럼 첨가행렬의 RREF에서 왼쪽이 단위행렬이 되면 모든 변수가 각각 하나의 피벗과 하나의 고정된 값을 가지므로 해가 유일합니다. 어떤 행이 마지막 상수 열만 남기고 전부 0이 되는 경우, 예를 들어 [0, 0, 0 | 5]와 같은 행은 0 = 5를 뜻합니다. 이는 불가능한 진술이므로 다른 행이 무엇을 말하든 그 연립방정식에는 해가 전혀 없습니다.

기약 행 사다리꼴 계산기를 올바르게 쓰는 방법은?

어떤 RREF 계산기에서든 믿을 만한 답을 얻으려면 행렬을 정확히 입력하고 출력을 제대로 읽는 것이 핵심입니다.

RREF 계산을 망치는 흔한 실수는 무엇인가요?

손으로 계산하든 계산기에 잘못 입력하든, 잘못된 RREF 결과의 대부분은 몇 가지 되지 않는 똑같은 실수에서 비롯됩니다.

대부분의 RREF 오류는 후진 패스를 끝까지 하지 않았거나 행의 일부에만 행 연산을 적용해서 생깁니다. 상수 열을 포함해 모든 성분을 반드시 함께 갱신하세요.

RREF로 계수(rank)와 해의 개수를 알 수 있나요?

알 수 있습니다. 행렬이 RREF가 되면 그 계수(rank)는 단순히 피벗 행의 개수, 즉 축소 후 남은 0이 아닌 행의 개수입니다. 연립방정식 Ax = b에 대해서는 rank(A)와 첨가행렬 [A|b]의 계수를 비교하세요. 두 값이 다르면 해가 없습니다. 두 값이 같고 미지수의 개수와도 일치하면 해가 정확히 하나입니다. 두 값이 같지만 미지수의 개수보다 작으면 해가 무수히 많으며, 피벗이 없는 열마다 자유변수가 하나씩 생깁니다. 위의 축소 예제에서 M은 3개 행 중 피벗이 2개였으므로 rank(M) = 2이고, 한 행이 나머지 행들에 선형 종속이었습니다. 연립방정식 풀이 예제에서는 3개 행이 모두 피벗 행이 되어 단위행렬이 되었으므로 rank(A) = rank([A|b]) = 3이고, 이는 미지수 3개와 정확히 일치합니다. 그래서 그 연립방정식의 해가 유일했던 것입니다.

RREF에서 읽는 계수 = 피벗 행의 개수. rank(A)와 rank([A|b])를 비교하세요. 다르면 해 없음, 같고 미지수 개수와 일치하면 해 하나, 같지만 미지수보다 작으면 해가 무수히 많습니다.

연습 문제: RREF 실력을 점검해 보세요

먼저 각 행렬을 직접 행 축소한 다음, 아래 풀이와 대조해 확인하세요.

기약 행 사다리꼴은 실생활에서 어디에 쓰이나요?

RREF는 교실 안의 연습 문제로만 그치지 않습니다. 엔지니어는 키르히호프의 전압·전류 법칙에서 나오는 회로 방정식을 풀 때 RREF를 사용하며, 각 폐로나 마디마다 일차방정식이 하나씩 만들어집니다. 경제학자는 여러 산업에 걸친 투입-산출 모형의 균형을 맞추는 데 사용합니다. 컴퓨터 그래픽스와 로보틱스 파이프라인은 변환 계수와 역기구학을 풀기 위해 가우스-조던 소거법에 의존합니다. 화학자는 원소가 두세 개를 넘는 화학 반응식의 균형을 맞출 때, 각 원소의 원자 수를 행렬의 한 행으로 두고 행 축소를 활용합니다. 어떤 경우든 매력은 같습니다. RREF는 뒤엉킨 연립방정식을 답과 계수(rank), 그리고 해의 유형(유일, 무수히 많음, 없음)을 한눈에 읽어 낼 수 있는 형태로 바꿔 줍니다.