iClaymore「Urysohn の距離化定理とその周辺」 #kansaimath
みなさん実況ありがとうございました。Twitter に補足資料があります。いずれより充実させて別の場所で公開するまで残しておく予定です
注: Urysohn は通常ウリゾーンと読まれる。ただし本講演ではウリソーンと読んだ。こちらの方が原語に忠実なのではないかと思われる
賀茂次郎
@kamojiro24e
「Urysohnの距離化定理とその周辺」 (くれいもあ @iClaymore) はじまりはじまり #kansaimath #kansaimath307
2016-03-20 12:49:05
りす.
@riss_gendarmery
mtr sp(X, d)においてx,y in Xについてd^-(x,y)=min(1, d(x,y))とするとd^-は距離
2016-03-20 12:54:34
りす.
@riss_gendarmery
metricable sp.の部分空間もmetricable. metricable sp.の可算積もmetricable. #kansaimath307
2016-03-20 13:00:58
Eureka GAP
@j_tGAP
くれいもあ氏にブロックされていない、かつ、インターネット接続が可能なら、くれいもあ氏のツイッターを見ることで補足資料を得る #kansaimath307
2016-03-20 13:02:41
りす.
@riss_gendarmery
例1.1. X=ZにおいてO={{a+nb;n in Z}; a,b in Z}を基底として指定すると0次元 #kansaimath307
2016-03-20 13:05:04
りす.
@riss_gendarmery
O={U_n; n in ω}とする. f_n :X→{0,1}をf_{U_i}=χ(U_n), f:X→2^ωをf(x)=(f_n(x))_nで定める. これは連続かつ単射 #kansaimath307
2016-03-20 13:08:38