東大数理院試過去問解答例(2023B07)

326

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

2023B07

$2$ 次複素正方行列のなす位相空間 $M_{2} (C)$ の部分空間
$X := {A \in M_{2} (C) | A^{2} = 1, A \neq \pm 1}$
を考える。ここで
$S^{3} := {(t, u) \in R \times C | t^{2} + | u |^{2} = 1}$
とおく。ここで $A$ は固有値 $\pm 1$ を持つが、この $1$ に関する固有ベクトル $(\begin{matrix} α \\ β \end{matrix})$ を $| α |^{2} + | β |^{2} = 1$ を満たすようにとり、 $f (A) := (| α |^{2} - | β |^{2}, 2 \overset{―}{α} β)$ と定義する。
(1) $f$ は $α, β$ の取り方に依らずに、写像 $f : X \to S^{2}$ を定めていることを示せ。
(2) $f : X \to S^{2}$ は連続写像であることを示せ。
(3) 任意の $p \in S^{2}$ に対して、 $f^{- 1} (p)$ は $R^{2}$ と同相であることを示せ。

まず $(α, β)^{t}$ は ${z | | z |^{2} = 1}$ の元倍の違いを除いて一意に定まる。ここで $(α^{'}, β^{'}) = (z α, z β)$ とおくと、
$\begin{aligned} f (α^{'}, β^{'}) & = (| z α |^{2} - | z β |^{2}, 2 \overset{―}{z α} z β) \\ = (| α |^{2} - | β |^{2}, 2 \overset{―}{α} β) \\ = f (α, β) \end{aligned}$
であるから、 $f$ は関数 $X \to R \times C$ を $(α, β)^{t}$ に依らず定めている。また
$(| α |^{2} - | β |^{2})^{2} + 4 | \overset{―}{α} |^{2} | β^{2} | = (| α |^{2} + | β |^{2})^{2} = 1$
であるから $f$ の像は $S^{2}$ に含まれている。以上から結果が従う。
まず $X$ の開部分集合
$U = {(\begin{matrix} x & y \\ z & w \end{matrix}) \in X | (x, y) \neq (1, 0)}$
$V = {(\begin{matrix} x & y \\ z & w \end{matrix}) \in X | (z, w) \neq (0, 1)}$
をとる。このとき $A \in U$ 及び $A \in V$ に対して
$f (A) = (\frac{| y |^{2} - | 1 - x |^{2}}{| y |^{2} + | 1 - x |^{2}}, \frac{2 \overset{―}{y} (1 - x)}{| y |^{2} + | 1 - x |^{2}})$
$f (A) = (\frac{| 1 - w |^{2} - | z |^{2}}{\sqrt{| 1 - w |^{2} + | z |^{2}}}, \frac{2 (\overset{―}{1 - w}) z}{| 1 - w |^{2} + | z |^{2}})$
と表せるから、 $f$ は $A = U \cup V$ 上連続関数である。
まず $p = (- t, \overset{―}{u})$ を固定する。初めに $(t, u) \neq (\pm 1, 0)$ の場合を考える。ここで連続写像 $F : R^{2} \to M_{2} (C)$ を
$F (r \cos θ, r \sin θ) = {\begin{array}{cc} (\begin{matrix} 1 - \sqrt{\frac{1 + t}{1 - t}} r e^{i (θ - \arg u)} & r e^{i θ} \\ 2 \sqrt{\frac{1 + t}{1 - t}} e^{i (- \arg u)} - \frac{1 + t}{1 - t} r e^{i (θ - 2 \arg u)} & - 1 + \sqrt{\frac{1 + t}{1 - t}} r e^{i (θ - \arg u)} \end{matrix}) & (r \neq 0) \\ (\begin{matrix} 1 & 0 \\ 2 \sqrt{\frac{1 + t}{1 - t}} e^{- i \arg u} & - 1 \end{matrix}) & (r = 0) \end{array}$
とおく。この写像の像に含まれる行列の固有多項式は $X^{2} - 1$ であり、この $1$ に関する固有ベクトルは
$(\begin{matrix} \sqrt{\frac{1 - t}{2}} \\ \sqrt{\frac{1 + t}{2}} e^{- i \arg u} \end{matrix})$
で与えられ、これは成分の二乗和が $1$ になっていて、しかも
${| \sqrt{\frac{1 - t}{2}} |}^{2} - {| \sqrt{\frac{1 + t}{2}} e^{- i \arg u} |}^{2} = - t$
$2 \overset{―}{\sqrt{\frac{1 - t}{2}}} \sqrt{\frac{1 + t}{2}} e^{- i \arg u} = \overset{―}{u}$
であるから、 $F$ は連続単射写像 $F : R^{2} ↪ f^{- 1} (p)$ を定義する。一方 $f^{- 1} (p)$ の元
$(\begin{matrix} a & b \\ c & d \end{matrix})$ は $b$ から $a, c, d$ が一意的に定まることを考慮すると、
$\begin{aligned} G : f^{- 1} (p) & \to R^{2} \\ (\begin{array}{c} a & r e^{i θ} \\ c & d \end{array}) & \mapsto (r \cos θ, r \sin θ) \end{aligned}$
によって連続逆写像が与えられている。以上から同相 $f^{- 1} (p) ≃ R^{2}$ が得られる。次に $(t, u) = (1, 0)$ (resp. $(- 1, 0)$ )のときを考える。このとき $(α, β) = (1, 0)$ (resp. (0,1))であり、これを固有値 $1$ の固有ベクトルに持つような $X$ の行列は
$(\begin{matrix} 1 & b \\ 0 & - 1 \end{matrix}) (resp. (\begin{matrix} - 1 & 0 \\ c & 1 \end{matrix}))$
限られる。よって同相 $f^{- 1} (\pm 1, 0) ≃ R^{2}$ が従う。

投稿日：2023年10月31日

更新日：2023年11月24日

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

53245

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2023B07)