Past exam of the mathematics course of the University of Cambridge 2018 ii Paper 4 25I c ii Solution Created 2026-09-24 Updated 2026-10-03
For an example satisfying , consider the incomplete surface z equals r to three halvesA meridian of a surface of revolution reaches the missing origin in the finite lengthso is geodesically incomplete. The curvatures of a parametrized surface of revolution giveBy constant speed of an affinely parametrized geodesic, a geodesic with a finite endpoint has finite length and converges in . The finite-dimensional continuation criterion rules out an endpoint in a compact subset of , and infinity is infinitely far away. It must approach the origin, so holds.
The answer to the second question is no. The punctured circular coneis incomplete because a generator reaches the missing vertex in finite time. It is inextendible: a proper connected smooth extension would have to add the origin, but the tangent planes approaching the origin depend on and therefore cannot be the continuous tangent planes of a smooth surface. Yetby the Gaussian curvature of a cone away from its vertex. Thus this incomplete inextendible surface does not satisfy .
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 1 26F c ii Solution Created 2026-09-24 Updated 2026-09-25
Completing the square givesThus is a two-napped cone. On the nappe where , with , useThis has the conical formIts second derivatives obeyThe latter vector is tangent, so for either choice of unit normal,Since the parametrization is regular, , and thereforeat every point of . This is the Gaussian curvature of a cone away from its vertex.
Punctured circular cone Created 2026-10-03 Updated 2026-10-05
The punctured circular coneis geodesically incomplete because a generator reaches the missing vertex in finite time. It is an inextendible embedded surface: any proper connected embedded extension would have to add the vertex, but its tangent planes have different limits as varies. Nevertheless its Gaussian curvature of a cone away from its vertex is identically zero.