跳到主要内容

名古屋大学 情報学研究科 複雑系科学専攻 2016年8月実施 线性代数

Author

思齐塾, 祭音Myyura

Description

次の小問に答えよ。

  1. 行列
A=(001010100)A = \begin{pmatrix} 0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \end{pmatrix}

の固有値と固有ベクトルを求めよ。

    1. AA に対して、ある直交行列 UU を選べば、 UTAUU^T A U が対角行列となる。このときの UU を示せ。ただし、 UTU^TUU の転置を表す。
  1. nn を自然数として、 nn 次の正方行列 BB の固有値が λ1,λ2,...,λn\lambda_1, \lambda_2, ..., \lambda_n であるとする。適当なユニタリ行列 PP を選べば P1BPP^{-1}BP が上三角行列となり、かつ、対角成分が λ1,λ2,...,λn\lambda_1, \lambda_2, ..., \lambda_n となることが知られている。この関係を用いて、 B2B^2 の固有値が λ12,λ22,...,λn2\lambda_1^2, \lambda_2^2, ..., \lambda_n^2 となることを示せ。

  2. f(x)f(x)xx に対する任意の多項式とする。3) の BB に対して、 f(B)f(B) の固有値が f(λ1),f(λ2),...,f(λn)f(\lambda_1), f(\lambda_2), ..., f(\lambda_n) となることを示せ。

题目描述

回答下列问题。

  1. 对矩阵

    A=(001010100),A=\begin{pmatrix} 0&0&1\\ 0&1&0\\ 1&0&0 \end{pmatrix},

    求全部特征值和相应的特征向量;

  2. 对第 1 问的 AA,可以选取某个正交矩阵 UU,使 UTAUU^{\mathsf T}AU 为对角矩阵。给出一个这样的 UU,其中 UTU^{\mathsf T} 表示 UU 的转置;

  3. nn 为自然数,nn 阶方阵 BB 的特征值为 λ1,λ2,,λn\lambda_1,\lambda_2,\ldots,\lambda_n。已知可选取适当的酉矩阵 PP,使 P1BPP^{-1}BP 为上三角矩阵,且其对角元依次为 λ1,λ2,,λn\lambda_1,\lambda_2,\ldots,\lambda_n。利用这一关系证明 B2B^2 的特征值为

    λ12,λ22,,λn2;\lambda_1^2,\lambda_2^2,\ldots,\lambda_n^2;
  4. f(x)f(x) 为关于 xx 的任意多项式。对第 3 问的矩阵 BB,证明 f(B)f(B) 的特征值为

    f(λ1),f(λ2),,f(λn).f(\lambda_1),f(\lambda_2),\ldots,f(\lambda_n).

Kai

  1. まず、行列 AA の固有値を求める。
det(AλI)=λ0101λ010λ=(1λ)(λ21)=(1λ)(λ1)(λ+1)=(λ1)2(λ+1)=0\det(A - \lambda I) = \begin{vmatrix} -\lambda & 0 & 1 \\ 0 & 1-\lambda & 0 \\ 1 & 0 & -\lambda \end{vmatrix} = (1-\lambda)(\lambda^2 - 1) = (1-\lambda)(\lambda - 1)(\lambda + 1) = -(\lambda - 1)^2(\lambda + 1) = 0

よって、固有値は λ1=1\lambda_1 = 1 (重複度2), λ2=1\lambda_2 = -1 である。

次に、固有ベクトルを求める。

λ=1\lambda = 1 のとき、

(AI)v=(101000101)(xyz)=(000)(A - I)v = \begin{pmatrix} -1 & 0 & 1 \\ 0 & 0 & 0 \\ 1 & 0 & -1 \end{pmatrix} \begin{pmatrix} x \\ y \\ z \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix}

x+z=0-x + z = 0 より、 z=xz = xyy は任意。 固有ベクトルは v1=(101)v_1 = \begin{pmatrix} 1 \\ 0 \\ 1 \end{pmatrix}v2=(010)v_2 = \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix} で張られる。

λ=1\lambda = -1 のとき、

