Holomorphic function is determined by its germ

From Companal
Revision as of 20:59, 18 April 2008 by Vipul (talk | contribs) (New page: ==Statement== ===Sheaf-theoretic statement=== Consider the sheaf of holomorphic functions on a domain <math>U</math> (an open connected subset in <math>\mathbb{C}</math>). For an...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Sheaf-theoretic statement

Consider the sheaf of holomorphic functions on a domain U (an open connected subset in C). For any point z0U, there is a homomorphism from this sheaf to the sheaf of germs of holomorphic functions at z0. This map is injective.

Note: We need U to be connected.

Symbolic statement

Let U be a domain (open connected subset) in C, and z0U be a point. Then, the germ of a holomorphic function f:UC at z0, determines f completely.