El Schwarz-Pick lema afirma que si DD indica la unidad de disco en el plano complejo, y f:D→Df:D→D es un holomorphic función, entonces es una contracción con respecto a la métrica de Poincaré (los que vamos a denotar como ρρ) en el disco. Una pregunta natural (al menos para mí) es que todas las funciones son a f:D→Df:D→D cuales son las contracciones con respecto a ρρ holomorphic? Esto no puede ser cierto exactamente como se indicó ya, si denotamos la conjugación del mapa ( τ:z↦ˉzτ:z↦¯z , tenemos, por un arbitrario holomorphic función de ff: ρ(f∘τ(z1),f∘τ(z2))≤ρ(τ(z1),τ(z2))=ρ(z1,z2) Desde τ es una isometría para ρ; pero f∘τ es anti-analítica. Entonces, mi pregunta es:
Es cada una de las funciones que es una contracción con respecto al ρ, ya sea analítica o anti-analítica? Esto parece demasiado bueno para ser verdad, así que alguien podría proporcionar un contra-ejemplo?
Edit: contracción es la palabra equivocada. Debe ser reemplazado con no expansivo o 1 Lispchitz como en 5P.M.'s respuesta.