Subdivisions/Refinement Proof

  • Thread starter TheyCallMeMini
  • Start date
  • Tags
    Proof
In summary, the problem is to show that statement 1 implies statement 2 and vice versa. Statement 1 states that for any positive number e, there exists a subdivision D of [a,b] such that the difference between the upper and lower sums for the function f with respect to D is less than e. Statement 2 states that there exists a number Q such that for any positive number e, there exists a subdivision D of [a,b] such that if K is a refinement of D, then the difference between the upper and lower sums for the function f with respect to K and Q is less than e.
  • #1
TheyCallMeMini
5
0

Homework Statement



Suppose f is a function bounded on [a,b], A=GLB(S u,f), and B=LUB(S W,f).


Homework Equations



1. For each e>0, there is a subdivision D={Xi}of [a,b] such that |U f,D - W f,D|<e
2. There is a number Q such that if e>0, then there is a subdivision D of [a,b] such that if K={Yi}is a refinement of D, then |U f,K - Q|<e and |W f,K - Q|<e.

U=upper sums
W=lower sums

The Attempt at a Solution



I'm supposed to show that 1 implies 2 and 2 implies 1. Trying to do 1 implies 2 confuses the hell out of me, but if I do 2 implies 1 isn't that just doing a triangle inequality and account for the number Q?
 
Physics news on Phys.org
  • #2
TheyCallMeMini said:

Homework Statement



Suppose f is a function bounded on [a,b], A=GLB(S u,f), and B=LUB(S W,f).
Your notation is not very clear here. What is S? Is this for the Riemann-stieltjes integral, and S is the monotonically increasing function of integration? In your question the S doesn't seem to come into play, so it's not too big a deal..

For 1 implies 2, do you have the theorem that if P is a refinement of D then L(D,f)<L(P,f)<U(P,f)<U(D,f)? (where < is supposed to be less than or equal too but I'm lazy on my ipad).
 

1. What is a "Subdivision/Refinement Proof"?

A "Subdivision/Refinement Proof" is a mathematical technique used to prove the validity of a statement by breaking it down into smaller, simpler parts. This is achieved by dividing the original statement into substatements and then proving each substatement separately. The results of these subproofs are then combined to form a proof of the original statement.

2. When is a Subdivision/Refinement Proof used?

A Subdivision/Refinement Proof is commonly used in mathematics, particularly in the field of geometry, to prove geometric theorems and properties. It is also used in computer science and programming to prove the correctness of algorithms and programs.

3. What are the benefits of using a Subdivision/Refinement Proof?

One of the main benefits of using a Subdivision/Refinement Proof is that it allows complex statements to be broken down into smaller, more manageable parts, making it easier to understand and prove. It also helps to organize the proof process and can provide insight into the structure and logic of the statement being proved.

4. What are some common techniques used in Subdivision/Refinement Proofs?

Some common techniques used in Subdivision/Refinement Proofs include induction, contradiction, and direct proof. Induction involves proving a statement for a base case and then showing that it also holds for subsequent cases. Contradiction involves assuming the opposite of the statement and then showing that this leads to a contradiction. Direct proof involves using logical reasoning and known facts to directly prove the statement.

5. Are there any limitations to using Subdivision/Refinement Proofs?

While Subdivision/Refinement Proofs can be a useful tool in mathematics and computer science, they are not always applicable. Some statements may not lend themselves well to subdivision, and in some cases, alternative proof techniques may be more efficient or effective. Additionally, Subdivision/Refinement Proofs can be time-consuming and require a deep understanding of the statement being proved.

Similar threads

  • Calculus and Beyond Homework Help
Replies
5
Views
620
  • Calculus and Beyond Homework Help
Replies
18
Views
1K
  • Calculus and Beyond Homework Help
Replies
4
Views
694
  • Calculus and Beyond Homework Help
Replies
3
Views
552
  • Calculus and Beyond Homework Help
Replies
21
Views
842
  • Calculus and Beyond Homework Help
Replies
6
Views
1K
  • Calculus and Beyond Homework Help
Replies
7
Views
413
  • Calculus and Beyond Homework Help
Replies
0
Views
167
  • Calculus and Beyond Homework Help
Replies
2
Views
160
  • Calculus and Beyond Homework Help
Replies
1
Views
668
Back
Top