最近在看网络编码的卷积网络编码部分,然后被幂级数环,有理幂级数环,形式幂级数弄昏头了。
1.幂级数:
幂级数是函数项级数中最基本的一类。它的特点是在其收敛区间绝对收敛,且幂级数在收敛区间内可逐项微分和积分。
幂级数的形式为:,其中称作幂级数系数。
1)收敛性
如果级数在处收敛,则它在满足不等式的一切处绝对收敛;
如果级数在处发散,则它在满足不等式的一切处发散.
对于幂级数
若在处收敛,则在开区间之内,它亦收敛;
若在处发散,则在开区间之外,它亦发散;
推论:
如果幂级数不是仅在一点收敛,也不是在整个数轴上都收敛,则必有一个确定的正数R存在,它具有下列性质
* 当时,幂级数绝对收敛;
* 当时,幂级数发散;
u*当时,幂级数可能收敛,也可能发散。
正数通常称R作幂级数的收敛半径。
2)幂级数的运算
加减法:
设幂级数及的收敛区间分别为与,记,当时,有
乘法:
除法:
2.形式幂级数
1)介绍
形式幂级数和多项式的形式定义有类似之处。可以看做也是不讨论幂级数敛散性,也就是将其中的不定元仅仅看作是一个代数对象,而不是任何具体数值的时候写出的幂级数。
比如说系数为阶乘的形式幂级数:,即使说它对应的幂级数:
在取任何的非零实数值时都不收敛,我们仍然可以将其作为形式幂级数进行运算。
和多项式环中的元素一样,形式幂级数之间也可以做加减和乘法的运算,具体的计算方式和多项式环一样。比如说设:
那么与的和就是:
其中里面的系数就是与中的系数的和;里面的系数就是与中的阶数相加等于5的项的系数乘积的和:
形式幂级数不仅能够定义乘法,也能定义乘法逆的运算。一个形式幂级数的逆是指另一个形式幂级数,使得. 如果这样的形式幂级数存在,就是唯一的,将其记为。同时我们也可以定义形式幂级数的除法:当的逆存在时,
形式幂级数上的一个重要映射是系数的提取操作:将一个形式幂级数映射到它的的系数。这个操作常常记作,比如说对形式幂级数,就有:
2)形式幂级数的环结构
所有的不定元为,系数为某一个交换环上元素的形式幂级数构成一个环,称为上变量为的形式幂级数环,记作。
环结构:
首先可以定义集合的范围。作为一个集合,可以用和一样的方法构造。是所有上元素构成的数列的集合:
中的元素可以定义加法和乘法:
其中乘法的定义方法也叫做求两个数列的系数的柯西乘积,也是一种卷积。可以证明,在以上的定义下,是一个交换环。环的加法零元是,乘法幺元是。于是我们可以将中的元素嵌入到之中,
并将映射到不定元,这样通过以上定义的加法和乘法就可以将中的有限非零元元素同构为:
这样的结构和多项式环是一样的。所以对于更一般的中元素,就可以自然地希望将其对应到:
但这个对应方式并不能通过有限项的加法和乘法得到,所以需要用一个约定上的映射来做到:
这个映射涵盖了之前的多项式的定义,并且可以定义
以及
这个定义使得是一个同态,所以也是一个交换环。
在域F上的幂级数环一般记为F[[X]],形如的有理函数展开为有理数幂级数(Rational Power Series),将域F上的有理幂级数环记为F<X>,F<X>是F[[X]]的子环。