Pseudo-Euclidean space

Template:Short description In mathematics and theoretical physics, a pseudo-Euclidean space of signature Template:Math is a finite-dimensional [[real coordinate space|real Template:Math-space]] together with a non-degenerate quadratic form Template:Math. Such a quadratic form can, given a suitable choice of basis Template:Math, be applied to a vector Template:Math, giving $$q(x)=(x_1^2+\dots +x_k^2)-(x_{k+1}^2+\dots +x_n^2),$$ which is called the scalar square of the vector Template:Math.Template:Rp

For Euclidean spaces, Template:Math, implying that the quadratic form is positive-definite. When Template:Math, Template:Math is an isotropic quadratic form. If Template:Math, then Template:Math, so that Template:Math is a null vector. In a pseudo-Euclidean space with Template:Math, unlike in a Euclidean space, there exist vectors with negative scalar square.

As with the term Euclidean space, the term pseudo-Euclidean space may be used to refer to an affine space or a vector space depending on the author, with the latter alternatively being referred to as a pseudo-Euclidean vector space (see Point–vector distinction).

Geometry

The geometry of a pseudo-Euclidean space is consistent despite some properties of Euclidean space not applying, most notably that it is not a metric space as explained below. The affine structure is unchanged, and thus also the concepts line, plane and, generally, of an affine subspace (flat), as well as line segments.

Positive, zero, and negative scalar squares

Template:Math, Template:Math is either 1 or 2 depending on the choice of sign of Template:Math

A null vector is a vector for which the quadratic form is zero. Unlike in a Euclidean space, such a vector can be non-zero, in which case it is self-orthogonal. If the quadratic form is indefinite, a pseudo-Euclidean space has a linear cone of null vectors given by Template:Math. 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, respectively for which Template:Math and Template:Math. If Template:Math, then the set of vectors for which Template:Math is connected. If Template:Math, then it consists of two disjoint parts, one with Template:Math and another with Template:Math. Similarly, if Template:Math, then the set of vectors for which Template:Math is connected. If Template:Math, then it consists of two disjoint parts, one with Template:Math and another with Template:Math.

Interval

The quadratic form Template:Math corresponds to the square of a vector in the Euclidean case. To define the vector norm (and distance) in an invariant manner, one has to get square roots of scalar squares, which leads to possibly imaginary distances; see Square root of negative numbers. But even for a triangle with positive scalar squares of all three sides (whose square roots are real and positive), the triangle inequality does not hold in general.

Hence terms norm and distance are avoided in pseudo-Euclidean geometry, which may be replaced with scalar square and spacetime interval respectively.

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

Rotations and spheres

The rotations group of such space is the indefinite orthogonal group Template:Math, also denoted as Template:Math without a reference to particular quadratic form. Such "rotations" preserve the form Template:Math and, hence, the scalar square of each vector including whether it is positive, zero, or negative.

Whereas Euclidean space has a unit sphere, pseudo-Euclidean space has the hypersurfaces Template:Math and Template:Math. Such a hypersurface, called a quasi-sphere, is preserved by the appropriate indefinite orthogonal group.

Symmetric bilinear form

The quadratic form Template:Math gives rise to a symmetric bilinear form defined as follows: $$⟨x,y⟩=\frac{1}{2}[q(x+y)-q(x)-q(y)]=(x_1{y}_1+\dots +x_k{y}_k)-(x_{k+1}{y}_{k+1}+\dots +x_n{y}_n).$$ The quadratic form can be expressed in terms of the bilinear form: Template:Math.

When Template:Math, Template:Math and Template:Math are orthogonal vectors of the pseudo-Euclidean space.

This bilinear form is often referred to as the scalar product, and sometimes as "inner product" or "dot product", but it does not define an inner product space and it does not have the properties of the dot product of Euclidean vectors.

If Template:Math and Template:Math are orthogonal and Template:Math, then Template:Math is hyperbolic-orthogonal to Template:Math.

Template:AnchorThe standard basis of the real Template:Math-space is orthogonal. There are no orthonormal bases in a pseudo-Euclidean space for which the bilinear form is indefinite, because it cannot be used to define a vector norm.

Subspaces and orthogonality

For a (positive-dimensional) subspace Template:Math of a pseudo-Euclidean space, when the quadratic form Template:Math is restricted to Template:Math, following three cases are possible:

1. Template:Math is either positive or negative definite. Then, Template:Math is essentially Euclidean (up to the sign of Template:Math).
2. Template:Math is indefinite, but non-degenerate. Then, Template:Math is itself pseudo-Euclidean. It is possible only if Template:Math; if Template:Math, which means than Template:Math is a plane, then it is called a hyperbolic plane.
3. Template:Math is degenerate.

