ここでは東大数理の修士課程の院試の2006B08の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。
$\mathbb{R}^3$の部分空間
$$
Y=\left\{(x,y,z)\in\mathbb{R}^3\middle|9\leq x^2+y^2+z^2\leq16, x^2+z^2\geq1, y^2+z^2\geq1\right\}
$$
をとり、その境界を$X$とする。