Minkowski space
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. (November 2009) 
This article may be too technical for most readers to understand. Please help improve this article to make it understandable to nonexperts, without removing the technical details. The talk page may contain suggestions. (September 2010) 
In physics and mathematics, Minkowski space or Minkowski spacetime (named after the mathematician Hermann Minkowski) is the mathematical setting in which Einstein's theory of special relativity is most conveniently formulated. In this setting the three ordinary dimensions of space are combined with a single dimension of time to form a fourdimensional manifold for representing a spacetime.
In theoretical physics, Minkowski space is often contrasted with Euclidean space. While a Euclidean space has only spacelike dimensions, a Minkowski space also has one timelike dimension. Therefore the symmetry group of a Euclidean space is the Euclidean group and for a Minkowski space it is the Poincaré group.
Contents[hide] 
[edit] History
In 1905–6 it was noted by Henri Poincaré that, by taking time to be the imaginary part of the fourth spacetime coordinate √−1 ct, the Lorentz transformation can be regarded as a rotation in a fourdimensional Euclidean space with three real coordinates representing space, and one imaginary coordinate, representing time, as the fourth dimension.^{[1]} This idea was elaborated by Hermann Minkowski^{[2]} who used it to restate the Maxwell equations in four dimensions showing directly their invariance under Lorentz transformation. He further reformulated in four dimensions the thenrecent theory of special relativity of Einstein. From this he concluded that time and space should be treated equally and so arose his concept of events taking place in a unified fourdimensional spacetime continuum. In a further development^{[3]} he gave an alternative formulation of this idea which did not use the imaginary time coordinate but represented the four variables (x, y, z, t) of space and time in coordinate form in a four dimensional affine space. Points in this space were regarded as events in spacetime. The spacetime interval between two events in Minkowski Space is either spacelike, lightlike ('null') or timelike. It is principally this view of spacetime which is current nowadays, although the older view involving imaginary time has also influenced special relativity. Minkowski, aware of the fundamental restatement of the theory which he had made, said:
The views of space and time which I wish to lay before you have sprung from the soil of experimental physics, and therein lies their strength. They are radical. Henceforth space by itself, and time by itself, are doomed to fade away into mere shadows, and only a kind of union of the two will preserve an independent reality. – Hermann Minkowski, 1908
The way had been prepared for Minkowski's space by the early use of biquaternions and the appearance of hyperbolic quaternions in the 1890s.^{[4]} In fact, as a mathematical structure, Minkowski space can be taken as hyperbolic quaternions minus the multiplicative product, retaining only the bilinear form
which is generated by the hyperbolic quaternion product pq*.
[edit] Structure
Formally, Minkowski space is a fourdimensional real vector space equipped with a nondegenerate, symmetric bilinear form with signature (−,+,+,+) (Some may also prefer the alternative signature (+,−,−,−); in general, mathematicians and general relativists prefer the former while particle physicists tend to use the latter.) In other words, Minkowski space is a pseudoEuclidean space with n = 4 and n − k = 1 (in a broader definition any n > 1 is allowed). Elements of Minkowski space are called events or fourvectors. Minkowski space is often denoted R^{1,3} to emphasize the signature, although it is also denoted M^{4} or simply M. It is perhaps the simplest example of a pseudoRiemannian manifold.
[edit] The Minkowski inner product
This inner product is similar to the usual, Euclidean, inner product, but is used to describe a different geometry; the geometry is usually associated with relativity. Let M be a 4dimensional real vector space. The Minkowski inner product is a map η: M × M → R (i.e. given any two vectors v, w in M we define η(v,w) as a real number) which satisfies properties (1), (2), (3) listed here, as well as property (4) given below:

