좌표 coordinate
B = ( b 1 , ⋯ , b n ) B=(\boldsymbol{b}_1, \cdots, \boldsymbol{b}_n) B = ( b 1 , ⋯ , b n ) 가 벡터공간 V V V 의 기저일 때, x ∈ V \boldsymbol{x}\in V x ∈ V 는 유니크한 선형결합 x = α 1 b 1 + ⋯ + α n b n \boldsymbol{x}=\alpha_1 \boldsymbol{b}_1 + \cdots + \alpha_n \boldsymbol{b}_n x = α 1 b 1 + ⋯ + α n b n 으로 표현할 수 있다.
여기서 α 1 , ⋯ , α n \alpha_1, \cdots, \alpha_n α 1 , ⋯ , α n 은 B B B 에 대한 x \boldsymbol{x} x 의 좌표이고
α = [ α 1 ⋮ α n ] ∈ R n \boldsymbol{\alpha}=\begin{bmatrix}\alpha_1\\\vdots\\\alpha_n\end{bmatrix} \in \mathbb{R}^n α = ⎣ ⎢ ⎢ ⎡ α 1 ⋮ α n ⎦ ⎥ ⎥ ⎤ ∈ R n
α \boldsymbol{\alpha} α 를 B B B 에 대한 x \boldsymbol{x} x 의 좌표 벡터(coordinate vector) 또는 좌표 표현(coordinater representation)이라고 한다.
좌표계에서 x \boldsymbol{x} x 의 좌표는 기저 벡터들을 어떻게 선형결합해야 x \boldsymbol{x} x 를 표현할 수 있는지를 알려준다. 그러므로 동일한 벡터에 대해서 기저가 다르면 좌표도 다르다.
🤔: 벡터를 어떤 막대의 길이로 생각하고 기저를 길이를 표현할 단위로 생각하면 좋을 듯. 막대의 길이는 고정이고 m, ft, inch 등 어떤 단위를 사용하냐에 따라서 표현이 달라진다.
먼저 n n n 차원 벡터공간 V V V 와 V V V 의 기저 B = ( b 1 , ⋯ , b n ) B=(\boldsymbol{b}_1, \cdots, \boldsymbol{b}_n) B = ( b 1 , ⋯ , b n ) 에 대해서 Φ : R n → V \Phi:\mathbb{R}^n\rightarrow V Φ : R n → V , Φ ( e i ) = b i \Phi(\boldsymbol{e}_i)=\boldsymbol{b}_i Φ ( e i ) = b i 는 선형 변환이다.
🤔: ?
벡터공간 V , W V, W V , W 의 기저가 각각 B = ( b 1 , ⋯ , b n ) , C = ( c 1 , ⋯ , c m ) B=(\boldsymbol{b}_1, \cdots, \boldsymbol{b}_n), C=(\boldsymbol{c}_1, \cdots, \boldsymbol{c}_m) B = ( b 1 , ⋯ , b n ) , C = ( c 1 , ⋯ , c m ) 이고 선형 변환 Φ : V → W \Phi:V\rightarrow W Φ : V → W 이 있을 때,
Φ ( b j ) = α 1 j c 1 + ⋯ + α m j c m = ∑ i = 1 m α i j c i \Phi(\boldsymbol{b}_j)=\alpha_{1j}\boldsymbol{c}_1+\cdots+\alpha_{mj}\boldsymbol{c}_m=\sum_{i=1}^m \alpha_{ij}\boldsymbol{c}_i Φ ( b j ) = α 1 j c 1 + ⋯ + α m j c m = ∑ i = 1 m α i j c i 는 C C C 에 대해서 유니크한 선형 결합으로 표현된다.
여기서 A Φ ( i , j ) = α i j A_{\Phi}(i, j) = \alpha_{ij} A Φ ( i , j ) = α i j 인 (m, n) 행렬 A Φ A_{\Phi} A Φ 를 Φ \Phi Φ 의 변환 행렬이라고 한다.
C C C 에 대한 Φ ( b i ) \Phi({\boldsymbol{b}_i}) Φ ( b i ) 의 좌표는 A Φ A_\Phi A Φ 의 i i i 번째 열이다.
x ^ \hat{\boldsymbol{x}} x ^ 이 B B B 에 대한 x ∈ V \boldsymbol{x}\in V x ∈ V 의 좌표이고 y ^ \hat{\boldsymbol{y}} y ^ 이 C C C 에 대한 y = Φ ( x ) ∈ W \boldsymbol{y}=\Phi(\boldsymbol{x})\in W y = Φ ( x ) ∈ W 의 좌표일 때,
y ^ = A Φ x ^ \hat{\boldsymbol{y}}=A_\Phi\hat{\boldsymbol{x}} y ^ = A Φ x ^
변환 행렬은 한 벡터공간의 좌표를 다른 벡터공간의 좌표로 맵핑할 수 있다. (두 벡터공간의 기저에 의존적이다.)
🤔: x ^ = [ x 1 ^ ⋯ x n ^ ] ⊤ \hat{\boldsymbol{x}}=\begin{bmatrix}\hat{x_1}&\cdots&\hat{x_n}\end{bmatrix}^\top x ^ = [ x 1 ^ ⋯ x n ^ ] ⊤ 이라면 x = x 1 ^ b 1 + ⋯ + x n ^ b n \boldsymbol{x}=\hat{x_1}\boldsymbol{b}_1+\cdots+\hat{x_n}\boldsymbol{b}_n x = x 1 ^ b 1 + ⋯ + x n ^ b n 이고
Φ ( x ) = x ^ 1 ( α 11 c 1 + ⋯ + α m 1 c m ) + ⋯ + x ^ n ( α 1 n c 1 + ⋯ + α m n c m ) = ( α 11 x ^ 1 + ⋯ + α 1 n x ^ n ) c 1 + ⋯ + ( α m 1 x ^ 1 + ⋯ + α m n x ^ n ) c m \begin{matrix} \Phi(\boldsymbol{x})&=&\hat{x}_1(\alpha_{11}\boldsymbol{c}_1+\cdots+\alpha_{m1}\boldsymbol{c}_m) + \cdots + \hat{x}_n(\alpha_{1n}\boldsymbol{c}_1+\cdots+\alpha_{mn}\boldsymbol{c}_m)\\ &=&(\alpha_{11}\hat{x}_1+\cdots+\alpha_{1n}\hat{x}_n)\boldsymbol{c}_1 + \cdots + (\alpha_{m1}\hat{x}_1+\cdots+\alpha_{mn}\hat{x}_n)\boldsymbol{c}_m\\ \end{matrix} Φ ( x ) = = x ^ 1 ( α 1 1 c 1 + ⋯ + α m 1 c m ) + ⋯ + x ^ n ( α 1 n c 1 + ⋯ + α m n c m ) ( α 1 1 x ^ 1 + ⋯ + α 1 n x ^ n ) c 1 + ⋯ + ( α m 1 x ^ 1 + ⋯ + α m n x ^ n ) c m
y ^ = [ α 11 x ^ 1 + ⋯ + α 1 n x ^ n ⋮ α m 1 x ^ 1 + ⋯ + α m n x ^ n ] = A Φ x ^ \hat{\boldsymbol{y}}=\begin{bmatrix}\alpha_{11}\hat{x}_1+\cdots+\alpha_{1n}\hat{x}_n\\ \vdots\\\alpha_{m1}\hat{x}_1+\cdots+\alpha_{mn}\hat{x}_n \end{bmatrix}=A_{\Phi}\hat{\boldsymbol{x}} y ^ = ⎣ ⎢ ⎢ ⎡ α 1 1 x ^ 1 + ⋯ + α 1 n x ^ n ⋮ α m 1 x ^ 1 + ⋯ + α m n x ^ n ⎦ ⎥ ⎥ ⎤ = A Φ x ^
A Φ A_\Phi A Φ 는 Φ ( x ) \Phi(\boldsymbol{x}) Φ ( x ) 를 선형 결합으로 표현할 때 W W W 의 기저벡터들이 얼마나 필요한지 보여준다.
🤔: 벡터 회전시키기
같은 공간에서 기저를 회전시키면 될 듯
Φ ( e 1 ) = 2 2 e 1 + 2 2 e 2 \Phi(\boldsymbol{e}_1)=\frac{\sqrt{2}}{2}\boldsymbol{e}_1+\frac{\sqrt{2}}{2}\boldsymbol{e}_2 Φ ( e 1 ) = 2 2 e 1 + 2 2 e 2
Φ ( e 2 ) = − 2 2 e 1 + 2 2 e 2 \Phi(\boldsymbol{e}_2)=-\frac{\sqrt{2}}{2}\boldsymbol{e}_1+\frac{\sqrt{2}}{2}\boldsymbol{e}_2 Φ ( e 2 ) = − 2 2 e 1 + 2 2 e 2
A Φ = [ 2 2 − 2 2 2 2 2 2 ] = [ c o s ( π 4 ) − s i n ( π 4 ) s i n ( π 4 ) c o s ( π 4 ) ] A_{\Phi}=\begin{bmatrix}\frac{\sqrt{2}}{2}&-\frac{\sqrt{2}}{2}\\\frac{\sqrt{2}}{2}&\frac{\sqrt{2}}{2}\\\end{bmatrix}=\begin{bmatrix}cos(\frac{\pi}{4})&-sin(\frac{\pi}{4})\\sin(\frac{\pi}{4})&cos(\frac{\pi}{4})\\\end{bmatrix} A Φ = [ 2 2 2 2 − 2 2 2 2 ] = [ c o s ( 4 π ) s i n ( 4 π ) − s i n ( 4 π ) c o s ( 4 π ) ]
🤔: 동일한 벡터를 다른 기저로 표현
데카르트 좌표계에서 x = ( 2 , 2 ) , b 1 = ( 2 2 , 2 2 ) , b 2 = ( 2 2 , − 2 2 ) \boldsymbol{x}=(\sqrt{2}, \sqrt{2}), \boldsymbol{b}_1=(\frac{\sqrt{2}}{2}, \frac{\sqrt{2}}{2}), \boldsymbol{b}_2=(\frac{\sqrt{2}}{2}, -\frac{\sqrt{2}}{2}) x = ( 2 , 2 ) , b 1 = ( 2 2 , 2 2 ) , b 2 = ( 2 2 , − 2 2 )
Φ ( e 1 ) = 2 2 b 1 + 2 2 b 2 \Phi(\boldsymbol{e}_1)=\frac{\sqrt{2}}{2}\boldsymbol{b}_1+\frac{\sqrt{2}}{2}\boldsymbol{b}_2 Φ ( e 1 ) = 2 2 b 1 + 2 2 b 2
Φ ( e 2 ) = 2 2 b 1 − 2 2 b 2 \Phi(\boldsymbol{e}_2)=\frac{\sqrt{2}}{2}\boldsymbol{b}_1-\frac{\sqrt{2}}{2}\boldsymbol{b}_2 Φ ( e 2 ) = 2 2 b 1 − 2 2 b 2
A Φ = [ 2 2 2 2 2 2 − 2 2 ] A_\Phi=\begin{bmatrix}\frac{\sqrt{2}}{2}&\frac{\sqrt{2}}{2}\\\frac{\sqrt{2}}{2}&-\frac{\sqrt{2}}{2}\end{bmatrix} A Φ = [ 2 2 2 2 2 2 − 2 2 ]
B = ( b 1 , b 2 ) B=(\boldsymbol{b}_1, \boldsymbol{b}_2) B = ( b 1 , b 2 ) 에 대한 x \boldsymbol{x} x 의 좌표는 A Φ x = ( 2 , 0 ) A_\Phi\boldsymbol{x}=(2, 0) A Φ x = ( 2 , 0 )