Jump to content

User:Mgkrupa/Generalizations of Series Proposal

From Wikipedia, the free encyclopedia

The importance of Series in mathematics has led to many generalizations of notion. Generalizations include asymptotic series, sums assigned to divergent series, series with elements in topological groups (and topological vector spaces in particular), and series with uncountably many terms.

Asymptotic series

[edit]

Asymptotic series, otherwise asymptotic expansions, are infinite series whose partial sums become good approximations in the limit of some point of the domain. In general they do not converge, but they are useful as sequences of approximations, each of which provides a value close to the desired answer for a finite number of terms. The difference is that an asymptotic series cannot be made to produce an answer as exact as desired, the way that convergent series can. In fact, after a certain number of terms, a typical asymptotic series reaches its best approximation; if more terms are included, most such series will produce worse answers.

Divergent series

[edit]

Under many circumstances, it is desirable to assign a limit to a series which fails to converge in the usual sense. A summability method is such an assignment of a limit to a subset of the set of divergent series which properly extends the classical notion of convergence. Summability methods include Cesàro summation, (C,k) summation, Abel summation, and Borel summation, in increasing order of generality (and hence applicable to increasingly divergent series).

A variety of general results concerning possible summability methods are known. The Silverman–Toeplitz theorem characterizes matrix summability methods, which are methods for summing a divergent series by applying an infinite matrix to the vector of coefficients. The most general method for summing a divergent series is non-constructive, and concerns Banach limits.

Summations over arbitrary index sets

[edit]

Definitions may be given for sums over an arbitrary index set I.[1] There are two main differences with the usual notion of series: first, there is no specific order given on the set I; second, this set I may be uncountable. The notion of convergence needs to be strengthened, because the concept of conditional convergence depends on the ordering of the index set.

If is a function from an index set I to a set G, then the "series" associated to is the formal sum of the elements over the index elements denoted by the

When the index set is the natural numbers , the function is a sequence denoted by . A series indexed on the natural numbers is an ordered formal sum and so we rewrite as in order to emphasize the ordering induced by the natural numbers. Thus, we obtain the common notation for a series indexed by the natural numbers

Families of non-negative numbers

[edit]

When summing a family {ai}, i ∈ I, of non-negative numbers, one may define

When the supremum is finite, the set of i ∈ I such that ai > 0 is countable. Indeed, for every n ≥ 1, the set is finite, because

If I  is countably infinite and enumerated as I = {i0, i1,...} then the above defined sum satisfies

provided the value ∞ is allowed for the sum of the series.

Any sum over non-negative reals can be understood as the integral of a non-negative function with respect to the counting measure, which accounts for the many similarities between the two constructions.

Abelian topological groups

[edit]

Let a : IX, where I  is any set and X  is an abelian Hausdorff topological group. Let F  be the collection of all finite subsets of I, with F viewed as a directed set, ordered under inclusion with union as join. Define the sum S  of the family a as the limit

if it exists and say that the family a is unconditionally summable. Saying that the sum S  is the limit of finite partial sums means that for every neighborhood V  of 0 in X, there is a finite subset A0 of I  such that

Because F  is not totally ordered, this is not a limit of a sequence of partial sums, but rather of a net.[2][3]

For every W, neighborhood of 0 in X, there is a smaller neighborhood V  such that V − V ⊂ W. It follows that the finite partial sums of an unconditionally summable family ai, i ∈ I, form a Cauchy net, that is, for every W, neighborhood of 0 in X, there is a finite subset A0 of I  such that

When X  is complete, a family a is unconditionally summable in X  if and only if the finite sums satisfy the latter Cauchy net condition. When X  is complete and ai, i ∈ I, is unconditionally summable in X, then for every subset J ⊂ I, the corresponding subfamily aj, j ∈ J, is also unconditionally summable in X.

When the sum of a family of non-negative numbers, in the extended sense defined before, is finite, then it coincides with the sum in the topological group X = R.

