이 포스트에서 $V$는 유한차원 $F$-벡터공간으로 취급한다.
$V$의 기저 $\beta = \{x, y\}, \beta' = \{x' ,y'\}$이 주어졌을 때 임의의 벡터 $v \in V$는 각각의 기저를 사용해 좌표 벡터 $[v]_{\beta}, [v]_{\beta'}$으로 표현 가능하다. 이때 좌표를 변환하는, 즉 두 좌표 벡터 사이의 관계식을 구할 수 있다.
Introduction
$[x']_{\beta} = \begin{bmatrix} a \\ b \end{bmatrix}, [y']_{\beta} = \begin{bmatrix} c \\ d \end{bmatrix}$라고 가정하자. 즉 $$x' = ax + by \\ y' = cx + dy \\ \Longrightarrow \begin{bmatrix} x' \\ y' \end{bmatrix} = \begin{bmatrix} a & b \\ c & d \end{bmatrix} \begin{bmatrix} x \\ y \end{bmatrix}$$이다.
이때 $Q := \begin{bmatrix} a & b \\ c & d \end{bmatrix}$으로 정의한다. 한편 $Q = \begin{bmatrix} a & b \\ c & d \end{bmatrix} = \begin{bmatrix} [x']_{\beta} & [y']_{\beta} \end{bmatrix} = [I_V]_{\beta'}^{\beta}$이 성립한다. 따라서 두 좌표 벡터를 매개해주는 행렬 $Q$를 change of coordinate matrix, 좌표 변환 행렬이라고 부른다.
Change of Coordinate Matrix
Definition 33. Let $\beta$ and $\beta'$ be ordered bases for $V$. Then the matrix representation $Q = [id_V]_{\beta'}^{\beta}$ is called a change of coordinate matrix from $\beta'$ to $\beta$.
구체적으로 $\beta = \{x_1, ..., x_n\}$ and $\beta' = \{x'_1, ..., x'_n\}$이라 하면, $$x'_j = \sum_{i=1}^{n} Q_{ij}x_i (j = 1, ..., n)$$이 성립한다. 즉 introduction의 경우와 마찬가지로 $[Q]^j = [x'_j]_{\beta}$이다.
Theorem 41
Theorem 41. Let $\beta$ and $\beta'$ be two ordered bases for $V$, and let $Q = [I_V]_{\beta'}^{\beta}.$ Then
(a) $Q$ is invertible,
(b) $\forall v \in V, [v]_{\beta} = Q[v]_{\beta'}.$
Proof.
(a) Since $I_V$ is invertible, so is $Q$ by Theorem 3.
(b) $Q[v]_{\beta'} = [I_V]_{\beta'}^{\beta}[v]_{\beta'} = [I_V(v)]_{\beta} = [v]_{\beta}$ by Theorem 6. $\blacksquare$
예컨대 $\beta'$이라는 기저가 계산이라든지, 여러가지 이유로 다루기 까다로울 수 있다. 그럴 때 다루기 쉬운 standard ordered basis를 $\beta$로 두고 좌표 변환을 하여 $\beta$로 바꿔서 계산하면 편한 경우가 있다. 그런 경우 적극적으로 사용될 수 있다.
Theorem 42
Theorem 42. Let $T \in \mathcal{L}(V)$, and let $\beta, \beta'$ be ordered bases for $V$. If $Q$ is the change of coordinate matrix that changes $\beta'$-coordinates into $\beta$-coordinates, then $[T]_{\beta'} = Q^{-1}[T]_{\beta}Q.$
Proof. $Q^{-1}[T]_{\beta}Q = ([I_V]_{\beta'}^{\beta})^{-1}[T]_{\beta}[I_V]_{\beta'}^{\beta} = [I_V]_{\beta}^{\beta'}[T]_{\beta}[I_V]_{\beta'}^{\beta} = [I_VTI_V]_{\beta'} = [T]_{\beta'}.$ $\blacksquare$