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.
Structural Signature¶
Sig role-phrases:
- Complex coordinate z=x+iy — Identifies each point and its imaginary part. It is point representation. Counterfactual: Coordinate orientation determines which side is upper.
- Strict inequality y>0 — Defines the open domain. It is membership rule. Counterfactual: Real-axis points are excluded.
- Real-axis boundary — Separates upper and lower halves and supports ideal endpoints. It is boundary. Counterfactual: Euclidean and hyperbolic roles differ.
- Euclidean structure — Provides ordinary angles, lines, circles, and topology. It is ambient geometry. Counterfactual: Euclidean distances are not hyperbolic distances.
- Hyperbolic metric — Weights displacement by inverse height. It is model structure. Counterfactual: The set alone does not force this metric.
- Real Möbius action — Maps H to itself and acts by hyperbolic isometries. It is symmetry. Counterfactual: Complex coefficients without the right condition need not preserve H.
What It Is Not¶
- 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.
- Closest near-miss. The upper half-plane and unit disk are conformally and hyperbolically equivalent through Möbius maps, but they are different coordinate domains.
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.
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.
Examples¶
Canonical¶
The complex number 2+3i lies in H because its imaginary part is positive; equipping H with ds²=(dx²+dy²)/y² makes vertical lines and boundary-orthogonal semicircles hyperbolic geodesics.
Mapped back: point → 2+3i; membership → Im>0; metric → Poincaré; geodesics → vertical/orthogonal semicircles.
Applied / In Practice¶
The point 5+0i lies on the real-axis boundary and is not an element of the open upper half-plane.
Mapped back: imaginary part → 0; status → boundary; verdict → excluded.
Structural Tensions¶
T1 — Same Point Set versus Different Geometry. Euclidean and hyperbolic metrics share H while assigning different distances, areas, and geodesics.
Diagnostic: Which structure is active in the statement?
T2 — Finite Coordinates versus Ideal Boundary. Real-axis points are absent from H yet encode limiting endpoints and boundary values.
Diagnostic: Is the argument topological, analytic, or compactified?
Structural–Framed Character¶
Upper Half-Plane is structural as the positive-imaginary open domain and framed by whichever analytic or metric structure is added.
Structural Core vs. Domain Accent¶
The broad pattern is a space divided by a boundary hyperplane. Complex and hyperbolic geometry add Möbius maps, conformality, ideal boundary, and weighted metric.
Instantiates / Related Primes¶
This entry presupposes Boundary.
-
Approved geometric root. No current parent entails this canonical complex domain together with its distinct analytic and hyperbolic uses.
-
Related — lower half-plane, right half-plane, unit disk, half-space, and Poincaré metric. They are complements, transforms, generalizations, and added structure.
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.The reviewed Upper Half-Plane identity—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—requires the structural role carried by Boundary—Defines system limits; removing that role makes the child mechanism or criterion undefined. Boundary can occur in settings that do not instantiate Upper Half-Plane, so this is dependency rather than subsumption.
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
Not to Be Confused With¶
- Closed upper half-plane. Tell: Includes the real axis.
- Right half-plane. Tell: Uses positive real part.
- Poincaré disk. Tell: Is an equivalent but different hyperbolic model.
- Upper hemisphere. Tell: Is a curved surface subset, not the planar region.
References¶
- Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Upper_half-plane (revision 1315791134).
The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.