En geometría , una pseudoesfera es una superficie con curvatura gaussiana negativa constante .
Una pseudoesfera de radio R es una superficie que tiene curvatura −1/ R 2 en cada punto. Su nombre proviene de la analogía con la esfera de radio R , que es una superficie de curvatura 1/ R 2 . El término fue introducido por Eugenio Beltrami en su artículo de 1868 sobre modelos de geometría hiperbólica . [1]
La misma superficie también puede describirse como el resultado de hacer girar una tractriz alrededor de su asíntota . Por este motivo a la pseudoesfera también se le llama tractroide . Como ejemplo, la (media) pseudoesfera (con radio 1) es la superficie de revolución de la tractriz parametrizada por [2]
Es un espacio singular (el ecuador es una singularidad), pero alejado de las singularidades, tiene curvatura gaussiana negativa constante y por lo tanto es localmente isométrico a un plano hiperbólico .
El nombre "pseudoesfera" surge porque tiene una superficie bidimensional de curvatura gaussiana negativa constante, al igual que una esfera tiene una superficie con curvatura gaussiana positiva constante. Así como la esfera tiene en cada punto una geometría curvada positivamente de una cúpula , toda la pseudoesfera tiene en cada punto la geometría curvada negativamente de una silla de montar .
Ya en 1693, Christiaan Huygens descubrió que el volumen y la superficie de la pseudoesfera son finitos, [3] a pesar de la extensión infinita de la forma a lo largo del eje de rotación. Para un radio de borde dado R , el área es 4π R 2 tal como lo es para la esfera, mientras que el volumen es 2/3 π R 3 y por tanto la mitad que el de una esfera de ese radio. [4] [5]
La pseudoesfera es un importante precursor geométrico de las artes y la pedagogía del tejido matemático . [6]
La media pseudoesfera de curvatura −1 está cubierta por el interior de un horociclo . En el modelo de semiplano de Poincaré, una elección conveniente es la porción del semiplano con y ≥ 1 . [7] Entonces el mapa de cobertura es periódico en la dirección x del período 2 π , y lleva los horociclos y = c a los meridianos de la pseudoesfera y las geodésicas verticales x = c a las tractos que generan la pseudoesfera. Este mapeo es una isometría local y, por lo tanto, exhibe la porción y ≥ 1 del semiplano superior como el espacio de cobertura universal de la pseudoesfera. El mapeo preciso es
dónde
es la parametrización de la tractriz anterior.
En algunas fuentes que utilizan el modelo hiperboloide del plano hiperbólico, el hiperboloide se denomina pseudoesfera . [8] Este uso de la palabra se debe a que el hiperboloide puede considerarse como una esfera de radio imaginario, incrustada en un espacio de Minkowski .
Una superficie pseudoesférica es una generalización de la pseudoesfera. Una superficie que está sumergida suavemente por partes con una curvatura negativa constante es una superficie pseudoesférica. El tractoride es el ejemplo más simple. Otros ejemplos incluyen las superficies de Dini , las superficies de respiración y la superficie de Kuen.
Las superficies pseudoesféricas se pueden construir a partir de soluciones de la ecuación del seno-Gordon . [9] Una prueba esquemática comienza reparametrizando el tractroide con coordenadas en las que las ecuaciones de Gauss-Codazzi pueden reescribirse como la ecuación seno-Gordon.
En particular, para el tractroide, las ecuaciones de Gauss-Codazzi son la ecuación del seno-Gordon aplicada a la solución estática del solitón, por lo que se satisfacen las ecuaciones de Gauss-Codazzi. En estas coordenadas, la primera y segunda forma fundamental están escritas de una manera que deja en claro que la curvatura gaussiana es −1 para cualquier solución de las ecuaciones del seno-Gordon.
Entonces, cualquier solución de la ecuación del seno-Gordon se puede utilizar para especificar una primera y una segunda forma fundamental que satisfagan las ecuaciones de Gauss-Codazzi. Entonces existe el teorema de que cualquier conjunto de datos iniciales puede usarse para especificar al menos localmente una superficie sumergida en .
A continuación se dan algunos ejemplos de soluciones seno-Gordon y su superficie correspondiente: