1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Subdivisions/Refinement Proof

  1. Feb 11, 2013 #1
    1. The problem statement, all variables and given/known data

    If each of D1 and D2 is a subdivision of [a,b], then...
    1. D1 u D2 is a subdivision of [a,b], and
    2. D1 u D2 is a refinement of D1.

    2. Relevant equations

    **Definition 1: The statement that D is a subdivision of the interval [a,b] means...
    1. D is a finite subset of [a,b], and
    2. each of a and b belongs to D.

    **Definition 2: The statement that K is a refinement of the subdivision D means...
    1. K is a subdivision of [a,b], and
    2. D is a subset of K.

    3. The attempt at a solution

    I just proved that, "If K is a refinement of H and H is a refinement of the subdivision D of [a,b], then K is a refinement of D." Well I havent wrote it down but the 2nd definition part 2 is what makes it easy to relate just being a transitive proof.

    My problem is that I've taken a lot of logic courses in the past so when I see the union of two variables I only need to prove that one is actually true. In this particular situation both are true so its obvious but I don't know how to state that fact.

    For the 2nd part of the proof, wouldn't I just say that D1 is a subset of itself, and its already given that D1 is a subdivision of [a,b]? It just seems too easy...

    I also had questions about proofs I've already turned in that I did poorly on but I didn't want to flood this place with questions.
  2. jcsd
  3. Feb 12, 2013 #2
    Yes, I agree. Since by the first part you will have already shown that D1 u D2 is a subdivision of [a,b], all you have to do in part 2 is simply state that D1 is a subset of D1 u D2, thus the definition of refinement is satisfied.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Subdivisions Refinement Proof Date
Lim sup proof Mar 12, 2018
Real Analysis Proof Mar 11, 2018
Number of subdivisions in a Riemann integral (DFT) Feb 4, 2017
Subdivisions/Refinement Proof Feb 27, 2013
Countably Many Subdivisions of the Real Line into Open Intervals Feb 10, 2008