22/10/11 07:21:32.02 hfWoJpaE.net
>>684
>＞多項式環 K[x] 内に、τに収束する多項式のコーシー列が形成できる
> 「列」は形成できるが、コーシー列かどうかは知らん
> 君は多項式間の距離を定義してないから
>>707
>＞いくらでも しっぽを小さくできて、しっぽを無限小にできるということ
> 「無限小」の定義がないが
既に書いたが>>486より再録する
URLﾘﾝｸ(maspypy.com)
[多項式・形式的べき級数]（２）式変形による解法の導出 2022.02.21
形式的べき級数の和・差・積
形式的べき級数の和・差・積は、交換法則・結合法則・分配法則など、演算に関する自然な要請を十分に満たすことも分かります。
（※ 専門用語で、環をなすという）
（※ 多項式環から形式的べき級数環を得る操作は、「環のイデアルによる完備化」という操作の特殊な場合。重要な類似物に、p 進整数環など。）
形式的べき級数環の位相
形式的べき級数 は、最低次の項が高いほど、0 に近いと考えて扱います。このことを利用して、形式的べき級数の列の極限を定義することができます：
【定義】
形式的べき級数列F1,F2,F3・・・ が F に収束するとは、任意の k に対してある N が存在して、n>=N ならば Fn と F の k次未満部分が一致することを指す。
(引用終り)