Definitions

# Upper half-plane

In mathematics, the upper half-plane H is the set of complex numbers

$mathbb\left\{H\right\} = \left\{x + iy ;| y > 0; x, y in mathbb\left\{R\right\} \right\}$

with positive imaginary part y.

The term is associated with a common visualization of complex numbers with points in the plane endowed with Cartesian coordinates, with the Y-axis pointing upwards: the "upper half-plane" corresponds to the half-plane above the X-axis.

When endowed with a particular metric, the upper half-plane may be called the hyperbolic plane, Poincaré half-plane, or Lobachevsky plane, particularly in texts by Russian authors. Some authors prefer the symbol $mathfrak\left\{h\right\}.$

It is the domain of many functions of interest in complex analysis, especially elliptic modular forms. The lower half-plane, defined by y < 0, is equally good, but less used by convention. The open unit disk D (the set of all complex numbers of absolute value less than one) is equivalent by a conformal mapping (see "Poincaré metric"), meaning that it is usually possible to pass between H and D.

It also plays an important role in hyperbolic geometry, where the Poincaré half-plane model provides a way of examining hyperbolic motions. The Poincaré metric provides a hyperbolic metric on the space.

The uniformization theorem for surfaces states that the upper half-plane is the universal covering space of surfaces with constant negative Gaussian curvature.

## Generalizations

One natural generalization in differential geometry is hyperbolic n-space Hn, the maximally symmetric, simply connected, n-dimensional Riemannian manifold with constant sectional curvature −1. In this terminology, the upper half-plane is H2 since it has real dimension 2.

In number theory, the theory of Hilbert modular forms is concerned with the study of certain functions on the direct product Hn of n copies of the upper half-plane. Yet another space interesting to number theorists is the n, which is the domain of Siegel modular forms.

Let

$mathbb\left\{H\right\}_n=\left\{Fin M_\left\{n\right\}\left(mathbb\left\{C\right\}\right) ; | F=F^T ;textrm\left\{and\right\}; Im \left(F\right) >0 \right\}$
be the set of symmetric square matrices whose imaginary part is positive definite; that is the set of square matrices whose imaginary parts have positive eigenvalues. The set Hn is called the Siegel upper half-space of genus n.

## External links

Search another word or see convexo planeon Dictionary | Thesaurus |Spanish
Copyright © 2015 Dictionary.com, LLC. All rights reserved.
• Please Login or Sign Up to use the Recent Searches feature