Paper 4, Section II, G

Geometry
Part IB, 2009

Let UR2U \subset \mathbb{R}^{2} be an open set. Let ΣR3\Sigma \subset \mathbb{R}^{3} be a surface locally given as the graph of an infinitely-differentiable function f:URf: U \rightarrow \mathbb{R}. Compute the Gaussian curvature of Σ\Sigma in terms of ff.

Deduce that if Σ^R3\widehat{\Sigma} \subset \mathbb{R}^{3} is a compact surface without boundary, its Gaussian curvature is not everywhere negative.

Give, with brief justification, a compact surface Σ^R3\widehat{\Sigma} \subset \mathbb{R}^{3} without boundary whose Gaussian curvature must change sign.