筑波大学 理工情報生命学術院 数理物質科学研究群 数学学位プログラム 2021年8月実施 [2]

标签：

• Tsukuba-University
• Kernel-and-Image
• Basis-and-Dimension
• Invariant-Subspace-and-Restricted-Operator
• Matrix-Diagonalization

Author

Miyake

Description

以下は公式問題 [2] の要約である。

$$D=\begin{pmatrix}-2&1&1&1\\1&0&0&-1\end{pmatrix},\qquad V=\{\boldsymbol{x}\in\mathbb R^4\mid D\boldsymbol{x}=0\},$$

$$A=\begin{pmatrix} 0&1&1&-2\\1&1&-1&0\\0&1&3&-4\\1&-1&-1&-1 \end{pmatrix},\qquad \boldsymbol{u}_1=\begin{pmatrix}-1\\-2\\1\\-1\end{pmatrix},\qquad \boldsymbol{u}_2=\begin{pmatrix}1\\1\\0\\1\end{pmatrix}.$$

1. $D\boldsymbol{u}_1=D\boldsymbol{u}_2=0$ を確認せよ。
2. $(\boldsymbol{u}_1,\boldsymbol{u}_2)$ が $V$ の基底となることを証明せよ。
3. $L_A:\mathbb R^4\to\mathbb R^4$ を $L_A(\boldsymbol{x})=A\boldsymbol{x}$ とする。両基底ベクトルの像を計算し、$V$ が $L_A$ で不変であることを示せ。
4. 制限写像 $\varphi=L_A|_V:V\to V$ の、基底 $(\boldsymbol{u}_1,\boldsymbol{u}_2)$ に関する表現行列 $B$ を求めよ。
5. $\varphi$ の表現行列を対角行列にする $V$ の基底があるかを判定し、根拠を述べよ。

公式問題 PDF

题目描述

给定

$$D=\begin{pmatrix}-2&1&1&1\\1&0&0&-1\end{pmatrix},\qquad V=\{\boldsymbol x\in\mathbb R^4:D\boldsymbol x=0\},$$

$$A=\begin{pmatrix}0&1&1&-2\\1&1&-1&0\\0&1&3&-4\\1&-1&-1&-1\end{pmatrix},\quad \boldsymbol u_1=\begin{pmatrix}-1\\-2\\1\\-1\end{pmatrix},\quad \boldsymbol u_2=\begin{pmatrix}1\\1\\0\\1\end{pmatrix}.$$

1. 验证 $D\boldsymbol u_1=D\boldsymbol u_2=0$。
2. 证明 $(\boldsymbol u_1,\boldsymbol u_2)$ 是 $V$ 的一组基。
3. 定义线性映射 $L_A:\mathbb R^4\to\mathbb R^4$，$L_A(\boldsymbol x)=A\boldsymbol x$。计算两个基向量的像，并证明 $V$ 是不变子空间。
4. 求限制映射 $\varphi=L_A|_V$ 在基 $(\boldsymbol u_1,\boldsymbol u_2)$ 下的表示矩阵 $B$。
5. 判断 $V$ 是否存在使 $\varphi$ 的表示矩阵为对角矩阵的基，并说明理由。

Kai

(1)

$$\begin{aligned} D \boldsymbol{u}_1 = \boldsymbol{0} , \ \ D \boldsymbol{u}_2 = \boldsymbol{0} \end{aligned}$$

より、 $\boldsymbol{u}_1, \boldsymbol{u}_2 \in V$ がわかる。

(2)

$$\begin{aligned} D \begin{pmatrix} a \\ b \\ c \\ d \end{pmatrix} = \begin{pmatrix} -2a+b+c+d \\ a-d \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \end{pmatrix} \end{aligned}$$

とおくと $d=a, c=a-b$ が得られるので、 $V$ は2次元であることがわかる。

$\boldsymbol{u}_1, \boldsymbol{u}_2$ は、互いに実数倍ではないので、 1次独立であり、 (1) を考慮して、 $V$ の基底であることがわかる。

(3)

まず、

