Псевдоевклидово пространство

Псевдоевклидово пространство — конечномерное вещественное векторное или аффинное пространство с невырожденным индефинитным скалярным произведением, которое называют также индефинитной метрикой. Индефинитная метрика не является метрикой в смысле определения метрического пространства, а представляет собой частный случай метрического тензора.

Важнейшим примером псевдоевклидова пространства является пространство Минковского.

Содержание

Сигнатура псевдоевклидова пространства

Выбрав подходящий базис векторного псевдоевклидова пространства L{displaystyle L}

 , всегда можно добиться того, чтобы индефинитное скалярное произведение этого пространства имело вид

⟨x,y⟩=x1y1+…+xmym−xm+1ym+1−…−xnyn,{displaystyle langle x,yrangle =x_{1}y_{1}+ldots +x_{m}y_{m}-x_{m+1}y_{m+1}-ldots -x_{n}y_{n},} 

где x=(x1,…,xn){displaystyle x=(x_{1},ldots ,x_{n})}

  и y=(y1,…,yn){displaystyle y=(y_{1},ldots ,y_{n})}  — векторы пространства L{displaystyle L} . В частности, скалярный квадрат вектора имеет вид

⟨x,x⟩=x12+…+xm2−xm+12−…−xn2,{displaystyle langle x,xrangle =x_{1}^{2}+ldots +x_{m}^{2}-x_{m+1}^{2}-ldots -x_{n}^{2},} 

и может быть как положительным, так и отрицательным числом, а также нулём (даже для ненулевого вектора x{displaystyle x}

 ). Соответственно, длина вектора x{displaystyle x} , определённая равенством

‖x‖=⟨x,x⟩,{displaystyle |x|={sqrt {langle x,;xrangle }},} 

является либо положительным, либо мнимым числом, либо нулём.

Аналогично, выбором репера всегда можно добиться того, чтобы расстояние между точками n-мерного аффинного псевдоевклидова пространства с координатами (x1,…,xn){displaystyle (x_{1},ldots ,x_{n})}

  и (y1,…,yn){displaystyle (y_{1},ldots ,y_{n})}  записывалось в виде

d(x,y)=(x1−y1)2+…+(xm−ym)2−(xm+1−ym+1)2−…−(xn−yn)2.{displaystyle d(x,y)={sqrt {(x_{1}-y_{1})^{2}+ldots +(x_{m}-y_{m})^{2}-(x_{m+1}-y_{m+1})^{2}-ldots -(x_{n}-y_{n})^{2}}}.} 

Базисы и реперы с таким свойством называются ортонормированными.

Пара чисел (m,n−m){displaystyle (m,n-m)}

  (задающая количество базисных векторов вещественной и чисто мнимой длины, соответственно) не зависит от выбора ортонормированного базиса или репера (закон инерции Сильвестра) и называется сигнатурой псевдоевклидова пространства.

Псевдоевклидовы пространства с различными сигнатурами неизометричны друг другу. Однако пространство с сигнатурой (m,n−m){displaystyle (m,n-m)}

  может быть превращено в пространство с сигнатурой (n−m,m){displaystyle (n-m,m)}  заменой знака скалярного произведения, и потому различия между такими пространствами обычно не проводят: в частности, пространство Минковского в разных источниках определяется и как пространство сигнатуры (1,3){displaystyle (1,3)} , и как пространство сигнатуры (3,1){displaystyle (3,1)} . Таким образом, каждой размерности n{displaystyle n}  отвечает [n/2]{displaystyle left[n/2right]}  (где прямые скобки означают взятие целой части) различных n{displaystyle n} -мерных псевдоевклидовых пространств.

Изотропные векторы, направления, конусы

Важной особенностью пространств с индефинитной метрикой является наличие ненулевых векторов, имеющих нулевую длину. Такие векторы (а также прямые, направляющими векторами которых они являются) называются изотропными или светоподобными (последнее наименование чаще используется в физике, оно связано с пространством Минковского). Подпространство векторного псевдоевклидова пространства называется изотропным, если оно целиком состоит из изотропных векторов.

Множество всех изотропных векторов псевдоевклидова векторного пространства называется изотропным конусом (или световым конусом) этого пространства. Световой конус пространства сигнатуры (1,n−1){displaystyle (1,n-1)}

  не содержит «граней», т.е. изотропных подпространств размерности больше 1.[1]

Множество всех изотропных векторов псевдоевклидова аффинного пространства, отложенных от произвольно фиксированной точки, называется изотропным конусом (или световым конусом) этого пространства в данной точке. Это множество действительно является конусом (в обобщённом смысле этого понятия) с вершиной в данной точке. Изотропные конусы псевдоевклидова аффинного пространства с вершинами в разных точках получаются друг из друга с помощью параллельного переноса.

В частности, псевдоевклидова векторная плоскость обладает ровно двумя изотропными направлениями. В ортонормированном базисе, где скалярный квадрат вектора принимает вид ⟨x,x⟩=x12−x22,{displaystyle langle x,xrangle =x_{1}^{2}-x_{2}^{2},}

 изотропные направления — прямые x1±x2=0,{displaystyle x_{1}pm x_{2}=0,}  и изотропный конус состоит их объединения этих двух прямых.

