跳到主要内容

京都大学 情報学研究科 数理工学専攻 2009年8月実施 基礎数学 II

Author

思齐塾, 祭音Myyura

Description

M(n,R)M(n, \mathbb{R})n×nn \times n 実行列の全体を表し, IM(n,R)I \in M(n, \mathbb{R}) で単位行列を表す。以下の問いに答えよ。

(i) I+XI + X が可逆であるとして, Y=(IX)(I+X)1Y = (I - X)(I + X)^{-1} とおく。このとき, I+YI + Y もまた可逆で, X=(IY)(I+Y)1X = (I - Y)(I + Y)^{-1} が成り立つことを示せ。

(ii) AM(n,R)A \in M(n, \mathbb{R}) が反対称行列で I+AI + A が可逆ならば, G=(IA)(I+A)1G = (I - A)(I + A)^{-1} は直交行列であることを示せ。ただし, AT=AA^T = -A の成り立つ行列 AA を反対称 (歪対称) 行列といい,上付きの添え字 TT は行列の転置を表す。

(iii) ある JM(n,R)J \in M(n, \mathbb{R}) に対し, HM(n,R)H \in M(n, \mathbb{R})HTJ=JHH^T J = -JH をみたし, I+HI + H は可逆とする。このとき S=(IH)(I+H)1S = (I - H)(I + H)^{-1}STJS=JS^T J S = J をみたすことを示せ。(特に J=IJ = I ならば,この問題は (ii) に帰着する。)

(iv) n=2n = 2 とする。(ii), (iii) における A,G,H,SA, G, H, S を一般的な形で求めたい。(iii) における JJ はここでは特に J=(0110)J = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} とする。まず,次の一般的な反対称行列を A=(0aa0),aRA = \begin{pmatrix} 0 & a \\ -a & 0 \end{pmatrix}, a \in \mathbb{R} とおいて, GG を求めよ。さらに, H=(pqrs)M(2,R)H = \begin{pmatrix} p & q \\ r & s \end{pmatrix} \in M(2, \mathbb{R}) とおいて, HTJ=JHH^T J = -JH をみたすように HH を定め,続いて SS を求めよ。

题目描述

M(n,R)M(n,\mathbb R) 表示全体 n×nn\times n 实矩阵,以 II 表示单位矩阵。完成以下各问:

  1. 假设 I+XI+X 可逆,并令

    Y=(IX)(I+X)1.Y=(I-X)(I+X)^{-1}.

    证明 I+YI+Y 也可逆,且

    X=(IY)(I+Y)1.X=(I-Y)(I+Y)^{-1}.
  2. AM(n,R)A\in M(n,\mathbb R) 为反对称矩阵,即 AT=AA^T=-A,且 I+AI+A 可逆,证明

    G=(IA)(I+A)1G=(I-A)(I+A)^{-1}

    是正交矩阵;上标 TT 表示转置。

  3. 设给定 JM(n,R)J\in M(n,\mathbb R),矩阵 HM(n,R)H\in M(n,\mathbb R) 满足 HTJ=JHH^TJ=-JH,且 I+HI+H 可逆。证明

    S=(IH)(I+H)1S=(I-H)(I+H)^{-1}

    满足 STJS=JS^TJS=J。特别地,J=IJ=I 时即退化为第 2 问。

  4. n=2n=2,并在第 3 问中令

    J=(0110).J=\begin{pmatrix}0&1\\-1&0\end{pmatrix}.

    先对一般反对称矩阵

    A=(0aa0),aR,A=\begin{pmatrix}0&a\\-a&0\end{pmatrix},\qquad a\in\mathbb R,

    求出 GG。再令

    H=(pqrs),H=\begin{pmatrix}p&q\\r&s\end{pmatrix},

    求出满足 HTJ=JHH^TJ=-JH 的一般 HH,进而计算相应的 SS

Kai

(i) Cayley 変換の反転

Y=(IX)(I+X)1Y=(I-X)(I+X)^{-1} から

I+Y=2(I+X)1I+Y=2(I+X)^{-1}

である。したがって I+YI+Y は正則である。また、

Y(I+X)=IX,(I+Y)X=IY\begin{aligned} Y(I+X)&=I-X,\\ (I+Y)X&=I-Y \end{aligned}

だから

X=(I+Y)1(IY).X=(I+Y)^{-1}(I-Y).

IYI-YI+YI+Y はともに YY の多項式なので可換であり、

X=(IY)(I+Y)1X=(I-Y)(I+Y)^{-1}

を得る。

(ii) 直交性

AT=AA^T=-A から

GT=(IA)1(I+A).G^T=(I-A)^{-1}(I+A).

IAI-AI+AI+A は可換なので、

GTG=(IA)1(I+A)(IA)(I+A)1=I.\begin{aligned} G^TG &=(I-A)^{-1}(I+A)(I-A)(I+A)^{-1}\\ &=I. \end{aligned}

したがって GG は直交行列である。

(iii) STJS=JS^TJS=J

HTJ=JHH^TJ=-JH は、次の二式と同値である。

(IHT)J=J(I+H),(I+HT)J=J(IH).(I-H^T)J=J(I+H), \qquad (I+H^T)J=J(I-H).

I+HI+H が正則なので I+HTI+H^T も正則である。 ST=(I+HT)1(IHT)S^T=(I+H^T)^{-1}(I-H^T) を用いると、

STJS=(I+HT)1(IHT)J(IH)(I+H)1=(I+HT)1J(I+H)(IH)(I+H)1=(I+HT)1J(IH)=J.\begin{aligned} S^TJS &=(I+H^T)^{-1}(I-H^T)J(I-H)(I+H)^{-1}\\ &=(I+H^T)^{-1}J(I+H)(I-H)(I+H)^{-1}\\ &=(I+H^T)^{-1}J(I-H)\\ &=J. \end{aligned}

ここでは JJ の可逆性を仮定していない。

(iv) n=2n=2 の計算

まず

A=(0aa0)A= \begin{pmatrix} 0&a\\ -a&0 \end{pmatrix}

に対して、

(I+A)1=11+a2(1aa1).(I+A)^{-1} =\frac1{1+a^2} \begin{pmatrix} 1&-a\\ a&1 \end{pmatrix}.

したがって

G=11+a2(1a22a2a1a2).G= \frac1{1+a^2} \begin{pmatrix} 1-a^2&-2a\\ 2a&1-a^2 \end{pmatrix}.

次に H=(pqrs)H=\begin{pmatrix}p&q\\r&s\end{pmatrix} として HTJ=JHH^TJ=-JH を成分比較すると s=ps=-p を得る。よって

H=(pqrp).H= \begin{pmatrix} p&q\\ r&-p \end{pmatrix}.

I+HI+H が正則であるという条件は

δ:=det(I+H)=1p2qr0\delta:=\det(I+H)=1-p^2-qr\neq0

である。直接計算により、

S=1δ(12p+p2+qr2q2r1+2p+p2+qr)S= \frac1{\delta} \begin{pmatrix} 1-2p+p^2+qr&-2q\\ -2r&1+2p+p^2+qr \end{pmatrix}

を得る。