analytic polyhedron
Definition.
Suppose is a domain and let be an open set. Let be holomorphicfunctions. Then if the set
is relatively compact in , we say that is ananalytic polyhedron in . Sometimes it is denoted. Further is called the of the analytic polyhedron.
An analytic polyhedron is automatically a domain of holomorphy by usingthe functions that define it as toshow that cannot be extended beyond a point where .Every boundary point of is of that form for some .
Furthermore every domain of holomorphy can be exhausted by analytic polyhedra (that is, every compact subset is contained in an analytic polyhedron)and in fact only domains of holomorphy can be exhausted by analyticpolyhedra, see the Behnke-Stein theorem.
Note that sometimes is required to be homeomorphic to the unit ball.
References
- 1 Lars Hörmander.,North-Holland Publishing Company, New York, New York, 1973.
- 2 Steven G. Krantz.,AMS Chelsea Publishing, Providence, Rhode Island, 1992.