>>688
各部分和Σ[k=0,...,n]a[n]x^nに対してはRの元が定まるから
R[[X]]からR^ωへの準同型写像なら作れるんじゃない？
それならR^ωの上で収束の議論を行えばいい