Proof Analysis: Can You Check My Work and Provide Feedback?

  • Thread starter Thread starter Artusartos
  • Start date Start date
  • Tags Tags
    Analysis Proof
Click For Summary

Homework Help Overview

The discussion revolves around the correctness of a proof related to the properties of upper and lower sums in the context of bounded functions, specifically focusing on the function f squared over a partition. Participants are examining the implications of certain inequalities and the conditions under which they hold.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants are questioning the validity of the original proof, particularly the conclusion that the upper and lower sums are equal. They explore specific examples and inequalities related to bounded functions, and some suggest clarifying the relationships between supremum and infimum values of the function.

Discussion Status

The discussion is active, with participants providing feedback on the proof and raising questions about the assumptions made. Some hints have been offered to guide the original poster towards a deeper understanding of the inequalities involved, indicating a collaborative effort to clarify the reasoning without reaching a definitive conclusion.

Contextual Notes

There are ongoing discussions about the validity of certain inequalities and the definitions of upper and lower sums, as well as the behavior of the function f across different intervals of the partition. Participants are also considering the implications of boundedness in their analysis.

Artusartos
Messages
236
Reaction score
0
Can anybody tell me if my proof is correct? If not, can you give me a hint? I attached my answer...

Thanks in advance
 

Attachments

  • 20121205_060646.jpg
    20121205_060646.jpg
    31.4 KB · Views: 483
Physics news on Phys.org
Your proof doesn't work: at one point you conclude that [itex]U(f^2,P) - L(f^2,P) = 0[/itex] which is not generally the case: consider f(x) = x on [a,b].
 
pasmith said:
Your proof doesn't work: at one point you conclude that [itex]U(f^2,P) - L(f^2,P) = 0[/itex] which is not generally the case: consider f(x) = x on [a,b].

Thanks, but if [tex]U(f^2,P) \leq B^2(b-a)[/tex] and [tex]L(f^2,P) \geq B^2(b-a)[/tex] then why aren't they equal?
 
Artusartos said:
Thanks, but if [tex]U(f^2,P) \leq B^2(b-a)[/tex] and [tex]L(f^2,P) \geq B^2(b-a)[/tex] then why aren't they equal?

Your second inequality isn't true. You should know that for any bounded function g, [itex]L(g,P) \leq U(g,P) \leq (b-a)\sup_{[a,b]} g[/itex] and f^2 is a bounded function if f is.
 
Here's a hint: [itex]\sup f^2 = (\sup |f|)^2[/itex] and [itex]\inf f^2 = (\inf |f|)^2[/itex] (why?). Therefore, on each interval of the partition,
[tex] \sup f^2 - \inf f^2 = (\sup |f|)^2 - (\inf |f|)^2 \\<br /> = (\sup |f| + \inf |f|)(\sup |f| - \inf |f|) \\<br /> \leq 2B(\sup |f| - \inf |f|).[/tex]
Now you just have to show that on each interval of the partition,
[tex]\sup |f| - \inf |f| \leq \sup f - \inf f.[/tex]
You'll have to classify intervals into three types: those where [itex]f \geq 0[/itex], those where [itex]f \leq 0[/itex], and those where f changes sign.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
15
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K