Skip to main content
Journal of the Egyptian Mathematical Society
Journal of the Egyptian Mathematical Society Cover Image
Download PDF

Horosphere slab separation theorems in manifolds without conjugate points

Journal of the Egyptian Mathematical Society volume 27, Article number: 35 (2019) Cite this article

Abstract

Let \(\mathcal {W}^{n}\) be the set of smooth complete simply connected n-dimensional manifolds without conjugate points. The Euclidean space and the hyperbolic space are examples of these manifolds. Let \(W\in \mathcal {W}^{n}\) and let A and B be two convex subsets of W. This note aims to investigate separation and slab horosphere separation of A and B. For example,sufficient conditions on A and B to be separated by a slab of horospheres are obtained. Existence and uniqueness of foot points and farthest points of a convex set A in \(W\in \mathcal {W}\) are considered.

An introduction

Let ω be a unit tangent vector to a smooth complete simply connected manifold without conjugate points \(W\in \mathcal {W}^{n}\) at a point p∈W. Let α be the unique geodesic with tangent ω=α′(0) and p=α(0). The Busemann function \(b_{\omega }:W\in \mathcal {W}^{n}\rightarrow \mathbb {R} \) is defined by

$$ b_{\omega }\left(x\right) ={\lim}_{t\rightarrow \infty }\left[ t-d\left(x,\alpha \left(t\right) \right) \right], $$
(1)

where d is the distance function. The right hand side is well-defined and the Busemann function bω is smooth in a complete simply connected manifold without conjugate point \(W\in \mathcal {W}^{n}\) whereas bω is at least C2 given that W has no focal points(see [1, Theorem 2]). The level set of a Busemann function, that is \(b_{\omega }^{-1}\left (0\right) \), is called a horosphere Hω(p) where p=α(0). Likewise, the open and the closed horoballs in \(W\in \mathcal {W}^{n}\) are defined as the sets \(D_{\omega }\left (p\right) =b_{\omega }^{-1}\left (\left (0,\infty \right) \right) \) and \(\bar {D}_{\omega }\left (p\right) =b_{\omega }^{-1}\left (\left [ 0,\infty \right) \right) \) respectively. Let α(t) be the geodesic passing through a point \(p\in W\in \mathcal {W}^{n}\) with α′(0)=ω. It is well-known that the horosphere Hω(p) is the limit of the geodesic spheres S(α(t),t) passing through p=α(0) and having center α(t) as t→∞. The horospheres Hu(p),u=α′(0),p=α(0) and Hv(q)v=α′(a),q=α(a) are called co-directional or parallel horospheres and parallel horospheres touch each other at infinity. Notice that the horopsheres Hω(p) and H−ω(p) have p as their unique common point; otherwise, they coincide. Hyperplanes are horospheres in the Euclidean space En. The horosphere Hω(p) with a given direction ω and a given point p is unique. Finally, the horospheres, as a level surfaces of a Busemann function, are equidistant family of surfaces whose orthogonal trajectories are geodesics.

It is noted that, thanks to the well-known Hopf-Rinow theorem, there is a length minimizing geodesic segment joining each pair of points in a complete connected Riemannian manifold W. If, in addition, W is simply connected and has no conjugate points, then the exponential map is a covering map and each pair of points is joined by a unique and hence minimal geodesic(see Section 10.7 of [2]). Finally, a set A of \(W\in \mathcal {W} ^{n}\) is compact if and only if it is closed and bounded. All manifolds with negative curvature are members of \(\mathcal {W}^{n}\). For example, the hyperbolic Poincare upper half-plane model

$$H^{2}=\{(x,y)\in \mathbb{R}^{2}:y>0\}, $$

equipped with the metric g11=g22=y−2 and g12=0 lies in \(\mathcal {W}^{2}\) (see [3] for more details); however, the unit sphere S2 does not lie in \(\mathcal {W}^{2}\) since all antipodal points are conjugate points.

A subset A of \(W\in \mathcal {W}^{n}\) is convex if the geodesic segment [pq] joining any two points p,q∈A lies in A. Three different definitions of convex sets in general Riemannian manifolds were studied in [4]. The whole manifold W geodesics are all convex sets. Also, open and closed geodesic balls of manifolds with negative curvature are convex sets. On the other hand, the union of two different geodesics is not convex and the complement of a convex set is not necessarily convex. Note that the existence and uniqueness of geodesic segments in these manifolds is trivial; however, for example, the whole sphere Sn is not convex since antipodal points have many minimal geodesic segments joining them. Convex functions are also deeply studied in Riemannian geometry (the reader is referred to [5] for a detailed study of convex functions on manifolds with negative curvature).

