Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology newpage noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJun 22nd 2010

    wanted to record Borel’s theorem on Taylor series expansion, so created stubs for power series and Taylor series

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeApr 18th 2013

    I have revamped power series with treating also far more general (and very natrual) case of many variables with coefficients in semirings.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeMay 6th 2013
    • (edited May 6th 2013)

    About series. What is a remainder of a series ? I can not find a sufficiently sophisticated source treating the question in reasonable generality.

    I view a series as a pair of a sequence and its sequence of partial sums. So a series does not need to converge. If we define the nn-th remainder at nn-th place (is this the full phrase? is remainder starting at nn-th place or n+1n+1-st?) as the difference between the sum of the series and its nn-th partial sum, what assumes convergence. Is this standard to assume if we use term remainder ? But I would take a remainder as a series starting at nn-th (or (n+1)(n+1)-st place?). But then, should we renumerate the series or not ?

    • CommentRowNumber4.
    • CommentAuthorTobyBartels
    • CommentTimeMay 8th 2013

    I would take a series to be, formally, the same thing as a sequence, the sequence of terms. One could just as easily use the sequence of partial sums, so long as the values lie in a group; but if one took values in an arbitrary monoid, I would want the sequence of terms. In any case, defining it to be a pair consisting of two sequences, each derivable from the other, seems rather strange.

    The real problem is that a series is none of these; it’s its own thing, and we are coming up with ways of formalising it. Still, I would pick one formalisation and stick with it, not make a pair consisting of two.

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeMay 8th 2013
    • (edited May 8th 2013)

    Still, I would pick one formalisation and stick with it, not make a pair consisting of two.

    But defining it as a pair is entirely standard in analysis circles.

    Having just a sequence of partial sums would have inconsistencies with terminology. For example, the mm-th member of a series is not mm-th partial sum, but mm-th member of the original sequence. Then it would also make a difficulty when talking about theorems like the convergence of such and such series does not depend on the reordering (of the original sequence).

    • CommentRowNumber6.
    • CommentAuthorTobyBartels
    • CommentTimeMay 19th 2013

    But defining it as a pair is entirely standard in analysis circles.

    How did that get started? Can you give references?

    Having just a sequence of partial sums would have inconsistencies with terminology.

    So would having just the sequence of terms (which I would prefer), I suppose. But there’s no inconsistency as long as you remember that you’re talking about a series, which is a concept with its own definitions; there's a reason why we use a different word. This is no harder than if you formally define a series as the pair of sequences. Even in that case, you have to explain that a term of the series is a member of one of the sequences while a limit of the series is a limit of the other sequence.

    When you formally define a series as a pair of sequences (the sequence of terms and the sequence of partial sums) satisfying certain properties that guarantee that either can be recovered from the other, that seems to me like defining a topological structure to be a pair of families of sets (the family of open sets and the family of closed sets) satisfying certain properties that (among other things) guarantee that either can be recovered from the other. I have seen people use either of these families as a definition of topology, but never both at once.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeMay 19th 2013

    I think the reason is that one thinks informally of a sum n=1 a n\sum_{n=1}^\infty a_n in a way that one really stairs into terms as they are in the {a n}\{a_n\} sequence, and talks complicated things like “absolute convergence of a series does not depend on the reordering” meaning clearly ordering of the sequence (what would be very difficult envision in terms of partial sums), while, assuming convergence (or working with formal sums) all operations like multiplying series, inverting series etc. look at the series from the point of view of the sequence of partial sums. So, the intuition is really that we STARE at a na_n-s, WRITE them in notation, while operate with partial sums and all the definitions on convergence apply to the partial sums. So it is a new way of sum-packaging which makes lumps together as partial sums, while still seeing the “terms” as a first sequence.

    Of course, I agree that one can not logically fully defend the choice of the definition and am aware of the arguments you propose. (By the way, think of a series from -\infty to ++\infty; unless we look at the principal value we really need to have both limits simulateneously, so in fact we look at it as a sum of two separate series, positive (nonnegative) and negative; n Laurent case they have the names like principal part of Laurent series (which is for finite points in complex plane the series having the negative power terms, but for the point at infinity it is the series with positive power terms! This is important, for example when defining the essential singularity, but the wikipedia is naive here and not aware of that exception). Of course, the Laurent power series make sense beyond the case of working over complex numbers, say in nonarchimedean analysis (as well as for certain distributions), and also formal Laurent power series (both series have infinite number of terms).

    For a classical reference to the pair definition of a series see

    • Jean Dieudonne, Treatise on analysis, vol. I, Acad. Press 1969, V.2 (page 95) Series in a normed space

    We could include it into the entry. (By the way, Dieudonne does discuss remainder what will solve my question).

    • CommentRowNumber8.
    • CommentAuthorColin Tan
    • CommentTimeDec 30th 2013
    • (edited Dec 30th 2013)
    In the case where R is a noncommutative ring, is the notation R [ [ X ] ] still used for the ring of formal power series in a variable X?
    • CommentRowNumber9.
    • CommentAuthorzskoda
    • CommentTimeDec 30th 2013
    • (edited Dec 30th 2013)

    This kind of brackets usually means that the variables inside the bracket are commuting among themselves and commuting with all variables in the ring; even if the coefficient ring is noncommutative. If XX is just one variable then it is the same anyway. If we want to have several variables X=x 1,,x nX = x_1,\ldots, x_n which mutually do not commute, but commute with coefficients in the commutative or noncommutative coefficient ring we write RXR\langle\langle X\rangle\rangle. Thus we have both RXR\langle\langle X\rangle\rangle and R[[X]]R[ [ X] ] but the meaning differs.

    • CommentRowNumber10.
    • CommentAuthorColin Tan
    • CommentTimeDec 30th 2013
    At present, the Lab entry qualifies the use of the notation R [ [ X ] ] to only the case where R is commutative. Should we drop that qualification?

    On another note, is X known as a variable or an indeterminate?
    • CommentRowNumber11.
    • CommentAuthorTobyBartels
    • CommentTimeJan 2nd 2014

    Zoran #9 writes in part:

    If XX is just one variable then it is the same anyway.

    Well, R[[X]]R[[X]] and RXR\langle\langle{X}\rangle\rangle are the same, but there is still a difference if the variable doesn't commute with the coefficients. (For people who are most familiar with polynomials as polynomial functions, this may be the most natural interpretation!)

    • CommentRowNumber12.
    • CommentAuthorzskoda
    • CommentTimeJan 3rd 2014
    • (edited Jan 3rd 2014)

    Toby, both notations prescribe that the new variables do commute with the “coefficients”, I think.

    Now, if you want that the coefficients do not commute in maximal possible way with the varables, that means you do the free product. So you could write R*XR\ast \mathbb{Z}\langle\langle X\rangle\rangle.

    If the commuting is on the other hand more complicated, defined using an automorphism of endomorphism one puts this into the notation by listing the automorphism in the notation. For example, Ore extensions of rings have notation R[X;σ]R[X;\sigma] (the power series analogues are more rare, I can not confirm the notation in that case) where σ\sigma is the endomorphism of RR involved in the definition of Ore extension (“skew polynomial ring”). This also generalizes to several variables, say by iterated Ore extensions.

    • CommentRowNumber13.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 3rd 2014

    I incline towards what Zoran wrote in the first sentence of #12. The way I think of it, for any set XX, we use R[X]R[X] to denote the free RR-module on the free commutative monoid on XX, and RXR\langle X \rangle to denote the free RR-module on the free monoid on XX. The latter may be represented as R XR \otimes_\mathbb{Z} \mathbb{Z}\langle X \rangle. [Note that for X\mathbb{Z}\langle X\rangle, there is no choice in the matter: variables (@Colin #10: also called indeterminates) must commute with (integer) coefficients.] Then, using the symmetry of the symmetric monoidal product = \otimes = \otimes_\mathbb{Z}, the multiplication on the tensor product RXR \otimes \mathbb{Z}\langle X \rangle is given by the evident composite

    RXRXRRXXmultmultRXR \otimes \mathbb{Z}\langle X \rangle \otimes R \otimes \mathbb{Z}\langle X \rangle \cong R \otimes R \otimes \mathbb{Z}\langle X \rangle \otimes \mathbb{Z}\langle X \rangle \stackrel{mult \otimes mult}{\to} R \otimes \mathbb{Z}\langle X \rangle

    where the symmetry of \otimes is used to implicitly commute the variables past the coefficients.

    • CommentRowNumber14.
    • CommentAuthorTodd_Trimble
    • CommentTimeFeb 9th 2018

    I added more to the Properties section of power series on multiplicative and functional inversion of power series.