If a family a in X  is unconditionally summable, then for every W, neighborhood of 0 in X, there is a finite subset A0 of I  such that ai ∈ W  for every i not in A0. If X  is first-countable, it follows that the set of i ∈ I  such that ai ≠ 0 is countable. This need not be true in a general abelian topological group (see examples below).

Unconditionally convergent series

[edit]

Suppose that I = N. If a family an, n ∈ N, is unconditionally summable in an abelian Hausdorff topological group X, then the series in the usual sense converges and has the same sum,

By nature, the definition of unconditional summability is insensitive to the order of the summation. When ∑an is unconditionally summable, then the series remains convergent after any permutation σ of the set N of indices, with the same sum,

Conversely, if every permutation of a series ∑an converges, then the series is unconditionally convergent. When X  is complete, then unconditional convergence is also equivalent to the fact that all subseries are convergent; if X  is a Banach space, this is equivalent to say that for every sequence of signs εn = ±1, the series

converges in X.

Series in topological vector spaces

[edit]

If X is a Topological Vector Space (TVS) and is a (possibly uncountable) family in X then this family is summable[4] if the limit of the net converges in X, where is the directed set of all finite subsets of A directed by inclusion and .

It is called absolutely summable if in addition, for every continuous seminorm p on X, the family is summable. If X is a normable space and if is an absolutely summable family in X, then necessarily all but a countable collection of 's are 0. Hence, in normed spaces, it is usually only ever necessary to consider series with countably many terms.

Summable families play an important role in the theory of nuclear spaces.

Series in Banach and semi-normed spaces

[edit]

The notion of series can be easily extended to the case of a seminormed space. If xn is a sequence of elements of a normed space X and if x is in X, then the series Σxn converges to x  in  X if the sequence of partial sums of the series converges to x in X; to wit,

as N → ∞.

More generally, convergence of series can be defined in any abelian Hausdorff topological group. Specifically, in this case, Σxn converges to x if the sequence of partial sums converges to x.

If (X, |·|)  is a semi-normed space, then the notion of absolute convergence becomes: A series of vectors in Xconverges absolutely if

in which case all but at most countably many of the values are necessarily zero.

If a countable series of vectors in a Banach space converges absolutely then it converges unconditionally, but the converse only holds in finite-dimensional Banach spaces (theorem of Dvoretzky & Rogers (1950)).

Well-ordered sums

[edit]

Conditionally convergent series can be considered if I is a well-ordered set, for example, an ordinal number α0. One may define by transfinite recursion:

and for a limit ordinal α,

if this limit exists. If all limits exist up to α0, then the series converges.

Examples

[edit]
  1. Given a function f : XY, with Y an abelian topological group, define for every a ∈ X

    a function whose support is a singleton {a}. Then

    in the topology of pointwise convergence (that is, the sum is taken in the infinite product group YX ).
  2. In the definition of partitions of unity, one constructs sums of functions over arbitrary index set I,
    While, formally, this requires a notion of sums of uncountable series, by construction there are, for every given x, only finitely many nonzero terms in the sum, so issues regarding convergence of such sums do not arise. Actually, one usually assumes more: the family of functions is locally finite, that is, for every x there is a neighborhood of x in which all but a finite number of functions vanish. Any regularity property of the φi,  such as continuity, differentiability, that is preserved under finite sums will be preserved for the sum of any subcollection of this family of functions.
  3. On the first uncountable ordinal ω1 viewed as a topological space in the order topology, the constant function f: [0,ω1) → [0,ω1] given by f(α) = 1 satisfies
    (in other words, ω1 copies of 1 is ω1) only if one takes a limit over all countable partial sums, rather than finite partial sums. This space is not separable.

See also

[edit]

References

[edit]
  1. ^ Jean Dieudonné, Foundations of mathematical analysis, Academic Press
  2. ^ Bourbaki, Nicolas (1998). General Topology: Chapters 1–4. Springer. pp. 261–270. ISBN 978-3-540-64241-1.
  3. ^ Choquet, Gustave (1966). Topology. Academic Press. pp. 216–231. ISBN 978-0-12-173450-3.
  4. ^ Schaefer 1999, p. 179-180.

MR0033975


[edit]



Category:Calculus