Infinite products for power series (Q916936): Difference between revisions

Let \(A=\sum^{\infty}_{n=v}c_ nz^ n\) be a formal Laurent series. If \(c_ v\neq 0\) we define the order of \(A\) as \(v=v(A)\) and the norm or evaluation of \(A\) to be \(\| A\| =2^{-v(A)}\) with \(\| 0\| =+\infty\). \(\rho (A,B)=\| A-B\|\) is an ultrametric in the set \({\mathcal L}\) of all Laurent polynomials and \({\mathcal L}\) is complete in \(\rho\). If \(A=1+\sum^{\infty}_{n=v}c_ nz^ n\not\equiv 1\) then \(A\) is formally expanded into an infinite product \(\prod^{\infty}_{n=1}(a+b_ nz^{r_ n})\) where \(r_ n\in {\mathbb{N}}\) and \(r_ n<r_{n+1}\). The coefficients \(c_ n\) and \(b_ n\) may belong to any field. The product converges in the metric \(\rho\) to \(A\). But does not converge pointwise as a rule.