Holomorphic function is determined by its germ: Difference between revisions

From Companal
No edit summary
m (2 revisions)
 
(No difference)

Latest revision as of 19:13, 18 May 2008

This fact is an application of the following pivotal fact/result/idea: uniqueness theorem
View other applications of uniqueness theorem OR Read a survey article on applying uniqueness theorem

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.