Пика теорема

инвариантная форма леммы Шварц а,- обобщение Шварца леммы, состоящее в следующем. Пусть w=f(z) - ограниченная регулярная аналитич. ция в единичном круге [img: http://localhost:8080/file/041711-36.jpg]. Тогда для любых точек z1 и z2 круга W. неевклидово расстояние d(w1, w2).их образов w1=f(z1).и w2=f(z2).не превосходит неевклидова расстояния d(z1, z2), то есть [img: http://localhost:8080/file/041711-37.jpg] (1) Кроме того, имеет место неравенство [img: http://localhost:8080/file/041711-38.jpg] (2) между элементами неевклидовой длины (дифференциальная форма П. т., или леммы Шварца). Знаки равенства в (1) и (2) имеют место только в том случае, когда w=f(z) есть дробно-линейная функция, отображающая круг W на себя. Неевклидово, или гиперболическое, расстояние d(z1, z2) есть расстояние в геометрий Лобачевского между точками z1 и z2, когда круг Wпринимается в Качестве плоскости Лобачевского, а прямыми Лобачевского служат дуги окружностей, ортогональных единичной окружности (Модель Пуанкаре); при этом [img: http://localhost:8080/file/041711-39.jpg] где [img: http://localhost:8080/file/041711-40.jpg] - двойное отношение точек z1, z2 и определяемых этими точками точек пересечения ос, Р прямой Лобачевскому проходящей через z1 и z2, с единичной окружностью (см. рис.). Неевклидова длина образа f(L).любой Спрямляемой кривой [img: http://localhost:8080/file/041711-41.jpg] при отображении w=f(z) не превосходит неевклидовой длины L. [img: http://localhost:8080/file/041711-42.jpg] П. т. была установлена Г. Пиком (см. [1]); дальнейшим ее обобщением является гиперболической метрики принцип. В геометрич. теории функций из этих теорем выводятся оценки различных функционалов, связанных с отображающей функцией (см. [2], [3]).