请输入您要查询的字词:

 

单词 FormalPowerSeriesAsInverseLimits
释义

formal power series as inverse limits


1 Motivation and Overview

The ring of formal power series can be described as an inverselimitMathworldPlanetmathPlanetmath.11It is worth pointing out that, since we aredealing with formal series, the concept of limit used here hasnothing to do with convergence but is purely algebraic. Thefundamental idea behind this approach is that of truncation —given a formal power series a0+a1t+a2t2+a3t3+ and an integer n0, we can truncate the series toorder n to obtain a0+a1t++antn+O(tn+1).22Here, the symbol “O(tn+1)” is notused in the sense of Landau notation but merely as an indicatorthat the power series has been truncated to order n.(Indeed, we must do this in practical computation since it isonly possible to write down a finite number of terms at a time;thus the approach taken here has the advantage of being closeto actual practice.) Furthermore, this procedure of truncationcommutes with ring operationsMathworldPlanetmath — given two formal power series,the truncation of their sum is the sum of their truncations andthe truncation of their productMathworldPlanetmathPlanetmathPlanetmath is the product of theirtruncations. Thus, for every integer n the set of powerseries truncated to order n forms a ring and truncation is amorphismMathworldPlanetmathPlanetmath from the ring of formal power series to this ring.

To obtain our definition, we will proceed in the oppositedirection. We will begin by defining rings of truncatedpower series and exhibiting truncation morphisms betweendifferent truncations. Then we will show that these ringsand morphisms form an inverse systemMathworldPlanetmath which has a limit whichwe will take as the definition of the ring of formal powerseries. Finally, we will completePlanetmathPlanetmathPlanetmathPlanetmath the circle by demonstratingthat the object so constructed is isomorphicPlanetmathPlanetmathPlanetmath with the usualdefinition for ring of formal power series.

2 Formal Development

In this sectionPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath, we will carry out the develpment outlinedabove in rigorous detail. We begin by formalizing thisnotion of truncation.

Theorem 1.

Let A be a commutative ring and let n be a positiveinteger. Then A[[x]]/xn is isomorphicto A[x]/xn.

Proof.

We may identify A[x] with the subring of A[[x]] consistingof series which have all but a finite number of coeficientsequal to zero. Consider an element f=k=0cnxn of A[[x]]. We may write f=k=0n-1cnxk+xnk=0ck+nxk. Thus, every element ofA[[x]] is equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmath to an element of the subring A[x]modulo xk. Hence, if follows rather immediately from thedefinition of quotient ringMathworldPlanetmath that A[[x]]xnis isomorphic to A[x]/xn.∎

Let us call the isomorphismMathworldPlanetmathPlanetmathPlanetmathPlanetmath betweenA[[x]]/xn and A[x]/xnwhich is described above In. We now define a few more morphisms.

Definition 1.

Suppose m,n are integers satifying the inequalitiesm>n0. Then define the morphisms tmn,Tmn,pn,Pn as follows:

  • Definetnm:A[x]/xmA[x]/xn as the map which sends eachequivalence classMathworldPlanetmath a modulo xn to the unique equivalenceclass b modulo xm such that ab.

  • DefineTnm:A[[x]]/xmA[[x]]/xn+1 as the map which sends eachequivalence class a modulo xn to the unique equivalenceclass b modulo xm such that ab.

  • For every integer n>0, let Qn be the quotientmap from A[[x]] to A[[x]]/xn.

  • For every integer n>0, let qn be the quotientPlanetmathPlanetmathmap from A[x] to A[x]/xn.

These morphisms commute with each other in ways which aredescribed by the next theoremMathworldPlanetmath:

Theorem 2.

Suppose m,n,k are integers satifying the inequalitiesm>n>k0. Then we have the following relationsMathworldPlanetmathPlanetmathPlanetmath:

  1. 1.

    tnktmn=tmk

  2. 2.

    InTmn=tmnIm

  3. 3.

    TnkTmn=Tmk

  4. 4.

    tmnqm=qn

  5. 5.

    TmnQm=Qn

[More to come]

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 17:34:41