距離と位相
疑問I. 集合Xに2元間の距離d: X x X -> R が与えられていると
e-近傍 U(x,e) = {y| d(x,y)<e }が定義できて、
任意のUの元xに対してd(x,e)⊂Uとなるe>0存在するXの部分集合U全体を
開集合としてXに位相が入ります。写像d: X x X -> Rが距離といわれるための
条件は
(i) d(x,y)>= 0,特にd(x,y) = 0とx = yとは同値。
(ii) d(x,y) = d(y,x)
(iii) d(x,z) =< d(x,y)+d(y,z)
ですが位相が入るための必要条件は(i)だけよいと思いますが正しいでしょうか?
疑問II.GL(n,C)に位相をいれるには距離
d(X,Y) = Σ_(ij) (X_ij-Y_ij){(X_ij-Y_ij)の複素共役}
を定義すればよいように思いますが正しいでしょうか?
あるいは一般的な方法でしょうか?
よろしくお願いします。
柳楽@生物系
Fnews-brouse 1.9(20180406) -- by Mizuno, MWE <mwe@ccsf.jp>
GnuPG Key ID = ECC8A735
GnuPG Key fingerprint = 9BE6 B9E9 55A5 A499 CD51 946E 9BDC 7870 ECC8 A735