Functions of a complex variable Definition
Landau's constants
Builds on Holomorphic functionUnit discInjective functionUnivalent function
Definition
Let be the unit disc, and let be the set of holomorphic functions with . For :
- is the supremum of the radii such that contains an open disc of radius .
- is the supremum of the radii of the open discs , where is open and is injective on .
Landau's constants are the three numbers The number is the Bloch constant, is the Landau constant, and is the univalent Landau constant.
Remarks
Since a disc covered injectively is a disc contained in the image, for all , so . The infimum is taken over a smaller set of functions than , so . Example: for , the image is , so . For an injective , the Koebe quarter theorem gives a disc of radius in the image, so . Non-example: is not in , because ; without the normalisation the infimum would be , as shows. Bloch's theorem is the statement .
Reading path
To understand this page from the ground up, read these 28 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Complex numbers object
- Element definition
- Proposition concept
- Real numbers object
- Set bounded above definition
- Unit disc object
- Univalent function concept
- Real and imaginary parts definition
- Set definition
- Implication definition
- Predicate definition
- Supremum definition
- Ordered pair definition
- Existential quantifier definition
- Universal quantifier definition
- Completeness axiom statement
- Cartesian product definition
- Subset definition
- Uniqueness quantifier definition
- Existence of square roots of nonnegative reals statement
- Binary relation definition
- Square root definition
- Modulus of a complex number definition
- Function definition
- Complex differentiability definition
- Injective function definition
- Holomorphic function definition
- Landau's constants definition
Further reading
About this page
| Tag | BTJR5NZPE3 |
|---|---|
| URI | m2://BTJR5NZPE3 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 30C25, 30D20 |
| Defines | Landau's constants |
| Uses | Holomorphic function, Unit disc, Injective function, Univalent function |
| 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.