Subspace 의 모든 벡터와 orthogonal한 벡터들의 집합을 Orthogonal Complement라고 한다.

에서 빠진 나머지 벡터들의 집합이 아니라, 전체에 수직인 방향들로 이루어진 Subspace이다.

Orthogonal Complement가 Subspace인 이유

이고 scalar 가 주어졌다고 하자. 모든 에 대해

이므로 이다.

기본 성질

이다. 이면 자기 자신과도 orthogonal하므로

이고 이다.

유한차원에서는

이며

이다.

Fundamental Subspace와 Orthogonality

행렬 에 대해

이다. 이라는 것은 의 각 row와 의 Inner Product가 0이라는 뜻이다.

또한

이다. 따라서 네 Fundamental Subspace는 두 쌍의 Orthogonal Complement를 이룬다.

하나의 벡터에 대한 Projection

nonzero vector 가 만드는 직선 위로 를 Projection하면

이다.

Projection coefficient는 방향으로 얼마나 포함되어 있는지를 나타낸다.

나머지 성분은

이고 와 orthogonal하다.

Subspace에 대한 Projection

의 Orthogonal Basis가 이면

이다.

Orthonormal Basis 이면

이다.

Projection Matrix

Orthonormal Basis vector를 column으로 모은 행렬을

라고 하면

이다. 따라서 Projection Matrix는

이다.

는 다음 성질을 만족한다.

Symmetric이고 idempotent하다. 이미 위에 있는 벡터를 다시 Projection해도 변하지 않기 때문이다.

일반 Basis를 사용한 Projection Matrix

의 column들이 Linearly Independent하고 라면

이다.

이는 Least Squares의 핵심 공식이다. 와 가장 가까운 의 벡터이다.

Orthogonal Decomposition Theorem

모든 은 유일하게

로 분해된다.

구체적으로

이다.

예제

이다.

이므로

이다. Orthogonal component는

이며 실제로 이다.

정리

  • 전체와 orthogonal한 벡터들의 Subspace이다.
  • , 이다.
  • , 이다.
  • Orthonormal Basis matrix 에 대한 Projection Matrix는 이다.
  • Projection Matrix는 symmetric하고 idempotent하다.

확인 문제

일 때 의 Basis를 구한다.

풀이

에 속하려면

이어야 한다. 로 두면 이므로

이다.