Absolute Convergence and Fubini's Theorem

In summary, the conversation discusses the application of Fubini's and Tonelli's theorems to rearrange absolutely convergent double series. The conversation also touches upon the use of measure spaces and counting measures in this context. The experts discuss the use of the Lebesgue integral and how it can be extended to infinite series.
  • #1
Oxymoron
870
0
My defintion of an absolutely convergent series is one in which you can rearrange the series and it converges to the same value, i.e.

[tex]\sum |x_n| < \infty[/tex]

My question is: If one has a double series [itex]\sum x_{m,\,n}[/itex] which is absolutely convergent [itex]\sum |x_{m,\,n}| < \infty[/itex] then can I apply Fubini's Theorem to conclude that

[tex]\sum_n(\sum_m x_{m,\,n}) = \sum_m(\sum_n x_{m,\,n})[/tex]

I ask this because when we covered Fubini's Theorem in class we spoke of being able to change the order of integration. So I thought, since integration is similar to sums, why can't we change the order of a sum using Fubini's Theorem?
 
Last edited:
Physics news on Phys.org
  • #2
The problem I have is this: Fubini's Theorem (and Tonelli's Theorem - which might come in handy) only apply if you are working in a measure space. So I would have to have a set [itex]X[/itex] and consider some sigma-algebra [itex]\mathcal{A}[/itex] consisting of all subsets of [itex]X[/itex]. To this I can define the counting measure on this sigma-algebra by setting

[tex]\mu(E) = |E|[/tex]

if E is a finite subset of the sigma-algebra and

[tex]\mu(E) = \infty[/tex]

if E is an infinite subset. Then call [itex](X,\mathcal{A},\mu)[/itex] a measure space. This is the counting measure as I understand it. I can now define the measure space on the natural numbers as [itex](\mathbb{N},\mathcal{A},\mu)[/itex], where [itex]\mu[/itex] is the counting measure on the naturals. Then [itex]L^p(S)[/itex], (where S is the measure space with the natural counting measure) consists of those sequences [itex]x = \{x_n\}[/itex] for which

[tex]\|x\|_p = \left(\sum_{i=1}^{\infty}|x_i|^p\right)^{1/p}[/tex]

Now I believe I am in a position to start using Fubini's and Tonelli's theorems, right?
 
Last edited:
  • #3
Yes it's true. You can get it from the integral version by considering the counting measure on a countably infinite set.
 
  • #4
I don't exactly see how I could prove this. I mean, Fubini and Tonelli apply to integrals and I want to use these theorems to prove a result for sums. Does this mean I have to turn the sums into integrals and then back again?
 
  • #5
I don't know what version of the theorem you have, but there is a version that applies to the Lebesgue integral for any sigma finite measure. If your sets are both, say, the natural numbers, and the measures are the counting measure (where the size of a set is the number of elements it has), then you have:

[tex]\int d\mu f(n) = \sum_{n=1}^\infty f(n) [/tex]

The product of two counting measures is the counting measure on the product space, so you can transform all the integrals that appear in the theorem into sums.
 
  • #6
This is my version:

TONELLI'S THEOREM

Suppose [itex](X,\mathcal{A},\mu)[/itex] and [itex](Y,\mathcal{B},\nu)[/itex] are [itex]\sigma[/itex]-finite measure spaces, and [itex]f\,:\,X \times Y \rightarrow [0,\infty][/itex] are [itex]\mathcal{A}\times\mathcal{B}[/itex]-measurable. Then there are measurable functions [itex]g\,:\,X\rightarrow[0,\infty][/itex] and [itex]h\,:\,Y\rightarrow[0,\infty][/itex] defined by

[tex]g(x):=\int_Y f(x,y)\mbox{d}\nu(y)[/tex]

[tex]h(y):=\int_X f(x,y)\mbox{d}\mu(x)[/tex]

then we have

[tex]\int_X f\mbox{d}\mu = \int_{X \times Y}f\mbox{d}(\mu \times \nu) = \int_Y h \mbox{d}\nu[/tex]

FUBINI'S THEOREM

Suppose [itex](X,\mathcal{A},\mu)[/itex] and [itex](Y,\mathcal{B},\nu)[/itex] are [itex]\sigma[/itex]-finite measure spaces, and [itex]f\,:\,X \times Y \rightarrow [0,\infty][/itex] are [itex](\mu \times \nu)[/itex]-integrable. Then there are integrable functions [itex]g\,:\,X\rightarrow[0,\infty][/itex] and [itex]h\,:\,Y\rightarrow[0,\infty][/itex] defined by[tex]g(x):=\int_Y f(x,y)\mbox{d}\nu(y) \quad \mu-a.e.[/tex]

