Holomorphic separability

In mathematics in complex analysis, the concept of holomorphic separability is a measure of the richness of the set of holomorphic functions on a complex manifold or complex-analytic space.

Formal definition

edit

A complex manifold or complex space   is said to be holomorphically separable, if whenever xy are two points in  , there exists a holomorphic function  , such that f(x) ≠ f(y).[1]

Often one says the holomorphic functions separate points.

Usage and examples

edit
  • All complex manifolds that can be mapped injectively into some   are holomorphically separable, in particular, all domains in   and all Stein manifolds.
  • A holomorphically separable complex manifold is not compact unless it is discrete and finite.
  • The condition is part of the definition of a Stein manifold.

References

edit
  • Kaup, Ludger; Kaup, Burchard (9 May 2011). Holomorphic Functions of Several Variables: An Introduction to the Fundamental Theory. Walter de Gruyter. ISBN 9783110838350.
  • Narasimhan, Raghavan (1960). "Holomorphic mappings of complex spaces". Proceedings of the American Mathematical Society. 11 (5): 800–804. doi:10.1090/S0002-9939-1960-0170034-8. JSTOR 2034564.
  • Noguchi, Junjiro (2011). "Another Direct Proof of Oka's Theorem (Oka IX)" (PDF). J. Math. Sci. Univ. Tokyo. 19 (4). arXiv:1108.2078. MR 3086750.
  • Remmert, Reinhold (1956). "Sur les espaces analytiques holomorphiquement séparables et holomorphiquement convexes". Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences de Paris (in French). 243: 118–121. Zbl 0070.30401.
  1. ^ Grauert, Hans; Remmert, Reinhold (2004). Theory of Stein Spaces. Translated by Huckleberry, Alan (Reprint of the 1979 ed.). Springer-Verlag. p. 117. ISBN 3-540-00373-8.