From Surf Wiki (app.surf) — the open knowledge base
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 X is said to be holomorphically separable, if whenever x ≠ y are two points in X, there exists a holomorphic function f \in \mathcal O(X), 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 \mathbb{C}^n are holomorphically separable, in particular, all domains in \mathbb{C}^n 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
References
- Grauert, Hans. (2004). "Theory of Stein Spaces". Springer-Verlag.
This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page.
Ask Mako anything about Holomorphic separability — get instant answers, deeper analysis, and related topics.
Research with MakoFree with your Surf account
Create a free account to save articles, ask Mako questions, and organize your research.
Sign up freeThis content may have been generated or modified by AI. CloudSurf Software LLC is not responsible for the accuracy, completeness, or reliability of AI-generated content. Always verify important information from primary sources.
Report