Lema lui Sing este o afirmație cheie despre stabilitatea geodezicilor închise în varietățile Riemanniene cu curbură secțională pozitivă.
Lema este o consecință directă a formulei pentru a doua variație a lungimii unei familii de curbe cu un parametru. A fost folosită de John Sing . [unu]
Fie o geodezică într-o varietate Riemanniană cu curbură secțiune pozitivă și un câmp paralel de vectori tangenți pe . Apoi, o variație de direcție îi scurtează lungimea.
Mai precis, dacă
și denotă lungimea curbei apoi și .