Псевдоевклидово пространство определяется парой целочисленных параметров — максимальной размерностью подпространства с положительно и отрицательно определёнными метриками; пара называется сигнатурой пространства. Пространства с сигнатурой обычно обозначаются или . Важнейшим примером псевдоевклидова пространства является пространство Минковского.
Выбрав подходящий базис векторного псевдоевклидова пространства , всегда можно добиться того, чтобы индефинитное скалярное произведение этого пространства имело вид
где и — векторы пространства
. В частности, скалярный квадрат вектора имеет вид
и может быть как положительным, так и отрицательным числом, а также нулём (даже для ненулевого вектора ). Соответственно, длина вектора , определённая равенством
является либо вещественным положительным, либо чисто мнимым числом, либо нулём.
Аналогично, выбором репера всегда можно добиться того, чтобы расстояние между точками n-мерного аффинного псевдоевклидова пространства с координатами и записывалось в виде
Базисы и реперы с таким свойством называются ортонормированными.
Пара чисел (задающая количество базисных векторов вещественной и чисто мнимой длины, соответственно) не зависит от выбора ортонормированного базиса или репера (закон инерции Сильвестра) и называется сигнатурой псевдоевклидова пространства.
Псевдоевклидовы пространства с различными сигнатурами неизометричны друг другу. Однако пространство с сигнатурой может быть превращено в пространство с сигнатурой заменой знака скалярного произведения, и потому различия между такими пространствами обычно не проводят: в частности, пространство Минковского в разных источниках определяется и как пространство сигнатуры , и как пространство сигнатуры . Таким образом, каждой размерности отвечает (где прямые скобки означают взятие целой части) различных -мерных псевдоевклидовых пространств.
Важной особенностью пространств с индефинитной метрикой является наличие ненулевых векторов, имеющих нулевую длину. Такие векторы (а также прямые, направляющими векторами которых они являются) называются изотропными или светоподобными (последнее наименование чаще используется в физике, оно связано с пространством Минковского). Подпространство векторного псевдоевклидова пространства называется изотропным, если оно целиком состоит из изотропных векторов.
Множество всех изотропных векторов псевдоевклидова векторного пространства называется изотропным конусом (или световым конусом) этого пространства. Световой конус пространства сигнатуры не содержит «граней», то есть изотропных подпространств размерности больше 1[1].
Множество всех изотропных векторов псевдоевклидова аффинного пространства, отложенных от произвольно фиксированной точки, называется изотропным конусом (или световым конусом) этого пространства в данной точке. Это множество действительно является конусом (в обобщённом смысле этого понятия) с вершиной в данной точке. Изотропные конусы псевдоевклидова аффинного пространства с вершинами в разных точках получаются друг из друга с помощью параллельного переноса.
В частности, псевдоевклидова векторная плоскость обладает ровно двумя изотропными направлениями. В ортонормированном базисе, где скалярный квадрат вектора принимает вид
изотропные направления — прямые и изотропный конус состоит из объединения этих двух прямых.
Трёхмерное псевдоевклидово векторное пространство имеет бесконечное число изотропных направлений. В ортонормированном базисе, где скалярный квадрат вектора принимает вид
изотропные направления — это всевозможные прямые, лежащие на изотропном конусе
который в данном случае представляет собой настоящий конус.
Взаимное расположение плоскости и изотропного конуса в трёхмерном псевдоевклидовом пространстве
Подпространство псевдоевклидова пространства с сигнатурой не обязательно является псевдоевклидовым пространством с тем же числом ; более того, оно может быть и евклидовым пространством. Например, в трёхмерном псевдоевклидовом пространстве с сигнатурой плоскость может быть либо псевдоевклидовой с сигнатурой , либо евклидовой, либо иметь вырожденное скалярное произведение. Геометрически эти три случая определяются расположением плоскости относительно изотропного конуса (см. рисунок). Именно, плоскость является псевдоевклидовой, если она пересекает изотропный конус по двум различным прямым (изотропным направлениям); ограничение скалярного произведения на плоскость вырождено, если касается изотропного конуса, то есть пересекается с ним по одной единственной прямой; наконец, плоскость является евклидовой, если она имеет с изотропным конусом единственную общую точку (вершину конуса).
С точки зрения геометрии псевдоевклидовой плоскости, окружностями произвольного ненулевого (вещественного или чисто мнимого) радиуса являются гиперболы. Аналогично, в трёхмерном псевдоевклидовом пространстве сигнатуры сферами ненулевого вещественного радиуса являются однополостные гиперболоиды, а сферами ненулевого чисто мнимого радиуса — двуполостные гиперболоиды. Аналогично в пространствах большего количества измерений, например, в четырёхмерном сигнатуры (3,1).
По своим геометрическим свойствам каждая из двух «половин» гиперсферы мнимого радиуса в -мерном псевдоевклидовом пространстве сигнатуры представляет собой -мерное пространство Лобачевского. Подпространства размерности (от до ) в этом пространстве Лобачевского соответствуют подпространствам размерности исходного псевдоевклидова пространства, проходящим через начало координат и пересекающим гиперсферу мнимого радиуса, а его движения — преобразованиям Лоренца.
В псевдоевклидовом пространстве с сигнатурой для всех векторов мнимой длины выполнено неравенство, обратное неравенству Коши—Буняковского для евклидовых пространств:[1]
Важнейшим частным случаем псевдоевклидова пространства является пространство Минковского, используемое в специальной теории относительности в качестве пространства-времени, в котором метрика сигнатуры (1,3) лоренц-инвариантна (только псевдоевклидова метрика может быть лоренц-инвариантной), а для времениподобности пары событий длина (в смысле такой метрики) кривой, соединяющей эти события и тоже всюду времениподобной, есть время между ними, измеренное по часам, движение которых описывается в пространстве-времени этой кривой. Изотропные направления являются направлениями распространения света и называются также нулевыми или светоподобными.
Гильбертово пространство с индефинитной метрикой применяется в квантовой электродинамике для математического описания квантования продольных и скалярных колебаний электромагнитного поля[2].
Теоретическая физика рассматривает псевдоевклидовы пространства и иной размерности, однако как правило метрика в них имеет сигнатуру , то есть это пространства с одной временно́й координатой и n пространственными.
Poincaré, Science and Hypothesis 1906, referred to in the book B. A. Rosenfeld, A History of Non-Euclidean Geometry Springer 1988 (английский перевод) с.266.
Szekeres, Peter. A course in modern mathematical physics: groups, Hilbert space, and differential geometry (англ.). — Cambridge University Press, 2004. — ISBN 0521829607.
Александров П. С., Маркушевич А. И., Хинчин А. Я. — Энциклопедия элементарной математики. Том V. Геометрия
Рашевский П. К. Риманова геометрия и тензорный анализ. — Любое издание.
Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия. — М.: Физматлит, 2009.
Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия (методы и приложения). — Любое издание.
Иванов А. О., Тужилин А. А. Лекции по классической дифференциальной геометрии. — М.: Логос, 2009.