In mathematics, especially in applications of linear algebra to physics, the **Einstein notation** or **Einstein summation convention** is a notational convention that implies summation over a set of indexed terms in a formula, thus achieving notational brevity. As part of mathematics it is a notational subset of Ricci calculus; however, it is often used in applications in physics that do not distinguish between tangent and cotangent spaces. It was introduced to physics by Albert Einstein in 1916.^{[1]}

According to this convention, when an index variable appears twice in a single term and is not otherwise defined (see free and bound variables), it implies summation of that term over all the values of the index. So where the indices can range over the set {1, 2, 3},

is simplified by the convention to:

The upper indices are not exponents but are indices of coordinates, coefficients or basis vectors. That is, in this context *x*^{2} should be understood as the second component of **x** rather than the square of **x** (this can occasionally lead to ambiguity). The upper index position in *x*^{i} is because, typically, an index occurs once in an upper (superscript) and once in a lower (subscript) position in a term (see *§ Application* below). Typically, (*x*^{1} *x*^{2} *x*^{3}) would be equivalent to the traditional (*x* *y* *z*).

In general relativity, a common convention is that

- the Greek alphabet is used for space and time components, where indices take on values 0, 1, 2, or 3 (frequently used letters are
*μ*,*ν*, ...), - the Latin alphabet is used for spatial components only, where indices take on values 1, 2, or 3 (frequently used letters are
*i*,*j*, ...),

In general, indices can range over any indexing set, including an infinite set. This should not be confused with a typographically similar convention used to distinguish between tensor index notation and the closely related but distinct basis-independent abstract index notation.

An index that is summed over is a *summation index*, in this case "*i*". It is also called a dummy index since any symbol can replace "*i*" without changing the meaning of the expression provided that it does not collide with index symbols in the same term.

An index that is not summed over is a *free index* and should appear only once per term. If such an index does appear, it usually also appears in terms belonging to the same sum, with the exception of special values such as zero.

An example of bound index is "i" in expression that is equivalent to . Note that even when "i" appears twice in the right part of the equation, no implicit summation applies.

Einstein notation can be applied in slightly different ways. Typically, each index occurs once in an upper (superscript) and once in a lower (subscript) position in a term; however, the convention can be applied more generally to any repeated indices within a term.^{[2]} When dealing with covariant and contravariant vectors, where the position of an index also indicates the type of vector, the first case usually applies; a covariant vector can only be contracted with a contravariant vector, corresponding to summation of the products of coefficients. On the other hand, when there is a fixed coordinate basis (or when not considering coordinate vectors), one may choose to use only subscripts; see *§ Superscripts and subscripts versus only subscripts* below.

In terms of covariance and contravariance of vectors,

- upper indices represent components of contravariant vectors (vectors),
- lower indices represent components of covariant vectors (covectors).

They transform contravariantly or covariantly, respectively, with respect to change of basis.

In recognition of this fact, the following notation uses the same symbol both for a vector or covector and its *components*, as in:

where *v* is the vector and *v ^{i}* are its components (not the

In the presence of a non-degenerate form (an isomorphism *V* → *V*^{∗}, for instance a Riemannian metric or Minkowski metric), one can raise and lower indices.

A basis gives such a form (via the dual basis), hence when working on ℝ^{n} with a Euclidean metric and a fixed orthonormal basis, one has the option to work with only subscripts.

However, if one changes coordinates, the way that coefficients change depends on the variance of the object, and one cannot ignore the distinction; see covariance and contravariance of vectors.

In the above example, vectors are represented as *n* × 1 matrices (column vectors), while covectors are represented as 1 × *n* matrices (row covectors).

When using the column vector convention:

- "
**Up**per indices go**up**to down;**l**ower indices go**l**eft to right." - "
**Co**variant tensors are**row**vectors that have indices that are**below**(**co-row-below**)." - Covectors are row vectors:
*column*you are in. - Contravariant vectors are column vectors:
*row*you are in.

The virtue of Einstein notation is that it represents the invariant quantities with a simple notation.

In physics, a scalar is invariant under transformations of basis. In particular, a Lorentz scalar is invariant under a Lorentz transformation. The individual terms in the sum are not. When the basis is changed, the *components* of a vector change by a linear transformation described by a matrix. This led Einstein to propose the convention that repeated indices imply the summation is to be done.

As for covectors, they change by the inverse matrix. This is designed to guarantee that the linear function associated with the covector, the sum above, is the same no matter what the basis is.

The value of the Einstein convention is that it applies to other vector spaces built from *V* using the tensor product and duality. For example, *V* ⊗ *V*, the tensor product of *V* with itself, has a basis consisting of tensors of the form **e**_{ij} = **e**_{i} ⊗ **e**_{j}. Any tensor **T** in *V* ⊗ *V* can be written as:

- .

*V**, the dual of *V*, has a basis **e**^{1}, **e**^{2}, ..., **e**^{n} which obeys the rule

where *δ* is the Kronecker delta. As

the row/column coordinates on a matrix correspond to the upper/lower indices on the tensor product.

In Einstein notation, the usual element reference *A _{mn}* for the

Using an orthogonal basis, the inner product is the sum of corresponding components multiplied together:

This can also be calculated by multiplying the covector on the vector.

Again using an orthogonal basis (in 3 dimensions) the cross product intrinsically involves summations over permutations of components:

where

*ε _{ijk}* is the Levi-Civita symbol, and

The product of a matrix *A _{ij}* with a column vector

equivalent to

This is a special case of matrix multiplication.

The matrix product of two matrices *A _{ij}* and

equivalent to

For a square matrix *A ^{i}_{j}*, the trace is the sum of the diagonal elements, hence the sum over a common index

The outer product of the column vector *u ^{i}* by the row vector

Since *i* and *j* represent two *different* indices, there is no summation and the indices are not eliminated by the multiplication.

Given a tensor, one can raise an index or lower an index by contracting the tensor with the metric tensor, *g _{μν}*. For example, take the tensor

Or one can lower an index:

- Tensor
- Abstract index notation
- Bra–ket notation
- Penrose graphical notation
- Levi-Civita symbol
- DeWitt notation

^{}This applies only for numerical indices. The situation is the opposite for abstract indices. Then, vectors themselves carry upper abstract indices and covectors carry lower abstract indices, as per the example in the introduction of this article. Elements of a basis of vectors may carry a lower*numerical*index and an upper*abstract*index.

**^**.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit} Einstein, Albert (1916). "The Foundation of the General Theory of Relativity".*Annalen der Physik*. Bibcode:1916AnP...354..769E. doi:10.1002/andp.19163540702. Archived from the original (PDF) on 2006-08-29. Retrieved 2006-09-03.**^**"Einstein Summation". Wolfram Mathworld. Retrieved 13 April 2011.

Kuptsov, L. P. (2001) [1994], "Einstein rule", *Encyclopedia of Mathematics*, EMS Press.