[tex]h(y):=\int_X f(x,y)\mbox{d}\mu(x) \quad \nu-a.e.[/tex]

then we have[tex]\int_X f\mbox{d}\mu = \int_{X \times Y}f\mbox{d}(\mu \times \nu) = \int_Y h \mbox{d}\nu[/tex]
 
Last edited:
  • #7
Right, so in particular, it applies with the space being the natural numbers and the measure being the counting measure. Do you see how this gives you the result for sums?
 
  • #8
Unfortunately, no. I want to turn the integrals in Fubini's theorem into sums but I am not sure I can do it.
 
  • #9
Ok. Then, to review, to define the Lebesque integral, you first define the integral of the characteristic function of a set to be the measure of the set. You then extend this by linearity to simple functions. Then you take as the integral of a non-negative measurable function f(x) the sup of the integrals of non-negative simple functions that are everywhere less than f. Finally, you look separately at the positive and negative, and then real and imaginary, parts of a general complex function.

So how does this go when your set is the natural numbers N and your measure is the counting measure? Well, a set with one element (eg, {5}) has measure 1, so the integral of the characteristic function of such a set is 1, and so the integral of a sequence with just one non-zero term is that term. Extend by linearity, you see that the integral of a finite sequence (which is a simple function) is the sum of the terms in the sequence. It's not hard to show that taking the sup as above extends this to infinite series.
 
  • #10
So if you have a 1 element set (these sets consist of elements from [itex]\mathbb{N}[/itex] right?) then you are saying that

[tex]\int_{\{a\,:\,a\in\mathbb{N}\}}\chi\mbox{d}\mu_C = 1[/tex]

that is, the Lebesgue integral of the characteristic function over a 1-element set is one. And this is because the counting measure, [itex]\mu_C[/itex], says that the measure of any 1-element set is one.

But I don't see how the following quote follows from this:

Posted by StatusX:

...and so the integral of a sequence with just one non-zero term is that term.

A sequence of what exactly? A sequence of characteristic functions? A sequence of natural numbers?

If [itex]f[/itex] is simple, then

[tex]f = \sum_i a_i\chi_{A_i}[/tex]

right? Where [itex]A_i[/itex] is some collection of natural numbers (in fact, I think it is a measurable subset of natural numbers!). Then, if we use the counting measure on the naturals we can define

[tex]\int f\mbox{d}\mu_C = \sum_i^n a_i \mu(A_i)[/tex]

which will be infinite if [itex]A_i[/itex] is infinite, or, if the subset is finite, then the integral will be simply the sum of the number of elements in [itex]A_i[/itex].

So then

[tex]\int_{E_n}f\chi_{E_n}\mbox{d}\mu_C = \int_{E_n}\sum_i a_i\chi_{A_i \cap E_n}\,\mbox{d}\mu = \sum_i a_i\mu(A_i \cap E_n)[/tex]
 
Last edited:
  • #11
Sorry, by "sequence" I mean a function from the natural numbers to the real or complex numbers.
 
  • #12
The way you define a simple function is like this

[tex]f = \sum_{i=1}^n a_i\chi_{A_i}[/tex]

where [itex]a_i \in \mathbb{N}[/itex] and [itex]A_i[/itex] is a measurable subset of [itex]\mathbb{N}[/itex], right?

Are you treating [itex]\int f[/itex], where f is simple, like a sum of a sequence of natural numbers? I mean, the integral of a simple function is defined as

[tex]\int f\mbox{d}\mu_C = \sum_{i=1}^n a_i\mu_C(A_i)[/tex]

which is a sum of a sequence of natural numbers. And so when you said

and so the integral of a sequence with just one non-zero term is that term.

you meant that the integral of a simple function is the sum of a sequence of natural numbers.
 
  • #13
The sequences consist of real (or complex) numbers, not natural numbers. They are functions from the natural numbers to the real numbers, which just means they are indexed by N (ie, (a_1, a_2,...), where the a_n are real).

Now, every subset of N is measurable with the counting measure. So the following sequences are simple functions on this measure space:

1) (0,3,0,0,0...)
2) (1,2,3,2,1,0,0,0,...)
3) (1,0.5,0,5,1,1,1,...).

The integral of the first is 3 times the measure of {2}, which is 3*1=3. The integral of the second is 1 times the measure of {1,5} plus 2 times the measure of {2,4} plus 3 times the measure of {3}, or 1*2+2*2+3*1=9. It should be obvious that any finite sequence is a simple function, and its integral is its (finite) sum.

