跳到主要内容

お茶の水女子大学 人間文化創成科学研究科 理学専攻 数学コース 2016年8月実施 問題2

Author

祭音Myyura (co-authored with GPT 5.6 SOL)

Description

(1)

次を示せ。

(i)

AA(m,n)(m,n) 行列、BB(n,m)(n,m) 行列とすると、TrAB=TrBA\operatorname{Tr}AB=\operatorname{Tr}BA が成り立つ。

(ii)

AAnn 次実対称行列とする。AA(i,j)(i,j) 成分を aija_{ij}i,j=1,,ni,j=1,\ldots,n)で表し、AA の固有値を αi\alpha_ii=1,,ni=1,\ldots,n)で表すと、

i=1nj=1naij2=i=1nαi2\sum_{i=1}^n\sum_{j=1}^n a_{ij}^2=\sum_{i=1}^n\alpha_i^2

が成り立つ。

(2)

xx について 22 次以下の実数係数多項式全体のなす線形空間を VV とする。写像 T:VVT:V\to V

T(f(x))=2xf(x)+f(1x)T(f(x))=2xf'(x)+f(1-x)

によって定める。以下の問いに答えよ。

(i)

TTVV の線形変換であることを示し、VV の基底 1,x,x21,x,x^2 に関する TT の表現行列を求めよ。

(ii)

TT の固有多項式と固有値を求めよ。

(iii)

(i) で求めた行列の Jordan 標準形を求めよ。

(iv)

(iii) で求めた Jordan 標準形が TT の表現行列となるときの VV の基底を一組求めよ。

题目描述

  1. 证明矩形矩阵的迹恒等式 Tr(AB)=Tr(BA)\operatorname{Tr}(AB)=\operatorname{Tr}(BA);并证明实对称矩阵所有元素的平方和等于所有特征值的平方和。

  2. 在次数不超过 22 的实系数多项式空间上定义

    T(f)(x)=2xf(x)+f(1x).T(f)(x)=2xf'(x)+f(1-x).

    证明 TT 线性,求其在基底 1,x,x21,x,x^2 下的矩阵、特征多项式与特征值、Jordan 标准形,以及使该 Jordan 标准形成为表示矩阵的一组基底。

Kai

(1)

(i)

A=(aij)A=(a_{ij})B=(bji)B=(b_{ji}) とすれば

Tr(AB)=i=1mj=1naijbji=j=1ni=1mbjiaij=Tr(BA).\operatorname{Tr}(AB) =\sum_{i=1}^m\sum_{j=1}^n a_{ij}b_{ji} =\sum_{j=1}^n\sum_{i=1}^m b_{ji}a_{ij} =\operatorname{Tr}(BA).

(ii)

AA は実対称行列なので AT=AA^T=A であり、ある直交行列 QQ により

QTAQ=diag(α1,,αn)Q^TAQ=\operatorname{diag}(\alpha_1,\ldots,\alpha_n)

と対角化できる。したがって

i,j=1naij2=Tr(ATA)=Tr(A2)=i=1nαi2.\sum_{i,j=1}^n a_{ij}^2 =\operatorname{Tr}(A^TA) =\operatorname{Tr}(A^2) =\sum_{i=1}^n\alpha_i^2.

(2)

(i)

微分、変数置換および加法はいずれも線形であるから、TT は線形変換である。また

T(1)=1,T(x)=1+x,T(x2)=12x+5x2.T(1)=1,\qquad T(x)=1+x,\qquad T(x^2)=1-2x+5x^2.

よって基底 (1,x,x2)(1,x,x^2) に関する表現行列は

M=(111012005).M=\boxed{ \begin{pmatrix} 1&1&1\\ 0&1&-2\\ 0&0&5 \end{pmatrix}}.

(ii)

det(λIM)=(λ1)2(λ5).\det(\lambda I-M)=(\lambda-1)^2(\lambda-5).

λ=1\lambda=1 の固有空間は 1\langle1\rangleλ=5\lambda=5 の固有空間は 8x24x+1\langle8x^2-4x+1\rangle である。したがって

λ=1: 1,λ=5:8x24x+1\boxed{ \lambda=1:\ 1,\qquad \lambda=5: 8x^2-4x+1 }

であり、それぞれの非零定数倍も固有多項式である。

(iii)

λ=1\lambda=1 の代数的重複度は 22、幾何学的重複度は 11 である。よって Jordan 標準形は

J=(110010005).\boxed{ J=\begin{pmatrix} 1&1&0\\ 0&1&0\\ 0&0&5 \end{pmatrix}}.

(iv)

T(1)=1,T(x)=1+x,T(8x24x+1)=5(8x24x+1).T(1)=1,\qquad T(x)=1+x,\qquad T(8x^2-4x+1)=5(8x^2-4x+1).

したがって、求める基底の一例は

(1, x, 8x24x+1).\boxed{(1,\ x,\ 8x^2-4x+1)}.