Duistermaat & Kolk .... Vol II .... Proof of Proposition 6.1.2

[Math Amateur]

TL;DR Summary

I am reading Multidimensional Real Analysis II (Integration) by J.J. Duistermaat and J.A.C. Kolk ... and am focused on Chapter 6: Integration ...

I need some help with aspects of the proof of Proposition 6.1.2 ...

I am reading Multidimensional Real Analysis II (Integration) by J.J. Duistermaat and J.A.C. Kolk ... and am focused on Chapter 6: Integration ...I need some help with the proof of Proposition 6.1.2 ...

Proposition 6.1.2 reads as follows:

Definitions and text preliminary to the Proposition reads as follows:

I am trying to write a detailed proof of the fact or assertion that

[itex] \text{vol}_n (B) = \text{vol}_n (B') + \text{vol}_n (B'') [/itex] ... ... ... ... (*)

given their definitions as sets ... but have so far been able to formulate a proof ...

I hope someone can help ...

I am especially interested in tying or connecting the proof of (*) to the definitions of B' and B" as sets.To explicitly indicate my concerns I am presenting an example from $$ \mathbb{R^2} $$Let [itex] B' = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; a_1 \leq x_1 \leq t_1 \text{ and } a_2 \leq x_2 \leq b_2 \; \; ; \; \; \text{ and } a_2 \leq x_2 \leq t_2 \text{ and } a_1 \leq x_1 \leq b_1 \} [/itex]Thus B' is made up of two rectangles, viz.

[itex] B'_1 = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; a_1 \leq x_1 \leq t_1 \text{ and } a_2 \leq x_2 \leq b_2 \} [/itex]

and

[itex] B'_2 = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; a_2 \leq x_2 \leq t_2 \text{ and } a_1 \leq x_1 \leq b_1 \} [/itex]

These two rectangles are depicted in Figures 1 and 2 below ...

Now ... let [itex] B" = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; t_1 \leq x_1 \leq b_1 \text{ and } a_2 \leq x_2 \leq b_2 \; \; ; \; \; \text{ and } t_2 \leq x_2 \leq b_2 \text{ and } a_1 \leq x_1 \leq b_1 \} [/itex]Thus [itex] B" [/itex] is made up of two rectangles, viz.
[itex] B"_1 = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; t_1 \leq x_1 \leq b_1 \text{ and } a_2 \leq x_2 \leq b_2 \} [/itex]

and[itex] B"_2 = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; t_2 \leq x_2 \leq b_2 \text{ and } a_1 \leq x_1 \leq b_1 \} [/itex]The above two rectangles [itex] B"_1 [/itex] and [itex] B"_2 [/itex] are depicted in Figures 3 and 4 below ...

Now ... my problem is this: I do not see how

[itex] \text vol_n (B) =\text vol_n (B') + \text vol_n (B'') [/itex] ... ... ... ... (*)

... that is I do not see how the volumes of [itex] B' [/itex] and [itex] B" [/itex] which together comprise the overlapping rectangles [itex] B'_1 , B'_2 , B"_1 \text{ and } B"_2 [/itex] satisfy (*) ...Can someone explain how (*) can be true given my analysis above ... I must be making some errors ...NOTE: I know that (6.2) in the text in defining the conditions for a partition of a rectangle Duistermaat and Kolk write

[itex] B_i \cap B_j = \emptyset [/itex] or [itex] \text vol_n ( B_i \cap B_j ) = 0 [/itex] if [itex] i \neq j [/itex]

... but this is prescriptively defining a partition of a rectangle [itex] B [/itex]... it does not, in my opinion, mean that we can overlook (put to zero) the overlaps or intersections in the rectangles [itex] B'_1 , B'_2, B"_1, \text{ and } B"_2 [/itex] ...

Either way I cannot see how [itex] \text vol_n (B) =\text vol_n (B') + \text vol_n (B'') [/itex] ... ... ... ... (*)

arises from the union of the rectangles

[itex] B'_1 , B'_2, B"_1, \text{ and } B"_2 [/itex] ...Hope someone can explain and clarify this aspect of the proof of Proposition 6.1.2 ...

Peter

 

[PeroK]

Looks like you started using one dollar instead of two.

 

[Math Amateur]

Thanks PeroK ... yes, you are right ... thanks ... will correct

Math Amateur

 

[Office_Shredder]

Just to write down the definitions, you have
##\text{vol}(B)=(a_2-a_1)(b_2-b_1)##
And
##\text{vol}(B_1')=(t_1-a_1)(b_2-b_1)##, ##\text{vol}(B_1'')=(a_2-t_1)(b_2-b_1)##

And you aren't sure how to prove ##\text{vol}(B)=\text{vol}(B_1')+\text{vol}(B_1'')##?

 

[Math Amateur]

Thanks PeroK ... yes, you are right ... thanks ... will correct

Math Amateur

Just to write down the definitions, you have
##\text{vol}(B)=(a_2-a_1)(b_2-b_1)##
And
##\text{vol}(B_1')=(t_1-a_1)(b_2-b_1)##, ##\text{vol}(B_1'')=(a_2-t_1)(b_2-b_1)##

And you aren't sure how to prove ##\text{vol}(B)=\text{vol}(B_1')+\text{vol}(B_1'')##?

