**Required math: algebra, vectors**

**Required physics: basics of relativity**

In relativity, a *four-vector* is a vector with four components. A general four-vector is denoted by a letter with an arrow on top, and its four components are defined as

This definition contains an important point. The symbol is used instead of an equals sign, and is to be read ‘the vector in the coordinate system used by observer has components .

A curious point, if you haven’t seen it before, is that the components of a vector are given with superscript indexes, rather than subscripts, as are more usual in linear algebra. The reason for this becomes more apparent when we get a bit deeper into the theory, but for now it should just be accepted. It is important to note that these superscripts are *not* exponents, but merely labels.

In Euclidean three-dimensional space, a three-vector (one with three components) has different components depending on which coordinate system we are using to describe it. The important point is that the vector exists independently of the coordinate system, and the components used to describe it depend on that coordinate system; the vector itself does not.

In two-dimensionsal space, for example, we might define a vector in one coordinate system by the coordinates (1,0), which means that it extends one unit along (and is parallel to) the axis. If we rotate the coordinate system by 90 degrees so that the axis rotates into the axis, the vector itself does not move and now extends one unit in the direction, so its new coordinates are . It is not correct to say that *equals* either of these coordinate descriptions; it is correct only to say it has these numerical coordinates in two particular systems. In yet other systems, it will have other coordinates.

In Euclidean space, a common vector is the *displacement* vector, which measures the distance and direction from one point to another. Again, the locations of the points and the vector connecting them do not depend on the coordinate system so that the vector will have different components in different systems. However, the *length* or *magnitude* of the distance between the points is invariant under a change of coordinates and is given by the standard Euclidean distance formula

assuming we are using a cartesian system.

In relativity, the analog of the displacement vector is the interval between two events. Remember that an event is something that occurs at a specific time and place, although the actual numerical values of this time and place depend on the observer who measures them. We saw in an earlier post that the square of the interval between two events is an invariant, as is given by

We can therefore define the displacement vector in relativity as

The magnitude of this vector is usually defined as the square of the interval, so we have

As usual, the interval squared can be positive, zero or negative, depending on the separation of the events.

The individual components of a four-vector obey the usual rules for vectors under addition and scalar multiplication, so we get, for a scalar

We’ve seen that the space and time coordinates of an event transform between observers by using the Lorentz transformations. In order to write this transformation in an efficient and compact way we need to introduce a bit more notation.

First, we have seen in 1 how a vector is represented in one coordinate system. In the system of another observer we can write for the same vector:

Notice that the bars go on the *indexes* of the vector components and not on the symbol that we are using to represent the vector itself. This emphasizes the fact that the vector doesn’t change when we change coordinate systems; only the *coordinates* used to describe the vector change. Thus any time we see a bar over the coordinate index, it is a coordinate measured by observer .

Back to the Lorentz transformations. The form in which we’ve seen these transformations is that of four equations:

These transformations were derived

for the case of displacement coordinates, but we can extend the definition to all four-vectors. That is we can say that the way to transform the unbarred coordinates into the barred coordinates is by using the Lorentz transformation on the vector’s components.

where we’ve used the shorthand symbol . The index 0 corresponds to the time coordinate, and the indexes 1, 2 and 3 to the spatial coordinates.

This set of four equations can be written as a matrix equation, if we define the matrix as

We can now write the transformations as

Here is the entry from row and column of the matrix. Again, the convention of writing the row index as a superscript comes in handy in what follows, so don’t make the mistake of taking this superscript as an exponent.

We’ll close this post with one final notational simplification that is used throughout special and general relativity. Sums over indexes such as that over the index above are very common, and having to write out a summation sign over and over again gets very tedious. As a result, Einstein introduced a *summation convention* into relativity. Whenever a product of two or more terms contains a pair of identical indexes with one of the pair a superscript and the other a subscript, a summation is *automatically* performed on that index. If the index is a Greek letter, the summation extends over all four components (from 0 to 3); if it is a Latin letter, the summation extends over only the three spatial coordinates (1 to 3). Thus we can write the Lorentz transformation for a general four-vector in the simplified form

Whenever the same index appears on both sides of an equation (such as here), it may be taken to be any of the coordinates within its range (again, Greek = 0, 1, 2, 3; Latin = 1, 2, 3), so this simplified equation actually contains four equations depending on the value assigned to .

In both these cases (the index pair used in the summation, and the index pair on opposite sides of the equation), the index concerned is merely a dummy index, and can be replaced by any other index (as long as Greek is replaced by Greek, and Latin by Latin) without changing the meaning of the equation. Thus we could just as well write

Here, the summation is over and the index can stand for any of 0, 1, 2 or 3.

However, what you *cannot* do is replace a barred index by an unbarred one (or vice versa), since each type of index refers to a particular coordinate system, and the set of coordinates in one system will usually be totally different to the set in the other. The only invariant is the magnitude of a vector, so we will always have

This is guaranteed for all four-vectors, since we defined their transformation by using the Lorentz transformations, and these transformations were *derived* by assuming the invariance of the interval. Note that we can’t use the summation convention to write out the invariant interval, since although the sum

contains a pair of indexes, they are both superscripts so don’t satisfy the condition for summed indexes.