Show that f+g is integrable and find its value

  • Context: MHB 
  • Thread starter Thread starter evinda
  • Start date Start date
  • Tags Tags
    Value
Click For Summary
SUMMARY

The discussion confirms that if functions \( f \) and \( g \) are integrable on the interval \([a, b]\), then their sum \( f + g \) is also integrable. The integral of the sum is equal to the sum of the integrals, expressed mathematically as \( \int_a^b (f + g) = \int_a^b f + \int_a^b g \). This conclusion is reached by utilizing upper and lower sums with appropriate partitions and demonstrating that the difference between the upper and lower sums can be made arbitrarily small.

PREREQUISITES
  • Understanding of Riemann integrability
  • Familiarity with upper and lower sums
  • Knowledge of partitions of intervals
  • Basic concepts of limits and epsilon-delta arguments
NEXT STEPS
  • Study the properties of Riemann integrable functions
  • Learn about the implications of the Mean Value Theorem for integrals
  • Explore the concept of uniform convergence and its relation to integrability
  • Investigate the application of the Dominated Convergence Theorem in integration
USEFUL FOR

Mathematics students, educators, and anyone interested in advanced calculus, particularly those studying integration and its properties.

evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hey again! (Blush)

Let $f,g:[a,b] \to \mathbb{R}$ integrable.Then,show that $f+g$ is integrable and $\displaystyle \int_a^b{(f+g)}=\int_a^b{ f } +\int_a^b{ g }$.

That's what I have tried:

We consider the partition $P=\{a=t_0<t_1<...<t_n=n\}$ of $[a,b]$.

$\forall t \in [t_k,t_{k+1}]: \sup f([t_k,t_{k+1}]) \geq f(t) \text{ and } \sup g([t_k,t_{k+1}]) \geq g(t)$

So, $\sup f([t_k,t_{k+1}]) + \sup g([t_k,t_{k+1}]) \geq f(t)+g(t) \Rightarrow \sup f([t_k,t_{k+1}]) + \sup g([t_k,t_{k+1}]) \geq \sup(f+g)[t_k,t_{k+1}]$

So,we conclude that: $U(f+g,P) \leq U(f,P)+U(g,P) \text{ and } L(f+g,P) \geq L(f,P)+L(g,P)$

Let $\epsilon'>0$
Since, $f,g$ are integrable,there are partitions $P_1,P_2$ of $[a,b]$ such that:

$U(f,P_1)-L(f,P_1)< \epsilon'$

$U(g,P_2)-L(g,P_2)< \epsilon'$

We take $P=P_1 \cup P_2$

So,we get: $U(f,P)-L(f,P)<\epsilon' \text{ and } U(g,P)-L(g,P)<\epsilon'$

$U(f+g,P)-L(f+g,P) \leq (U(f,P)-L(f,P))+(U(g,P)-L(f,P)) < 2\epsilon'=\epsilon$ (we pick $\epsilon'=\frac{\epsilon}{2}$)

So,$f+g$ is integrable.$\displaystyle \int_a^b{(f+g)} \leq U(f+g,P) \leq U(f,P)+U(g,P) < L(f,P)+L(g,P)+ \epsilon < \underline{\int_a^b f}+ \underline{\int_a^b g}+ \epsilon=\int_a^b f + \int_a^b g+\epsilon, \forall \epsilon \Rightarrow \int_a^b {f+g} \leq \int_a^b f + \int_a^b g$

$\displaystyle \int_a^b{(f+g)} \geq L(f+g,P) \geq L(f,P)+L(g,P)> U(f,P)+U(g,P)-\epsilon > \overline{\int_a^b f}+\overline{\int_a^b g}-2\epsilon=\int_a^b f + \int_a^b g-\epsilon, \forall \epsilon \Rightarrow \int_a^b {f+g} \geq \int_a^b f + \int_a^b g$

Therefore, $\displaystyle \int_a^b {(f+g)}=\int_a^b f +\int_a^b g.$

Is it right or am I wrong?? :confused:
 
Last edited:
Physics news on Phys.org
It's OK!
 
stainburg said:
It's OK!

Ok,thanks! :)
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 12 ·
Replies
12
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K