3
$\begingroup$

Possible Duplicate:
The sum of an uncountable number of positive numbers

Consider the following question:

For each real number $x$, let $\epsilon_x>0$ be an associated positive number. Is the sum $\sum_{x\in \mathbb{R}} \epsilon_x$ infinite?

I have been puzzling over this for some time. Can someone help? Also I am not sure whether this qualifies as a series, (and if not, what is it called).

  • 4
    Yes, because $\mathbb R$ is uncountable. See http://math.stackexchange.com/questions/70194/does-uncountable-summation-with-a-finite-sum-ever-occur-in-mathematics and http://math.stackexchange.com/questions/94050/sum-of-uncountable-many-positive-real-numbers and http://math.stackexchange.com/questions/20661/the-sum-of-an-uncountable-number-of-positive-numbers2012-02-02
  • 1
    Are you clear on what $\sum_{x \in \mathbf R}$ is supposed to mean?2012-02-02
  • 0
    This is really close to being a duplicate of the last two questions linked by Jonas Meyer.2012-02-02

3 Answers 3

5

Remark: I am giving hints because I think this is a fun problem, and worth working out.

Hint 1: Consider $$E_n:= \left\{ x\in \mathbb{R}: \epsilon_x >\frac{1}{n}\right\}.$$

Hint 2: Since each $\epsilon_x>0$ we know that every real number $x$ must lie within some $E_n$. However, there are countably many $E_n$, yet uncountably many real numbers. What can you conclude from this, and what does it tell us about the original series?

  • 3
    At least one $E_n$ must be uncountable and we can select finitely many elements within it to sum to more then any given positive number $M$. Hence we are done. Is this correct?2012-02-02
  • 1
    @Shahab: That is exactly it, you have shown that an uncountable set of positive numbers always has an infinite sum.2012-02-02
0

I was going to say no: Say $\epsilon_x=e^{-x^2}$ then $\int_{-\infty}^{\infty} \epsilon_x dx$ is finite.

But $\sum_{x\in \mathbb{R}} \epsilon_x$, or even $\sum_{x\in \mathbb{P}} \epsilon_x$ where $\mathbb{P}$ is a non-empty open subset of $\mathbb{R}$, involves an uncountable number of additions, and if every $\epsilon_x$ is positive, no matter how small, you'll always reach infinity eventually.

Of course if $\mathbb{P}$ was a countable infinite subset of $\mathbb{R}$, it would be isomorphic to the integers and so finite series are then possible again.

(Edited as suggested to specify uncountable instead of just infinite.)

  • 2
    You mean uncountable number of additions, not infinite.2012-02-02
-1

Edit: Below is an [excellent] example of something that is definitely false.

It is not a series. It's sort of one of the ideas behind calculus, actually.

If you have certain conditions on how the real numbers $x$ determine the [positive] real numbers $\epsilon_x$, then what you wrote is really $\int_{-\infty}^\infty\epsilon_x dx$.

Whether or not the sum (=integral) is finite is something you need calculus to sort out.

  • 1
    No. The usual interpretation of summing over an infinite set with nonnegative values is taking the supremum over all sums over some finite subset.2012-02-02
  • 0
    Usual interpretation? Where do you find this?2012-02-02
  • 3
    Actually, this is wrong. First of all, noone has called this a series, but that is a minor point. It is perfectly possible to define the sum of an uncountable set of real numbers (one can take it to be the supremum of all finite partial sums), and this will in general be different from the integral you've described here. To give an example, consider a function that is 1 on the interval [0,1] and 0 elsewhere. This has integral equal to 1, but the sum, as I've defined it, is infinite (because the function is strictly positive on an uncountable set).2012-02-02
  • 0
    For example [here](http://terrytao.files.wordpress.com/2011/01/measure-book1.pdf) (page 11) or [here](http://freshchalk.blogspot.com/2009/12/concerning-uncountable-sums.html). Just google "uncountable sum".2012-02-02
  • 0
    @Martin This is true.2012-02-02
  • 0
    @Michael I suppose there's a reason I'm an algebraist (and that I failed my measure theory qual!)2012-02-02
  • 0
    @rotten: http://en.wikipedia.org/wiki/Series_(mathematics)#Summations_over_arbitrary_index_sets2012-02-02
  • 0
    @rotten: An integral over the real numbers is very different then a sum. The integral implicitly comes with the Lebesgue measure, which weights each intervals by its length. This is not true for a sum. Note in particular, for the real numbers the measure of any countable set is always zero, that is the integral over a countable number of points is always zero.2012-02-02
  • 0
    I have been sort of the ostrich persuasion. If I really despise something in math - in this case, anything that remotely resembles analysis - I tend to just ignore it and then make stupid claims about it.2012-02-02
  • 0
    Dear @Martin: You wrote: "It is perfectly possible to define the sum of an uncountable set of real numbers". You probably meant: "It is perfectly possible to define the sum of an uncountable set of **nonnegative** numbers".2012-02-02
  • 0
    @rotten: There are many cases of interplay between algebra and analysis. To attack at least some algebraic problems effectively, one may need insights from analysis.2012-02-02
  • 0
    @Pierre: I have to admit, I didn't really think carefully about that distinction. You are of course correct; to be sure, the definition still makes sense even if you *do* allow arbitrary real numbers, but no negative number could ever contribute (provided we define the sum over the empty set to be 0), so the result doesn't exactly deserve to be called a sum anymore. Thanks for setting me straight.2012-02-03
  • 0
    @Pierre: Although you could make better sense of such a sum by defining it as the integral with respect to the counting measure. I should probably shut up now ;)2012-02-03
  • 0
    Dear @Martin: Thanks for your reply. Yes, I think (like you, if I understand your comments correctly) that the best is to write $f=f_+-f_-$ with $f_+,f_-\ge0$ (in the usual way), and to define $\sum f(x)$ only if we do **not** have $$\sum f_+(x)=\infty=\sum f_-(x).$$2012-02-03