선형대수 · 기저와 좌표

기저와 좌표

평면의 기저는 한 직선 위에 있지 않은 두 벡터 b₁, b₂입니다. 이 기저에서 벡터 x의 좌표는 x = c₁b₁ + c₂b₂를 만족하는 수 c₁, c₂입니다. 같은 화살표도 기저가 바뀌면 좌표가 달라집니다. b₁을 그 방향으로 몇 배 늘리면 첫 좌표는 같은 배수로 나눈 값이 됩니다. 좌표는 기저로 잰 값이지 화살표 자체의 속성이 아니기 때문입니다.

기저, 좌표와 이 화면

평면의 기저는 한 직선 위에 있지 않은 순서 있는 벡터 쌍 b1,b2b_1, b_2입니다. 그러면 모든 벡터 xx를 x=c1b1+c2b2x = c_1b_1 + c_2b_2와 같이 유일하게 나타낼 수 있습니다. 수 c1,c2c_1, c_2가 기저 B=(b1,b2)B = (b_1, b_2)에서 xx의 좌표이며 [x]B[x]_B로 씁니다.

기본 화면: 표준기저와 B에서 같은 화살표 읽기
x=(14)=2(11)+1(−12)[x]B=(21)\begin{gathered} x = \begin{pmatrix} 1 \\ 4 \end{pmatrix} = 2\begin{pmatrix} 1 \\ 1 \end{pmatrix} + 1\begin{pmatrix} -1 \\ 2 \end{pmatrix} \\[0.6ex] [x]_B = \begin{pmatrix} 2 \\ 1 \end{pmatrix} \end{gathered}

왼쪽은 표준 격자입니다. 먹색 화살표 b1b_1, b2b_2과 그 둘이 만드는 기울어진 격자, 파란 xx를 보여 줍니다. 오른쪽은 B좌표 그림으로 b1b_1, b2b_2가 단위 정사각형의 변이 되고 xx가 그 좌표에 놓입니다. b1b_1 또는 b2b_2를 드래그해도 왼쪽의 xx는 움직이지 않습니다. 격자와 숫자만 바뀝니다. 좌표는 자로 읽은 값이지 화살표의 속성이 아닙니다.

좌표를 읽으려면 xx에서 다른 기저벡터와 나란하게 움직여 BB의 각 축으로 돌아갑니다. b2b_2와 나란하게 움직이면 b1b_1축의 c1b1c_1b_1에, b1b_1과 나란하게 움직이면 b2b_2축의 c2b2c_2b_2에 닿습니다. 이것이 두 노란 선분입니다. xx에서 나온 점선과 함께 xx를 대각선으로 하는 평행사변형을 만듭니다. b1b_1, b2b_2가 한 직선 위에 있지 않아 각 이동 경로는 축과 정확히 한 점에서 만나므로 좌표가 존재하고 유일합니다.

k≠0k \ne 0일 때 b1b_1을 k b1k\,b_1으로 바꾸고 b2b_2는 그대로 둡니다. x=(c1/k)(k b1)+c2b2x = (c_1/k)(k\,b_1) + c_2b_2이므로 첫 좌표는 c1/kc_1/k가 되고 둘째 좌표는 변하지 않습니다. 자가 두 배 길어지면 읽은 값은 절반이 됩니다. 기저벡터를 회전할 때는 이 규칙이 성립하지 않으며 두 좌표가 모두 바뀔 수 있습니다.

b1b_1, b2b_2를 나란히 놓아 행렬 PP의 열로 삼습니다. 그러면 x=c1b1+c2b2x = c_1b_1 + c_2b_2은 곧 x=P [x]Bx = P\,[x]_B라는 뜻입니다. PP는 BB에서의 좌표를 표준좌표로 바꾸며, 반대로 가려면 P−1P^{-1}이 필요합니다.

B와 표준기저 E 사이의 좌표 변환
P=([b1]E    [b2]E)[x]E=P [x]B,[x]B=P−1[x]E\begin{gathered} P = \big( [b_1]_E \;\; [b_2]_E \big) \\[0.6ex] [x]_E = P\,[x]_B, \quad [x]_B = P^{-1}[x]_E \end{gathered}

B좌표 그림은 평면 전체를 P−1P^{-1}로 변환한 것입니다. b1b_1, b2b_2를 각각 (1,0)(1, 0), (0,1)(0, 1)로 보내므로 BB의 격자는 정사각형이 되고 표준 격자는 오히려 기울어질 수 있습니다. 표준기저벡터 ı^\hat\imath, ȷ^\hat\jmath은 P−1P^{-1}의 각 열에 놓입니다. 이 그림은 B좌표로 그려집니다. b1b_1, b2b_2가 서로 수직인 단위벡터일 때만 모든 길이와 각도가 보존됩니다.

쉽게 떠올릴 방법은 xx에서 b1b_1, b2b_2의 직선에 수선을 내리고 그 발의 위치를 읽는 것입니다. 수선의 발이 이 읽기를 보여 줍니다. b1⊥b2b_1 \perp b_2이면 좌표를 얻으며, 서로 수직인 단위벡터라면 각 값은 내적 x⋅bix\cdot b_i 그 자체입니다. 기울어진 기저에서는 xx가 0일 때를 제외하면 언제나 틀립니다.

수선의 발에서 읽은 값과 좌표가 되는 조건
fi=x⋅bi∣bi∣2b1⊥b2  ⟹  ci=fi\begin{gathered} f_i = \frac{x \cdot b_i}{|b_i|^2} \\[0.6ex] b_1 \perp b_2 \;\Longrightarrow\; c_i = f_i \end{gathered}

한 직선 위의 두 벡터는 기저가 아닙니다. 이때 det⁡P=0\det P = 0이고 격자는 그 직선으로 접힙니다. 둘 다 영벡터라면 O만 남습니다. xx가 접힌 격자에 속하면 읽는 방법이 무한히 많습니다. b2=2b1=(2,2)b_2 = 2b_1 = (2, 2)이고 x=(3,3)x = (3, 3)이면 c1+2c2=3c_1 + 2c_2 = 3를 만족하는 모든 (c1,c2)(c_1, c_2)가 가능합니다. xx가 그 밖에 있으면 읽는 방법이 없습니다.

눈여겨볼 점

  • b1b_1 또는 b2b_2를 드래그해도 xx가 변환되는 것은 아닙니다. 선형변환 페이지에서는 벡터가 격자와 함께 움직입니다. 여기서는 자만 바뀝니다.
  • 노란 숫자는 BB에서의 좌표이며, 2b12b_1처럼 해당 기저벡터를 몇 배 하는지 그 옆에 표시됩니다. 표준좌표는 왼쪽 그림 가장자리의 눈금에 있습니다.

조작

  • 좌표 그림에서 xx를 드래그하면 좌표를 직접 정할 수 있습니다. 한 그림 위에서 포인터를 움직이면 다른 그림의 같은 점에 작은 청록색 고리가 나타납니다.

관련 개념