Let p be a point in a complete simply connected manifold without conjugate point \( W\in \mathcal {W}^{n}\). The point p has a foot point f in subset A of W if the distance function \(l:A\rightarrow \mathbb {R}\) defined by l(x)=d(p,x),x∈A attains its minimum at f. The point p is said to have a farthest point F in A if the function l attains its maximum at F [6, 7]. The geodesic ray starting at p and passing through q is denoted by R(pq), and the entire geodesic passing through them is denoted by G(pq).

Convex sets, foot, and farthest points play a very important role in both convex analysis and optimization (see for example [8–10] and references therein). Generalizations and extensions of convex sets and their separation and supporting surfaces are of particular interest [11, 12]. Each pair of points in a simply connected smooth Riemannian manifold without conjugate points has a unique and hence minimal geodesic joining them whereas manifolds without focal points has convex geodesic spheres [13–17]. It is well-known that the class of complete simply connected manifolds without focal points is a proper subclass of \(\mathcal {W}^{n}\). Manifolds with non-positive sectional curvatures have no focal points [18–22]. Horospheres and totally geodesic hypersurfaces in \(W\in \mathcal {W}^{n}\) play a significant role in defining both supporting and separation theorems for convex sets.

In this note, the concepts of separation and horosphere slab separation of convex sets are studied in \(W\in \mathcal {W}^{n}\). Sufficient conditions for two disjoint closed convex sets to be separated by a slab of horosheres are given. Foot and farthest points of a convex set in \(W\in \mathcal {W}^{n}\) are considered.

Foot and farthest points of a convex set A in \(W\in \mathcal {W} ^{n}\)

This section is devoted to the study of foot and farthest points of a convex set A in \(W\in \mathcal {W}^{n}\). The geodesic sphere with the center at p and radius r is denoted by S(p,r) and the corresponding open and closed geodesic balls are denoted by B(p,r) and \(\bar {B}\left (p,r\right) \).

Let us begin with the following simple but important result.

Proposition 1

In a complete simply connected Riemannian manifold without conjugate points \( W\in \mathcal {W}^{n},\) the following statements are true.

  1. 1.

    If α is the unique geodesic parameterized by arc length with α(0)=x, α′(0)=ω, and α(r)=p, then the geodesic segment [xy] intersects B(p,r) for any y∈Dω(x).

  2. 2.

    Let B(p,r) be a geodesic ball with the center at p and radius r, then any point x≠p has a foot point f=S(p,r)∩R(px) in S(p,r).

Theorem 1

Let \(W\in \mathcal {W}^{n}\) be a manifold without focal points and A be a non-empty closed convex subset of W. Then, each point p of W has a unique foot point.

Proof

Since W has no focal points, the geodesic ball \(\bar {B}\left (p,r\right) \) is convex and hence \(A\cap \bar {B}\left (p,r\right) \) is either convex or empty. The result follows easily if p∈A. So, assume that p∉A. Let q be in A and r=d(p,q). It is clear that \(G=A\cap \bar {B}\left (p,r\right) \) is a closed no-empty convex subset of \(\bar {B} \left (p,r\right) \). Then, G is compact. Define the real-valued function f(x)=d(p,x) on G. f is continuous function and consequently attains its minimum at a point f in A. To show that f is unique, assume that p has two foot points f1 and f2 in A. Then, the closed ball \(\bar {B}\left (p,r\right) \) touches A twice where d(p,f1)=d(p,f2)=r (see Fig. 1). The open segment (f1f2) is contained in G since G is convex, and so both f1 and f2 are not foot points of p. This contradiction shows that f is unique(see Fig. 1). □

Fig. 1
figure1

Uniqueness of foot points in a convex set

Full size image

Corollary 1

Let \(W\in \mathcal {W}^{n}\) be a manifold without focal points and A be a non-empty closed convex subset of W and let p∉A. If f is a foot point of the point p, then f is the unique foot point of any q∈(pf) in A. Likewise, if p has a farthest point F in A from and p∈(Fq) for some point q, then q has F as its unique farthest point in A.

The following theorems represent two analogous results to the above ones.

Theorem 2