1. bilinear η(au+v, w) = aη(u,w) + η(v,w) for all a ∈ R and u, v, w in M.
2 symmetric η(v,w) = η(w,v) for all v, w ∈ M.
3. nondegenerate if η(v,w) = 0 for all w ∈ M then v = 0.
Note that this is not an inner product in the usual sense, since it is not positivedefinite, i.e. the quadratic form v^{2} = η(v,v) need not be positive. The positivedefinite condition has been replaced by the weaker condition of nondegeneracy (every positivedefinite form is nondegenerate but not viceversa). The inner product is said to be indefinite. These misnomers, "Minkowski inner product" and "Minkowski metric" conflict with the standard meanings of inner product and metric in pure mathematics; as with many other misnomers the usage of these terms is due to similarity to the mathematical structure.
Just as in Euclidean space, two vectors v and w are said to be orthogonal if η(v,w) = 0. But Minkowski space differs by including hyperbolicorthogonal events in case v and w span a plane where η takes negative values. This difference is clarified by comparing the Euclidean structure of the ordinary complex number plane to the structure of the plane of splitcomplex numbers. The Minkowski norm of a vector v is defined by
This is not a norm in the usual sense (it fails to be subadditive), but it does define a useful generalization of the notion of length to Minkowski space. In particular, a vector v is called a unit vector if v = 1 (i.e., η(v,v) = ±1). A basis for M consisting of mutually orthogonal unit vectors is called an orthonormal basis.
By the Gram–Schmidt process, any inner product space satisfying conditions 1 to 3 above always has an orthonormal basis. Furthermore, the number of positive and negative unit vectors in any such basis is a fixed pair of numbers, equal to the signature of the inner product. This is Sylvester's law of inertia.
Then the fourth condition on η can be stated:

4. signature The bilinear form η has signature (−,+,+,+) or (+,−,−,−).
Which signature is used is a matter of convention. Both are fairly common. See sign convention.
[edit] Standard basis
A standard basis for Minkowski space is a set of four mutually orthogonal vectors (e_{0},e_{1},e_{2},e_{3}) such that
 −(e_{0})^{2} = (e_{1})^{2} = (e_{2})^{2} = (e_{3})^{2} = 1
These conditions can be written compactly in the following form:
where μ and ν run over the values (0, 1, 2, 3) and the matrix η is given by
This tensor is frequently called the "Minkowski tensor". Relative to a standard basis, the components of a vector v are written (v^{0},v^{1},v^{2},v^{3}) and we use the Einstein notation to write v = v^{μ}e_{μ}. The component v^{0} is called the timelike component of v while the other three components are called the spatial components.
In terms of components, the inner product between two vectors v and w is given by
and the normsquared of a vector v is
 v^{2} = η_{μν} v^{μ}v^{ν} = −(v^{0})^{2} + (v^{1})^{2} + (v^{2})^{2} + (v^{3})^{2}
[edit] Alternative definition
The section above defines Minkowski space as a vector space. There is an alternative definition of Minkowski space as an affine space which views Minkowski space as a homogeneous space of the Poincaré group with the Lorentz group as the stabilizer. See Erlangen program.
Note also that the term "Minkowski space" is also used for analogues in any dimension: n+1 dimensional Minkowski space is a vector space or affine space of real dimension n+1 on which there is an inner product or pseudoRiemannian metric of signature (n,1), i.e., in the above terminology, n "pluses" and one "minus".
[edit] Lorentz transformations
This section requires expansion. 
All fourvectors, that is, vectors in Minkowski space, transform in the same manner. In the standard sets of inertial frames as shown by the graph,
where
and
[edit] Symmetries
One of the symmetries of Minkowski space is called a "Lorentz boost". This symmetry is often illustrated with a Minkowski diagram.
The Poincaré group is the group of isometries of Minkowski spacetime.
[edit] Causal structure
Vectors are classified according to the sign of η(v,v). When the standard signature (−,+,+,+) is used, a vector v is:

