0044132人目の素数さん垢版 | 大砲2016/09/07(水) 00:49:45.53ID:RpThEGAP f:R->S^1-(0,1), x|->(1-tt/(1+tt), 2t/(1+tt)) (t:=tan(x/2)) はhomeo. f(Q)⊆S^1∩Q^2, Qはdense in R. 似たようなのをもう一個取ってS^1の被覆を構成すればいい