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

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).

Often one says the holomorphic functions separate points.

Usage and examples

  • 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.
gollark: Waaaaaait, maybe I could just... implement MIPS.
gollark: It really is very good. It inspired PotatoASM.
gollark: There is probably SÖME way.
gollark: Just tell it to not abort and to "fix" the filesystem size or something.
gollark: You could probably recover it a bit but some files will be gone.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.