Upper Half-Plane¶
The open set H={z∈C: Im(z)>0}, serving as a canonical domain in complex analysis and, with metric ds²=(dx²+dy²)/y², as the upper-half-plane model of hyperbolic geometry.
Core Idea¶
The upper half-plane is simply the open region above the real axis, but it becomes a meeting place for complex analysis, conformal maps, modular forms, and hyperbolic geometry.
Its extra structures must be named. Euclidean H, an analytic domain, and the Poincaré half-plane use the same points while supporting different metric conclusions.
Scope of Application¶
- Complex analysis. Provides a simply connected analytic domain and boundary-value setting.
- Hyperbolic geometry. Models constant negative curvature.
- Modular forms. Supports PSL(2,Z) action on complex parameters.
- Harmonic analysis. Uses Poisson kernels and real-axis boundary data.
Clarity¶
State open or closed convention, plane orientation, complex coordinate, topology, Euclidean or hyperbolic metric, boundary or compactification, acting transformation group, and whether equality is literal, conformal, or isometric. Inclusion test: Require the strict positive-y region of a specified oriented real or complex plane, with any added metric or analytic structure named separately. Exclusion test: Exclude the closed upper half-plane including the real axis, the right half-plane Re(z)>0, the upper hemisphere, a generic half-space in higher dimensions, and the Poincaré model treated as identical to the bare set without its metric. Nearest boundary: The upper half-plane and unit disk are conformally and hyperbolically equivalent through Möbius maps, but they are different coordinate domains. Exit condition: Claims about geodesics, area, distance, or isometry cease to follow when the hyperbolic metric is omitted or replaced. Common misclassifications: The real axis is not inside the open upper half-plane. It is not the right half-plane. The point set alone does not specify hyperbolic distance. The unit disk is equivalent under a map, not the same subset. Nearest named distinctions: Closed upper half-plane: Includes the real axis. Right half-plane: Uses positive real part. Poincaré disk: Is an equivalent but different hyperbolic model. Upper hemisphere: Is a curved surface subset, not the planar region.
Manages Complexity¶
A one-line inequality supports several mathematical worlds. Most ambiguity comes not from the set but from importing metric, boundary, or symmetry structure without declaration.
Abstract Reasoning¶
- Define H by strict positive imaginary part.
- Separate points in H from real-axis boundary points.
- Declare Euclidean, conformal, or hyperbolic structure.
- Verify any transformation preserves H and the relevant structure.
- Translate to disk or other models through an explicit map when useful.
Knowledge Transfer¶
Half-space reasoning transfers to other dimensions and orientations, but complex-analytic and PSL(2,R) properties are specific to this two-dimensional domain and metric.
Relationships to Other Abstractions¶
Current abstraction Upper Half-Plane Domain-specific
Parents (1) — more general patterns this builds on
-
Upper Half-Plane presupposes Boundary Prime
Upper Half-Plane presupposes Boundary: the parent's defining role is necessary to the child's frozen mechanism or criterion.
Hierarchy path (1) — routes to 1 parentless root
- Upper Half-Plane → Boundary
Neighborhood in Abstraction Space¶
Upper Half-Plane sits in a crowded region of the domain-specific corpus (31st percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Coordinate Systems & Spatial Measures (29 abstractions)
Nearest neighbors
- Hypercycle (Geometry) — 0.90
- Elliptic Cylindrical Coordinates — 0.89
- Riemann Sphere — 0.88
- Complex Affine Space — 0.88
- Parabolic Cylindrical Coordinates — 0.88
Computed from structural-signature embeddings · 2026-10-08