東京大学 数理科学研究科 数理科学専攻 2024年8月実施 専門科目B 第6問

Author

藍色日和

Description

の連結開集合 及び に対して、 を と を結ぶ 内の区分的に滑らかな曲線の長さの下限とする。連結開集合 及び全単射 で、任意の に対して

を満たすものが取れたとする。このとき の等長変換 が唯一つ存在して、任意の に対して

を満たしていることを示しなさい。

Kai

まず の開部分凸集合 をとる。このとき任意の について

である(最後の等式に の凸性を用いている)から、通常の距離位相に関して は連続である。 ここで任意の に対して、 の凸開近傍 をとり、 に於ける の凸開近傍 をとると、これは任意の について

であるから、通常の位相に関して は等長写像である。このとき、 の全単射性も考慮すると、 の取り方に依らないある等長変換 が存在して

を満たしている。

最後にこの が に依らないことを示す。 を任意に取る。 まず は連結開集合なので弧状連結開集合であり、 かつ なる道 をとることができる。 ここで 上の各点に於いて充分小さい凸開近傍をとると、 のコンパクト性からこれは有限部分被覆を持つ。 充分小さい凸開部分集合に於いて上で取った等長変換は点に依らず一定であるから、これにより が従う。

以上から を とすれば良い。