В геометрии псевдосфера — это поверхность с постоянной отрицательной гауссовой кривизной .
Псевдосфера радиуса R — это поверхность, имеющая кривизну −1/ R 2 в каждой точке. Ее название происходит от аналогии со сферой радиуса R , которая является поверхностью кривизны 1/ R 2. Термин был введен Эудженио Бельтрами в его статье 1868 года о моделях гиперболической геометрии . [1]
Эту же поверхность можно описать как результат вращения трактрисы вокруг ее асимптоты . По этой причине псевдосферу также называют трактоидом . Например, (половина) псевдосферы (с радиусом 1) является поверхностью вращения трактрисы, параметризованной [ 2]
Это сингулярное пространство (экватор является сингулярностью), но вдали от сингулярностей оно имеет постоянную отрицательную гауссову кривизну и, следовательно, локально изометрично гиперболической плоскости .
Название «псевдосфера» происходит от того, что она имеет двумерную поверхность постоянной отрицательной гауссовой кривизны, так же как сфера имеет поверхность с постоянной положительной гауссовой кривизной. Так же как сфера имеет в каждой точке положительно искривленную геометрию купола , вся псевдосфера имеет в каждой точке отрицательно искривленную геометрию седла .
Еще в 1693 году Христиан Гюйгенс обнаружил, что объем и площадь поверхности псевдосферы конечны, [3] несмотря на бесконечную протяженность формы вдоль оси вращения. Для заданного радиуса ребра R площадь равна 4π R 2 , как и для сферы, в то время как объем равен 2/3 π R 3 и, следовательно, половина сферы этого радиуса. [4] [5]
Псевдосфера является важным геометрическим предшественником математического тканевого искусства и педагогики . [6]
Половина псевдосферы кривизны −1 покрыта внутренней частью орицикла . В модели полуплоскости Пуанкаре одним из удобных выборов является часть полуплоскости с y ≥ 1. [ 7] Тогда покрывающее отображение является периодическим в направлении x с периодом 2 π и переводит орициклы y = c в меридианы псевдосферы, а вертикальные геодезические x = c в трактрисы, которые порождают псевдосферу. Это отображение является локальной изометрией и, таким образом, представляет часть y ≥ 1 верхней полуплоскости как универсальное покрывающее пространство псевдосферы. Точное отображение имеет вид
где
является параметризацией трактрисы выше.
В некоторых источниках, использующих гиперболоидную модель гиперболической плоскости, гиперболоид упоминается как псевдосфера . [8] Такое использование слова обусловлено тем, что гиперболоид можно рассматривать как сферу мнимого радиуса, вложенную в пространство Минковского .
Псевдосферическая поверхность является обобщением псевдосферы. Поверхность, которая кусочно-гладко погружена в с постоянной отрицательной кривизной, является псевдосферической поверхностью. Трактроид является простейшим примером. Другие примеры включают поверхности Дини , поверхности бризеров и поверхность Куэна.
Псевдосферические поверхности могут быть построены из решений уравнения синус-Гордона . [9] Эскиз доказательства начинается с перепараметризации трактоида с координатами, в которых уравнения Гаусса–Кодацци могут быть переписаны как уравнение синус-Гордона.
В частности, для трактроида уравнения Гаусса–Кодацци являются уравнением синус-Гордона, примененным к статическому солитонному решению, так что уравнения Гаусса–Кодацци удовлетворяются. В этих координатах первая и вторая фундаментальные формы записаны таким образом, что становится ясно, что гауссова кривизна равна −1 для любого решения уравнений синус-Гордона.
Тогда любое решение уравнения синус-Гордона может быть использовано для задания первой и второй фундаментальной формы, которые удовлетворяют уравнениям Гаусса–Кодацци. Тогда существует теорема, что любой такой набор начальных данных может быть использован для по крайней мере локального задания погруженной поверхности в .
Ниже приведены несколько примеров решений синус-Гордона и соответствующих им поверхностей:
(Переиздано в Beltrami, Eugenio (1902). Opere Matematiche . Том 1. Милан: Ulrico Hoepli. XXIV, стр. 374–405.Переведено на французский язык как «Essai d'interprétation de la Géométrie Noneuclidéenne». Annales Scientifiques de l'École Normale Supérieure . Сер. 1. 6 . Перевод Ж. Уэля: 251–288. 1869. дои : 10.24033/asens.60 . ЭуДМЛ 80724 .Перевод на английский язык: «Эссе об интерпретации неевклидовой геометрии» Джона Стиллвелла , в Stillwell 1996, стр. 7–34.)