Let \(W\in \mathcal {W}^{2}\) and A be a non-empty convex subset of W. If p∈W∖A has a foot point f in A, then f is a foot point in A for every point of R(fp).

Proof

There is a geodesic γ supporting A at f since A is convex. Let α be the unique geodesic with f=α(0) and p=α(r). Let Hv(f) be the horosphere with v=α′(0). The closed ball \(\bar {B}\left (q,l\right) \), l=d(q,f) is contained in \(\bar {D}_{v}\) for any point q∈R(fp). Thus, f is the unique foot point of q in A (see Fig. 2). □

Fig. 2
figure2

Supporting at foot points

Full size image

Theorem 3

Let \(W\in \mathcal {W}^{n}\) and A be a non-empty compact subset of W. Then, every point p∉A has a farthest point in A.

Proof

The function \(l:A\rightarrow \mathbb {R} \) defined on A by l(x)=d(p,x) for every x∈A is a real-valued continuous function. Since A is compact, l attains its maximum at a point in A say F. Thus, F is the farthest from p in A. □

Separation of convex sets in \(W\in \mathcal {W}^{n}\)

Separation of two convex sets in the Euclidean space En is widely used in optimization. The most well-known separation theorem says that any two non-empty disjoint convex sets in the Euclidean space are separated by a hyperplane. There are more restrictive separation theorems for different types of convex and non-convex sets.

In Riemannian geometry, it is natural to ask the following question. What is the best candidate for a hyperplane in separation theorems? Horospheres in complete simply Riemannian manifolds without conjugate points play this significant role in separation of two convex sets.

A slab in the Euclidean space is the region bounded by two parallel hyperplanes. Here, a slab of horospheres along a geodesic α is the region bounded by \(H_{\alpha ^{\prime }\left (0\right) }\) and \(H_{\alpha ^{\prime }\left (r\right) }\). It is denoted by Sα[0,r] (see Fig. 3). Two sets A and B are said to be separated by a slab of horospheres if there is a geodesic α such that A and B lie in two different sides Sα[0,r].

Fig. 3
figure3

A slab

Full size image

Theorem 4

Let \(W\in \mathcal {W}^{n}\) be a complete simply connected Riemannian manifold without conjugate points and A, B be two non-empty disjoint convex subsets of W. A and B are separated by a slab of horospheres if one of them is bounded and the second is supported by a horosphere at every boundary point.

Proof

Assume that A is bounded and B has a supporting horosphere at each point p∈∂A. The real-valued function l defined on A by l(x)=d(x,B) for every x∈A. l attains its minimum value at a point p∈A since A is compact and l is continuous. The point p has a foot point f∈B where p≠f. B has a supporting horosphere \(H_{\alpha ^{\prime }\left (r\right) }\left (q\right) \) where α be the unique geodesic with α(0)=q and α(r)=p. ince B is convex and hence supported by a totally geodesic hypersurface at q that separates B and \(H_{\alpha ^{\prime }\left (0\right) }\). Now, the slab Sα[0,r] separates A and B (see Fig. 4). □

Fig. 4
figure4

Slab separation

Full size image

Corollary 2

Let \(W\in \mathcal {W}^{n}\) and A, B be two non-empty disjoint convex subsets of W. A and B are strictly separated if one of them is compact and the other one is closed.

The Euclidean version of the above theorem is as follows (see Theorem 7.6 in [12]). Note that the term convex is replaced by the term compact.

Theorem 5

Let A, B be two non-empty disjoint compact subsets of the Euclidean space En. A and B are strictly separated by a slab if and only if for each set T of n+2 or fewer points of A∪B the sets A∩T and B∩T are separated by a slab.

Availability of data and materials

Not applicable.

