В геометрии гиперболоид вращения , иногда называемый круговым гиперболоидом , представляет собой поверхность , образованную вращением гиперболы вокруг одной из ее главных осей . Гиперболоид — это поверхность, полученная из гиперболоида вращения путем его деформации с помощью направленного масштабирования или , в более общем смысле, аффинного преобразования .
Гиперболоид — это квадрика , то есть поверхность , определяемая как множество нулей многочлена второй степени от трёх переменных. Среди квадратичных поверхностей гиперболоид характеризуется тем, что не является конусом или цилиндром , имеет центр симметрии и пересекает множество плоскостей в гиперболы. Гиперболоид имеет три попарно перпендикулярные оси симметрии и три попарно перпендикулярные плоскости симметрии .
Учитывая гиперболоид, можно выбрать декартову систему координат так, чтобы гиперболоид определялся одним из следующих уравнений:
Гиперболоид вращения существует тогда и только тогда , когда в противном случае оси определены однозначно ( с точностью до замены осей x и осей y ).
Существует два вида гиперболоидов. В первом случае ( +1 в правой части уравнения): однополостный гиперболоид , также называемый гиперболическим гиперболоидом . Это связная поверхность , имеющая в каждой точке отрицательную гауссову кривизну . Это означает, что вблизи каждой точки пересечение гиперболоида и его касательной плоскости в этой точке состоит из двух ветвей кривой, имеющих различные касательные в этой точке. В случае однополостного гиперболоида эти ветви кривых представляют собой линии , и, таким образом, однополостный гиперболоид представляет собой двулинейчатую поверхность.
Во втором случае ( −1 в правой части уравнения): двухполостный гиперболоид , также называемый эллиптическим гиперболоидом . Поверхность имеет две связные компоненты и положительную гауссову кривизну в каждой точке. Поверхность выпукла в том смысле, что касательная плоскость в каждой точке пересекает поверхность только в этой точке.
Декартовы координаты для гиперболоидов могут быть определены аналогично сферическим координатам , сохраняя угол азимута θ ∈ [0, 2 π ) , но изменяя наклон v на гиперболические тригонометрические функции :
Одноповерхностный гиперболоид: v ∈ (−∞, ∞)
Двухповерхностный гиперболоид: v ∈ [0, ∞)
Следующее параметрическое представление включает в себя гиперболоиды из одного листа, двух листов и их общий граничный конус, каждый из которых имеет ось - в качестве оси симметрии:
Можно получить параметрическое представление гиперболоида с другой осью координат в качестве оси симметрии, переставив положение члена на соответствующий компонент в приведенном выше уравнении.
В более общем смысле, произвольно ориентированный гиперболоид с центром в v определяется уравнением
Собственные векторы A определяют главные направления гиперболоида, а собственные значения A являются обратными квадратам полуосей: , и . Однополостный гиперболоид имеет два положительных собственных значения и одно отрицательное собственное значение. Двухполостный гиперболоид имеет одно положительное собственное значение и два отрицательных собственных значения.
Если гиперболоид имеет уравнение , то прямые
В случае, если гиперболоид является поверхностью вращения и может быть создан путем вращения одной из двух линий или , которые наклонены к оси вращения (см. рисунок). Это свойство называется теоремой Рена . [1] Более распространенным способом создания однолистного гиперболоида вращения является вращение гиперболы вокруг своей малой полуоси (см. рисунок; вращение гиперболы вокруг другой оси дает двухполостную гиперболу вращения).
Однополостный гиперболоид проективно эквивалентен гиперболическому параболоиду .
Для простоты рассматриваются плоские сечения единичного гиперболоида с уравнением . Поскольку гиперболоид общего положения является аффинным образом единичного гиперболоида, результат применим и к общему случаю.
Очевидно, что любой однополостный гиперболоид вращения содержит окружности. Это также верно, но менее очевидно в общем случае (см. круговой раздел ).
Двухлистный гиперболоид не содержит прямых. Рассмотрение плоских сечений можно вести для единичного двухлистового гиперболоида с уравнением
Очевидно, что любой двухполостный гиперболоид вращения содержит окружности. Это также верно, но менее очевидно в общем случае (см. круговой раздел ).
Примечание. Двухлистный гиперболоид проективно эквивалентен сфере.
Гиперболоиды с уравнениями
В то время как гауссова кривизна однополостного гиперболоида отрицательна, двухполостного гиперболоида положительна. Двухлистный гиперболоид с другой подходящей метрикой, несмотря на свою положительную кривизну, также может быть использован в качестве модели гиперболической геометрии.
Воображаемые гиперболоиды часто встречаются в математике высших измерений. Например, в псевдоевклидовом пространстве используется квадратичная форма :
В качестве примера рассмотрим следующий отрывок: [4]
... векторы скорости всегда лежат на поверхности, которую Минковский называет четырехмерным гиперболоидом, поскольку, выраженное в терминах чисто вещественных координат ( y 1 , ..., y 4 ) , ее уравнение равно y2
1+ й2
2+ й2
3− й2
4= −1 , аналог гиперболоида y2
1+ й2
2− й2
3= −1 трехмерного пространства. [6]
Однако термин «квазисфера» также используется в этом контексте, поскольку сфера и гиперболоид имеют некоторую общность (см. § Связь со сферой ниже).
В построении используются однополостные гиперболоиды, причем конструкции называются гиперболоидными конструкциями . Гиперболоид — это двулинейчатая поверхность ; таким образом, его можно построить из прямых стальных балок, создав прочную конструкцию с меньшими затратами, чем другие методы. Примеры включают градирни , особенно электростанций , и многие другие сооружения .
В 1853 году Уильям Роуэн Гамильтон опубликовал свои «Лекции по кватернионам» , которые включали представление бикватернионов . Следующий отрывок со страницы 673 показывает, как Гамильтон использует алгебру бикватернионов и векторы из кватернионов для создания гиперболоидов из уравнения сферы :
... уравнение единичной сферы ρ 2 + 1 = 0 и измените вектор ρ на бивекторную форму , например σ + τ √ −1 . Уравнение сферы тогда распадается на систему двух следующих:
σ 2 - τ 2 + 1 знак равно 0 , S . στ = 0 ;и предлагает рассматривать σ и τ как два действительных и прямоугольных вектора, таких что
Т τ знак равно ( Т σ 2 - 1 ) 1/2 .Отсюда легко сделать вывод, что если мы предположим, что σ || λ , где λ — вектор в данной позиции, новый действительный вектор σ + τ оканчивается на поверхности двулистного и равностороннего гиперболоида ; и что, если, с другой стороны, мы предположим, что τ || λ , то геометрическое место конца вещественного вектора σ + τ будет равносторонним, но однополостным гиперболоидом . Таким образом, изучение этих двух гиперболоидов очень просто связано через бикватернионы с изучением сферы; ...
В этом отрывке S — оператор, задающий скалярную часть кватерниона, а T — «тензор», который теперь называется нормой кватерниона.
Современный взгляд на объединение сферы и гиперболоида использует идею конического сечения как среза квадратичной формы . Вместо конической поверхности требуются конические гиперповерхности в четырехмерном пространстве с точками p = ( w , x , y , z ) ∈ R4 , определяемыми квадратичными формами . Сначала рассмотрим коническую гиперповерхность
Тогда это сфера радиуса r . С другой стороны, коническая гиперповерхность
В теории квадратичных форм единичная квазисфера — это подмножество квадратичного пространства X , состоящее из таких точек x ∈ X , что квадратичная норма x равна единице. [7]