よっぽどやりたきゃ位相を入れて完備化しなよ
形式的冪級数て知ってる？
無限積はどうするかなー．．．