# Pseudo-Euclidean space

In mathematics and theoretical physics, a **pseudo-Euclidean space** is a finite-dimensional [[real coordinate space|real Template:Mvar-space]] together with a non-degenerate indefinite quadratic form, called the **magnitude** of a vector. Such a quadratic form can, after a suitable change of coordinates, be written as

where *x* = (*x*_{1}, …, *x*_{n}), Template:Mvar is the dimension of the space, and 1 ≤ *k* < *n*. For true Euclidean spaces, *k* = *n*, implying that the quadratic form is positive-definite rather than indefinite. Otherwise Template:Mvar is an isotropic quadratic form. In a pseudo-Euclidean space, unlike in a Euclidean space, there exist non-zero vectors with zero magnitude, and also vectors with negative magnitude.

As with the term *Euclidean space*, *pseudo-Euclidean space* may refer to either an affine space or a vector space (see point–vector distinction) over real numbers.

## Geometry

The geometry of a pseudo-Euclidean space is consistent in spite of a breakdown of the some properties of Euclidean space; most notably that it is not a metric space as explained below. Though, its affine structure provides that concepts of line, plane and, generally, of an affine subspace (flat), can be used without modifications, as well as line segments.

### Positive, zero, and negative magnitudes

A null vector is a vector whose magnitude is zero. Unlike in a Euclidean space, it can be non-zero, in which case it is perpendicular to itself.
Every pseudo-Euclidean space has a linear cone of null vectors given by {*x* : *q*(*x*) = 0 } . When the pseudo-Euclidean space provides a model for spacetime (see below), the null cone is called the light cone of the origin.

The null cone separates two open sets^{[1]} of positive-magnitude and negative-magnitude vectors. If *k* > 1, then the set of positive-magnitude vectors is connected. If *k* = 1, which means the quadratic form has the only *x*_{1}^{2} square term with positive sign, then it consists of two disjoint parts, one with *x*_{1} > 0 and another with *x*_{1} < 0. Similar statements can be made for negative-magnitude vectors if Template:Mvar is replaced with *n* − *k*.

### Distance

The magnitude Template:Mvar corresponds to the square of a vector (or its norm) in Euclidean case. To define the vector norm (and distance) in an invariant manner, one has to get square roots of magnitudes, which leads to possibly imaginary distances; see square root of negative numbers. But even for a triangle with positive magnitudes of all three sides (whose square roots are real and positive), the triangle inequality is not necessarily true.

That's why terms *norm* and *distance* are avoided in pseudo-Euclidean geometry, replaced with *magnitude* and *interval* respectively.

Though, for a curve whose tangent vectors all have the same sign of magnitude, the arc length is defined. It has important applications: see proper time, for example.

### Rotations and spheres

The rotations group of such space is indefinite orthogonal group O(*q*), also denoted as O(*k*, *n* − *k*) without a reference to particular quadratic form.^{[2]} Such "rotations" preserve the form Template:Mvar and, hence, the magnitude of each vector whether is it positive, zero, or negative.

Whereas Euclidean space has a unit sphere, pseudo-Euclidean space has the hypersurfaces {*x* : *q*(*x*) = 1 } and {*x* : *q*(*x*) = −1 } . Such a hypersurface called a hyperboloid or unit quasi-sphere is preserved by the appropriate indefinite orthogonal group.

### Symmetric bilinear form

The quadratic form Template:Mvar gives rise to a symmetric bilinear form defined as follows:

The quadratic form can be expressed in terms of the bilinear form: .

When , then Template:Mvar and Template:Mvar are orthogonal elements of the pseudo-Euclidean space. Some authors use the terms "inner product" or "dot product" for the bilinear form, but it does not define an inner product space and its properties do not match to dot product of Euclidean vectors, although these terms are seldom used to refer to this bilinear form.

