Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$f(z)$ is a holomorphic function on $B$, where $B=D\cup \{1\}, D=\{z: |z|<1\}$.
$f(D)\subset D, f(1)=1$. prove that $f'(1)\geq 0$

share|cite|improve this question
Since $1$ is not in the interior of $B$, how do you define $f$ holomorphic on $B$. In particular, what does $f'(1)$ mean? – 1015 Feb 4 '13 at 0:54
It is customary to also include your thoughts on the problem. – Antonio Vargas Feb 4 '13 at 0:54
Extending julien's question, do you mean that $f$ is holomorphic on a neighborhood of $B$, or is $f'(1)$ defined as $\lim\limits_{z\to 1,z\in D}\dfrac{f(z)-f(1)}{z-1}$? – Jonas Meyer Feb 4 '13 at 0:55
@julien: The standard usage when blah is not open is to say that $f$ is holomorphic on blah iff for every point $x$ of blah there is an open neighborhood $V$ of $x$ and a holomorphic function $g$ on $V$ that coincides with $f$ on $V\cap$blah. Here, this just means that there is an open set containing $D\cup B$ where $f$ is holomorphic. – Andrés E. Caicedo Feb 4 '13 at 0:57
Hint: if $f'(1) = |f'(1)| e^{i\theta}$ for $\theta \ne 0$, say $\theta > 0$, what will happen to the image of the curve $t \mapsto 1+ t e^{i\phi}$ under $f$ when $\phi \in (\frac{\pi}{2}-\theta,\frac{\pi}{2})$. – achille hui Feb 4 '13 at 1:35

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.