Holomorphic function is determined by its germ: Difference between revisions
(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...) |
m (2 revisions) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{application of|uniqueness theorem}} | |||
==Statement== | ==Statement== | ||
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 (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.