東大数理院試過去問解答例(2008B05)

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

2008B05

$2$ 次元トーラス $T^{2} = R^{2} / Z^{2}$ をとり、 $π : R^{2} \to T^{2}$ を自然な射影とする。 $X \in M_{2} (Z)$ に対して $L_{X} : R^{2} \to R^{2}$ を $X$ の定める線型写像とし、 $ℓ_{X} : T^{2} \to T^{2}$ を $π$ によって誘導される $T^{2}$ の間の連続写像とする。

行列 $A, B$ を
$A = (\begin{matrix} 2 & 1 \\ 1 & 1 \end{matrix})$
$B = A^{2} = (\begin{matrix} 5 & 3 \\ 3 & 2 \end{matrix})$
とおく。 $L_{B} H = H L_{A}$ を満たす同相写像 $H : R^{2} \to R^{2}$ を一つ求めなさい。
等式 $ℓ_{B} h = h ℓ_{A}$ を満たす同相写像 $h : T^{2} \to T^{2}$ は存在しないことを示しなさい。

初めに
$C = P A P^{- 1}$
を $A$ の対角化とする。ここで $f : R^{2} \to R^{2}$ を $f (x, y) = (| x | x, | y | y)$ で定義し、合成 $h = L_{P^{- 1}} f L_{P}$ をとる。このとき
$\begin{aligned} h L_{A} & = L_{P^{- 1}} L_{P} h L_{P^{- 1}} L_{P} L_{A} L_{P^{- 1}} L_{P} \\ = L_{P^{- 1}} f L_{C} L_{P} \\ = L_{P^{- 1}} L_{C^{2}} f L_{P} & = L_{B} h \end{aligned}$
であるから、 $h$ は所望の同相である。
このような $h$ が存在したとして矛盾を導く。まず $h$ は線型写像 $h : H_{2} (T^{2}, Z) \to H_{2} (T^{2}, Z)$ を誘導する。この表現行列を
$(\begin{matrix} x & y \\ z & w \end{matrix})$
と置いたとき、 $h$ の条件から $2$ つの行列
$(\begin{matrix} x & y \\ z & w \end{matrix}) (\begin{matrix} 2 & 1 \\ 1 & 1 \end{matrix}) = (\begin{matrix} 2 x + y & x + y \\ 2 z + w & z + w \end{matrix})$
$(\begin{matrix} 5 & 3 \\ 3 & 2 \end{matrix}) (\begin{matrix} x & y \\ z & w \end{matrix}) = (\begin{matrix} 5 x + 3 z & 5 y + 3 w \\ 3 x + 2 z & 3 y + 2 w \end{matrix})$
は等しい。しかしこのような行列は $0$ しかなく、 $h$ が同相であることに矛盾する。よって $h$ は存在しない。

投稿日：4日前

更新日：4日前

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53137

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2008B05)