# Myers'S Theorem

Tech

## What is Myers's theorem?

The Myers theorem, also known as the Bonnet–Myers theorem, is a classical and well-known theorem in the mathematical field of Riemannian geometry. It was discovered by Sumner Byron Myers in 1941. Let (M,g) be a complete and smooth Riemannian manifold of dimension n. If k is a positive number with Ricg ≥ (n-1)k, then any curve of length greater than π/√k can be shortened. Precisely, this says that if γ : [a,b]→M is a smooth path of length greater than π/√k, then there exists ε > 0 and for each s ∈ (-ε,ε) a smooth path γs : [a,b]→M with γs(a)=γ(a) and with γs(b)=γ(b), with γ0 = γ, and such that the associated map (-ε,ε)×[a,b]→M is smooth, and such that the length of γs is less than that of γ for all s ∈ (0,ε). In a topological language, this says that there is a smooth homotopy of γ with fixed endpoints and which decreases length. An earlier result (from 1855), due to Ossian Bonnet, has the same conclusion but under the stronger assumption that the sectional curvatures is bounded below by k.

### Technology Types

differencegeometric inequalityinequalitymathematical theorempropositionqualitystatementtheoremtheorems in geometrytheorems in riemannian geometrytheory

### Synonyms

Bonnet-Myers theoremBonnet–Myers theoremMyers theoremMyers' theorem

### Translations

Satz von Bonnet-Myers (de)Stelling van Myers (nl)Teorema de Myers (es)Théorème de Bonnet-Schoenberg-Myers (fr)Теорема Маєрса (uk)Теорема Майерса (ru)邁爾斯定理 (zh)

## Tech Info

Source: [object Object]
— Date merged: 11/6/2021, 1:32:52 PM
— Date scraped: 5/20/2021, 5:56:12 PM