# Toponogov's theorem

Last updated

In the mathematical field of Riemannian geometry, Toponogov's theorem (named after Victor Andreevich Toponogov) is a triangle comparison theorem. It is one of a family of comparison theorems that quantify the assertion that a pair of geodesics emanating from a point p spread apart more slowly in a region of high curvature than they would in a region of low curvature.

Let M be an m-dimensional Riemannian manifold with sectional curvature K satisfying $K\geq \delta \,.$ Let pqr be a geodesic triangle, i.e. a triangle whose sides are geodesics, in M, such that the geodesic pq is minimal and if δ > 0, the length of the side pr is less than $\pi /{\sqrt {\delta }}$ . Let pqr be a geodesic triangle in the model space Mδ, i.e. the simply connected space of constant curvature δ, such that the length of sides pq and pris equal to that of pq and pr respectively and the angle at p is equal to that at p. Then

$d(q,r)\leq d(q',r').\,$ When the sectional curvature is bounded from above, a corollary to the Rauch comparison theorem yields an analogous statement, but with the reverse inequality [ citation needed ].

## Related Research Articles The Gauss–Bonnet theorem, or Gauss–Bonnet formula, is a relationship between surfaces in differential geometry. It connects the curvature of a surface to its Euler characteristic.

In differential geometry, a Riemannian manifold or Riemannian space(M, g) is a real, smooth manifold M equipped with a positive-definite inner product gp on the tangent space TpM at each point p. A common convention is to take g to be smooth, which means that for any smooth coordinate chart (U, x) on M, the n2 functions Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, smooth manifolds with a Riemannian metric, i.e. with an inner product on the tangent space at each point that varies smoothly from point to point. This gives, in particular, local notions of angle, length of curves, surface area and volume. From those, some other global quantities can be derived by integrating local contributions.

In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure of the degree to which the geometry of a given metric tensor differs locally from that of ordinary Euclidean space or pseudo-Euclidean space.

In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds with dimension greater than 2. The sectional curvature Kp) depends on a two-dimensional linear subspace σp of the tangent space at a point p of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σp as a tangent plane at p, obtained from geodesics which start at p in the directions of σp. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.

In mathematics and especially differential geometry, a Kähler manifold is a manifold with three mutually compatible structures: a complex structure, a Riemannian structure, and a symplectic structure. The concept was first studied by Jan Arnoldus Schouten and David van Dantzig in 1930, and then introduced by Erich Kähler in 1933. The terminology has been fixed by André Weil.

This is a glossary of some terms used in Riemannian geometry and metric geometry — it doesn't cover the terminology of differential topology.

The splitting theorem is a classical theorem in Riemannian geometry. It states that if a complete Riemannian manifold M with Ricci curvature

Myers' theorem, also known as the Bonnet–Myers theorem, is a celebrated, fundamental theorem in the mathematical field of Riemannian geometry. It was discovered by Sumner Byron Myers in 1941. It asserts the following:

In mathematics, a hyperbolic metric space is a metric space satisfying certain metric relations between points. The definition, introduced by Mikhael Gromov, generalizes the metric properties of classical hyperbolic geometry and of trees. Hyperbolicity is a large-scale property, and is very useful to the study of certain infinite groups called (Gromov-)hyperbolic groups.

In geometric topology, Busemann functions are used to study the large-scale geometry of geodesics in Hadamard spaces and in particular Hadamard manifolds. They are named after Herbert Busemann, who introduced them; he gave an extensive treatment of the topic in his 1955 book "The geometry of geodesics".

In the mathematical field of differential geometry, a smooth map from one Riemannian manifold to another Riemannian manifold is called harmonic if its coordinate representatives satisfy a certain nonlinear partial differential equation. This partial differential equation for a mapping also arises as the Euler-Lagrange equation of a functional generalizing the Dirichlet energy. As such, the theory of harmonic maps encompasses both the theory of unit-speed geodesics in Riemannian geometry, and the theory of harmonic functions on open subsets of Euclidean space and on Riemannian manifolds.

In mathematics, comparison theorems are theorems whose statement involves comparisons between various mathematical objects of the same type, and often occur in fields such as calculus, differential equations and Riemannian geometry.

In mathematics, the Cartan–Hadamard theorem is a statement in Riemannian geometry concerning the structure of complete Riemannian manifolds of non-positive sectional curvature. The theorem states that the universal cover of such a manifold is diffeomorphic to a Euclidean space via the exponential map at any point. It was first proved by Hans Carl Friedrich von Mangoldt for surfaces in 1881, and independently by Jacques Hadamard in 1898. Élie Cartan generalized the theorem to Riemannian manifolds in 1928. The theorem was further generalized to a wide class of metric spaces by Mikhail Gromov in 1987; detailed proofs were published by Ballmann (1990) for metric spaces of non-positive curvature and by Alexander & Bishop (1990) for general locally convex metric spaces.

In mathematics, a space, where is a real number, is a specific type of metric space. Intuitively, triangles in a space are "slimmer" than corresponding "model triangles" in a standard space of constant curvature . In a space, the curvature is bounded from above by . A notable special case is ; complete spaces are known as "Hadamard spaces" after the French mathematician Jacques Hadamard.

In mathematics, spaces of non-positive curvature occur in many contexts and form a generalization of hyperbolic geometry. In the category of Riemannian manifolds, one can consider the sectional curvature of the manifold and require that this curvature be everywhere less than or equal to zero. The notion of curvature extends to the category of geodesic metric spaces, where one can use comparison triangles to quantify the curvature of a space; in this context, non-positively curved spaces are known as (locally) CAT(0) spaces. In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

In Riemannian geometry, the Rauch comparison theorem, named after Harry Rauch who proved it in 1951, is a fundamental result which relates the sectional curvature of a Riemannian manifold to the rate at which geodesics spread apart. Intuitively, it states that for positive curvature, geodesics tend to converge, while for negative curvature, geodesics tend to spread. This theorem is formulated using Jacobi fields to measure the variation in geodesics.

In Riemannian geometry, Cheng's eigenvalue comparison theorem states in general terms that when a domain is large, the first Dirichlet eigenvalue of its Laplace–Beltrami operator is small. This general characterization is not precise, in part because the notion of "size" of the domain must also account for its curvature. The theorem is due to Cheng (1975b) by Shiu-Yuen Cheng. Using geodesic balls, it can be generalized to certain tubular domains.

In the mathematical field of differential geometry, a biharmonic map is a map between Riemannian or pseudo-Riemannian manifolds which satisfies a certain fourth-order partial differential equation. A biharmonic submanifold refers to an embedding or immersion into a Riemannian or pseudo-Riemannian manifold which is a biharmonic map when the domain is equipped with its induced metric. The problem of understanding biharmonic maps was posed by James Eells and Luc Lemaire in 1983. The study of harmonic maps, of which the study of biharmonic maps is an outgrowth, had been an active field of study for the previous twenty years. A simple case of biharmonic maps is given by biharmonic functions.

• Chavel, Isaac (2006), Riemannian Geometry; A Modern Introduction (second ed.), Cambridge University Press
• Berger, Marcel (2004), A Panoramic View of Riemannian Geometry, Springer-Verlag, ISBN   3-540-65317-1 CS1 maint: discouraged parameter (link)
• Cheeger, Jeff; Ebin, David G. (2008), Comparison theorems in Riemannian geometry, AMS Chelsea Publishing, Providence, RI, ISBN   978-0-8218-4417-5, MR   2394158