{{safesubst:#invoke:anchor|main}}The standard basis of the real Template:Mvar-space is orthogonal. There are no ortho*normal* bases in a pseudo-Euclidean space because there is no vector norm.

### Subspaces and orthogonality

{{ safesubst:#invoke:Unsubst||$N=Unreferenced section |date=__DATE__ |$B=
{{ safesubst:#invoke:Unsubst||$N=Unreferenced |date=__DATE__ |$B=
{{#invoke:Message box|ambox}}
}}
}}
For a (positive-dimensional) subspace^{[3]} Template:Mvar of a pseudo-Euclidean space, when the magnitude form Template:Mvar is restricted to Template:Mvar, following three cases are possible:

*q*|_{U}is either positively or negatively definite. Then, Template:Mvar is essentially Euclidean (up to sign of Template:Mvar).*q*|_{U}is indefinite, but non-degenerate. Then, Template:Mvar is itself pseudo-Euclidean. It is possible only if dim*U*≥ 2; if dim*U*= 2, which means than Template:Mvar is a plane, then it is called a hyperbolic plane.*q*|_{U}is degenerate.

{{safesubst:#invoke:anchor|main}}
One of most jarring properties (for a Euclidean intuition) of pseudo-Euclidean vectors and flats is their orthogonality. When two non-zero Euclidean vectors are perpendicular, they are certainly not collinear. Any Euclidean linear subspace intersects with its orthogonal complement only by the {0} subspace. But the definition from the previous subsection immediately implies that any vector **ν** of zero magnitude is perpendicular to itself. Hence, for the 1-subspace *N* = [[linear span|Template:Langle **ν** Template:Rangle]] generated by such non-zero vector, its orthogonal complement *N*^{⊥} will be a superspace of Template:Mvar.

The formal definition of the orthogonal complement of a vector subspace in a pseudo-Euclidean space gives a perfectly well-defined result which satisfies the equality dim *U* + dim *U*^{⊥} = *n* due to the magnitude form's non-degeneracy. It is just the condition

*U*∩*U*^{⊥}= {0} or, equivalently,*U*+*U*^{⊥}=all space^{[4]}

which can be broken if the subspace Template:Mvar contains a null direction.^{[5]} While subspaces form a distributive lattice, as in any vector space, they do not form a Boolean algebra with this ⊥ operation, as in inner product spaces.

For a subspace Template:Mvar composed *entirely* of null vectors (which means that the magnitude Template:Mvar, restricted to Template:Mvar, equals to 0), always holds:

*N*⊂*N*^{⊥}or, equivalently,*N*∩*N*^{⊥}=*N*.

Such subspaces can have up to min(*k*, *n* − *k*) dimensions.

For a (positive) Euclidean Template:Mvar-subspace its orthogonal complement is a (*n* − *k*)-dimensional negative "Euclidean" subspace, and vice versa.
Generally, for a (*d*_{+} + *d*_{−} + *d*_{0})-dimensional subspace Template:Mvar consisting of *d*_{+} positive and *d*_{−} negative dimensions (see Sylvester's law of inertia for clarification), its orthogonal "complement" *U*^{⊥} has (*k* − *d*_{+} − *d*_{0}) positive and (*n* − *k* − *d*_{−} − *d*_{0}) negative dimensions, while the rest *d*_{0} ones are degenerate and form the *U* ∩ *U*^{⊥} intersection.

### Parallelogram law and Pythagorean theorem

The parallelogram law takes the form

Using the square of the sum identity, for an arbitrary triangle one can express the magnitude of the third side from magnitudes of two sides and their bilinear form product:

This demonstrates that, for perpendicular vectors, a pseudo-Euclidean analog of the Pythagorean theorem holds:

### Angle

Generally, absolute value |Template:Langle*x*, *y*Template:Rangle| of the bilinear form on two vectors may be greater than Template:Sqrt, equal to it, or less. This causes similar problems with definition of angle (see dot product#Geometric definition) as appeared above for distances.
If *k* = 1 (only one positive term in Template:Mvar), then for positive-magnitude vectors:

which permits to define hyperbolic angle, an analog of angle between these vectors through inverse hyperbolic cosine:

It corresponds to the distance on a (*n* − 1)-dimensional hyperbolic space. This is known as rapidity in the context of theory of relativity discussed below. Unlike Euclidean angle, it takes values from Template:Closed-open and equals to 0 for antiparallel vectors.

There is no reasonable definition of the angle between a null vector and another vector (either null or non-null).

## Algebra and tensor calculus

Like Euclidean spaces, a pseudo-Euclidean space possesses geometric algebra. Unlike properties above, where replacement of Template:Mvar to −*q* changed numbers but not geometry, the sign reversal of the magnitude form actually *alters* Cℓ, so for example Cℓ_{1,2}(**R**) and Cℓ_{2,1}(**R**) are not isomorphic.

Just like over any vector space, there are pseudo-Euclidean tensors. Like with a Euclidean structure, there are raising and lowering indices operators but, unlike the case with Euclidean tensors, there is no bases where these operations do not change values of components. If there is a vector Template:Mvar, the corresponding covariant vector is:

and with the standard-form

the first Template:Mvar components of Template:Mvar are numerically the same as ones of Template:Mvar, but the rest *n* − *k* have opposite signs.

The correspondence between contravariant and covariant tensors makes a tensor calculus on pseudo-Riemannian manifolds analogous to one on Riemannian manifolds.

## Examples

A very important pseudo-Euclidean space is Minkowski space, which is the mathematical setting in which Albert Einstein's theory of special relativity is conveniently formulated. For Minkowski space, *n* = 4 and *k* = 3^{[7]} so that

The geometry associated with this pseudo-metric was investigated by Poincaré. Its rotation group is the Lorentz group. The Poincaré group includes also translations and plays the same role as Euclidean groups of ordinary Euclidean spaces.

Another pseudo-Euclidean space is the plane *z* = *x* + *y j* consisting of split-complex numbers, equipped with the quadratic form

This is the simplest case of a pseudo-Euclidean space (*n* = 2, *k* = 1) and the only one where the null cone dissects the space to *four* open sets. The group SO^{+}(1, 1) consists of so named hyperbolic rotations.

## See also

## Footnotes

- ↑ The standard topology on
**R**^{n}is assumed. - ↑ What is the "rotations group" depends on exact definition of a rotation. "O" groups contain improper rotations. Transforms which preserves orientation form the group SO(
*q*), or SO(*k*,*n*−*k*), but it also is not connected if both Template:Mvar and*n*−*k*are positive. The group SO^{+}(*q*), which preserves orientation on positive- and negative-magnitude parts separately, is a (connected) analog of Euclidean rotations group SO(*n*). Indeed, all these groups are Lie groups of dimension*n*(*n*− 1)/2 . - ↑ A linear subspace is assumed, but same conclusions are true for an affine flat with the only complication that the magnitude form is always defined on vectors, not points.
- ↑ Violation of this equality makes the term "orthogonal complement" itself an oxymoron.
- ↑ Actually,
*U*∩*U*^{⊥}is not zero if and only if the magnitude form Template:Mvar restricted to Template:Mvar is degenerate. - ↑ Note that cos(
*i*⋅arcosh*s*) =*s*, so for*s*> 0 these can be understood as imaginary angles. - ↑ Another well-established representation uses
*k*= 1 and coordinate indices starting from 0 (thence*q*(*x*) =*x*_{0}^{2}−*x*_{1}^{2}−*x*_{2}^{2}−*x*_{3}^{2}), but they are equivalent up to sign of Template:Mvar. See sign convention#Metric signature.

## References

- Werner Greub (1963)
*Linear Algebra*, 2nd edition, §12.4 Pseudo-Euclidean Spaces, pp. 237–49, Springer-Verlag. - Walter Noll (1964) "Euclidean geometry and Minkowskian chronometry", American Mathematical Monthly 71:129–44.
- {{#invoke:citation/CS1|citation

|CitationClass=book }}

- Poincaré,
*Science and Hypothesis*1906 referred to in the book B.A. Rosenfeld,*A History of Non-Euclidean Geometry*Springer 1988 (English translation) p. 266. - {{#invoke:citation/CS1|citation

|CitationClass=book }}

- {{#invoke:citation/CS1|citation

|CitationClass=book }}

## External links

*Pseudo-Euclidean space*. D.D. Sokolov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php/Pseudo-Euclidean_space