Teorema lui Pick , sau teorema lui Schwarz - Pick , este o formulare invariantă și o generalizare a lemei lui Schwarz .
Fie o funcție analitică obișnuită de la cercul unitar la cercul unitar
Apoi, pentru orice puncte și un cerc , distanța în modelul euclidian conform al planului Lobachevsky dintre imaginile lor nu depășește distanța dintre ele:
.Mai mult, egalitatea se realizează numai atunci când există o funcție liniară-fracțională care mapează cercul pe el însuși.
Pentru că
condiție
este echivalentă cu următoarea inegalitate:
Dacă și sunt infinit aproape, se transformă în