Template:Anchor One of the most jarring properties (for a Euclidean intuition) of pseudo-Euclidean vectors and flats is their orthogonality. When two non-zero Euclidean vectors are orthogonal, they are not collinear. The intersections of any Euclidean linear subspace with its orthogonal complement is the [[zero vector space|Template:Math subspace]]. But the definition from the previous subsection immediately implies that any vector Template:Math of zero scalar square is orthogonal to itself. Hence, the isotropic line Template:Math generated by a null vector Template:Math is a subset of its orthogonal complement Template:Math.

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 Template:Math due to the quadratic form's non-degeneracy. It is just the condition

Template:Math or, equivalently, Template:Math all space,

which can be broken if the subspace Template:Math contains a null direction. While subspaces form a lattice, as in any vector space, this Template:Math operation is not an orthocomplementation, in contrast to inner product spaces.

For a subspace Template:Math composed entirely of null vectors (which means that the scalar square Template:Math, restricted to Template:Math, equals to Template:Math), always holds:

Template:Math or, equivalently, Template:Math.

Such a subspace can have up to Template:Math dimensions.

For a (positive) Euclidean Template:Math-subspace its orthogonal complement is a Template:Math-dimensional negative "Euclidean" subspace, and vice versa. Generally, for a Template:Math-dimensional subspace Template:Math consisting of Template:Math positive and Template:Math negative dimensions (see Sylvester's law of inertia for clarification), its orthogonal "complement" Template:Math has Template:Math positive and Template:Math negative dimensions, while the rest Template:Math ones are degenerate and form the Template:Math intersection.

Parallelogram law and Pythagorean theorem

The parallelogram law takes the form

$q(x)+q(y)=\frac{1}{2}(q(x+y)+q(x-y)).$

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

$q(x+y)=q(x)+q(y)+2⟨x,y⟩.$

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

$⟨x,y⟩=0\Rightarrow q(x)+q(y)=q(x+y).$

Algebra and tensor calculus

Like Euclidean spaces, every pseudo-Euclidean vector space generates a Clifford algebra. Unlike properties above, where replacement of Template:Math to Template:Math changed numbers but not geometry, the sign reversal of the quadratic form results in a distinct Clifford algebra, so for example Template:Math and Template:Math 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:Math, the corresponding covariant vector is:

$v_{\alpha }=q_{\alpha \beta }{v}^{\beta },$

and with the standard-form

$q_{\alpha \beta }=\left(\begin{array}{cc}{I}_{k\times k}& 0\\ 0& -I_{(n-k)\times (n-k)}\end{array}\right)$

the first Template:Math components of Template:Math are numerically the same as ones of Template:Math, but the remaining Template:Math have the opposite sign.

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

Application

Conjugate hyperbolas in pseudo-Euclidean space with Template:Math, Template:Math

Suppose a pseudo-Euclidean space has two vectors, with non-zero quadratic forms, spanning a plane in the space. If the vectors have the same sign for their quadratic forms, the restriction of the spatial-form to the plane will be a definite quadratic form. In the other case the restriction yields an isotropic quadratic form. By rescaling axes, if necessary, the form becomes Template:Math and the plane is known as the hyperbolic plane in the theory of quadratic forms. When the form is set to plus and minus one, the solution sets are a pair of conjugate hyperbolas. This pair of figures, described long ago by Apollonius of Perga, was used in 1908 to indicate time and distance units by Hermann Minkowski.

The two planar cases give two theories of angle: the definite case corresponds to circular angle while the isotropic case yields hyperbolic angle. Just as a rotation by a circular angle can be represented by group action of the circle group on the complex plane, so hyperbolic rotation results from group action of the unit hyperbola group on the plane of split-complex numbers. In the theory of special relativity the idea of speed is changed to rapidity, which is a hyperbolic angle. In the jargon of physics, a hyperbolic rotation is a Lorentz boost.

The hyperbolic rotation does not conserve Euclidean distances, so it is not a Euclidean motion. Nevertheless, area is conserved, which is a Euclidean notion, so the geometry is pseudo-Euclidean but not Euclidean.

See also

• Pseudo-Riemannian manifold
• Hyperbolic equation
• Hyperboloid model
• Paravector

References

• Template:Citation
• Template:Citation
• Template:Citation
• Template:Cite book
• Template:Cite book
• Template:Cite book

External links

• D.D. Sokolov (originator), Pseudo-Euclidean space, Encyclopedia of Mathematics