Псевдоевклидово пространство
Псе́вдоевкли́дово простра́нство, действительное аффинное пространство, в котором каждым двум векторам и поставлено в соответствие определённое число, называемое скалярным произведением .
1) Скалярное произведение коммутативно:
2) скалярное произведение дистрибутивно относительно сложения векторов:
3) числовой множитель можно вынести за знак скалярного произведения:
4) существуют такие векторов , что
Число называется размерностью псевдоевклидова пространства, – индексом, пара чисел , , – сигнатурой. Псевдоевклидово пространство обозначается (или ). Пространство называется пространством Минковского. В пространстве во всякой системе векторов , для которых и при , число векторов , для которых , равно , а число векторов , для которых , равно (закон инерции квадратичной формы).
Модуль вектора псевдоевклидова пространства может быть определён как неотрицательный корень . Векторы, скалярные квадраты которых равны и , называются соответственно единичными и мнимоединичными векторами. Векторы , для которых , обладают нулевым модулем и называются изотропными векторами; направления изотропных векторов – изотропными направлениями.
В псевдоевклидовом пространстве имеются три вида прямых: евклидовы, направляющий вектор которых имеет положительный скалярный квадрат , псевдоевклидовы и изотропные . Совокупность всех изотропных прямых, проходящих через некоторую точку, называется изотропным конусом.
В псевдоевклидовом пространстве имеется несколько видов плоскостей: евклидовы плоскости , псевдоевклидовы плоскости и плоскости, содержащие изотропные векторы, – т. н. полуевклидовы плоскости сигнатуры и и дефекта (см. в статье Полуевклидово пространство) и изотропные плоскости, все векторы которых изотропны.
За расстояние между точками и принимается модуль вектора , и оно может быть вычислено следующим образом:
Псевдоевклидово пространство не является метрическим пространством, т. к. в нём не выполняется неравенство треугольника. Если векторы и принадлежат евклидовой плоскости (или псевдоевклидовой плоскости индекса ), то для них выполняется неравенство треугольника, а если они принадлежат псевдоевклидовой плоскости индекса , то для них выполняется т. н. обратное неравенство треугольника:
В псевдоевклидовом пространстве имеются три вида сфер: сферы с положительным квадратом радиуса: , сферы с отрицательным квадратом радиуса: и сферы нулевого радиуса: , совпадающие с изотропным конусом.
Движения псевдоевклидова пространства являются аффинными преобразованиями и могут быть записаны в виде
Оператор удовлетворяет условию , т. е. сохраняет расстояние между точками. Движения псевдоевклидова пространства образуют группу по умножению; она зависит от независимых параметров. Движения псевдоевклидова пространства называются движениями 1-го или 2-го рода, если они являются аффинными преобразованиями соответствующего рода.
Антидвижением псевдоевклидова пространства называют геометрическое преобразование, при котором всякий вектор переходит в вектор такой, что .
В псевдоевклидовом пространстве можно ввести основные операции векторной и тензорной алгебры. Основные дифференциально-геометрические понятия строятся в соответствии с правилами геометрии псевдоримановых пространств. Метрический тензор псевдоевклидова пространства имеет вид (в галилеевой системе координат)
Псевдоевклидово пространство является плоским, т. е. его тензор Римана равен нулю. Если тензор Римана псевдориманова пространства равен нулю тождественно, то оно является локально псевдоевклидовым пространством.
Подмногообразия псевдоевклидова пространства могут нести различные метрики: положительно или отрицательно определённую риманову метрику, псевдориманову метрику и вырожденную метрику. Так, например, сферы псевдоевклидова пространства несут (вообще говоря, индефинитную) метрику постоянной кривизны. В сфера с положительным квадратом радиуса является -мерным пространством, изометричным пространству Лобачевского.
Псевдоевклидово пространство и евклидово пространство можно рассматривать как подпространства комплексного пространства с формой . Если – координаты псевдоевклидова пространства, – действительного евклидова пространства, – комплексного евклидова пространства, то уравнения подпространств имеют вид
Метрику псевдоевклидова пространства можно формально получить из метрики евклидова пространства заменой , .