대수학 | |||||||||||||||||||||||
이론 | |||||||||||||||||||||||
기본대상 | 방정식 ・ 부등식 ・ 산술 | ||||||||||||||||||||||
수 체계 | 실수 · 복소수 · 사원수 | ||||||||||||||||||||||
구조와 관심대상 | |||||||||||||||||||||||
군(Group) | 군의 작용, 실로우 정리 | ||||||||||||||||||||||
환(Ring) | 가환대수학 | ||||||||||||||||||||||
체(Field) | 갈루아 이론 | ||||||||||||||||||||||
가군(Module) | |||||||||||||||||||||||
대수(Algebra) | |||||||||||||||||||||||
정리 | |||||||||||||||||||||||
대수학의 기본정리 · 나머지 정리 | |||||||||||||||||||||||
다항식 · 유클리드 호제법 · 대수#s-1 · 노름 | |||||||||||||||||||||||
분야와 관심대상 | |||||||||||||||||||||||
대수학 | |||||||||||||||||||||||
정수론 | 대수적 정수론 · 해석적 정수론 | ||||||||||||||||||||||
선형대수학 | 벡터 · 행렬 · 선형변환 | ||||||||||||||||||||||
대수기하학 | 스킴 · 모티브 · 사슬 복합체 |
1 개요
그람-슈미트 과정(Gram-Schmidt process)은 R, C을 스칼라로 갖는 유한차원 내적 공간의 기저로부터, 정규직교(orthonormal) 기저를 얻는 과정이다. 이 과정에 따르면, 유한차원 내적 공간의 기저로부터, (벡터 공간은 항상 기저를 가지므로) 정규직교 기저를 항상 갖는다.
2 구체적인 과정
유한차원 내적 공간(V,(⋅∣⋅))의 기저 {v1,…,vn}를 생각하자.
- ui:=vi−∑j\lti(vi∣uj)(uj∣uj)uj
- wi:=1(ui∣ui)ui
여기서, {u1,…,uk}가 직교(orthogonal) 기저라는 것은, 귀납적으로 보일 수 있다. wj의 크기는 1이므로, {w1,…,wn}는 정규직교 기저이다.
3 응용
- 임의의 A∈GLn(C)에 대해, U∈U(n)가 존재하여, AU−1은 하삼각행렬(lower triangular matrix)[1]이다.
A=(v1…vn)∈GLn(C)의 열벡터들은 기저를 이룬다. 이것에 그람-슈미트 과정을 적용하여 얻은 벡터wi를 이용하여, U=(w1…wn)라 하자. 그러면 첫번째에 의해, AU−1는 하삼각행렬임을 알 수 있다.
- 이동 ↑ 주대각선 위 쪽이 모두 0인 행렬