Yes ... can see where you are going with this ... and i will check it ...

BUT

I am puzzled by my two dimensional example ... the volumes of the rectangles that come out of B' and B" (see Figures 1 to 4 ...) should add to the volume of B ... but it does not appear to be the case ... but why ..

... in other words ... if you work from the basic set definitions of B, B' and B" you should also come up with the sum of the volumes of B' and B" being equal to the volume of B ... but my analysis doesn't seem to show this ..

... can you clarify what is going on ...Peter

 

[Office_Shredder]

It's just a little bit of algebra. Add the two volumes together, and factor the ##b_2-b_1##.

What makes you say they don't add up?

 

[Math Amateur]

Well … my very basic example should add up … it proceeds from the basic set theory definitions of B’ and B” … yet the volumes you get for B’ and B” do not seem to add up …so something is wrong because your proof shows it does add up to Volume of B …

so I’m hoping you can explain to me how my 2 dimensional case shows (*) is true in 2 dimensions… but in my example it does not appear that the volumes of B’ and B” do not add up to the volume of B … se my 2-dimensional example … what am I doing wrong …

it is not so much a question of a proof … it is more a question of understanding and also understanding the approach of Duistermaat and Kolk …

can you help me to understand why my two dimensional example seems to go wrong in calculating volumes …Math Amateur

 

[Math Amateur]

O

 

[Office_Shredder]

Well … my very basic example should add up … it proceeds from the basic set theory definitions of B’ and B” … yet the volumes you get for B’ and B” do not seem to add up …so something is wrong because your proof shows it does add up to Volume of B …

Can you please write down what you think the volume of all of the sets are, and explain why you think they are different?

 

[Math Amateur]

All the sets … the sets involved are the four sets shown in Figures 1 to 4 …

