Give an alternate proof of Lemma 1.1.2(ii) by showing that any two partitions of into boxes admit a mutual refinement into boxes that arise from taking Cartesian products from elements from finite collections of disjoint intervals.
Lemma 1.1.2(ii) If is partitioned as the finite union of disjoint boxes, then the quantity is independent of the partition. In other words, given any other partition of , one has .
The diagram below shows an example with two overlapping boxes, the second column show two different partitions and these can be refined further giving the result shown in the last column.
One way of refining these partitions is suggested below, the lighter boxes are compared and their intersection saved. The remainder(s) are retained for comparison at a later stage although in the illustration there is only on and it is used straight away.
It is clear that the elementary measure is the same for both of these partitions.
Let two partitions of as the finite union of disjoint boxes be and . We aim to refine these partitions so that at the end the partitions are the same. This will give us our result.
Consider two intersecting boxes, and , if then no refinement is necessary. Now we focus on the case when . For ease of notation set and and consider the intervals corresponding to box and how they are partitioned by the intersection with . Consider the intersection with partitions this interval into
- the part of the interval which intersects with the corresponding interval of , .
- the lower interval, this is the part of the interval which is less than the interval , or just the lower endpoint of .
- the upper interval, this is the part of the interval which is greater than the interval , or just the upper endpoint of .
The boxes formed from the Cartesian products of these intervals form a refinement of (which includes ).
When we use a similar procedure to find a refinement of which contains .
We can repeat this process, comparing boxes, until no more refinement is possible. As the refinement of a box does not alter its elementary measure we obtain our result, i.e. that .