跳到主要内容

千葉大学 融合理工学府 数学情報科学専攻 数学・情報数理学コース 2024年8月実施 専門 A3

标签:

Author

祭音Myyura (co-authored with GPT 6 Astra)

Description

(1) 距離空間 (X,d1)(X,d_1) に対し d2(x,y)=d1(x,y)/(1+d1(x,y))d_2(x,y)=d_1(x,y)/(1+d_1(x,y)) も距離であることを示せ。

(2) 恒等写像 (X,d1)(X,d2)(X,d_1)\to(X,d_2)(X,d2)(X,d1)(X,d_2)\to(X,d_1) はそれぞれ連続か。

(3) コンパクト位相空間 YY の閉部分空間 FF はコンパクトであることを示せ。

题目描述

(1) 证明将距离 dd 换成 d/(1+d)d/(1+d) 后仍是距离。(2) 判断两种距离空间之间两个方向的恒等映射是否连续。(3) 证明紧空间的闭子空间仍紧。

Kai

(1)

非負性、対称性、および d2(x,y)=0    x=yd_2(x,y)=0\iff x=y は明らかである。a,b0a,b\ge0 について

a+b1+a+ba1+a+b1+b\frac{a+b}{1+a+b}\le\frac a{1+a}+\frac b{1+b}

であり、t/(1+t)t/(1+t) は増加関数である。これを d1d_1 の三角不等式に適用すると d2d_2 の三角不等式を得る。

(2)

どちらも連続である。 一方は d2d1d_2\le d_1 より従う。逆方向について、任意の ε>0\varepsilon>0 に対し

d2(x,y)<ε1+εd1(x,y)<εd_2(x,y)<\frac\varepsilon{1+\varepsilon}\quad\Longrightarrow\quad d_1(x,y)<\varepsilon

となる。

(3)

FF の相対開被覆を {Ui}\{U_i\} とし、Ui=ViFU_i=V_i\cap FViV_iYY の開集合と書く。{Vi}{YF}\{V_i\}\cup\{Y\setminus F\}YY の開被覆なので有限部分被覆をもつ。それに対応する有限個の UiU_iFF を覆う。ゆえに FF はコンパクトである。