Several complex variables and analytic spaces Definition
Riemann domain over C^n
Builds on Hausdorff spaceConnected spaceLocal homeomorphismHolomorphic function of several variables
Definition
A Riemann domain over is a pair where is a connected Hausdorff space and is a local homeomorphism. Let be open and a function. Then is holomorphic if is a holomorphic function on for every open set on which is injective. The Riemann domain is schlicht if is injective.
Remarks
The charts make a complex manifold of dimension on which is locally biholomorphic. A schlicht Riemann domain is the same as a domain in , through the identification of with .
Example: with . The space is connected and Hausdorff, and is a local homeomorphism because is a local homeomorphism of onto . It is not schlicht, since .
Non-example: with . Here is not injective on any neighbourhood of a point , because and have the same image; so is not a local homeomorphism there.
Reading path
To understand this page from the ground up, read these 31 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Connected space concept
- Element definition
- Holomorphic function of several variables concept
- Local homeomorphism concept
- Proposition concept
- Real numbers object
- Set definition
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Union definition
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- Union of a family of sets definition
- Uniqueness quantifier definition
- Binary relation definition
- Topological space definition
- Function definition
- Metric space definition
- Open ball definition
- Metric topology definition
- Open set definition
- Hausdorff space definition
- Riemann domain over C^n definition
Further reading
About this page
| Tag | 13RXPC2RJK |
|---|---|
| URI | m2://13RXPC2RJK |
| Kind | definition |
| Writing | W0 stub |
| MSC | 32D26 |
| Defines | Riemann domain over C^n |
| Uses | Hausdorff space, Connected space, Local homeomorphism, Holomorphic function of several variables |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.