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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

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

Сигнатура псевдоевклидова пространства[править | править вики-текст]

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


\langle x, y \rangle = x_1y_1 +\ldots +x_my_m - x_{m+1}y_{m+1} -\ldots- x_ny_n,

где x=(x_1,\ldots,x_n) и y=(y_1,\ldots,y_n) — векторы пространства L. В частности, скалярный квадрат вектора имеет вид


\langle x, x \rangle = x_1^2 +\ldots +x_m^2 - x_{m+1}^2 -\ldots- x_n^2,

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


\|x\| =\sqrt{\langle x,\;x\rangle},

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

Аналогично, выбором репера всегда можно добиться того, чтобы расстояние между точками n-мерного аффинного псевдоевклидова пространства с координатами (x_1,\ldots,x_n) и (y_1,\ldots,y_n) записывалось в виде


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

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

Изотропные векторы, направления, конусы[править | править вики-текст]

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

Множество всех изотропных векторов псевдоевклидова векторного пространства называется изотропным конусом (или световым конусом) этого пространства. Световой конус пространства сигнатуры (1,n-1) не содержит «граней», то есть изотропных подпространств размерности больше 1.[1]

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

В частности, псевдоевклидова векторная плоскость обладает ровно двумя изотропными направлениями. В ортонормированном базисе, где скалярный квадрат вектора принимает вид \langle x, x \rangle = x_1^2 - x_2^2, изотропные направления — прямые x_1 \pm x_2=0, и изотропный конус состоит из объединения этих двух прямых.

Трёхмерное псевдоевклидово векторное пространство имеет бесконечное число изотропных направлений. В ортонормированном базисе, где скалярный квадрат вектора принимает вид \langle x, x \rangle = x_1^2 + x_2^2 - x_3^2, изотропные направления — это всевозможные прямые, лежащие на изотропном конусе x_1^2 + x_2^2 - x_3^2=0, который в данном случае представляет собой настоящий конус.

Подпространства псевдоевклидова пространства[править | править вики-текст]

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

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

Окружности и сферы[править | править вики-текст]

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

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

Обратное неравенство Коши — Буняковского[править | править вики-текст]

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


\langle x, x \rangle < 0, \ \langle y, y \rangle < 0 \ \Rightarrow \ 
\langle x, y \rangle^2 \ge \langle x, x \rangle \cdot \langle y, y \rangle.

Применение в физике[править | править вики-текст]

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

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

См. также[править | править вики-текст]

Примечания[править | править вики-текст]

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

Литература[править | править вики-текст]

  • Walter Noll (1964) «Euclidean geometry and Minkowskian chronometry», American Mathematical Monthly 71:129—44.
  • 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. — ISBN 0521829607.
  • Александров П. С., Маркушевич А. И., Хинчин А. Я. — Энциклопедия элементарной математики. Том V. Геометрия
  • Рашевский П. К. Риманова геометрия и тензорный анализ, — Любое издание.
  • Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия, — Физматлит, Москва, 2009.
  • Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия (методы и приложения), — Любое издание.
  • Иванов А. О., Тужилин А. А. Лекции по классической дифференциальной геометрии, — Логос, Москва, 2009.