Математическая энциклопедия - пика теорема

инвариантная форма леммы Шварц а,обобщение Шварца леммы, состоящее в следующем. Пусть w=f(z) - ограниченная регулярная аналитич. ция в единичном круге

.

Тогда для любых точек z1 и z2 круга W. неевклидово расстояние d(w1, w2).их образов w1=f(z1).и w2=f(z2).не превосходит неевклидова расстояния d(z1, z2), то есть

(1) Кроме того, имеет место неравенство

(2)

между элементами неевклидовой длины (дифференциальная форма П. т., или леммы Шварца). Знаки равенства в (1) и (2) имеют место только в том случае, когда w=f(z) есть дробно-линейная функция, отображающая круг W на себя.

Неевклидово, или гиперболическое, расстояние d(z1, z2) есть расстояние в геометрий Лобачевского между точками z1 и z2, когда круг Wпринимается в Качестве плоскости Лобачевского, а прямыми Лобачевского служат дуги окружностей, ортогональных единичной окружности (Модель Пуанкаре); при этом

где двойное отношение точек z1, z2 и определяемых этими точками точек пересечения ос, Р прямой Лобачевскому проходящей через z1 и z2, с единичной окружностью (см. рис.).

Неевклидова длина образа f(L).любой Спрямляемой кривой при отображении w=f(z) не превосходит неевклидовой длины L.

П. т. была установлена Г. Пиком (см. [1]); дальнейшим ее обобщением является гиперболической метрики принцип. В геометрич. теории функций из этих теорем выводятся оценки различных функционалов, связанных с отображающей функцией (см. [2], [3]).

Лит.:[1] Рiсk G., "Math. Ann.", 1916, Bd 77, S. 1-6; [2] Голузин Г. М., Геометрическая теория функций комплексного переменного, 2 изд., М., 1966; [3] Каратеодори К., Конформное отображение, пер. с англ., М.Л., 1934.

К. Д. Соломенцев.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985