$$\begin{aligned} L_A \left( \boldsymbol{u}_1 \right) = \begin{pmatrix} 1 \\ -4 \\ 5 \\ 1 \end{pmatrix} , \ \ \ \ L_A \left( \boldsymbol{u}_2 \right) = \begin{pmatrix} -1 \\ 2 \\ -3 \\ -1 \end{pmatrix} \end{aligned}$$

であり、 $DL_A(\boldsymbol{u}_1) = \boldsymbol{0}, DL_A(\boldsymbol{u}_2) = \boldsymbol{0}$ すなわち $L_A(\boldsymbol{u}_1), L_A(\boldsymbol{u}_2) \in V$ がわかる。

次に、任意の $\boldsymbol{v} \in V$ は、適当な実数 $s,t$ によって $\boldsymbol{v} = s \boldsymbol{u}_1 + t \boldsymbol{u}_2$ と表されるので、この $\boldsymbol{v}$ について、 $L_A$ の線形性より、

$$\begin{aligned} L_A \left( \boldsymbol{v} \right) &= s L_A \left( \boldsymbol{u}_1 \right) + t L_A \left( \boldsymbol{u}_2 \right) \\ &\in V \end{aligned}$$

がわかり、これは $L_A(V) \subset V$ を意味する。

(4)

(3) の計算より、

$$\begin{aligned} \varphi \left( \boldsymbol{u}_1 \right) &= 5 \boldsymbol{u}_1 + 6 \boldsymbol{u}_2 \\ \varphi \left( \boldsymbol{u}_2 \right) &= -3 \boldsymbol{u}_1 - 4 \boldsymbol{u}_2 \end{aligned}$$

がわかるので、

$$\begin{aligned} \begin{pmatrix} \varphi \left( \boldsymbol{u}_1 \right) & \varphi \left( \boldsymbol{u}_2 \right) \end{pmatrix} = \begin{pmatrix} \boldsymbol{u}_1 & \boldsymbol{u}_2 \end{pmatrix} \begin{pmatrix} 5 & -3 \\ 6 & -4 \end{pmatrix} \end{aligned}$$

すなわち、

$$\begin{aligned} B = \begin{pmatrix} 5 & -3 \\ 6 & -4 \end{pmatrix} \end{aligned}$$

である。

(5)

任意の $\boldsymbol{v} \in V$ は、適当な実数 $s,t$ によって $\boldsymbol{v} = s \boldsymbol{u}_1 + t \boldsymbol{u}_2$ と表され、この $\boldsymbol{v}$ について、

$$\begin{aligned} \varphi \left( \boldsymbol{v} \right) &= s \varphi \left( \boldsymbol{u}_1 \right) + t \varphi \left( \boldsymbol{u}_2 \right) \\ &= (5s-3t) \boldsymbol{u}_1 + (6s-4t) \boldsymbol{u}_2 \end{aligned}$$

となるので、 $\boldsymbol{v}\ne\boldsymbol0$ が $\varphi$ の固有ベクトルになるのは、

$$\begin{aligned} 5s-3t = \lambda s , \ \ 6s-4t = \lambda t \end{aligned}$$

をみたす実数 $\lambda$ が存在するときである。 この条件は、

$$\begin{aligned} (5s-3t)t &= (6s-4t)s \\ \therefore \ \ (2s-t)(s-t) &= 0 \end{aligned}$$

と表されるので、 $2s=t$ または $s=t$ のとき、 $\boldsymbol{v}$ は $\varphi$ の固有ベクトルとなる。 したがって、例えば、

$$\begin{aligned} \boldsymbol{v}_1 &= \boldsymbol{u}_1 + \boldsymbol{u}_2 \\ \boldsymbol{v}_2 &= \boldsymbol{u}_1 + 2 \boldsymbol{u}_2 \end{aligned}$$

は $V$ の基底であり、 この基底に関して $\varphi$ の表現行列は対角行列となる。 すなわち、題意の条件を満たす基底は存在する。

この基底での表現行列は $\operatorname{diag}(2,-1)$ である。