En matemáticas , el semiplano superior , es el conjunto de puntos en el plano cartesiano con El semiplano inferior es el conjunto de puntos con en cambio. Cada uno es un ejemplo de semiespacio bidimensional .
Las transformaciones afines del semiplano superior incluyen
Proposición: Sean y semicírculos en el semiplano superior con centros en el borde. Entonces hay una aplicación afín que lleva a .
y dilatar. Luego desplazarse al centro de
Definición: .
se puede reconocer como el círculo de radio centrado en y como el diagrama polar de
Proposición: en y son puntos colineales .
De hecho, es la inversión de la línea en el círculo unitario . En efecto, la diagonal de a tiene una longitud al cuadrado , por lo que es el recíproco de esa longitud.
La distancia entre dos puntos cualesquiera y en el semiplano superior se puede definir consistentemente de la siguiente manera: La bisectriz perpendicular del segmento de a interseca el límite o es paralela a él. En el último caso y se encuentran en un rayo perpendicular al límite y se puede usar la medida logarítmica para definir una distancia que es invariante bajo dilatación. En el primer caso y se encuentran en un círculo centrado en la intersección de su bisectriz perpendicular y el límite. Por la proposición anterior, este círculo se puede mover por movimiento afín a Las distancias en se pueden definir usando la correspondencia con los puntos en y la medida logarítmica en este rayo. En consecuencia, el semiplano superior se convierte en un espacio métrico . El nombre genérico de este espacio métrico es plano hiperbólico . En términos de los modelos de geometría hiperbólica , este modelo se designa frecuentemente como modelo de semiplano de Poincaré .
Los matemáticos a veces identifican el plano cartesiano con el plano complejo , y entonces el semiplano superior corresponde al conjunto de números complejos con parte imaginaria positiva :
El término surge de una visualización común del número complejo como el punto en el plano dotado de coordenadas cartesianas . Cuando el eje está orientado verticalmente, el " semiplano superior " corresponde a la región por encima del eje y, por lo tanto, a los números complejos para los que .
Es el dominio de muchas funciones de interés en el análisis complejo , especialmente las formas modulares . El semiplano inferior, definido por es igualmente bueno, pero menos utilizado por convención. El disco unitario abierto (el conjunto de todos los números complejos de valor absoluto menor que uno) es equivalente por una aplicación conforme a (ver " Métrica de Poincaré "), lo que significa que generalmente es posible pasar entre y
También desempeña un papel importante en la geometría hiperbólica , donde el modelo de semiplano de Poincaré proporciona una forma de examinar los movimientos hiperbólicos . La métrica de Poincaré proporciona una métrica hiperbólica en el espacio.
El teorema de uniformización para superficies establece que el semiplano superior es el espacio de recubrimiento universal de superficies con curvatura gaussiana negativa constante .
El semiplano superior cerrado es la unión del semiplano superior y el eje real. Es el cierre del semiplano superior.
Una generalización natural en geometría diferencial es el hiperbólico -espacio , la variedad riemanniana de simetría máxima, simplemente conexa y de dimensión variable con curvatura seccional constante . En esta terminología, el semiplano superior es ya que tiene dimensión real
En teoría de números , la teoría de las formas modulares de Hilbert se ocupa del estudio de ciertas funciones en el producto directo de copias del semiplano superior. Otro espacio interesante para los teóricos de números es el semiespacio superior de Siegel , que es el dominio de las formas modulares de Siegel .