The integral of the third is 1 times the measure of {1,4,5,6,...} plus 0.5 times the measure of {2,3}, which is infinite because of the first term, and so this function is not integrable.

The sequence (1,1/2,1/4,1/8,...) is not simple, precisely because its range is not a finite set, but it can be approximated from below by the sequences (1,0,0,0,...),(1,1/2,0,0,...),(1,1/2,1/4,0,...), which are simple and whose integrals converge to 2, the sum of the infinite series.
 
  • #14
I appreciate your help StatusX but I still don't know how to start the justification. I have to prove that

[tex]\sum_n(\sum_m x_{m,\,n}) = \sum_m(\sum_n x_{m,\,n})[/tex]

by applying Tonelli's and Fubini's theorems.

The first thing I would do is define my measure space. This is easy because it is simply the set of natural numbers, together with the counting measure which says that the measure of a subset is the number of elements within.

Now, for suitable functions, we have the following analogy:

[tex]\int \left( \int f(x,y)\,\mbox{d}\mu(x)\right)\mbox{d}\nu(y) = \int \left( \int f(x,y)\,\mbox{d}\nu(y)\right)\mbox{d}\mu(x)[/tex]

which looks just like what I have to prove except that there are integral signs instead of summation signs, and functions instead of series.

If I could show that the Lebesgue Integral is equivalent to a summation and that the function [itex]f(x,y)[/itex] defined as [itex]f\,:\,X\times Y \rightarrow \mathbb{R}[/itex] is equivalent to a series of real (or complex) numbers [itex]x_{m\,n}[/itex]. Is this basically what I have to do? Because once I do that then Fubini's Theorem gives the desired result instantly. I just haven't caught onto the concept of being able to prove the equivalencies yet. :(
 
Last edited:
  • #15
I'm not sure which part you're not seeing. What I showed above was that if a_n is a sequence, then there is a set (the natural numbers), a measure (the counting measure) and a measurable function in this measure space (f(n)=a_n) such that:

[tex]\int f d\mu = \sum_{n=1}^\infty a_n [/tex].

So, by working in this measure space, applying the theorem, and then using the above formula to rewrite the integrals in terms of sums, you get the result for sums. I'm really just repeating myself at this point. If you still don't understand, maybe you should go back and read what I wrote above again.
 
Last edited:
  • #16
Actually it all makes perfect sense now! Admittedly I did go back an re-read everything you said, but I can now rewrite the integrals as sums and everything. Apply Fubini and Tonelli and get my result which is what I wanted. Thankyou so much for your help and guidance.
 

1. What is absolute convergence in mathematics?

Absolute convergence is a property of a series or integral in mathematics where the sum or integral of the terms remains the same regardless of the order in which the terms are arranged. This means that the series or integral will always converge to the same value, regardless of how the terms are grouped together.

2. How is absolute convergence related to conditional convergence?

Conditional convergence is a weaker form of convergence where the sum or integral of the terms depends on the order in which they are arranged. Absolute convergence implies conditional convergence, but the converse is not true. This means that if a series or integral is absolutely convergent, it is also conditionally convergent, but the opposite may not hold.

3. What is Fubini's Theorem?

Fubini's Theorem is a mathematical theorem that allows for the interchange of the order of integration for a double or triple integral. It states that if a function is integrable over a rectangular region, then the double or triple integral can be computed by iterated integration, regardless of the order in which the variables are integrated.

4. How is Fubini's Theorem useful in mathematics?

Fubini's Theorem is useful in mathematics because it simplifies the computation of double and triple integrals. It allows for the integration to be broken down into smaller, one-dimensional integrals, making the calculations easier. It is also a powerful tool in theoretical mathematics and has applications in probability theory, differential equations, and other areas of mathematics.

5. Are there any limitations to using Fubini's Theorem?

Yes, there are some limitations to using Fubini's Theorem. It only applies to rectangular regions, so it cannot be used for more complex regions. Additionally, the function being integrated must be continuous and bounded. If these conditions are not met, Fubini's Theorem may not be applicable.

Similar threads

Replies
15
Views
2K
Replies
4
Views
703
  • Calculus
Replies
13
Views
1K
Replies
7
Views
1K
Replies
14
Views
2K
Replies
16
Views
2K
Replies
2
Views
743
  • Calculus and Beyond Homework Help
Replies
7
Views
692
Replies
6
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
205
Back
Top