SInce 20180106

(1) 그람-슈미트 과정 V의 기저인 v1, v2, ..., vk가 있다. v들은 정규직교기저는 아니지만, 정규직교기저로 만드는 방법을 그람-슈미트 과정이라고 한다. V1 = span(v1) 이라고 할 때, 정규직교기저 u1 = v1 / ||v1|| 을 하면 구할 수 있다. ||u1|| = ||v1 / ||v1|| || = ||v1|| * 1 / ||v1|| = 1 그래서 {u1} 은 V1의 정규직교기저가 된다. 따라서, V1 = span(v1) = span(u1) 이다. (v1≠u1) 2차원으로 확장해서 정규직교기저를 구해보자. V2 = span(v1, v2) 인데, u1도 v1과 같은 방향의 정규직교기저이기 때문에, V2 = span(u1, v2) 라고 쓸 수도 있다. 그래프를 그려서, 평면 Rn이 ..

(1) 직교기저변환과 길이와 각도 변화 C가 n x n의 정사각행렬이고, 열들이 정규직교집합을 형성한다고 하자. 각 열벡터들은 모두 길이가 1이고, 모두 서로 직교한다. 따라서, 어떤 열을 다른 열과 내적하면 0이 되고, 자기자신과 내적하면 1이 된다. 이러한 행렬을 직교행렬이라고 한다. 직교행렬의 역행렬은 전치행렬과 같다. 앞에서는 이를 기저변환에 주로 활용했다. x를 표준기저라고 하면, 다른 기저의 좌표로 x를 나타낸 [x]B는 기저변환된 좌표라고 할 수 있다. x를 [x]B로 변환하려면 C-1을 곱하고, [x]B를 x로 변환하려면 C를 곱하면 된다. 이는 선형변환이고, 직교행렬에서는 어떤 벡터를 변화시키더라도 길이와 각도가 보전된다는 것을 이 글에서 보이고자 한다. 그림으로 표현하면 분홍색 벡터 x..

(1) 정규직교기저로 정사영 계산하기 저번 글에서 정규직교기저가 좋은 좌표계, 즉 좌표를 쉽게 알 수 있는 좌표계를 만드는 것을 보았다. 정규직교기저를 활용하면 유용한 다른 이유들에 대해서 알아보자. 어떤 부분공간 V가 Rn의 부분공간이고, B = {v1, v2, ..., vk}라는 V의 정규직교집합 B가 있다. x ∈ Rn 이면, x = v + w = projvx + w 와 같이 표현할 수 있었다. 이 때, v ∈ V 이고 w ∈ V⊥ 이다. (x는 V 상에 존재하는지 알 수 없다.) 기저 벡터들을 열로 가지고 있는 행렬 A가 있다고 하자. A = [v1, v2, ..., vk] 행렬이라면, x를 부분공간 V에 정사영한 벡터를 찾기 위해서 projVx = A(ATA)-1ATx 라는 식을 계산해야 했다...

(1) 정규직교기저(Orthonormal basis) 집합 B에는 v1, v2, ..., vk의 벡터가 있고, 이 벡터들은 모두 길이가 1인 벡터라고 하자. 그래서 ||vi|| = 1 이고, ||vi||² = 1 이다. 모든 i에 대해 vi와 vi의 내적이 1이기도 하다. (i는 1~k가 될 수 있다.) 이를 정규직교집합이라고 하는데, 정규직교집합의 특징은 3가지가 있다. 1. 모든 벡터들의 길이가 1이다. 즉, 모두 정규화된 단위벡터이다. 2. 모든 벡터들이 서로 직교한다. (vi와 vj를 내적하면 1이 된다.) 그래서 i = j이면 vi · vj = 0, i ≠ j 이면 vi · vj = 0 이 된다. 3. 모든 벡터들은 선형독립이다. 만약 집합 B가 정규직교집합이라면, B는 선형독립이 된다고 했다...