References

  1. 1

    Eschenburg, J. H.: Horospheres and the stable part of the geodesic flow. Math. Z. 153(3), 237–51 (1977).

    MathSciNet  Article  Google Scholar 

  2. 2

    Hicks, NJ.: Notes on differential geometry. Van Nostrand, New York (1965).

    Google Scholar 

  3. 3

    Carmo, MP.: Riemannian geometry. Birkhäuser, Berlin (1992).

    Google Scholar 

  4. 4

    Alexander, S.: Local and global convexity in complete Riemannian manifolds. Pac. J. Math. 76(2), 283–9 (1978).

    MathSciNet  Article  Google Scholar 

  5. 5

    Bishop, R. L., O’Neill B.: Manifolds of negative curvature. Trans. Am. Math. Soc. 145, 1–49 (1969).

    MathSciNet  Article  Google Scholar 

  6. 6

    Beltagy, M., Shenawy, S.: Sets with zero-dimensional kernels. Int. J. of Mod. Math. 4(2), 163–8 (2009).

    MathSciNet  MATH  Google Scholar 

  7. 7

    Shenawy, S.: Tietze-type theorem in 2-dimensional Riemannian manifolds without conjugate points. Bak. J. Geom. Appl. 16(2), 133–137 (2011).

    MathSciNet  MATH  Google Scholar 

  8. 8

    Bacàk, M.: Convex analysis and optimization in Hadamard spaces. Vol. 22. Walter de Gruyter GmbH & Co KG, Berlin (2014).

    Google Scholar 

  9. 9

    Boyd, S., Vandenberghe, L.: Convex optimization. Cambridge university press, Cambridge (2004).

    Google Scholar 

  10. 10

    Nesterov, Y.: Lectures on convex optimization. Vol. 137. Springer, New York (2018).

    Google Scholar 

  11. 11

    Deumlich, R., Elster, K. -H., Nehse, R.: Recent results on separation of convex sets. Optimization. 9(2), 273–296 (1978).

    MathSciNet  MATH  Google Scholar 

  12. 12

    Lay, S.: Convex sets and their applications. Wiley, New York (1982).

    Google Scholar 

  13. 13

    Aquino, C. P., Baltazar, H. I., de Lima, H. F.: Characterizing horospheres of the hyperbolic space via higher order mean curvatures. Differ. Geom. Appl. 62, 109–119 (2019).

    MathSciNet  Article  Google Scholar 

  14. 14

    Goto, M. S.: Manifolds without conjugate points. J. Differ. Geom. 13, 341–359 (1978).

    Article  Google Scholar 

  15. 15

    Liu, F, Wang, F: Entropy-expansiveness of geodesic flows on closed manifolds without conjugate points. Acta Math. Sin. Engl. Ser. 32, 507–520 (2016).

    MathSciNet  Article  Google Scholar 

  16. 16

    Liu, F., Zhu, X.: The transitivity of geodesic flows on rank 1 manifolds without focal points. Differ. Geom. Appl. 60, 49–53 (2018).

    MathSciNet  Article  Google Scholar 

  17. 17

    Ranjan, A., Shah, H.: Convexity of spheres in a manifold without conjugate points. Proc. Indian Acad. Sci.-Math. Sci. 112(4), 595–599 (2002).

    MathSciNet  Article  Google Scholar 

  18. 18

    Kobayashi, S: Riemannian manifolds without conjugate points. Annali di Matematica. 53(1), 149–155 (1961).

    MathSciNet  Article  Google Scholar 

  19. 19

    Benjamini, I., Eldan, R.: Convex hulls in the hyperbolic space. Geom. Dedicata. 160, 365–371 (2012).

    MathSciNet  Article  Google Scholar 

  20. 20

    Morse, M, Hedlund, G. A.: Manifolds without conjugate points. Trans. Am. Math. Soc. 51, 362–386 (1942).

    MathSciNet  Article  Google Scholar 

  21. 21

    O’Sullivan, J. J.: Manifolds without conjugate points. Math. Ann. 210(4), 295–311 (1974).

    MathSciNet  Article  Google Scholar 

  22. 22

    Ruggiero, R. O.: A note on the divergence of geodesic rays in manifolds without conjugate points. Geom. Dedicata. 134, 131–138 (2008).

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgments

The author would like to thank the referee(s) for the insightful comments that improve the paper quality.

Funding

Not applicable.

Author information

Affiliations

  1. Department of Mathematics, Modern Academy, Maadi, Cairo, Egypt

    Sameh Shenawy

Authors
  1. Sameh Shenawy
    View author publications

    You can also search for this author in PubMed Google Scholar

Contributions

The author read and approved the final manuscript.

Corresponding author

Correspondence to Sameh Shenawy.

Ethics declarations

Competing interests

The author declares that he has no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License(http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Shenawy, S. Horosphere slab separation theorems in manifolds without conjugate points. J Egypt Math Soc 27, 35 (2019). https://doi.org/10.1186/s42787-019-0038-5

Download citation

Keywords

  • Horosphere separation
  • Slab horosphere separation
  • Manifolds without conjugate points
  • Separation of convex sets

AMS Subject Classification

  • Primary; 52A10
  • 52A20; Secondary 52A55