- #1
Unconscious
- 74
- 12
From Zorich, Mathematical Analysis II, sec. 11.5.2:
where as one can read from the statement, the sets could also be unbounded.
I do not report here the proof of the fact a), beacuse I have no doubt about it and one can, without the presence of dark steps in the reasoning, assume a) as prooved and pass to the analysis of b) and c).
The proposed proofs of these are the following:
My questions are:
proof of b): why is ##\overline{E}_t## compact? In particular, I can't understand its boundedness.
proof of c): by hypothesis ##E_t## is Jordan-measurable (that is, it is bounded with measure-zero boundary). Then, why also should ##E_x=\phi(E_t)## be bounded, in general?
where as one can read from the statement, the sets could also be unbounded.
I do not report here the proof of the fact a), beacuse I have no doubt about it and one can, without the presence of dark steps in the reasoning, assume a) as prooved and pass to the analysis of b) and c).
The proposed proofs of these are the following:
My questions are:
proof of b): why is ##\overline{E}_t## compact? In particular, I can't understand its boundedness.
proof of c): by hypothesis ##E_t## is Jordan-measurable (that is, it is bounded with measure-zero boundary). Then, why also should ##E_x=\phi(E_t)## be bounded, in general?