科学大数学系院試過去問解答例(2024午前02)

ここでは科学大数学系の修士課程の院試の2024午前02の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。

2024午前02

$n$ を正の自然数とし、 $M_{n} (R)$ を実成分 $n \times n$ 行列全体の為す $R$ 線型空間とする。

任意の $R$ 線型写像 $f : M_{n} (R) \to R$ は、ある $A \in M_{n} (R)$ を用いて $f (X) = Tr (A X)$ と書けることを示しなさい。
任意の $A, B \in M_{n} (R)$ に対して $g (A B) = g (B A)$ になるような線型写像 $g : M_{n} (R) \to R$ を全て求めなさい。
$M_{n}$ の部分集合
${A B - B A | A, B \in M_{n} (R)}$
で生成される部分線型空間を $V$ とする。 $\dim_{R} V$ を計算しなさい。

まず $(i, j)$ 成分が $1$ 、それ以外が $0$ の行列を $A_{i, j}$ とし、
$a_{i j} = f (A_{i, j})$
とおく。ここで行列 $A$ を $A = (a_{j i})_{i, j}$ 、つまり $(i, j)$ 成分が $a_{j i}$ であるような行列とおくと、 $f (X) = Tr (A X)$ が満たされている。
$g$ が行列 $S$ を用いて $g (X) = Tr (S X)$ と表されたとする。このとき任意の行列 $A, B$ に対して
$Tr (S A B) = Tr (S B A)$
を満たす必要がある。これが満たされるのは $S$ がスカラー行列のときだけである。よって求める線型写像は
$g_{a} (X) = a Tr (X)$
で尽くされている(但し $a$ は実数全体を走る)。
線型写像 $g_{1} : M_{n} (R) \to R$ をとる。このとき
$\dim_{R} Ker g_{1} = n^{2} - 1$
であり、 $V$ はこの空間に含まれるから $\dim_{R} \leq n^{2} - 1$ である。一方相異なる $i, j$ に対して、 $k \neq i, j$ なる $k$ を取れば
$A_{i, j} = A_{i, k} A_{k, j} - A_{k, j} A_{i, k}$
であり、また
$A_{i, i} - A_{i + 1, i + 1} = A_{i, i + 1} A_{i + 1, i} - A_{i + 1, i} A_{i, i + 1}$
であるから、 $V$ は対角成分が $0$ の行列たち・対角成分の和が $0$ の行列たち全てを含むから $\dim_{R} V \geq n^{2} - 1$ である。以上から $\dim_{R} V = n^{2} - 1$ である。

投稿日：2024年10月4日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

藍色日和

52935

藍色の日々。趣味の数学と院試の過去問の(間違ってるかもしれない雑な)解答例を上げていきます。リンクはX(旧Twitter)アカウント　

他の人のコメント

コメントはありません。

読み込み中

藍色日和

科学大数学系院試過去問解答例(2024午前02)