早稲田大学 創造理工学研究科 経営システム工学専攻 2018年7月実施 数理基礎 D

标签：

• Waseda-University
• Linear-Independence
• Complex-Numbers
• Eigenvalues-and-Eigenvectors
• Orthogonal-Decomposition

Author

祭音Myyura

Description

1. 実 $n$ 次正方行列 $A$ とベクトル $\boldsymbol a$ に対し、ある自然数 $m$ について $A^m\boldsymbol a\neq\boldsymbol0$ 、 $A^{m+1}\boldsymbol a=\boldsymbol0$ が成り立つとする。 $\boldsymbol a,A\boldsymbol a,\ldots,A^m\boldsymbol a$ が線形独立であることを示せ。
2. $z=a+bi$ に対して

$$A(z)=\begin{pmatrix}-a&-b\\b&-a\end{pmatrix}$$

とする。原題が求める積と逆行列の関係を検討せよ。 3. $A=\begin{pmatrix}0&2&1\\2&3&2\\1&2&0\end{pmatrix}$ 、 $\boldsymbol v_1=(1,0,-1)^{\mathsf T}/\sqrt2$ とする。 $\boldsymbol v_1$ が固有ベクトルであることを示し、これと互いに直交する残り2本の単位固有ベクトルを求めよ。

题目描述

完成下列三小题。

1. 设 $A$ 为实 $n$ 阶方阵，$\boldsymbol a$ 为向量，且对某个自然数 $m$ 有

   $$A^m\boldsymbol a\ne\boldsymbol 0,\qquad A^{m+1}\boldsymbol a=\boldsymbol 0.$$

   证明 $\boldsymbol a,A\boldsymbol a,\ldots,A^m\boldsymbol a$ 线性无关。

2. 对复数 $z=a+bi$ 定义

   $$A(z)=\begin{pmatrix}-a&-b\\b&-a\end{pmatrix}.$$

   现有原始 Description 只要求“考察原题中的乘积与逆矩阵关系”，并未保留两条关系式全文。Kai 唯一明确讨论的是：比较 $A(z_1z_2)$ 与 $A(z_1)A(z_2)$，以及在 $z\neq0$ 时比较 $A(z^{-1})$ 与 $A(z)^{-1}$，并核验原题所印负号是否成立。除此之外不补入其他关系。

3. 给定

   $$A=\begin{pmatrix}0&2&1\\2&3&2\\1&2&0\end{pmatrix}, \qquad \boldsymbol v_1=\frac{1}{\sqrt2}(1,0,-1)^{\mathsf T},$$

   证明 $\boldsymbol v_1$ 是 $A$ 的特征向量，并求另外两个单位特征向量，使三个向量两两正交。

Kai

[小問 1]

線形関係

$$c_0\boldsymbol a+c_1A\boldsymbol a+\cdots+c_mA^m\boldsymbol a=\boldsymbol0$$

を仮定する。0でない係数があるとして、その添字の最小値を $k$ とする。両辺に $A^{m-k}$ を作用させると、 $j>k$ の項は $A^{m+(j-k)}\boldsymbol a=\boldsymbol0$ となるため

$$c_kA^m\boldsymbol a=\boldsymbol0$$

だけが残る。しかし $c_k\neq0$ かつ $A^m\boldsymbol a\neq\boldsymbol0$ なので矛盾する。したがって全係数は0であり、これらのベクトルは線形独立である。

[小問 2]

$z_j=a_j+b_ji$ として直接掛け算すれば

$$\boxed{A(z_1z_2)=-A(z_1)A(z_2)}$$

が成り立つ。また

$$\det A(z)=a^2+b^2$$

なので $z\neq0$ なら正則であり、

$$A(z)^{-1} =\frac1{a^2+b^2} \begin{pmatrix}-a&b\\-b&-a\end{pmatrix}.$$

一方、 $z^{-1}=(a-bi)/(a^2+b^2)$ を代入すると

$$\boxed{A(z^{-1})=A(z)^{-1}}$$

である。原題には $A(z^{-1})=-A(z)^{-1}$ と印刷されているが、これは $z=1$ とするだけで $-I=I$ を要求するため成立しない。したがって第2式の負号は誤植と判断できる。

[小問 3]

計算すると

$$A\boldsymbol v_1=-\boldsymbol v_1$$

なので、 $\boldsymbol v_1$ は固有値 $-1$ の単位固有ベクトルである。残りは例えば

$$\boxed{ \boldsymbol v_2=\frac1{\sqrt3}(1,-1,1)^{\mathsf T},\qquad \boldsymbol v_3=\frac1{\sqrt6}(1,2,1)^{\mathsf T} }$$

と取れる。実際、

$$A\boldsymbol v_2=-\boldsymbol v_2,\qquad A\boldsymbol v_3=5\boldsymbol v_3$$

であり、3本はすべて長さ1で互いに直交する。