Skip to content
Part CCSIR NET December 2023identity-theorem-pigeonhole

Identity theorem pigeonhole

Let X be an uncountable subset of C\mathbb{C} and let f:C→Cf : \mathbb{C} \to \mathbb{C} be an entire function. Assume that for every z ∈ X there exists an integer n ≥ 1 such that f(n)(z)f^{(n)}(z) = 0. Which of the following statements are necessarily true?

  1. A.f = 0.
  2. B.f is a constant function.
  3. C.There exists a compact subset K of C\mathbb{C} such that f−1(K)f^{-1}(K) is not compact.
  4. D.f is a polynomial.✓ Correct

You have the answer. Trap Analysis is why the other three were written.

Not a worked solution repeated four times — the specific reasoning error each wrong option was built to reward, and why this one tests standard counterexample.

See pricing

50 are analysed free — try those first.

The trap it tests

Standard counterexample

There is a canonical object that settles this. Recognising it is the whole question.

Drill statements like this

Related counterexample: A bounded holomorphic function on an unbounded domain is constant

More on this topic

The chapter behind this: Liouville, Morera and the maximum principle — free to read

From Cauchy Theory › Liouville, Morera, maximum modulus principle

Last revised . Found a mistake? Tell us — corrections are the fastest thing we act on.

ShareWhatsAppTelegram