Equivalent Conditions
For a domain the following conditions are equivalent:
- is a domain of holomorphy
- is holomorphically convex
- is pseudoconvex
- is Levi convex - for every sequence of analytic compact surfaces such that for some set we have ( cannot be "touched from inside" by a sequence of analytic surfaces)
- has local Levi property - for every point there exist a neighbourhood of and holomorphic on such that cannot be extended to any neighbourhood of
Implications are standard results. The main difficulty lies in proving, i.e. constructing a global holomoprhic function which admits no extension from non-extendable functions defined only locally. This is called the Levi problem and was first solved by Kiyoshi Oka, and then by Lars Hörmander using methods from functional analysis and partial differential equations (a consequence of -problem).
Read more about this topic: Domain Of Holomorphy
Famous quotes containing the words equivalent and/or conditions:
“In truth, politeness is artificial good humor, it covers the natural want of it, and ends by rendering habitual a substitute nearly equivalent to the real virtue.”
—Thomas Jefferson (1743–1826)
“The prime lesson the social sciences can learn from the natural sciences is just this: that it is necessary to press on to find the positive conditions under which desired events take place, and that these can be just as scientifically investigated as can instances of negative correlation. This problem is beyond relativity.”
—Ruth Benedict (1887–1948)