Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am proving an integral property. Is the following manipulation valid in sums?

$\sum\limits_{i=1}^n x_i = \sum\limits_{i=1}^n y_i$

Then $\sum\limits_{i=1}^n x_i\cdot p_i = \sum\limits_{i=1}^n y_i\cdot p_i$

I am given $f$ and $g$ are integrable functions (I am using Darboux integration). So we know: $\sum\limits_{k=1}^n m(f,[t_{k-1}, t_k])\cdot(t_k - t_{k-1}) = \sum\limits_{k=1}^n M(f,[t_{k-1}, t_k])\cdot(t_k - t_{k-1})$

$\sum\limits_{k=1}^n m(g,[t_{k-1}, t_k])\cdot(t_k - t_{k-1}) = \sum\limits_{k=1}^n M(g,[t_{k-1}, t_k])\cdot(t_k - t_{k-1})$

So: $\sum\limits_{k=1}^n m(f,[t_{k-1}, t_k])\cdot m(g,[t_{k-1}, t_k])\cdot(t_k - t_{k-1})$

$= \sum\limits_{k=1}^n M(f,[t_{k-1}, t_k])\cdot m(g,[t_{k-1}, t_k])\cdot(t_k - t_{k-1})$

$= \sum\limits_{k=1}^n M(f,[t_{k-1}, t_k])\cdot M(g,[t_{k-1}, t_k])\cdot(t_k - t_{k-1})$

I just want to make sure the above sum manipulations are correct? Pretty much I am just substituting.

share|cite|improve this question
For a general $p_i$ the second formula does not follow from first. – Maesumi Nov 27 '12 at 2:24
up vote 2 down vote accepted

The property you want for sums does not hold. For instance, $1+1=0+2,$ but $\frac23\times1+\frac13\times1\ne\frac23\times0+\frac13\times2$.

I don't know what property you are trying to prove, but even if $f$ is integrable you cannot assume that an upper sum and a lower sum are equal.

share|cite|improve this answer
The definition in my book says that a function is integrable provided $U(f) = L(f)$ – CodeKingPlusPlus Nov 27 '12 at 2:37
Of course. But read what $U(f)$ is; it is the supremum of the $U(f;t_1,\ldots,t_n)$ (which is the sum you have) running over all partitions. Same with $L(f)$. – Martin Argerami Nov 27 '12 at 2:39

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.