Трёхмерное псевдоевклидово векторное пространство имеет бесконечное число изотропных направлений. В ортонормированном базисе, где скалярный квадрат вектора принимает вид ⟨x,x⟩=x12+x22−x32,{displaystyle langle x,xrangle =x_{1}^{2}+x_{2}^{2}-x_{3}^{2},}

 изотропные направления — это всевозможные прямые, лежащие на изотропном конусе x12+x22−x32=0,{displaystyle x_{1}^{2}+x_{2}^{2}-x_{3}^{2}=0,}  который в данном случае представляет собой настоящий конус.

Подпространства псевдоевклидова пространства

  Взаимное расположение плоскости и изотропного конуса в трёхмерном псевдоевклидовом пространстве

Подпространство псевдоевклидова пространства с сигнатурой (n−m,m){displaystyle (n-m,m)}

  не обязательно является псевдоевклидовым пространством с тем же числом m{displaystyle m} ; более того, оно может быть и евклидовым пространством. Например, в трёхмерном псевдоевклидовом пространстве с сигнатурой (2,1){displaystyle (2,1)}  плоскость Π{displaystyle Pi }  может быть либо псевдоевклидовой с сигнатурой (1,1){displaystyle (1,1)} , либо евклидовой, либо иметь вырожденное скалярное произведение. Геометрически эти три случая определяются расположением плоскости Π{displaystyle Pi }  относительно изотропного конуса (см. рисунок). Именно, плоскость Π{displaystyle Pi }  является псевдоевклидовой, если она пересекает изотропный конус по двум различным прямым (изотропным направлениям); ограничение скалярного произведения на плоскость Π{displaystyle Pi }  вырождено, если Π{displaystyle Pi }  касается изотропного конуса, т.е. пересекается с ним по одной единственной прямой; наконец, плоскость Π{displaystyle Pi }  является евклидовой, если она имеет с изотропным конусом единственную общую точку (вершину конуса).

Окружности и сферы

С точки зрения геометрии псевдоевклидовой плоскости, окружностями произвольного ненулевого (вещественного или чисто мнимого) радиуса являются гиперболы. Аналогично, в трёхмерном псевдоевклидовом пространстве сигнатуры (2,1){displaystyle (2,1)}

  сферами ненулевого вещественного радиуса являются однополостные гиперболоиды, а сферами ненулевого чисто мнимого радиуса — двуполостные гиперболоиды. Аналогично в пространствах большего количества измерений, например, в четырехмерном сигнатуры (3,1).

По своим геометрическим свойствам каждая из двух «половин» гиперсферы мнимого радиуса в n+1{displaystyle n+1}

 -мерном псевдоевклидовом пространстве сигнатуры (n,1){displaystyle (n,1)}  представляет собой n{displaystyle n} -мерное пространство Лобачевского. Подпространства размерности k{displaystyle k}  (от 0{displaystyle 0}  до n−1{displaystyle n-1} ) в этом пространстве Лобачевского соответствуют подпространствам размерности k+1{displaystyle k+1}  исходного псевдоевклидова пространства, проходящим через начало координат и пересекающим гиперсферу мнимого радиуса, а его движения — преобразованиям Лоренца.

Обратное неравенство Коши — Буняковского

В псевдоевклидовом пространстве с сигнатурой (n−1,1){displaystyle (n-1,1)}

  для всех векторов мнимой длины выполнено неравенство, обратное неравенству Коши—Буняковского для евклидовых пространств:[2]

⟨x,x⟩<0, ⟨y,y⟩<0 ⇒ ⟨x,y⟩2≥⟨x,x⟩⋅⟨y,y⟩.{displaystyle langle x,xrangle <0, langle y,yrangle <0 Rightarrow langle x,yrangle ^{2}geq langle x,xrangle cdot langle y,yrangle .} 

Применение в физике

Важнейшим частным случаем псевдоевклидова пространства является пространство Минковского, используемое в специальной теории относительности в качестве пространства-времени, в котором метрика сигнатуры (1,3) лоренц-инвариантна (только псевдоевклидова метрика может быть лоренц-инвариантной), а для времениподобности пары событий длина (в смысле такой метрики) кривой, соединяющей эти события и тоже всюду времениподобной, есть время между ними, измеренное по часам, движение которых описывается в пространстве-времени этой кривой. Изотропные направления являются направлениями распространения света и называются также
нулевыми или светоподобными.

Теоретическая физика рассматривает псевдоевклидовы пространства и иной размерности, однако как правило метрика в них имеет сигнатуру (1,n){displaystyle (1,n)}

 , то есть это пространства с одной временно́й координатой и n пространственными.

Литература

  • Рашевский П. К. Риманова геометрия и тензорный анализ, — Любое издание.
  • Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия, — Физматлит, Москва, 2009.
  • Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия (методы и приложения), — Любое издание.
  • Иванов А. О., Тужилин А. А. Лекции по классической дифференциальной геометрии, — Логос, Москва, 2009.

См. также

Примечания

  1. Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия, гл. VII, пар. 7, — Физматлит, Москва, 2009.
  2. Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия, гл. VII, пар. 7, — Физматлит, Москва, 2009.