[선형대수학] 15. 내적공간 (3: 단위벡터, 정규직교기저, 직교사영)
길이가 1인 벡터를 단위벡터(unit vector)라고 한다. 내적공간 V상의 벡터 x(≠0)에 대하여 1||x||x는 단위벡터이다. 벡터의 길이가 1이 되게끔 어떤 벡터에 그 벡터의 길이의 역수를 곱하는 과정을 정규화(normalization)라고 한다. 예를들어 R3상의 벡터 u=(2,−2,1)를 정규화하면 ||u||=√22+(−2)2+12=√9=3이므로 1||u||u=(23,−23,13)는 u의 정규화된 단위벡터이다.
내적공간 V상의 벡터 x1,...,xk에 대하여⟨xi,xj⟩=δij={0(i≠j)1(i=j)
V를 벡터공간, U,W를 V의 부분공간이라 하자. V=U⊕W이고 임의의 u∈U, w∈W에 대하여 x=u+w∈U⊕W, T(X)=u이면 선형변환 T:V→V를 V에서 부분공간 U로의 사영(projection)이라고 한다.
U, W를 내적공간 V의 부분공간이라 하자. 임의의 u∈U, w∈W에 대하여 ⟨u,w⟩=0이면 U와 W는 직교(orthogonal)라 하고 U⊥W로 나타낸다. 이때 U∩W={0}이다. U의 모든 벡터들과 수직인 V상의 모든 벡터들의 집합을 U의 직교 여집합(orthogonal complement)이라 하고 이를 U⊥로 나타낸다. 즉,U⊥={v∈V|⟨v,u⟩=0,u∈U}
(1) dimU+dimU⊥=dimV
(2) (U⊥)⊥=U
(3) V=U⊕U⊥, 이는 임의의 x∈V에 대하여 유일한 xU∈U, xU⊥∈U⊥가 존재해서 x=xU+xU⊥이고 이를 V(또는 x)의 U에 의한 직교분해(orthogonal decomposition)라고 한다.
(1)에 대한 증명은 생략하겠다. U상의 모든 벡터들은 U⊥와 직교한다. 즉 U⊂(U⊥)⊥이고 (1)에 의해 dim(U⊥)⊥=n−dimU⊥=dimU이므로 (U⊥)⊥=U이다. 이렇게 해서 (2)를 증명했다.
(3)을 증명하면 U에 대한 기저 {v1,...,vk}에 대하여 U⊥에 대한 기저 {vk+1,...,vn}을 선택하자. U∩U⊥={0}이기 때문에 {v1,...,vk,vk+1,...,vn}은 일차독립이고 V의 기저이다. 그러므로 모든 x∈V에 대하여 유일하게x=k∑i=1aivi+n∑j=k+1bjvj
V를 내적공간, U를 V의 부분공간, V=U⊕U⊥라 하자. x∈V의 U로의 직교사영(orthogonal projection)을 ProjUx로 나타낸다. V상의 단위벡터 u는 부분공간 U={ru|r∈R}을 결정한다. 그러므로 x의 U로의 직교사영을 ProjUx=⟨x,u⟩u로 나타낼 수 있다.
2차원 평면 R2상에 있는 점 P(x0,y0)에서 직선 ax+by+c=0으로의 최단거리를 구하자. 벡터 →n=(a,b)는 직선 ax+by+c=0과 수직이다. 그러므로 벡터 →QP의 →n위로의 정사영의 크기는 앞에서 구하고자 하는 직선의 최단거리이고, 그 최단거리는d=||Proj→n→QP||=|→QP⋅→n|||→n||=|a(x0−x1)+b(y0−y1)|√a2+b2=|ax0+by0+c|√a2+b2
참고자료:
Linear Algebra, jinho Kwak, sungpyo Hong, Birkhauser
'대수학 > 선형대수학' 카테고리의 다른 글
[선형대수학] 17. 고유값과 고유벡터 (0) | 2018.12.12 |
---|---|
[선형대수학] 16. 내적공간 (4: 그람-슈미츠 직교화) (0) | 2017.11.06 |
[선형대수학] 14. 내적공간 (2: 내적의 행렬표현) (0) | 2017.10.28 |
[선형대수학] 13. 내적공간 (1: 내적의 정의) (0) | 2017.10.24 |
[선형대수학] 12. 선형변환 (5: 쌍대공간과 선형범함수) (0) | 2017.10.23 |