Namespaces
Variants
Actions

Difference between revisions of "User:Boris Tsirelson/sandbox2"

From Encyclopedia of Mathematics
Jump to: navigation, search
Line 5: Line 5:
 
* the function $a$ is integrable if and only if the series $\sum a_n$ converges absolutely, and
 
* the function $a$ is integrable if and only if the series $\sum a_n$ converges absolutely, and
 
* in this case $\int_{\{0,1,2,\dots\}} a(n)\,\mu(\rd n) = \sum_{n=0}^\infty a_n$.
 
* in this case $\int_{\{0,1,2,\dots\}} a(n)\,\mu(\rd n) = \sum_{n=0}^\infty a_n$.
 +
The same holds when $a_n$ are complex numbers or belong to a Banach space.

Revision as of 18:00, 21 July 2012

Relations to Lebesgue integral

It is possible to treat absolutely convergent series as a special case of Lebesgue integrals. To this end, the countable set $\{0,1,2,\dots\}$ is treated as a measure space; all subsets are measurable, and the counting measure $\mu$ is used: $\mu(A)$ is the number of points in $A$ ($\infty$ if $A$ is infinite). A sequence $(a_n)$ of real numbers is just a function $a:\{0,1,2,\dots\}\to\R$ (measurable, since everything is measurable on this discrete space). It is easy to see that

  • the function $a$ is integrable if and only if the series $\sum a_n$ converges absolutely, and
  • in this case $\int_{\{0,1,2,\dots\}} a(n)\,\mu(\rd n) = \sum_{n=0}^\infty a_n$.

The same holds when $a_n$ are complex numbers or belong to a Banach space.

How to Cite This Entry:
Boris Tsirelson/sandbox2. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Boris_Tsirelson/sandbox2&oldid=27157