The following problem is a problem in the section "FUBINI'S THEOREM".
Problem 3-29.
Use Fubini's theorem to derive an expression for the volume of a set of $\mathbb{R}^3$ obtained by revolving a Jordan-measurable set in the $yz$-plane about the $z$-axis.
Let $C$ be a Jordan-measurable set in the $yz$-plane.
Let $D:=\{(x, y, z) \in \mathbb{R}^3 : x^2 + y^2 = r^2, (r, z) \in C\}$.
We need to derive an expression for the volume of $D$ using Fubini's theorem.
This is our goal.
- But first of all, we need to show $D$ is Jordan-measurable.
- Next we need to derive a convenient expression for calculation of $\int_D 1=\int_E \chi_D$ using Fubini's theorem, where $E$ is a closed rectangle which contains $D$.
About 1.
How to show $D$ is Jordan-measurable?
I know we need to use the assumption that $C$ is Jordan-measurable but I have no idea.
About 2.
I also have no idea.
I would appreciate it if you could provide me with an outline of a solution or some hints.
I know the following result. (But I don't know the proof.)
How to find the distance $d$ between the $z$-axis and the centroid of an arbitrary Jordan-measurable set $C$ in the $yz$-plane using the knowledge up to the section "FUBINI'S THEOREM"?
How to prove Pappus's theorem using the knowledge up to the section "FUBINI'S THEOREM"?
If we find the distance $d$, then the answer is $\left(\int_C 1\right)\cdot (2\pi d)$ by Pappus's theorem. (I assumed the $z$-axis doesn't intersect $C$.)
