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

So the problem states that if $f(z)$ is entire, and satisfies the relation $f(z+i) = f(z)$ and $f(z+1) = f(z)$, show that $f(z)$ is constant. So I was thinking that since any point in $\mathbb{C}$ can be written as $\alpha * 1 + \beta * i $ we can say that $f(z + z_0) = f(z) $ in which case it is constant, but I'm having trouble breaking down the steps, and using the fact that f is entire, which makes me feel like I'm missing something. What should I review to figure this out?

share|cite|improve this question
Might try showing $f(\mathbb{C})$ is the same as $f(I\times I)$, where $I$ is the unit interval. Then of course since $I\times I$ is compact, the image is bounded, and Liouville saves the day. – user641 May 4 '11 at 0:32
max modulus principle – yoyo May 4 '11 at 0:45
Thanks @yoyo, that was really helpful to review as well. It applies to another question that I was also stuck on. – I Love Cake May 4 '11 at 0:49

I think you can just use Liouville's theorem. The thing is that $f$ is bounded on compact subsets of the complex plane, so in particular it is bounded in the unit square $S = \{ a + bi \in \mathbb{C} \mid a, b \in [0, 1] \}$.

So then you can use the two relations $f(z+1) = f(z)$ and $f(z+i) = f(z)$ to prove that the values of $f$ are determined by its values in the unit square because you can write $z = x + iy$ and then

$$f(z) = f(x + iy) = f(a + bi + (n + mi)) = f(a + bi)$$

where $0 \leq a, b \leq 1$ and $n, m \in \mathbb{Z}$. In this case $n = \lfloor x \rfloor$ and $m = \lfloor y \rfloor$. Then of course $f$ is bounded in the whole complex plane so Liouville's theorem applies, and $f$ has to be constant.

share|cite|improve this answer
How did you get from (x+iy) = (a+bi +(n+mi)) to f(a+bi)? – I Love Cake May 12 '11 at 22:38
@Cake: You said that $1$ and $i$ are periods of your $f(z)$; it stands to reason that adding/subtracting any integer multiple of your periods from the argument of $f$ doesn't change its value; much like saying that $\sin(x+2\pi m)=\sin\,x$ – J. M. May 13 '11 at 0:41

Here is a Hint: Liouville Theorem.

share|cite|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.