Timelike if η(v,v) < 0 Spacelike if η(v,v) > 0 Null (or lightlike) if η(v,v) = 0
This terminology comes from the use of Minkowski space in the theory of relativity. The set of all null vectors at an event of Minkowski space constitutes the light cone of that event. Note that all these notions are independent of the frame of reference. Given a timelike vector v, there is a worldline of constant velocity associated with it. The set {w : η(w,v) = 0 } corresponds to the simultaneous hyperplane at the origin of this worldline. Minkowski space exhibits relativity of simultaneity since this hyperplane depends on v. In the plane spanned by v and such a w in the hyperplane, the relation of w to v is hyperbolicorthogonal.
Once a direction of time is chosen, timelike and null vectors can be further decomposed into various classes. For timelike vectors we have
 future directed timelike vectors whose first component is positive, and
 past directed timelike vectors whose first component is negative.
Null vectors fall into three classes:
 the zero vector, whose components in any basis are (0,0,0,0),
 future directed null vectors whose first component is positive, and
 past directed null vectors whose first component is negative.
Together with spacelike vectors there are 6 classes in all.
An orthonormal basis for Minkowski space necessarily consists of one timelike and three spacelike unit vectors. If one wishes to work with nonorthonormal bases it is possible to have other combinations of vectors. For example, one can easily construct a (nonorthonormal) basis consisting entirely of null vectors, called a null basis. Over the reals, if two null vectors are orthogonal (zero inner product), then they must be proportional. However, allowing complex numbers, one can obtain a null tetrad which is a basis consisting of null vectors, some of which are orthogonal to each other.
Vector fields are called timelike, spacelike or null if the associated vectors are timelike, spacelike or null at each point where the field is defined.
[edit] Causality relations
Let x, y ∈ M. We say that
 x chronologically precedes y if y − x is future directed timelike.
 x causally precedes y if y − x is future directed null
[edit] Reversed triangle inequality
If v and w are two equally directed timelike fourvectors, then
where
[edit] Locally flat spacetime
Strictly speaking, the use of the Minkowski space to describe physical systems over finite distances applies only in the Newtonian limit of systems without significant gravitation. In the case of significant gravitation, spacetime becomes curved and one must abandon special relativity in favor of the full theory of general relativity.
Nevertheless, even in such cases, Minkowski space is still a good description in an infinitesimally small region surrounding any point (barring gravitational singularities). More abstractly, we say that in the presence of gravity spacetime is described by a curved 4dimensional manifold for which the tangent space to any point is a 4dimensional Minkowski space. Thus, the structure of Minkowski space is still essential in the description of general relativity.
In the realm of weak gravity, spacetime becomes flat and looks globally, not just locally, like Minkowski space. For this reason Minkowski space is often referred to as flat spacetime.
[edit] See also
[edit] References
 ^ Henri Poincaré (1905–6), "On the Dynamics of the Electron" (Wikisource)
 ^ Herman Minkowski (1907/8), "The Fundamental Equations for Electromagnetic Processes in Moving Bodies" (Wikisource).
 ^ Herman Minkowski (1908–9). "Space and Time" (Wikisource).
 ^ Alexander Macfarlane (1894) Papers on Space Analysis, B. Westerman, New York, weblink from archive.org
 Francesco Catoni, Dino Boccaletti, & Roberto Cannata (2008) Mathematics of Minkowski Space, Birkhäuser, Basel.
 Naber, Gregory L. (1992). The Geometry of Minkowski Spacetime. New York: SpringerVerlag. ISBN 0387978488.
 Walter, Scott (1999). "Minkowski, Mathematicians, and the Mathematical Theory of Relativity". In Goenner, Hubert et al. (ed.). The Expanding Worlds of General Relativity. Boston: Birkhäuser. pp. 45–86. ISBN 0817640606. http://www.univnancy2.fr/DepPhilo/walter/papers/einstd7.pdf.
[edit] External links
Media related to Minkowski diagrams at Wikimedia Commons
 Animation clip visualizing Minkowski space in the context of special relativity.