跳到主要内容

東京大学 工学系研究科 2015年8月実施 数学 第2問

Author

祭音Myyura (co-authored with GPT 6 Astra)

Description

次の列ベクトルを考える。

a1=(0,1,1)T,a2=(1,0,1)T,a3=(1,1,0)T,b=(1,2,4)T.\boldsymbol a_1=(0,1,1)^T,\quad\boldsymbol a_2=(1,0,1)^T,\quad \boldsymbol a_3=(1,1,0)^T,\quad\boldsymbol b=(1,2,4)^T.

I. A=(a1 a2 a3)A=(\boldsymbol a_1\ \boldsymbol a_2\ \boldsymbol a_3) とおき、Ax=bA\boldsymbol x=\boldsymbol b を解け。

II. 任意の m×nm\times n 実行列 BB の特異値分解を B=UΣVTB=U\Sigma V^T とする。U,VU,V は直交行列、Σ\Sigma の最初の r=rankBr=\operatorname{rank}B 個の対角成分は正の特異値で、他の成分は 00 である。BBTBB^TBTBB^TBU,V,ΣU,V,\Sigma とその転置で表せ。

以下では B=(a1 a2)B=(\boldsymbol a_1\ \boldsymbol a_2) とする。

III. BBTBB^T の固有値と対応する固有ベクトルを求めよ。

IV. BB の特異値と、特異値分解における直交行列 U,VU,V の一組を求めよ。

V. Bxb2\|B\boldsymbol x-\boldsymbol b\|^2 を最小にする2次元列ベクトル x\boldsymbol x を求めよ。

题目描述

给定列向量

a1=(0,1,1)T,a2=(1,0,1)T,a3=(1,1,0)T,b=(1,2,4)T.\boldsymbol a_1=(0,1,1)^T,\quad\boldsymbol a_2=(1,0,1)^T,\quad \boldsymbol a_3=(1,1,0)^T,\quad\boldsymbol b=(1,2,4)^T.

I. 令 A=(a1 a2 a3)A=(\boldsymbol a_1\ \boldsymbol a_2\ \boldsymbol a_3),解 Ax=bA\boldsymbol x=\boldsymbol b

II. 任意 m×nm\times n 实矩阵 BB 的奇异值分解为 B=UΣVTB=U\Sigma V^T,其中 U,VU,V 为正交矩阵,Σ\Sigma 的前 r=rankBr=\operatorname{rank}B 个对角元素为正奇异值,其余元素为 00。用 U,V,ΣU,V,\Sigma 及其转置表示 BBTBB^TBTBB^TB

以下令 B=(a1 a2)B=(\boldsymbol a_1\ \boldsymbol a_2)

III. 求 BBTBB^T 的特征值和相应特征向量。

IV. 求 BB 的奇异值以及一个奇异值分解中的正交矩阵 U,VU,V

V. 求使 Bxb2\|B\boldsymbol x-\boldsymbol b\|^2 最小的二维列向量 x\boldsymbol x

Kai

I

連立方程式は x2+x3=1x_2+x_3=1x1+x3=2x_1+x_3=2x1+x2=4x_1+x_2=4 なので、

x=(5/2,3/2,1/2)T.\boxed{\boldsymbol x=(5/2,3/2,-1/2)^T.}

II

UTU=I,VTV=IU^TU=I,V^TV=I より、

BBT=UΣΣTUT,BTB=VΣTΣVT.\boxed{BB^T=U\Sigma\Sigma^TU^T,\qquad B^TB=V\Sigma^T\Sigma V^T.}

III

BBT=(101011112),det(λIBBT)=λ(λ1)(λ3).BB^T=\begin{pmatrix}1&0&1\\0&1&1\\1&1&2\end{pmatrix},\qquad \det(\lambda I-BB^T)=\lambda(\lambda-1)(\lambda-3).

対応する単位固有ベクトルを次のように取れる。

λ単位固有ベクトル3(1,1,2)T/61(1,1,0)T/20(1,1,1)T/3\boxed{ \begin{array}{c|c} \lambda&\text{単位固有ベクトル}\\\hline 3&(1,1,2)^T/\sqrt6\\ 1&(1,-1,0)^T/\sqrt2\\ 0&(1,1,-1)^T/\sqrt3 \end{array}}

各固有空間は、表の対応するベクトルで張られる。

IV

特異値は 3,1\boxed{\sqrt3,1}。III のベクトルを固有値 3,1,03,1,0 の順に列に並べて UU とすると、

U=(1/61/21/31/61/21/32/601/3),Σ=(300100),V=12(1111).\boxed{ U=\begin{pmatrix} 1/\sqrt6&1/\sqrt2&1/\sqrt3\\ 1/\sqrt6&-1/\sqrt2&1/\sqrt3\\ 2/\sqrt6&0&-1/\sqrt3 \end{pmatrix},\quad \Sigma=\begin{pmatrix}\sqrt3&0\\0&1\\0&0\end{pmatrix},\quad V=\frac1{\sqrt2}\begin{pmatrix}1&-1\\1&1\end{pmatrix}.}

Bvj=σjujB\boldsymbol v_j=\sigma_j\boldsymbol u_j より、B=UΣVTB=U\Sigma V^T が成り立つ。

V

BB は列フルランクなので、最小二乗解は正規方程式で一意に定まる。

(2112)x=BTb=(65).\begin{pmatrix}2&1\\1&2\end{pmatrix}\boldsymbol x =B^T\boldsymbol b=\begin{pmatrix}6\\5\end{pmatrix}.

したがって

x=(7/3,4/3)T,minBxb2=13.\boxed{\boldsymbol x=(7/3,4/3)^T,\qquad \min\|B\boldsymbol x-\boldsymbol b\|^2=\frac13.}