,
… my example shows ( or I attempted to show that these were the only sets involved…

Peter

 

[Math Amateur]

All the sets … the sets involved are the four sets shown in Figures 1 to 4 …

,
… my example shows ( or I attempted to show that these were the only sets involved…0

My example worked from the set definitions to show that these were the sets which flowed from the set definitions …

Peter

 

[Office_Shredder]

Right, but you still haven't written any formulas. All you've done is draw pictures, and in a confusing order where the two adjacent pictures don't actually correspond to the two rectangles that form a partition. Write down formulas that correspond to the volumes, unless the question is how do you do that.

 

[Math Amateur]

Thanks for the reply Office_Shredder ...

I certainly understand that I have not constructed a proof ... I have simply interpreted the situation in 2 dimensions for B' and B"and then checked the results informally and "graphically" ...

You can certainly help me if you can explain where the following thinking is at fault ...

I worked from the definition of B' ... visually ...

[tex] B' = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; a_1 \leq x_1 \leq t_1 \text{ and } a_2 \leq x_2 \leq b_2 \; \; ; \; \; \text{ and } a_2 \leq x_2 \leq t_2 \text{ and } a_1 \leq x_1 \leq b_1 \} [/tex]Is that correct?I then asserted the following:B' is made up of two rectangles, viz.

[itex] B'_1 = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; a_1 \leq x_1 \leq t_1 \text{ and } a_2 \leq x_2 \leq b_2 \} [/itex]

and

[itex] B'_2 = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; a_2 \leq x_2 \leq t_2 \text{ and } a_1 \leq x_1 \leq b_1 \} [/itex]

Is that correct?If that is correct then there is surely a problem because the rectangles [itex] B'_1 [/itex] and [itex] B'_2 [/itex] are overlapping ... and a similar analysis regarding [itex] B"_1 [/itex] and [itex] B"_2 [/itex] gives two further overlapping rectangles ...

Am I correct to argue that the four sketched rectangles' volumes do not ... or cannot equal the volume of [itex] B [/itex] ... or am I trying to draw a conclusion when i have no basis for it ...

Can you indicate where my thinking is at fault ...

Thanks,

Peter

 

[Office_Shredder]

No, none of this makes sense.

##B_1'## and ##B_1''## form a partition of your big rectangle.

##B_2'## and ##B_2''## form a partition. There's no partition that involves both sets here. You don't have a partition of anything other than the largest rectangle you drew.

 

[Math Amateur]

Thanks again for the reply ...

I described [itex] B' [/itex] in [itex] \mathbb{R^2} [/itex] as follows:

[itex] B' = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; a_1 \leq x_1 \leq t_1 \text{ and } a_2 \leq x_2 \leq b_2 \; \; ; \; \; \text{ and } a_2 \leq x_2 \leq t_2 \text{ and } a_1 \leq x_1 \leq b_1 \} [/itex]I am assuming that my description of [itex] B' [/itex] in [itex] \mathbb{R^2} [/itex] is correct? is it?

[ I understand that you are saying the overall thrust of my arguments is nonsense ... but have i described [itex] B' [/itex] in [itex] \mathbb{R^2} [/itex] correctly ...Now I think you dispute what i write next ...

... but what exactly is wrong with the assertion that ...Thus B' is made up of two rectangles, viz.

[itex] B'_1 = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; a_1 \leq x_1 \leq t_1 \text{ and } a_2 \leq x_2 \leq b_2 \} [/itex]

and

[itex] B'_2 = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; a_2 \leq x_2 \leq t_2 \text{ and } a_1 \leq x_1 \leq b_1 \} [/itex]Doesn't this follow?

can you help?

 

[Office_Shredder]

B' is the intersection of those two rectangles. But a partition is a set of rectangles whose union gives you your full set. So you don't have a partition of B'. "Made up of" is not a technical term, and I think it's why you are getting confused.

 

[Math Amateur]

When I provided the early proof of Proposition 6.1.2 of Duistermaat & Kolk, I only provided the early part of the proof because i thought my questions pertained to the early part of the proof ... I now have the sense that aspects of the latter part of the proof may be relevant ... so I am now providing the whole proof ... both here ... for the convenience of readers... and also ... for completeness in the first post ...

Hope that helps ...

Peter

 

[Math Amateur]

B' is the intersection of those two rectangles. But a partition is a set of rectangles whose union gives you your full set. So you don't have a partition of B'. "Made up of" is not a technical term, and I think it's why you are getting confused.

Oh ... indeed ... can see we should be dealing with intersections ... because in definition of B there are only "ands" ... as we can see:

[itex] B' = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; a_1 \leq x_1 \leq t_1 \text{ and } a_2 \leq x_2 \leq b_2 \; \; ; \; \; \text{ and } a_2 \leq x_2 \leq t_2 \text{ and } a_1 \leq x_1 \leq b_1 \} [/itex][itex] B' [/itex] is the intersection of what I have called [itex] B'_1 \text{ and } B'_2 [/itex]

... and so it follows that

[itex] B" [/itex] is the intersection of what I have called [itex] B"_1 \text{ and } B"_2 [/itex]But then from inspecting Figures 1 to 4 one can see that

[itex] \text{vol}_n (B) \neq \text{vol}_n (B') + \text{vol}_n (B'') [/itex] ... ... ... ... (**)Still reflecting on showing that

[itex] \text{vol}_n (B) = \text{vol}_n (B') + \text{vol}_n (B'') [/itex] ... ... ... ... (*)By the way, you mention that:

" ... But a partition is a set of rectangles whose union gives you your full set. So you don't have a partition of B' ... ..."

Are you implying that [itex] B' \text{ and } B" [/itex] are partitions of B? or should be ...

Because Duistermaat and Kolk define [itex] B' \text{ and } B" [/itex] without mentioning partitions ...

Peter

 

[Office_Shredder]

B' and B'' do not form a partition, and they do not match what is defined in the stuff in your original post. ##B_1'## and ##B_1''## do form a partition, and do match the ##B'## and ##B''# of the book. You added the other rectangles and took the intersection on your own, changing the object.

 

[Math Amateur]

B' is the intersection of those two rectangles. But a partition is a set of rectangles whose union gives you your full set. So you don't have a partition of B'. "Made up of" is not a technical term, and I think it's why you are getting confused.

Oh ... indeed ... can see we should be dealing with intersections ... because in definition of B there are only "ands" ... as we can see:

[itex] B' = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; a_1 \leq x_1 \leq t_1 \text{ and } a_2 \leq x_2 \leq b_2 \; \; ; \; \; \text{ and } a_2 \leq x_2 \leq t_2 \text{ and } a_1 \leq x_1 \leq b_1 \} [/itex][itex] B' [/itex] is the intersection of what I have called [itex] B'_1 \text{ and } B'_2 [/itex]

... and so it follows that

[itex] B" [/itex] is the intersection of what I have called [itex] B"_1 \text{ and } B"_2 [/itex]But then from inspecting Figures 1 to 4 one can see that

[itex] \text{vol}_n (B) \neq \text{vol}_n (B') + \text{vol}_n (B'') [/itex] ... ... ... ... (**)Peter

 

[Math Amateur]

B' and B'' do not form a partition, and they do not match what is defined in the stuff in your original post. ##B_1'## and ##B_1''## do form a partition, and do match the ##B'## and ##B''# of the book. You added the other rectangles and took the intersection on your own, changing the object.

You write:

" ... [itex]B' \text{ and } B''[/itex] do not form a partition, and they do not match what is defined in the stuff in your original post. ... "

This is important ... where did i go wrong then in describing [itex]B' \text{ and } B''[/itex]? Can you be explicit and help clarify ...?You write:

" ... [itex]B_1' \text{ and } B_1''[/itex] do form a partition, and do match the [itex]B' \text{ and } B''[/itex] of the book. ... "This goes to the heart of what i don't understand ... can you explain explicitly why this is the case ... and where i made mistakes ...

I am particularly confused as to how and why [itex]B_1' \text{ and } B_1''[/itex] do match the [itex]B' \text{ and } B''[/itex] of the book. ...Hope you can help,

Peter

 

[Math Amateur]

I will now try to simplify and focus my original post ... and try to increase the clarity of my questions ...At the start of the proof in (i) D&K write:

" ... ... ... for [itex] 1 \leq j \leq n, \text{ let } t_j \in [a_j, b_j] [/itex] be arbitrary.

Consider

[tex] B' = \{ x \in \mathbb{R^n} \ \ | \ \ a_j \leq x_j \leq t_j \text{ and } a_k \leq x_k \leq b_k \text{ for } k \neq j \} [/tex] ... ... ... "... now ... to simplify the situation ... consider the case for [itex] n = 2 [/itex] ... that is, for [itex] \mathbb{R^2} [/itex]

Thus we consider :

[itex] B' = \{ ( x_1, x_2 ) \in \mathbb{R^2} \ \ | \ \ a_j \leq x_j \leq t_j \text{ and } a_k \leq x_k \leq b_k \text{ for } k \neq j \} [/itex]

where [itex] 1 \leq j \leq 2 [/itex]*** Now my problem is how do we validly and correctly determine B' ... ***The sets involved in determining B' are as follows:

For [itex] j=1[/itex] we consider the set : [itex] a_1 \leq x_1 \leq t_1 \text{ and } a_2 \leq x_2 \leq b_2 [/itex]

For [itex] j=2 [/itex] we consider the set : [itex] a_2 \leq x_2 \leq t_2 \text{ and } a_1 \leq x_1 \leq b_1[/itex]Now ... with these sets ... do we :

[itex] \bullet [/itex] Take [itex]j=1[/itex] or take [itex]j=2 [/itex] and just consider one set

[itex] \bullet [/itex] Consider the case for [itex]j=1[/itex] or [itex]j=2[/itex] ... that is , take the union of both sets

[itex] \bullet [/itex] Consider the case for [itex]j=1[/itex] and [itex]j=2[/itex] ... that is , take the intersection of both setsI think the correct option is to take the intersection of both sets since in the initial specification of B' both conditions seem to apply ...Is that correct?

If it is not correct can someone please explain the mistakes, shortcomings and deficiencies ...
If the intersection is the valid and correct way to proceed then :

[itex] B' = \{ ( x_1, x_2 ) \in \mathbb{R^2} \ \ | \ \ a_1 \leq x_1 \leq t_1 \text{ and } a_2 \leq x_2 \leq t_2 \} [/itex]
Is that correct?
Hoping someone can help .

... any help will be much appreciated ...

Peter

 

[Math Amateur]

I think I now know what was causing confusion for me in this proof ...

When Duistermaat and Kolk wrote:

" ... ... and for [itex] i \leq j \leq n [/itex], let [itex] t_j \in [a_j, b_j] [/itex] be arbitrary.

Consider

[itex] B' = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; a_j \leq x_j \leq t_j \text{ and } a_k \leq x_k \leq b_k \text{ for } k \neq i \} [/itex]

[itex] B" = \{ ( x_1, x_2 ) \in \mathbb{R^2} \; \; | \; \; t_j \leq x_j \leq b_j \text{ and } a_k \leq x_k \leq b_k \text{ for } k \neq i \} [/itex]

... ... ... ... ... "I thought that one had to let j run through the numbers 1 to n as an index ...

...BUT ...

... now I think that one fixes an arbitrary j and uses this j through B' and B" ...and of course this yields a different analysis ...

! So my troubles were due to interpreting "be arbitrary" wrongly ...Peter