Set
Along ,
whose span is the tangent plane of the cylinder . Also
is normal to that cylinder. The same tangency argument proves that is a geodesic of . It is defined for every , hence complete, and it is disjoint from because their distances from the -axis are respectively and .

Articles by others on the same topic (0)

There are currently no matching articles.