18/08/29 22:14:26.17 YqlgVSRV.net
さらに、
>>589
の証明で、藤岡さんは何の断りもなく、↓の事実を使っています。
「
(S, d) を距離空間とし、 M を S の空でない任意の部分集合とする。
d の定義域を M × M に制限した距離関数 d_M とするとき、
(M, d_M) はまた距離空間になる。
このとき、
d_M から定められる M の位相 O_d_M は d から定められた S の位相 O_d の M における相対位相 (O_d)_M
に一致する。
」