Refinement of Partitions
If refines , then .
Lemma 4.5
Let be partitions of , such that , such that is a refinement of . Then
Proof
By induction on the number of added points. It suffices to insert a single point: let and choose for some , and set . Then
The same argument with in place of gives . Repeating for every point of and chaining the inequalities proves the result.
Related
Stated in
- Lemma 4.5ยง4.1 Basics
