Geodesic image on a compact two-pole surface of revolution is not dense

ID: geodesic-image-on-a-compact-two-pole-surface-of-revolution-is-not-dense

Let a compact smooth surface of revolution have exactly two poles, and let be the Clairaut first integral for a surface of revolution of a complete unit-speed geodesic. If , then , so the geodesic avoids open neighbourhoods of both poles. If , then is constant away from the poles and the geodesic lies in a meridian of a surface of revolution, whose complement contains a nonempty open set. Thus no complete geodesic has dense image.

New to topics? Read the docs here!