(A+I)v=(101020101)(xyz)=(000)(A + I)v = \begin{pmatrix} 1 & 0 & 1 \\ 0 & 2 & 0 \\ 1 & 0 & 1 \end{pmatrix} \begin{pmatrix} x \\ y \\ z \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix}

x+z=0x + z = 0 より、 z=xz = -x2y=02y = 0 より、 y=0y = 0 。 固有ベクトルは v3=(101)v_3 = \begin{pmatrix} 1 \\ 0 \\ -1 \end{pmatrix} である。

  1. AA を対角化する直交行列 UU は、固有ベクトルを正規直交化したものを並べた行列である。 v1=12(101)v_1' = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 \\ 0 \\ 1 \end{pmatrix} , v2=(010)v_2' = \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix} , v3=12(101)v_3' = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 \\ 0 \\ -1 \end{pmatrix} である。 v1v_1'v2v_2' の内積は 00 なので、これらはすでに直交している。 u1=v1=12(101)u_1 = v_1' = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 \\ 0 \\ 1 \end{pmatrix} u2=v2v2,u1u1=(010)0u1=(010)u_2 = v_2 - \langle v_2, u_1 \rangle u_1 = \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix} - 0 \cdot u_1 = \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix} 。これは既に正規化されている。 u3=v3=12(101)u_3 = v_3' = \frac{1}{\sqrt{2}} \begin{pmatrix} 1 \\ 0 \\ -1 \end{pmatrix} よって、 U=(1201201012012)U = \begin{pmatrix} \frac{1}{\sqrt{2}} & 0 & \frac{1}{\sqrt{2}} \\ 0 & 1 & 0 \\ \frac{1}{\sqrt{2}} & 0 & -\frac{1}{\sqrt{2}} \end{pmatrix} となる。

  2. BB の固有値が λ1,λ2,...,λn\lambda_1, \lambda_2, ..., \lambda_n であるとき、Schur分解により、ユニタリ行列 PP が存在して、 P1BPP^{-1}BP が上三角行列となる。対角成分は固有値 λ1,λ2,...,λn\lambda_1, \lambda_2, ..., \lambda_n である。 B2=BBB^2 = B \cdot B であるから、 P1B2P=P1BPP1BP=(P1BP)(P1BP)P^{-1}B^2P = P^{-1}BPP^{-1}BP = (P^{-1}BP)(P^{-1}BP) となり、 P1B2PP^{-1}B^2P も上三角行列となる。対角成分は λ12,λ22,...,λn2\lambda_1^2, \lambda_2^2, ..., \lambda_n^2 となる。従って、 B2B^2 の固有値は λ12,λ22,...,λn2\lambda_1^2, \lambda_2^2, ..., \lambda_n^2 である。

    1. より、 P1BPP^{-1}BP が上三角行列で、対角成分が λ1,λ2,...,λn\lambda_1, \lambda_2, ..., \lambda_n である。 f(x)f(x) は任意の多項式なので、 f(B)=anBn+an1Bn1+...+a1B+a0If(B) = a_n B^n + a_{n-1} B^{n-1} + ... + a_1 B + a_0 I と書ける。このとき、 P1f(B)P=anP1BnP+an1P1Bn1P+...+a1P1BP+a0P1IP=an(P1BP)n+an1(P1BP)n1+...+a1(P1BP)+a0IP^{-1} f(B) P = a_n P^{-1}B^n P + a_{n-1} P^{-1}B^{n-1} P + ... + a_1 P^{-1}BP + a_0 P^{-1}IP = a_n (P^{-1}BP)^n + a_{n-1} (P^{-1}BP)^{n-1} + ... + a_1 (P^{-1}BP) + a_0 I となり、 P1f(B)PP^{-1}f(B)P も上三角行列となり、対角成分は f(λ1),f(λ2),...,f(λn)f(\lambda_1), f(\lambda_2), ..., f(\lambda_n) となる。従って、 f(B)f(B) の固有値は f(λ1),f(λ2),...,f(λn)f(\lambda_1), f(\lambda_2), ..., f(\lambda_n) である。