logo

벡터공간에서 정의되는 기저의 방향 📂기하학

벡터공간에서 정의되는 기저의 방향

정의 1

U={u1,,un}V={v1,,vn} U = \left\{ \mathbf{u}_{1}, \cdots, \mathbf{u}_{n} \right\} \\ V = \left\{ \mathbf{v}_{1}, \cdots, \mathbf{v}_{n} \right\} 위의 두 순서 있는 집합 U,VU,V벡터공간 XX기저라고 하고 행렬 (aij)Cn×n\left( a_{ij} \right) \in \mathbb{C}^{n \times n} 을 다음 식이 만족되도록 정의하자. vj=i=1naijui \mathbf{v}_{j} = \sum_{i=1}^{n} a_{ij} \mathbf{u}_{i} 이때 det(aij)>0\det \left( a_{ij} \right) > 0 이면 U,VU,V 가 같은 방향orientation이라하고 det(aij)<0\det \left( a_{ij} \right) < 0 이면 다른 방향이라 한다.

특히 유클리드 공간 X=RnX = \mathbb{R}^{n} 에서는 방향의 이름이 있다.

  • R2\mathbb{R}^{2} 에서 기저 {e2,e1}\left\{ \mathbf{e}_{2}, \mathbf{e}_{1} \right\}시계 방향이다.
  • R3\mathbb{R}^{3} 에서 기저 {e1,e2,e3}\left\{ \mathbf{e}_{1}, \mathbf{e}_{2}, \mathbf{e}_{3} \right\}오른손 방향이다.

  • ek\mathbf{e}_{k}kk 번째 성분만 11 이고 나머지는 00 인 단위벡터 (0,,0,1,0,,0)\left( 0, \cdots , 0, 1, 0 ,\cdots ,0 \right) 다.

설명

방향의 정의에서 두 기저는 순서가 있음에 주의하자. 방향이 같고 다르고는 행렬식으로 판별하므로 이 순서가 바뀌면 행렬 (aij)\left( a_{ij} \right) 의 행, 열이 바뀌고 그때마다 부호도 정확히 한번씩 반전된다.

기하학적으로 방향을 정의하는 이유는 납득하기 어렵지 않을 것이다. 22차원 평면 R2\mathbb{R}^{2} 에서 e2e1\mathbf{e}_{2} \to \mathbf{e}_{1} 는 시계바늘이 도는 방향, 33차원 공간 R3\mathbb{R}^{3} 에서 e1e2e3\mathbf{e}_{1} \to \mathbf{e}_{2} \to \mathbf{e}_{3} 는 엄지손가락을 들고 오른손이 안쪽으로 감기는 모양을 떠올리면 좋다. 44차원 이상부터는 이러한 개념이 없기 때문에 정확히 이름이 붙지 않고 두 기저를 가져와서 서로가 같냐 다르냐를 따질수밖에 없다.

예시

u1=e1v1=(1,1,0)u2=e2v2=(1,0,1)u3=e3v3=(2,1,3) \begin{align*} \mathbf{u}_{1} =& \mathbf{e}_{1} & \mathbf{v}_{1} =& \left( 1, 1, 0 \right) \\ \mathbf{u}_{2} =& \mathbf{e}_{2} & \mathbf{v}_{2} =& \left( 1, 0, -1 \right) \\ \mathbf{u}_{3} =& \mathbf{e}_{3} & \mathbf{v}_{3} =& \left( 2, 1, 3 \right) \end{align*}

R3\mathbb{R}^{3} 에서 위와 같은 두 기저를 생각해보면 v1=(1,1,0)=1e1+1e2+0e3v2=(1,0,1)=1e1+0e21e3v3=(2,1,3)=2e1+1e2+3e3 \begin{align*} \mathbf{v}_{1} = \left( 1, 1, 0 \right) =& 1 \mathbf{e}_{1} + 1 \mathbf{e}_{2} + 0 \mathbf{e}_{3} \\ \mathbf{v}_{2} = \left( 1, 0, -1 \right) =& 1 \mathbf{e}_{1} + 0 \mathbf{e}_{2} - 1 \mathbf{e}_{3} \\ \mathbf{v}_{3} = \left( 2, 1, 3 \right) =& 2 \mathbf{e}_{1} + 1 \mathbf{e}_{2} + 3 \mathbf{e}_{3} \end{align*} 이므로 행렬 (aij)\left( a_{ij} \right)[112101013] \begin{bmatrix} 1 & 1 & 2 \\ 1 & 0 & 1 \\ 0 & -1 & 3 \end{bmatrix} 와 같이 정의되고, 그 행렬식은 det(aij)=1(03(1)1)1(13(1)2)+0(1102)=15+0=4<0 \begin{align*} \det \left( a_{ij} \right) =& 1 \cdot (0 \cdot 3 - (-1)\cdot 1) \\ && - 1 \cdot ( 1 \cdot 3 - (-1) \cdot 2 ) \\ & + 0 \cdot ( 1 \cdot 1 - 0 \cdot 2 ) \\ =& 1 - 5 + 0 \\ =& -4 \\ <& 0 \end{align*} 이므로 두 기저는 방향이 다르다.


  1. Millman. (1977). Elements of Differential Geometry: p6. ↩︎