The aim of the paper is to prove the Theorem: Let M be a surface in the euclidean space £ ' which is diffeomorphic to the sphere and suppose that all geodesies of M are congruent. Then M is a euclidean sphere.1980 Mathematics subject classification (1985 Revision): 53.53A05. IntroductionThe aim of this paper is to prove the following: Theorem. Let M be a surface in the euclidean space E 3 , which is diffeomorphic to the sphere S 2 . We suppose that all geodesies of M are congruent. Then M is a euclidean 2-sphere.The basic idea of the proof is the following: We consider a curve F o in £ 3 such that each geodesic of M is congruent to F o and let k(s) be the curvature function of T o . By supposing that k{s) is not constant, we find a surface S in the unit sphere bundle S i (M) of M such that the projection n: S-*M with n(v p ) = p is a covering map of M. But in this case, an everywhere non-zero vector field, tangent to M, can be constructed and it is well-known that this is impossible [5]. So the function k(s) is constant and we get easily that M is a euclidean 2-sphere.We would like to make the following remarks:(i) The hypothesis that M is diffeomorphic to S 2 is not an essential restriction. In fact, if M is compact and 7r 1 (M)#0, then there are geodesies on M which do not have the same length [1,2]. On the contrary, there exist surfaces in E 3 , diffeomorphic to the sphere S 2
The aim of this paper is to prove the Theorem: Let M be a complete non compact surface without boundary in the euclidean space E 3 . We suppose that all geodesies of M are congruent. Then M is an affine plane in E 3 .1991 Mathematics subject classification: 53AO5.If M is a closed surface in the euclidean 3-space which has all its geodesies congruent, then M is a round sphere. Compactness of M, which implies that M is a diffeomorphic to a sphere, is crucial in establishing the above result (see [3]).Similarly, in the study of manifolds with families of congruent curves, compactness is an essential hypothesis (see [2,6,10]).In the present note following the principal ideas of [3] we are able, for the first time, to remove the compactness assumption. In fact we show:Theorem. Let M be a complete non-compact surface without boundary embedded in the euclidean space E 3 . We suppose that all geodesies of M are congruent. Then M is an affine plane in E 3 .In the course of the proof we will often refer to the compact case [3]. However, we will make this paper as self-contained as possible by introducing all necessary notation and definitions.Proof of the theorem. We separate the proof in several lemmas. Lemma 1. The surface M is diffeomorphic to U 2 .Proof. At first we show that all congruent geodesies of M are simple curves diffeomorphic to R.Suppose that the geodesies of M have self-intersection points. We pick such a geodesic y. In the following we suppose that all the parametrizations of the geodesies or of the geodesic arcs that we consider are by arc-length. Let / : ( -oo, oo)-»M be a parametrization of y with/(0)=p and let p>0 such that// [O,p]
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.