Identity theorem

Identity theorem

In complex analysis, the identity theorem for holomorphic functions states: given functions "f" and "g" holomorphic on a connected open set "D", if "f = g" on some neighborhood of "z" that is in "D", then "f = g" on "D". Thus a holomorphic function is completely determined by its values on a (possibly quite small) neighborhood in "D". This is not true for real-differentiable functions. In comparison, holomorphy, or complex-differentiability, is a much more rigid notion. Informally, one sometimes summarizes the theorem by saying holomorphic functions are "hard" (as opposed to, say, continuous functions which are "soft").

The underpinning fact from which the theorem is established is the developability of a holomorphic function into its Taylor series.

Proof

The connectedness assumption on the domain "D" is necessary and is in fact key to a short proof given here. (Obviously if "D" consisted of two disjoint open sets, the result does not hold.) Under this assumption, since we are given that the set is not empty, topologically the claim amounts to that "f" and "g" coincide on a set that is both open and closed. Closedness is immediate from the continuity of "f" and "g".

Therefore the main issue is to show that the set on which "f" = "g" coincide is an open set. Because a holomorphic function can be represented by its Taylor series everywhere on its domain, it is sufficient to consider the set

:S = { z in D | f^{(k)}(z) = g^{(k)}(z) quad mbox{for all} ; k geq 0}.

Suppose "w" lies in "S". Then, because the Taylor series of "f" and "g" at "w" have non-zero radius of convergence, the open disk "Br"("w") also lies in "S" for some "r". (In fact, "r" can be anything less than the distance from "w" to the boundary of "D"). This shows "S" is open and proves the theorem.

An improvement

The hypotheses on this theorem can be relaxed slightly while still producing the same conclusion. Specifically, if two holomorphic functions "f" and "g" on a domain "D" agree on a set which has an accumulation point "c" in "D" then "f = g" on all of "D".

To prove this, it is enough to show that "f"("k")("c") = "g"("k")("c") for all "k" ≥ 0. If this is not the case, let "m" be the smallest nonnegative integer with "f"("m")("c") ≠ "g"("m")("c"). By holomorphy, we have the following Taylor series representation in some open neighborhood of "c":

:egin{align}(f - g)(z) &{}=(z - c)^m cdot [ , (f - g)^{(m)} + (f - g)^{(m+1)} (z-c) + cdots ,] \ &{}=(z - c)^m cdot h(z) \ \end{align}

Evidently "h" is non-zero in some small open disk "B" around "c". But then "f - g" ≠ 0 on the punctured set "B" - {"c"}. This contradicts the assumption that "c" is an accumulation point of {"f = g"} and therefore the claim is proved.

This formulation of the theorem shows that for a complex number "a", the fiber "f" -1("a") is a discrete (and countable) set unless "f" = "a".

References

*cite book |author=Ablowitz, Mark J.; Fokas A. S. |title=Complex variables: Introduction and applications |publisher=Cambridge University Press |location=Cambridge, UK |year=1997 |pages=123 |isbn=0-521-48058-2 |oclc= |doi= |accessdate=


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Identity theorem for Riemann surfaces — In mathematics, the identity theorem for Riemann surfaces is a theorem that states that a holomorphic function is completely determined by its values on any subset of its domain that has a limit point.tatement of the theoremLet X and Y be Riemann …   Wikipedia

  • Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements …   Wikipedia

  • Identity and change — The relationship between identity and change in the philosophical field of metaphysics seems, at first glance, deceptively simple, and belies the complexity of the issues involved. This article explores the problem of change and identity . Change …   Wikipedia

  • De Moivre's theorem — The de Moivres Theorem may refer to: *de Moivre s formula a trigonometric identity *Theorem of de Moivre–Laplace a central limit theorem …   Wikipedia

  • de Moivre's theorem — may be: de Moivre s formula – a trigonometric identity Theorem of de Moivre–Laplace – a central limit theorem This disambiguation page lists articles associated with the same title. If an internal link led you h …   Wikipedia

  • Pythagorean theorem — See also: Pythagorean trigonometric identity The Pythagorean theorem: The sum of the areas of the two squares on the legs (a and b) equals the area of the square on the hypotenuse (c) …   Wikipedia

  • Pythagorean trigonometric identity — The Pythagorean trigonometric identity is a trigonometric identity expressing the Pythagorean theorem in terms of trigonometric functions. Along with the sum of angles formulae (see Angle sum and difference identities) it is the basic relation… …   Wikipedia

  • Cayley–Hamilton theorem — In linear algebra, the Cayley–Hamilton theorem (named after the mathematicians Arthur Cayley and William Hamilton) states that every square matrix over the real or complex field satisfies its own characteristic equation.More precisely; if A is… …   Wikipedia

  • Vandermonde's identity — For the expression for a special determinant, see Vandermonde matrix. In combinatorics, Vandermonde s identity, or Vandermonde s convolution, named after Alexandre Théophile Vandermonde (1772), states that for binomial coefficients. This identity …   Wikipedia

  • Virial theorem — In mechanics, the virial theorem provides a general equation relating the average over time of the total kinetic energy, , of a stable system consisting of N particles, bound by potential forces, with that of the total potential energy, , where… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”