Теорема Пика (комплексный анализ): различия между версиями

{{рамка}}

Пусть <math>w=f(z)</math> — регулярная [[аналитическая функция]] из единичного круга в единичный круг

Тогда для любых точек <math>z_1</math> и <math>z_2</math> круга <math>Q</math> [[Модель Пуанкаре|неевклидово расстояние]] <math>d(w_1,\;w_2)</math>

их образов <math>w_1=f(z_1)</math>, <math>w_2=f(z_2)</math> не превосходит неевклидова расстояния <math>d(z_1,\;z_2)</math>.