Question

ゲス

(5)を教えてください

問題1.M2 (R) を実数係数2次正方行列全体のなす R- 線形空間とする. P∈M2 (R) に対しPをPの
転置行列とし, R-線形変換jp: M2 (R) M.2(R) を
jp(A) = 'PAP
により定義する。 またS2 (R) CM2 (R) を2次対称行列全体のなす集合とする。 次の問に答えよ。
(1) S2 (R) が M2 (R) の部分空間であることを示せ .
(2) S2 (R) の基底を一組挙げよ.
(3) jp (Sz (R)) c S2 (R) であることを示せ、
(4) S2(R) のR-線形変換gp を gp := fpls2 (3) により定める. P= - (cd) ₁ に対し, (2) で挙げた基底
に関する 9P この表現行列を求めよ.
(5) gp が全射になることとPが可逆であることが同値であることを示せ .

Answer 1

✨ 最佳解答 ✨

Crystal Clear

(5)これは問題文に誤りがあります。
gPはfPの定義域をS2(R)に制限したものですが、その場合の終域はfPのものと同じM2(R)である;
gP:S2(R)→M2(R)
よってこれが全射とは任意のM2(R)の元Mに対して
gP(A)=M
となるS2(R)の元Aが存在する、ということになりますが、
Aが対称行列であるからgP(A)も対称行列になります(3)。
よってMとしてM2(R)の元ではあるがS2(R)でない元(対称行列でない行列)をとってくれば、
対応する対称行列Aが存在しないことになり、全射ではなくなります。
よってgPは全射であることはありえません。

ですから問題文は終域もS2(R)に制限したものをgP'とすると
gP'が全射になることとPが可逆であることが同値であることを示せ。
とするべきです。

以下、修正した問題に対しての回答をします。

gP'が全射
⇔gP'の表現行列(で定まるR^3→R^3写像)が全射
⇔gP'の表現行列(で定まるR^3→R^3写像)が全単射
⇔gP'の表現行列が可逆
⇔gP'の表現行列の行列式が0でない

となるので、(4)で得られた表現行列のdetを計算すれば示せます。
---------
上の方法は次元が小さい場合には実際に計算で示せるが、一般のn次対称行列の場合では使えない解法である。
一般のSn(R)でも使える解法として以下のようなものが考えられる。
入力の都合上、行列Mの転置行列をM'と表記することにする。

gP'が全射⇒Pが可逆
を示す(逆は明らか)。
gP'が全射
⇔任意の対称行列Bに対してP'AP=Bとなる対称行列Aが存在する。
特にB=I(n次単位行列)として
P'AP=I　①
となる対称行列Aが存在する。
P=(x1 x2 x3 x4 ,,, xn)とする。(各xiはn次の列ベクトル)
P'AP
=(x1 x2 x3 x4 ,,, xn)'(Ax1 Ax2 Ax3 Ax4 ,,, Axn)
となるので①の両辺の(ij)成分をとると
xi'A xj = δij　② (δijはクロネッカーのデルタ)
このときxiたちが一次独立であることを示す。
Σ[j=1~n]aj xj=0 のとき
左からAを掛けたのち、さらに左からxj'をかけると
Σ[j=1~n] aj xi'A xj=0
②を用いると
Σ[j=1~n] aj δij=0
ai=0
これがすべてのiで成り立つからxiたちは一次独立。
よってPは可逆。

対称行列 合同変換 表現行列 線形代数 2次形式

Crystal Clear

訂正
誤
さらに左からxj'をかけると
正
さらに左からxi'をかけると