REF, RREF
"행사다리꼴" 혹은 "행 기약 사다리꼴(Row Echelon Form, REF)"과 "기약 행 사다리꼴(Reduced Row Echelon Form, RREF)"은 선형대수에서 연립방정식을 정리하거나 행렬의 구조를 분석할 때 사용하는 표준 형태야. 아래에서 개념, 원리, 목적까지 체계적으로 설명할게.
✅ 1. 기본 개념
1-1. 행 사다리꼴(Row Echelon Form, REF)
다음 조건을 만족하는 행렬을 말해:
- 0이 아닌 행이 위에 있고, 0으로만 이루어진 행은 아래에 있어야 해.
- 각 행에서 처음으로 0이 아닌 원소(leading entry)는 그 아래 행의 같은 열보다 오른쪽에 위치해야 해.
- 각 leading entry 아래의 모든 원소는 0이어야 해.
예시:
[1 2 0 3]
[0 1 4 5]
[0 0 0 1]1-2. 기약 행 사다리꼴(Reduced Row Echelon Form, RREF)
REF 조건 + 아래 조건을 더 만족해야 해:
- 각 행의 leading entry는 1이어야 함.
- 각 leading 1 위와 아래에 있는 모든 원소가 0이어야 함 (즉, 해당 열은 leading 1을 제외하면 전부 0)
예시:
[1 0 0 2]
[0 1 0 -1]
[0 0 1 3]✅ 2. 원리: 어떻게 만들까?
이건 **가우스 소거법(Gaussian Elimination)**이나 **가우스-조르당 소거법(Gauss-Jordan Elimination)**을 통해 만들 수 있어.
핵심 연산 (행 기본 연산):
- 두 행을 맞바꿈 (row swap)
- 한 행에 상수를 곱함 (row scaling)
- 한 행에 다른 행의 배수를 더하거나 뺌 (row addition)
✅ 3. 왜 이런 개념이 필요할까?
📌 실질적인 목적:
➤ 1. 연립방정식 해를 구하기 위함
- 연립방정식을 행렬로 표현한 뒤, REF나 RREF로 바꾸면 해를 쉽게 알 수 있음.
- 특히 RREF는 해의 개수(유일, 무한, 없음)를 직관적으로 파악하게 해줘.
➤ 2. 기저(Basis)와 차원(Dimension) 계산
- 행 또는 열의 선형 독립성을 판단할 수 있고, 기저를 찾을 수 있어.
➤ 3. 계수(rank) 계산
- 행렬의 RREF 형태에서 0이 아닌 행의 수는 행렬의 **계수(rank)**야. 이는 선형 시스템의 자유도나 독립성을 분석할 때 중요해.
✅ 4. 정리 요약표
| 구분 | REF (행 사다리꼴) | RREF (기약 행 사다리꼴) |
|---|---|---|
| 조건1 | 0이 아닌 행은 위쪽에 | 동일 |
| 조건2 | leading entry는 오른쪽으로 이동 | 동일 |
| 조건3 | leading entry 아래는 0 | 동일 |
| 조건4 | - | leading entry는 1 |
| 조건5 | - | leading entry의 위쪽도 0 |
✅ 부가 예시 (연립방정식과 연결)
다음 연립방정식을 생각해보자:
x + 2y + z = 3
2x + 4y + z = 7 이걸 행렬로 쓰면:
[1 2 1 | 3]
[2 4 1 | 7]REF로 바꾸면:
[1 2 1 | 3]
[0 0 -1 | 1]RREF는:
[1 2 0 | 2]
[0 0 1 | -1]→ 해:
z = -1
x + 2y = 2 → x = 2 - 2y (y는 자유변수)즉, 무한히 많은 해가 존재한다는 걸 기약 행 사다리꼴을 통해 명확히 알 수 있어.
필요하면 가우스 소거법으로 직접 변환하는 과정을 예시로 보여줄 수도 있어. 원할까?
개발자