선형대수 97

4-4. 벡터 사이의 각도, 수직과 직교의 차이

1. 벡터 사이의 각도 이전에는 벡터의 길이에 대해 정리하면서, 벡터의 길이는 스칼라 값이라고 했다. 이번에는 벡터 사이의 각도에 대한 개념을 정의하고자 한다. 우리는 2차원 혹은 3차원 공간에서의 각도와 길이에 대해서 잘 알고 있다. 하지만 선형대수학이라는 학문 자체가 이런 개념들을 다차원의 공간에 추상화시키는 것이기 때문에, 다차원 공간에서의 각도에 대해서도 한번 알아볼 필요가 있다. 벡터 a와 벡터 b가 있다고 가정하고, 이들은 영벡터가 아니며 Rⁿ의 원소라고 해보자. 그리고 아직 두 벡터 사이의 각에 대한 개념을 이야기하지 않았지만, 일단 2차원상에 표현하면 삼각형을 이루는 벡터 a, 벡터 b, 벡터 a-b 가 나온다. 그리고 이 삼각형의 변의 길이는 각각의 벡터의 길이라고 할 수 있다. 벡터의 ..

4-3. 벡터의 삼각부등식

1. 삼각부등식 (Triangle Inequality) 예전에 삼각형을 배울 때, 배웠던 공식과 유사하다. 삼각형 두 변의 길이의 합은 항상 나머지 한 변의 길이보다 크다는 것. 변 a의 길이 + 변b의 길이 > 변 c의 길이 이며, 변 a의 길이 + 변b의 길이 = 변 c의 길이 이면, 아래의 그림과 같이 직선이 되게 되기 때문에 삼각형이 아니게 된다. 벡터의 삼각부등식도 유사하다. ||x||+||y|| ≥ ||x+y|| 로, 두 벡터의 길이의 합은 벡터 합의 길이보다 크거나 같다. 이를 코시-슈바르츠 부등식을 활용하여 증명할 수 있다. 일단, 코시슈바르츠 부등식을 다시 써보자. 0벡터가 아닌 두 개의 벡터 x와 y가 있고, 이들은 Rⁿ의 원소라 합시다 0벡터가 아니라고 가정하는 이유는 증명하는 과정에..

4-2. 코시슈바르츠 부등식의 증명

1. 코시-슈바르츠 부등식 (Cauchy–Schwarz inequality) 영벡터가 아닌 두 벡터 x와 벡터 y가 있으며, 두 벡터는 집합 Rⁿ의 원소이라고 가정하자. 두 벡터를 내적한 값의 절대값(스칼라)은 두 벡터의 길이의 곱보다 작거나 같다. 벡터 x와 y 두 값이 같은 경우에만 두 벡터의 내적이 두 벡터의 길이의 곱과 같아진다. 즉, 하나의 벡터가 다른 벡터의 스칼라배인 경우이다. (벡터 x는 벡터 y의 스칼라 c배) 한마디로 두 벡터가 동일선상에 있는 경우이다. 이 식을 코시슈바르츠 부등식이라고 부른다. p(t)라는 임의의 벡터를 t × y - x로 정의해보자. p(t)라는 벡터의 길이는 ||t × y - x||^2으로 표현되며, 길이는 제곱한 값이기 때문에 적어도 0보다 크거나 같게 된다. ..

4-1. 벡터의 내적, 벡터의 길이

1. 벡터의 합, 스칼라 곱 앞에서 정리하기도 했고, 간단한 내용이지만 다시 한번 짚고 넘어가자. a1, a2부터 an까지의 값을 가지는 벡터와 b1, b2부터 bn까지의 값을 가지는 벡터를 더한다면, 단순히 두 벡터들의 대응되는 성분들을 서로 더하면 된다. 즉, a1 + b1, a2 + b2, ..., an + bn이 된다. 어떤 실수 c를 어떤 벡터 a1, a2, ... , an에 곱한다면 벡터의 각 성분에 스칼라를 곱하면 된다. 즉, ca1, ca2, ... , can이 된다. 이 곱셈은 단순히 벡터의 크기만 키운거일 뿐, 벡터의 곱이라고 하기는 힘들다. 2. 벡터의 내적(Dot Product) 벡터의 내적은 a·b로 표현하며, 십자 형태의 기호는 사용하지 않는다. 그 기호는 벡터의 외적에 사용되기..

3-2. 부분공간의 기저

1. 부분공간의 기저 (Basis of Subspace) 이전 포스팅에서 다룬 것처럼 부분공간 V는 어떠한 벡터집합의 생성과 같기 때문에, 임의의 벡터집합의 생성은 유효한 부분공간이라고 했다. 또한, v₁ , v₂, ... , vn에 이르는 벡터들의 집합은 선형독립이다. 생성이 무엇인지 간단하게 다시 정리하면, 생성이라는 것은 여기의 벡터들로 만들 수 있는 모든 가능한 선형결합의 집합을 말한다. 즉, 각각 다른 상수를 곱한 선형결합인c₁ x v₁ + c₂ x v₂ + ... + cn x vn으로 표현할 수 있으며, 이 결합의 모든 경우의 수가 생성이며 부분공간 V의 정의이기도 하다. 선형독립의 정의는 곧 식 c₁ x v₁ + c₂ x v₂ + ... + cn x vn 의 유일한 해가 영벡터라는 뜻이며 모..

3-1. 선형부분공간

1. 선형부분공간(Linear Subspace) ℝ𝑛이 각 벡터가 n개의 성분을 가지고 있는 무한히 큰 벡터의 집합이라고 할 때, ℝ𝑛의 부분공간은 어떻게 정의할 수 있을까? 벡터의 집합 V는 특정한 벡터의 부분집합 ℝ𝑛의 부분집합(subset)이라고 정의하자. 그렇다면 ℝ𝑛과 V의 관계는 그림의 우측에 있는 것처럼 포함관계가 되게 될 것이다. 이 때, V는 한 부분이 될 수도 있고 ℝ𝑛 전체가 될 수도 있다. V가 부분공간이거나 ℝ𝑛의 선형 부분공간이라면 3가지 조건을 충족시켜야 한다. 조건 1) V가 영벡터를 포함한다. 영벡터에는 0뿐만 아니라 복수 개의 0이 있는 값 역시 포함한다. 조건 2) 스칼라와 벡터의 곱에 대해 닫혀있다. V가 어떤 벡터 x를 가지고 있다면, x에 임의의 스칼라 c를 곱했을..

1-2. 벡터 (벡터의 덧셈과 곱셈)

1. 벡터의 덧셈 벡터 a와 벡터 b 2차원 벡터 두 개가 있다. 간단하게 말하면, 둘 다 두 값을 가진 2차원 벡터이니 대응하는 값을 서로 더하면 된다. 벡터 a와 벡터 b는 모두 실수좌표공간에서 생각해보면 R²의 벡터이며, 2-튜플이다. 이를 시각적으로 혹은 개념적으로 이해하기 위해서 그래프에 그려보면 위와 같이 된다. 크기와 방향만 같다면 시작점을 다른 곳에 그려도 똑같은 벡터이다. 보라색 벡터는 모두 다 같은 벡터 a이며, 녹색 벡터들은 모두 다 벡터 b이다. 두 벡터의 합은 (2, 2)이므로 파란색으로 그려보면 위와 같다. 그래프 상에서 보라색 벡터와 녹색 벡터를 더한 것이 파란색 벡터와 같다는 점을 발견할 수 있다. 즉, 벡터의 덧셈은 원점으로부터 얼마나 움직였나를 알아보는 것이다. 2. 벡터..