연습 끝나고 질문하신분이 있는데요,
linear system의 matrix가 strictly diagonally dominant일때 Jacobi, Gauss-Seidel methods가 수렴한다. 에 대한 증명은, 지금은 불가능 합니다.
advanced book을 참고하셔야 하는데,
이 정리의 증명은 textbook에서도 다루고 있지 않고, 학습과정의 흐름에 큰 의미를 갖지 않으므로, 굳이 찾아서 보실 필요는 없지만
혹시 궁금하시면 다음 사이트를 참고하시기 바랍니다.
http://math.fullerton.edu/mathews/n2003/GaussSeidelMod.html
선형대수학 개론의 과정에서 증명하기는 어려운 문제인 것 같네요.