東大数理院試過去問解答例(2025B06)

189

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

2025B06

$R^{n}$ の連結開集合 $U$ 及び $p, q \in U$ に対して、 $d_{U} (p, q)$ を $p$ と $q$ を結ぶ $U$ 内の区分的に滑らかな曲線の長さの下限とする。連結開集合 $U_{0}, U_{1} \subseteq R^{n}$ 及び全単射 $f : U_{0} \to U_{1}$ で、任意の $p, q \in U_{0}$ に対して
$d_{U_{0}} (p, q) = d_{U_{1}} (f (p), f (q))$
を満たすものが取れたとする。このとき $R^{2}$ の等長変換 $A$ が唯一つ存在して、任意の $p \in U_{0}$ に対して
$f (p) = A (p)$
を満たしていることを示しなさい。

　まず $U_{0}$ の開部分凸集合 $V_{0}$ をとる。このとき任意の $x, y \in V_{0}$ について
$d (f (x), f (y)) \leq d_{U_{1}} (f (x), f (y)) = d_{U_{0}} (x, y) = d (x, y)$
である(最後の等式に $U_{0}$ の凸性を用いている)から、通常の距離位相に関して $f : V_{0} \to U_{1}$ は連続である。
　ここで任意の $p \in U_{0}$ に対して、 $f (p)$ の凸開近傍 $V_{1}$ をとり、 $f^{- 1} (V_{1})$ に於ける $p$ の凸開近傍 $V_{0}$ をとると、これは任意の $x, y \in V_{0}$ について
$d (x, y) = d_{U_{0}} (x, y) = d_{U_{1}} (f (x), f (y)) = d (f (x), f (y))$
であるから、通常の位相に関して $f : U_{0} \to U_{1}$ は等長写像である。このとき、 $f$ の全単射性も考慮すると、 $U_{0}, U_{1}$ の取り方に依らないある等長変換 $A_{p}$ が存在して
$f (x) = A_{p} (x)$
を満たしている。
　最後にこの $A_{p}$ が $p$ に依らないことを示す。 $p, q \in U_{0}$ を任意に取る。まず $U_{0}$ は連結開集合なので弧状連結開集合であり、 $γ (0) = p$ かつ $γ (1) = q$ なる道 $γ : [0, 1] \to U_{0}$ をとることができる。ここで $γ [0, 1]$ 上の各点に於いて充分小さい凸開近傍をとると、 $γ [0, 1]$ のコンパクト性からこれは有限部分被覆を持つ。充分小さい凸開部分集合に於いて上で取った等長変換は点に依らず一定であるから、これにより $A_{p} = A_{q}$ が従う。
　以上から $A_{p}$ を $A$ とすれば良い。

投稿日：19日前

更新日：11日前

この記事を高評価した人

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

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

バッジはありません。

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

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

投稿者

藍色日和

65352

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

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2025B06)