isHolomorphicOn
P71176
predicate
Indicates that a complex-valued function is complex differentiable at every point of a specified domain, i.e., holomorphic throughout that region.
Observed surface forms (2)
- hasTypicalRegionOfAnalyticity ×1
- holomorphicOn ×1
Sample triples (4)
| Subject | Object |
|---|---|
| Gamma function | ℂ minus non-positive integers ⓘ |
| Dirichlet series | half-plane Re(s) > σ_c via predicate surface "hasTypicalRegionOfAnalyticity" ⓘ |
| modular j-invariant | upper half-plane via predicate surface "holomorphicOn" ⓘ |
|
T:z ↦ z+1
surface form:
T : z ↦ z + 1
|
upper half-plane ℍ ⓘ |