Functions of a complex variable Definition
Prime end
Definition
Let be a bounded simply connected domain with boundary . A crosscut of is a set that is homeomorphic to the open interval and whose closure is with . Then has exactly two connected components.
A null chain is a sequence of crosscuts of such that:
- the closures and are disjoint for all ;
- for each , the crosscut separates from in ;
- the diameter of tends to .
For a null chain, let be the component of that does not contain , so . Two null chains and , with domains and , are equivalent if for each there is an with and . A prime end of is an equivalence class of null chains.
Remarks
Example: for the unit disc and a point with , the arcs for , relabelled from , form a null chain. Their closures are disjoint, each arc separates the previous one from the next, and their diameters tend to . Every null chain of shrinks to a single boundary point, and the prime ends of correspond to the points of the unit circle. Non-example: in , the vertical chords satisfy clauses 1 and 2, but their diameters tend to , so clause 3 fails. The impression of a prime end is the intersection of the closures ; it is a nonempty compact connected subset of . Carathéodory's prime end theorem says that a conformal map of onto induces a bijection from the unit circle onto the set of prime ends of .
Reading path
To understand this page from the ground up, read these 55 pages in order. The foundations come first.
- Element definition
- Euclidean space object
- Function concept
- Proposition concept
- Real numbers object
- Set definition
- Fréchet derivative definition
- Function of several variables concept
- Vector-valued function concept
- Conjunction definition
- Disjunction definition
- Implication definition
- Negation definition
- Predicate definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Limit of a function of several variables concept
- Union definition
- Set difference definition
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Partial derivative definition
- Continuity in R^n definition
- Differentiable function of several variables definition
- Subset definition
- Intersection of a family of sets definition
- Union of a family of sets definition
- Uniqueness quantifier definition
- Higher partial derivatives definition
- Binary relation definition
- Universal set definition
- Differentiable on an open set definition
- Topological space definition
- Iterated derivative definition
- Complement definition
- Subspace topology definition
- Function definition
- C^k function characterised by continuous derivatives statement
- Metric space definition
- Open ball definition
- Parametrised curve definition
- Closed curve definition
- Metric topology definition
- Simply connected domain definition
- Open set definition
- Closed set definition
- Interior definition
- Connected space definition
- Closure definition
- Connected set definition
- Boundary definition
- Prime end definition
Further reading
About this page
| Tag | XKMWYSGBN0 |
|---|---|
| URI | m2://XKMWYSGBN0 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 30D40, 30C35 |
| Defines | Prime end |
| Uses | Simply connected domain, Boundary, Connected set |
| Changed | 2 November 2026 |
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.