방정식을 푸는 방법들은 다양합니다.
1. Elimination (소거법)
- Success
- Failure
2. Back-substitution (후방 대입법)
3. Elimination matrices (소거 행렬)
4. Matrix multiplication (행렬 곱)
여기서 소거법은 모든 소프트웨어 패키지가 방정식을 풀 때 사용하는 방법입니다.
- 소거법이 성공하면 solution을 얻습니다.
- 좋은 matrix에 대해서만 소거법을 진행했을 때 solution을 얻을 수 있습니다. (square matrix가 아닌 것도 solution을 얻을 수 있습니다.)
다음과 같이 3개의 방정식과 3개의 미지수가 있습니다. 이전에 배운 방법을 사용해서 시스템 행렬 (system matirx)를 만들어 봅시다.
Success
2행 1열에 0을 얻었으니 다음은 3행 1열과 2열을 0으로 만들어야 합니다.
이렇게 되면 3개의 피벗을 모두 찾았습니다. 작업이 완료된 행렬을
여기까지가 성공한 케이스고 이제 실패한 케이스에 대해서 알아보겠습니다.
Failure
위에 시스템 행렬은 1행, 1열의 숫자가 1이었습니다. 이 값이 0이었다면 피벗이 0이 되어 소거가 불가능합니다.
- 피벗 위치에 0이 존재한다면 행들을 교환해야 합니다. 행을 바꿔서도 피벗을 찾을 수 없다면 역행렬이 존재하지 않는 것입니다.
다음과 같은 경우에는 교체할만한 방정식이 없고 이 상태에서 소거법을 진행하면
극복이 불가능한 complete failure가 돼버립니다.
- 이 경우 역행렬이 존재하지 않습니다. 위의 두 개의 방정식으로 마지막 방정식을 표현할 수 있어 소거를 진행하면 마지막 방정식이 전부 소거되기 때문입니다.
Back-substitution (역치환)
column b를 추가로 가져왔습니다. 이것이 Augment matrix (증강행렬)이라고 합니다. 이 상태로 위에서 했던 소거법을 진행하면 됩니다.
- 여기서 b는 extra column이라고 합니다. 이렇게 소거를 진행하면 소거된 b를 얻을 수 있어서 미지수를 구할 수 있습니다.
후방 대입법을 이해하기 위해서 b까지 함께 고려한 소거법을 살펴보겠습니다.
- 소거된 행렬
이것을 방정식으로 다시 정리하면(
Elimination matrices (소거행렬)
우리가 소거법을 사용하여 미지수의 값들을 찾았는데 이것을 행렬연산으로 표현해 보겠습니다.


행렬

그러기 위해서는 행렬
이제 다음 단계



전체적인 과정을 살펴보면
-
2행의 1열 원소를 소거해주고 3행의 1, 2열 원소를 소거해줍니다.
Permutation (치환행렬)
1행과 2행을 교환하는 과정을 행렬 연산으로 표현해보겠습니다.
다음과 같이 치환행렬 P와 A행렬이 존재할 때


P의 1행에서 A행렬 2행만 가져오고

P의 2행에서 A행렬의 1행만 가져오면 됩니다.

곱셈 순서를 바꿔주면 column을 변경할 수 있습니다.
- 어떤 순서로 곱하냐 따라서 행, 열이 바뀝니다. 즉 곱셈 순서에 따라서 연산의 의미가 바뀝니다. (교환법칙이 성립되지 않는다.)
Inverse matrix (역행렬)
소거를 통해서 A행렬을 u행렬로 바꿔줬는데 이제 다시 u행렬을 A행렬로 변경해보겠습니다.

- 행렬

- 간단하게 생각하면 이전 연산에서 1행을 가져와서 3번 빼줬으니 그 역으로 3번 더해주면 되는 것입니다.
요약
- 연립일차방정식을 시스템 행렬로 만들고 나서 소거법을 사용하면 해를 구할 수 있다. 소거법을 통해서 소거가 완료된 행렬은 상삼각행렬이 된다. (피벗을 찾아주는 과정으로 인해서)
- 소거법은 연립해서 방정식을 푸는 과정을 행렬 연산으로 표현한 것인데 이때 소거행렬의 역행렬을 통해서 쉽게 원래 행렬을 찾을 수 있다.
- 치환행렬은 행을 교환하게 해주어 피벗을 찾는 과정을 도와줄 수 있고 곱하는 순서를 바꿔주게 되면 행이 아닌 열을 교환해준다.
- 소거된 행렬에서 원소가 모두 0인 행 벡터가 존재한다면 complete failure가 되고 선형종속을 의미하기 때문에 역행렬이 존재하지 않는다. (행을 교환해도 소거를 진행할 수 없어도 complete failure이다.)
- 소거법을 진행할 때
'수학 > Gilbert Strang Linear Algebra' 카테고리의 다른 글
6. 열공간과 영공간(Column Space and Nullspace) (2) | 2022.01.27 |
---|---|
5. 전치행렬, 치환행렬, 벡터 공간(Transposes, Permutations, Spaces R^n) (0) | 2022.01.26 |
4. LU decomposition (0) | 2022.01.22 |
3. 행렬곱셈과 역행렬(Matrix Multiplication and Inverse Matrices) (0) | 2022.01.21 |
1. Linear Algebra (0) | 2022.01.06 |