For all humankind
Academicsubsite
ZixuanZhang
ZixuanZhang
Ponder...

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