일반적으로 Vector라는 것을 표현할 때에 우리는 위와 같이 좌표를 이용해서 표현하고 합니다.
Vector는 일반적으로 크기와 방향에 대한 정보를 모두 갖고 있으니 굉장히 다양한 물리량을 다룰 수 있어 편리하지요. y=x1+x2 라는 덧셈 표현은 각각의 좌표축별로 값을 더하면 그 결과가 나오도록 정의되어 있어 다양한 연산을 하기에도 직관적인 계산 방법을 제공하고 있습니다.
y=[y1y2]=[x11+x12x21+x22]
한편, 덧셈이 가능하다는 특성으로부터 Vector를 이용하여 다양한 선형연산을 이끌어낼 수 있고, 우리는 이를 행렬(matrix) 라는 형태를 통해 쉽게 계산해내곤 합니다.
y=[y1y2]=[A11A21A12A22][x1x2]=Ax
재밌는 사실은 xyz 같은 직교 좌표계에서의 좌표 표현 방식은 vector를 표현하는 하나의 방법에 불구하다는 것입니다. Vector는 꽤나 유연하게 (혹은 일반화되어) 정의되어 있고, 이를 통해 다항식, 혹은 다양한 함수들에 대해서도 Vector로 취급함으로써 연산을 보다 쉽게, 간결하게 쓸 수 있게 합니다.
이러한 유연하고도 일반화된 Vector를 담고 있는 공간을 Vector Space라고 하며 Vector Space를 알아야 Vector가 무엇인지 알 수 있습니다.
Field
Field는 Vector Space를 정의할 때 필요한 일종의 구조체 입니다. 우리말로는 Field를 '체' 라고도 부릅니다.
Field F : Scalar 라는 대상들의 집합과 2개의 연산자(operator) (+,⋅) 에 대해 정의되어 있는 구조체
이때 연산자가 Scalar라는 대상들의 집합에 대해 아래의 성질들을 만족해야 비로소 연산자와 집합을 묶어 F:{scalar set}+⋅ 를 Field라고 부를 수 있습니다.
덧셈 연산 +에 대해서
α,β∈F→α+β∈F : 덧셈 연산에 대해 닫혀 있는 것
α+0=α,∀α∈F,0∈F: 덧셈 연산에 대한 항등원의 존재
α+β=β+α : 덧셈 연산에 대해 교환법칙의 성립
(α+β)+γ=α+(β+γ): 덧셈에 대한 결합법칙의 성립
∃β∈F s.t. α+β=0∀α∈F: 덧셈에 대한 역원의 존재 →β=−α라고 표기합니다.
곱셈 연산 ⋅ 에 대해서
α,β∈F→α⋅β∈F: 곱셈 연산에 대해 닫혀 있는 것
α⋅1=α,∀α∈F,1∈F: 곱셈 연산에 대한 항등원의 존재
α⋅β=β⋅α : 곱셈 연산에 대해 교환법칙의 성립
(α⋅β)⋅γ=α⋅(β⋅γ): 곱셈 연산에 대해 결합 법칙의 성립
∃β∈F s.t. α⋅β=1∀α∈F−{0}: 곱셈에 대한 역원의 존재 →β=α−1로 표기합니다.
역원의 존재를 위 성질에서 정의함으로써
α+(−β)=α−β
α⋅(β−1)=α/β
뺄셈과 나눗셈도 실은 역원을 활용한 덧셈, 곱셈 연산에 지나지 않음을 알 수 있습니다.
실수 위에 정의된 Field를 R+⋅ 으로 표기하고 복소수 위에 정의된 Field를 C+⋅으로 표기합니다.
(아랫글부터는 간단하게 R,C로 Field를 적었습니다)
Vector Space
이제 Vector Space를 정의해봅시다!
Vector Space는 Field가 정의되면 그 위에서 정의되는 공간입니다.
Scalar 정의→Field 정의→Vector Space 정의
XF=(X,F) : Field F 위에서 정의된 Scalar 집합과 +,⋅ 연산을 상속 받아 재정의되는 공간 X, 이를 Vector Space X over Field F라고 부른다.
Vector Space는 일종의 Field의 Child Class 같은 존재 입니다. Scalar에 대해 정의되던 + 연산을 Vector 기리의 덧셈으로 재정의하고, Scalar 끼리의 곱을 의미하던 ⋅을 Vector와 Scalar 간의 곱셈으로 재정의 되지요.
이렇게 재정의 된 연산은 아래의 성질을 만족해야만 비로소 Field F위에 정의된 어떠한 공간 X가 Vector Space가 됩니다.
덧셈 연산 +에 대해서
x1,x2∈X→x1+x2∈X
x1+x2=x2+x1
∃0∈X s.t. x+0=x,∀x∈X
∃y s.t. x+y=0∀x∈X
y=−x라고 표기
곱셈 연산 ⋅에 대해서
α∈F,x∈X→α⋅x∈X
α,β∈F,x∈X→(α⋅β)⋅x=α⋅(β⋅x)
α∈F,x1,x2∈X→α⋅(x1+x2)=α⋅x1+α⋅x2
∃1∈F s.t 1⋅x=x,∀x∈X
어떠한 Field F를 정의하고 그 위에 Vector Space X를 정의하면 다음과 같이 쓸 수 있습니다
(X,F)=XF
가령 실수체 위에 정의된 Vector Space는 (X,R)=XR이라고 쓸 수 있겠습니다.
그래서 Vector가 무엇이냐
Field와 Vector Space를 정의하기까지 재밌는 사실은 Vector가 구체적으로 무엇인지 특정하지 않았다는 것입니다.
응당 Field라고 불리우면 연산자가 만족해야할 성질, Vector Space라고 불리우면 연산자가 만족해야할 성질들만 나열하고 1) Vector가 도대체 무엇인지, 2) Vector를 어떻게 적어야하는 것인지, 알려주지 않는다는 것입니다. 심지어 덧셈과 곱셈이 만족해야할 성질만 알려주고 그러한 연산의 결과가 어떤 값을 가져야 하는지도 알려주지 않고 있습니다.
이 지점에서 Vector와 Vector 연산이 굉장히 유연하게, 다재다능하게 사용될 수 있는 가능성이 열립니다.
가령 실수체 R 위에서 정의된 n차원 Space Rn의 요소를 다음과 같이 표기해봅시다.
⎣⎢⎢⎡α1⋮αn⎦⎥⎥⎤∈Rn
+은 요소별로 덧셈하고, ⋅은 곱해지는 Scalar를 모든 요소에 곱하도록 정의하면, 위 Vector Space의 연산자가 만족해야하는 8가지 성질을 모두 만족하게 되고, 따라서 Rn이 Vector Space가 됩니다.
마치 상속받은 interface를 만족하도록 연산자를 구현하고 그 방식에 따라 Vector Space가 만들어지는 셈이지요.
이러한 우리가 아는 다양한 수학적인 요소들로 확장해볼 수 있습니다.
다양한 Vector Space
실수체 R 위에서 다양한 Space를 정의해봅시다.
다항식으로 Vector Space를!
n차 다항식(Polynomial)은 다음과 같이 쓸 수 있습니다. 그리고 이러한 n차 다항식들을 요소로 갖고 있고 +,⋅이 정의된 공간 Fn[s] 가 있다고 해봅시다.
αn−1sn−1+⋯+α1s+α0
이러한 n차 다항식에 대해서 +은 각 차수별로 덧셈하고, ⋅ 은 모든 차수에 대해서 Scalar를 곱하게 하면 Vector Space의 연산자가 만족해야할 성질을 모두 만족하게 됩니다.
따라서 위와 같은 n차 다항식을 요소로 갖는 어떠한 Space Fn[s]는 Vector Space가 되고 다항식은 Vector가 됩니다.
연속 함수들로 Vector Space를!
임의의 정의역 폐구간 [t0,t1] 에서 연속 함수들을 요소로 갖고 +,⋅이 정의된 공간 C[t0,t1]가 있다고 해봅시다.
+에 대해서는
(f+g)(t):=f(t)+g(t)
함수 Level에서의 덧셈 연산을 Field level에서의 덧셈 연산을 이용해서 정의
⋅에 대해서는
(c⋅f)(t):=c⋅f(t)
함수 Level에서의 곱셈 연산을 Field level에서의 곱셈 연산을 이용해서 정의
위와 같이 정의하면 Vector Space의 연산자가 만족해야할 성질을 모두 만족하게 됩니다. C[t0,t1] 은 Vector Space가 되고 이에 속하는 연속함수는 Vector가 됩니다.
Subspace
vector space를 정의했다면 그보다 작은 공간을 잡아볼 수 있습니다.
임의의 Field F 위에서 정의되는 Vector Space XF 가 있다고 해봅시다. 어떠한 set Y가 X의 부분집합이고(Y⊂X), +,⋅ 연산자를 XF에서 정의된 연산자 그대로 사용한다고 하였을 때, 이 두 연산자에 대해서 닫혀있으면, YF는 XF의 Subspace라고 불립니다.
+,⋅에 대해 닫혀있다.
y1,y2∈Y,→y1+y2∈Y
y∈Y,α∈Y,→α⋅y∈Y
Subspace 끼리의 연산
Subspace도 기본적으로 집합으로 볼 수 있습니다. 집합 내 element들에 대해 +,⋅ 이 정의된 집합인 셈이지요. 그렇기 때문에 집합 연산이 Subspace 연산에서도 가능합니다.
XF: 임의의 Field F에 대해서 정의된 vector space
Y,Z: XF의 subspace
1) Sum of Subspaces, Y+Z
Y+Z={x∣x=y+z,y∈Y,z∈Z}
2) Union of Susbspaces, Y∪Z
Y∪Z={x∣x∈Y or x∈Z}
3) Intersection of Subspaces Y∩Z
Y∩Z={x∣x∈Y and x∈Z}
4) Direct Sum of Subspaces Y⨁Z
만일 아래의 두가지 조건을 만족하면