Holomorphic function is determined by its germ

From Companal

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 (an open connected subset in ). For any point , there is a homomorphism from this sheaf to the sheaf of germs of holomorphic functions at . This map is injective.

Note: We need to be connected.

Symbolic statement

Let be a domain (open connected subset) in , and be a point. Then, the germ of a holomorphic function at , determines completely.