View source for Ricci calculus

{{Short description|Tensor index notation for tensor-based calculations}}
{{mergefrom|date=June 2023|Tensor calculus|discuss=Talk:Tensor calculus}}

In [[Mathematics|mathematics]], '''Ricci calculus''' <!--({{IPA-it|ˈrittʃi}})--> constitutes the rules of index notation and manipulation for tensors and tensor fields on a [[Differentiable manifold|differentiable manifold]], with or without a [[Physics:Metric tensor|metric tensor]] or [[Connection (mathematics)|connection]].{{efn|While the raising and lowering of indices is dependent on a [[Physics:Metric tensor|metric tensor]], the [[Covariant derivative|covariant derivative]] is only dependent on the [[Connection (mathematics)|connection]] while the [[Exterior derivative|exterior derivative]] and the [[Lie derivative]] are dependent on neither.}}<ref>{{cite book |author1=Synge J.L. |author2=Schild A. |publisher=first Dover Publications 1978 edition |title=Tensor Calculus |pages=6–108|year= 1949}}</ref><ref>{{cite book |pages=85–86, §3.5|author1=J.A. Wheeler |author2=C. Misner |author3=K.S. Thorne | title=Gravitation| publisher=W.H. Freeman & Co| year=1973 | isbn=0-7167-0344-0}}</ref><ref>{{cite book |author=R. Penrose| title=[[The Road to Reality]]| publisher= Vintage books| year=2007 | isbn=978-0-679-77631-4}}</ref> It is also the modern name for what used to be called the '''absolute differential calculus''' (the foundation of [[Tensor calculus|tensor calculus]]), developed by [[Biography:Gregorio Ricci-Curbastro|Gregorio Ricci-Curbastro]] in 1887–1896, and subsequently popularized in a paper written with his pupil [[Biography:Tullio Levi-Civita|Tullio Levi-Civita]] in 1900.<ref>{{cite journal |last1=Ricci |first1=Gregorio |last2=Levi-Civita |first2=Tullio |author-link2=Tullio Levi-Civita |title=Méthodes de calcul différentiel absolu et leurs applications |trans-title=Methods of the absolute differential calculus and their applications |journal=[[Mathematische Annalen]] |date=March 1900 |access-date=19 October 2019 |volume=54 |issue=1–2 |pages=125–201 |doi=10.1007/BF01454201 |url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002258102 |publisher=Springer |s2cid=120009332 |language=fr}}</ref> [[Biography:Jan Arnoldus Schouten|Jan Arnoldus Schouten]] developed the modern notation and formalism for this mathematical framework, and made contributions to the theory, during its applications to [[Physics:General relativity|general relativity]] and [[Differential geometry|differential geometry]] in the early twentieth century.<ref>{{cite book|last=Schouten|first=Jan A.|title=Der Ricci-Kalkül – Eine Einführung in die neueren Methoden und Probleme der mehrdimensionalen Differentialgeometrie (Ricci Calculus – An introduction in the latest methods and problems in multi-dimensional differential geometry)|language=de|year=1924|series=Grundlehren der mathematischen Wissenschaften|volume=10|editor= R. Courant|publisher=Springer Verlag|location=Berlin|url=http://resolver.sub.uni-goettingen.de/purl?PPN373339186}}</ref>

A component of a tensor is a [[Real number|real number]] that is used as a coefficient of a basis element for the tensor space. The tensor is the sum of its components multiplied by their corresponding basis elements. Tensors and tensor fields can be expressed in terms of their components, and operations on tensors and tensor fields can be expressed in terms of operations on their components. The description of tensor fields and operations on them in terms of their components is the focus of the Ricci calculus. This notation allows an efficient expression of such tensor fields and operations. While much of the notation may be applied with any tensors, operations relating to a differential structure are only applicable to tensor fields.  Where needed, the notation extends to components of non-tensors, particularly multidimensional arrays.

A tensor may be expressed as a linear sum of the [[Tensor product|tensor product]] of [[Vector (mathematics and physics)|vector]] and covector basis elements. The resulting tensor components are labelled by indices of the basis. Each index has one possible value per [[Physics:Dimension|dimension]] of the underlying [[Vector space|vector space]]. The number of indices equals the degree (or order) of the tensor.

For compactness and convenience, the Ricci calculus incorporates [[Einstein notation]], which implies summation over indices repeated within a term and [[Universal quantification|universal quantification]] over free indices. Expressions in the notation of the Ricci calculus may generally be interpreted as a set of simultaneous equations relating the components as functions over a manifold, usually more specifically as functions of the coordinates on the manifold. This allows intuitive manipulation of expressions with familiarity of only a limited set of rules.

== Notation for indices ==

=== Basis-related distinctions ===

==== Space and time coordinates ====

Where a distinction is to be made between the space-like basis elements and a time-like element in the four-dimensional spacetime of classical physics, this is conventionally done through indices as follows:<ref>{{citation | author=C. Møller|title=The Theory of Relativity|year=1952|page=234}} is an example of a variation: 'Greek indices run from 1 to 3, Latin indices from 1 to 4'</ref>
* The lowercase Latin alphabet {{math|''a'', ''b'', ''c'', ...}} is used to indicate restriction to 3-dimensional [[Euclidean space]], which take values 1, 2, 3 for the spatial components; and the time-like element, indicated by 0, is shown separately.
* The lowercase Greek alphabet {{math|''α'', ''β'', ''γ'', ...}} is used for 4-dimensional [[Physics:Spacetime|spacetime]], which typically take values 0 for time components and 1, 2, 3 for the spatial components.

Some sources use 4 instead of 0 as the index value corresponding to time; in this article, 0 is used. Otherwise, in general mathematical contexts, any symbols can be used for the indices, generally running over all dimensions of the vector space.

==== Coordinate and index notation ====

The author(s) will usually make it clear whether a subscript is intended as an index or as a label.

For example, in 3-D Euclidean space and using Cartesian coordinates; the [[Coordinate vector|coordinate vector]] {{math|1='''A''' = (''A''<sub>1</sub>, ''A''<sub>2</sub>, ''A''<sub>3</sub>) = (''A''<sub>x</sub>, ''A''<sub>y</sub>, ''A''<sub>z</sub>)}} shows a direct correspondence between the subscripts 1, 2, 3 and the labels {{math|x}}, {{math|y}}, {{math|z}}. In the expression {{math|''A<sub>i</sub>''}}, {{math|''i''}} is interpreted as an index ranging over the values 1, 2, 3, while the {{math|x}}, {{math|y}}, {{math|z}} subscripts are only labels, not variables. In the context of spacetime, the index value 0 conventionally corresponds to the label {{math|t}}.

==== Reference to basis ====

Indices themselves may be ''labelled'' using diacritic-like symbols, such as a hat (ˆ), bar (¯), [[Tilde|tilde]] (˜), or prime (′) as in:
: <math>X_{\hat{\phi}}\,, Y_{\bar{\lambda}}\,, Z_{\tilde{\eta}}\,, T_{\mu'} </math>
to denote a possibly different [[Basis (linear algebra)|basis]] for that index. An example is in [[Physics:Lorentz transformation|Lorentz transformation]]s from one [[Astronomy:Frame of reference|frame of reference]] to another, where one frame could be unprimed and the other primed, as in:
: <math> v^{\mu'} = v^{\nu}L_\nu{}^{\mu'} .</math>

This is not to be confused with [[Van der Waerden notation|van der Waerden notation]] for [[Physics:Spinor|spinor]]s, which uses hats and overdots on indices to reflect the chirality of a spinor.

=== Upper and lower indices ===

Ricci calculus, and [[Abstract index notation|index notation]] more generally, distinguishes between lower indices (subscripts) and upper indices (superscripts); the latter are ''not'' exponents, even though they may look as such to the reader only familiar with other parts of mathematics.

In the special case that the metric tensor is everywhere equal to the identity matrix, it is possible to drop the distinction between upper and lower indices, and then all indices could be written in the lower position. Coordinate formulae in linear algebra such as <math> a_{ij} b_{jk} </math> for the product of matrices may be examples of this. But in general, the distinction between upper and lower indices should be maintained.

==== [[Covariance and contravariance of vectors|Covariant tensor components]] ====

A ''lower index'' (subscript) indicates covariance of the components with respect to that index:
: <math>A_{\alpha\beta\gamma \cdots}</math>

==== [[Covariance and contravariance of vectors|Contravariant tensor components]] ====

An ''upper index'' (superscript) indicates contravariance of the components with respect to that index:
: <math>A^{\alpha\beta\gamma \cdots}</math>

==== [[Mixed tensor|Mixed-variance tensor components]] ====

A tensor may have both upper and lower indices:
: <math>A_{\alpha}{}^{\beta}{}_{\gamma}{}^{\delta\cdots}.</math>

Ordering of indices is significant, even when of differing variance.  However, when it is understood that no indices will be raised or lowered while retaining the base symbol, covariant indices are sometimes placed below contravariant indices for notational convenience (e.g. with the generalized Kronecker delta).

==== Tensor type and degree ====

The number of each upper and lower indices of a tensor gives its ''type'': a tensor with {{math|''p''}} upper and {{math|''q''}} lower indices is said to be of type {{math|(''p'', ''q'')}}, or to be a type-{{math|(''p'', ''q'')}} tensor.

The number of indices of a tensor, regardless of variance, is called the ''degree'' of the tensor (alternatively, its ''valence'', ''order'' or ''rank'', although ''rank'' is ambiguous).  Thus, a tensor of type {{math|(''p'', ''q'')}} has degree {{math|''p'' + ''q''}}.

==== Summation convention ====

The same symbol occurring twice (one upper and one lower) within a term indicates a pair of indices that are summed over:
: <math> A_\alpha B^\alpha \equiv \sum_\alpha A_{\alpha}B^\alpha \quad \text{or} \quad A^\alpha B_\alpha \equiv \sum_\alpha A^{\alpha}B_\alpha \,.</math>

The operation implied by such a summation is called [[Tensor contraction|tensor contraction]]:
: <math> A_\alpha B^\beta \rightarrow A_\alpha B^\alpha \equiv \sum_\alpha A_{\alpha}B^\alpha \,.</math>

This summation may occur more than once within a term with a distinct symbol per pair of indices, for example:
: <math> A_{\alpha}{}^\gamma B^\alpha C_\gamma{}^\beta \equiv \sum_\alpha \sum_\gamma A_{\alpha}{}^\gamma B^\alpha C_\gamma{}^\beta \,.</math>

Other combinations of repeated indices within a term are considered to be ill-formed, such as
: {|
|-
| <math> A_{\alpha\alpha}{}^{\gamma} \qquad </math> || (both occurrences of <math>\alpha</math> are lower; <math>A_\alpha{}^{\alpha\gamma}</math> would be fine)
|-
| <math> A_{\alpha\gamma}{}^{\gamma} B^\alpha C_{\gamma}{}^{\beta} </math> || (<math>\gamma</math> occurs twice as a lower index; <math> A_{\alpha\gamma}{}^{\gamma} B^\alpha </math> or <math> A_{\alpha\delta}{}^{\gamma} B^\alpha C_{\gamma}{}^{\beta} </math> would be fine).
|}
The reason for excluding such formulae is that although these quantities could be computed as arrays of numbers, they would not in general transform as tensors under a change of basis.

==== [[Multi-index notation]] ====

If a tensor has a list of all upper or lower indices, one shorthand is to use a capital letter for the list:<ref>{{citation | author=T. Frankel|page=67| title = The Geometry of Physics| publisher=Cambridge University Press|edition=3rd|year=2012|isbn=978-1107-602601}}</ref>
:<math> A_{i_1 \cdots i_n}B^{i_1 \cdots i_n j_1 \cdots j_m}C_{j_1 \cdots j_m} \equiv A_I B^{IJ} C_J ,</math>
where {{math|1=''I'' = ''i''<sub>1</sub> ''i''<sub>2</sub> ⋅⋅⋅ ''i<sub>n</sub>''}} and {{math|1=''J'' = ''j''<sub>1</sub> ''j''<sub>2</sub> ⋅⋅⋅ ''j<sub>m</sub>''}}.

==== Sequential summation ====

A pair of vertical bars {{math|{{!}} &sdot; {{!}}}} around a set of all-upper indices or all-lower indices (but not both), associated with contraction with another set of indices when the expression is [[Antisymmetric tensor|completely antisymmetric]] in each of the two sets of indices:<ref>{{cite book |page=91|author1=J.A. Wheeler |author2=C. Misner |author3=K.S. Thorne | title=Gravitation| publisher=W.H. Freeman & Co| year=1973 | isbn=0-7167-0344-0}}</ref>
: <math>
  A_{|\alpha \beta \gamma| \cdots} B^{\alpha\beta\gamma \cdots} =
  A_{\alpha \beta \gamma \cdots} B^{|\alpha\beta\gamma| \cdots} =
  \sum_{\alpha < \beta < \gamma} A_{\alpha \beta \gamma \cdots} B^{\alpha\beta\gamma \cdots}
</math>
means a restricted sum over index values, where each index is constrained to being strictly less than the next. More than one group can be summed in this way, for example:
: <math>\begin{align}
      &A_{|\alpha \beta\gamma|}{}^{|\delta\epsilon\cdots\lambda|}
         B^{\alpha \beta\gamma}{}_{\delta\epsilon\cdots\lambda|\mu \nu \cdots\zeta|}
         C^{\mu\nu\cdots \zeta} \\[3pt]
  ={} &\sum_{\alpha < \beta < \gamma}~\sum_{\delta < \epsilon < \cdots < \lambda}~\sum_{\mu < \nu < \cdots < \zeta}
         A_{\alpha \beta\gamma}{}^{\delta\epsilon\cdots\lambda}
         B^{\alpha \beta\gamma}{}_{\delta\epsilon\cdots\lambda\mu \nu\cdots\zeta}
         C^{\mu\nu\cdots\zeta}
\end{align}</math>

When using multi-index notation, an underarrow is placed underneath the block of indices:<ref>{{citation | author=T. Frankel| title = The Geometry of Physics|page=67| publisher=Cambridge University Press|edition=3rd|year=2012|isbn=978-1107-602601}}</ref>
: <math>
  A_{\underset{\rightharpoondown}{P}}{}^{\underset{\rightharpoondown}{Q}} B^P{}_{Q\underset{\rightharpoondown}{R}} C^R =
  \sum_\underset{\rightharpoondown}{P} \sum_\underset{\rightharpoondown}{Q} \sum_\underset{\rightharpoondown}{R} A_{P}{}^{Q} B^P{}_{QR} C^R </math>
where
: <math>
  \underset{\rightharpoondown}{P} = |\alpha \beta\gamma|\,,\quad
  \underset{\rightharpoondown}{Q} = |\delta\epsilon\cdots\lambda|\,,\quad
  \underset{\rightharpoondown}{R} = |\mu \nu \cdots\zeta|
</math>

==== [[Raising and lowering indices]] ====

By contracting an index with a non-singular [[Physics:Metric tensor|metric tensor]], the [[Mixed tensor|type]] of a tensor can be changed, converting a lower index to an upper index or vice versa:
:<math>B^{\gamma}{}_{\beta\cdots} = g^{\gamma\alpha}A_{\alpha\beta\cdots} \quad \text{and} \quad A_{\alpha\beta\cdots} = g_{\alpha\gamma}B^{\gamma}{}_{\beta\cdots}</math>

The base symbol in many cases is retained (e.g. using {{math|''A''}} where {{math|''B''}} appears here), and when there is no ambiguity, repositioning an index may be taken to imply this operation.

=== Correlations between index positions and invariance ===

This table summarizes how the manipulation of covariant and contravariant indices fit in with invariance under a passive transformation between bases, with the components of each basis set in terms of the other reflected in the first column. The barred indices refer to the final coordinate system after the transformation.<ref>{{cite book |pages=61, 202–203, 232|author1=J.A. Wheeler |author2=C. Misner |author3=K.S. Thorne | title=Gravitation| publisher=W.H. Freeman & Co| year=1973 | isbn=0-7167-0344-0}}</ref>

The [[Kronecker delta]] is used, see also below.

: {| class="wikitable"
|-
! 
! Basis transformation
! Component transformation
! Invariance
|-
! Covector, covariant vector, 1-form
| <math>\omega^\bar{\alpha} = L_\beta{}^\bar{\alpha} \omega^\beta</math> 
| <math>a_\bar{\alpha} = a_\gamma L^\gamma{}_\bar{\alpha}</math>
| <math>a_\bar{\alpha} \omega^\bar{\alpha} = a_\gamma L^\gamma{}_\bar{\alpha} L_\beta{}^\bar{\alpha} \omega^\beta = a_\gamma \delta^\gamma{}_\beta \omega^\beta = a_\beta \omega^\beta</math>
|-
! Vector, contravariant vector
| <math>e_\bar{\alpha} = e_\gamma L_\bar{\alpha}{}^\gamma</math>
| <math>u^\bar{\alpha} = L^\bar{\alpha}{}_\beta u^\beta</math>
| <math>e_\bar{\alpha} u^\bar{\alpha} = e_\gamma L_\bar{\alpha}{}^\gamma L^\bar{\alpha}{}_\beta u^\beta = e_\gamma \delta^\gamma{}_\beta u^\beta = e_\gamma u^\gamma</math>
|}

== General outlines for index notation and operations ==

Tensors are equal [[If and only if|if and only if]] every corresponding component is equal; e.g., tensor {{math|''A''}} equals tensor {{math|''B''}} if and only if

:<math>A^{\alpha}{}_{\beta\gamma} = B^{\alpha}{}_{\beta\gamma}</math>

for all {{math|''α'', ''β'', ''γ''}}. Consequently, there are facets of the notation that are useful in checking that an equation makes sense (an analogous procedure to [[Dimensional analysis|dimensional analysis]]).

=== [[Einstein notation#Introduction|Free and dummy indices]] ===

Indices not involved in contractions are called ''free indices''. Indices used in contractions are termed ''dummy indices'', or ''summation indices''.

=== A tensor equation represents many ordinary (real-valued) equations ===

The components of tensors (like {{math|''A<sup>α</sup>''}}, {{math|''B<sub>β</sub><sup>γ</sup>''}} etc.) are just real numbers. Since the indices take various integer values to select specific components of the tensors, a single tensor equation represents many ordinary equations. If a tensor equality has {{math|''n''}} free indices, and if the dimensionality of the underlying vector space is {{math|''m''}}, the equality represents {{math|''m<sup>n</sup>''}} equations: each index takes on every value of a specific set of values.

For instance, if
: <math>A^\alpha B_\beta{}^\gamma C_{\gamma\delta} + D^\alpha{}_\beta{} E_\delta = T^\alpha{}_\beta{}_\delta </math>
is in [[Four-dimensional space|four dimensions]] (that is, each index runs from 0 to 3 or from 1 to 4), then because there are three free indices ({{math|''α'', ''β'', ''δ''}}), there are 4<sup>3</sup> = 64 equations. Three of these are:
: <math>\begin{align}
  A^0 B_1{}^0 C_{00} + A^0 B_1{}^1 C_{10} + A^0 B_1{}^2 C_{20} + A^0 B_1{}^3 C_{30} + D^0{}_1{} E_0 &= T^0{}_1{}_0 \\
  A^1 B_0{}^0 C_{00} + A^1 B_0{}^1 C_{10} + A^1 B_0{}^2 C_{20} + A^1 B_0{}^3 C_{30} + D^1{}_0{} E_0 &= T^1{}_0{}_0 \\
  A^1 B_2{}^0 C_{02} + A^1 B_2{}^1 C_{12} + A^1 B_2{}^2 C_{22} + A^1 B_2{}^3 C_{32} + D^1{}_2{} E_2 &= T^1{}_2{}_2.
\end{align}</math>

This illustrates the compactness and efficiency of using index notation: many equations which all share a similar structure can be collected into one simple tensor equation.

=== Indices are replaceable labels ===

Replacing any index symbol throughout by another leaves the tensor equation unchanged (provided there is no conflict with other symbols already used). This can be useful when manipulating indices, such as using index notation to verify [[Vector calculus identities|vector calculus identities]] or identities of the [[Kronecker delta]] and [[Levi-Civita symbol#Properties|Levi-Civita symbol]] (see also below). An example of a correct change is:
: <math>A^\alpha B_\beta{}^\gamma C_{\gamma\delta} + D^\alpha{}_\beta{} E_\delta \rightarrow A^\lambda B_\beta{}^\mu C_{\mu\delta} + D^\lambda{}_\beta{} E_\delta \,,</math>
whereas an erroneous change is:
: <math>A^\alpha B_\beta{}^\gamma C_{\gamma\delta} + D^\alpha{}_\beta{} E_\delta \nrightarrow  A^\lambda B_\beta{}^\gamma C_{\mu\delta} + D^\alpha{}_\beta{} E_\delta \,.</math>

In the first replacement, {{math|''λ''}} replaced {{math|''α''}} and {{math|''μ''}} replaced {{math|''γ''}} ''everywhere'', so the expression still has the same meaning. In the second, {{math|''λ''}} did not fully replace {{math|''α''}}, and {{math|''μ''}} did not fully replace {{math|''γ''}} (incidentally, the contraction on the {{math|''γ''}} index became a tensor product), which is entirely inconsistent for reasons shown next.

=== Indices are the same in every term ===

The free indices in a tensor expression always appear in the same (upper or lower) position throughout every term, and in a tensor equation the free indices are the same on each side. Dummy indices (which implies a summation over that index) need not be the same, for example:
: <math>A^\alpha B_\beta{}^\gamma C_{\gamma\delta} + D^\alpha{}_\delta E_\beta = T^\alpha{}_\beta{}_\delta </math>

as for an erroneous expression:
:<math>A^\alpha B_\beta{}^\gamma C_{\gamma\delta} + D_\alpha{}_\beta{}^\gamma E^\delta. </math>

In other words, non-repeated indices must be of the same type in every term of the equation. In the above identity, {{math|''α'', ''β'', ''δ''}} line up throughout and {{math|''γ''}} occurs twice in one term due to a contraction (once as an upper index and once as a lower index), and thus it is a valid expression. In the invalid expression, while {{math|''β''}} lines up, {{math|''α''}} and {{math|''δ''}} do not, and {{math|''γ''}} appears twice in one term (contraction) ''and'' once in another term, which is inconsistent.

=== Brackets and punctuation used once where implied ===

When applying a rule to a number of indices (differentiation, symmetrization etc., shown next), the bracket or punctuation symbols denoting the rules are only shown on one group of the indices to which they apply.

If the brackets enclose ''covariant indices'' – the rule applies only to ''all covariant indices enclosed in the brackets'', not to any contravariant indices which happen to be placed intermediately between the brackets.

Similarly if brackets enclose ''contravariant indices'' – the rule applies only to ''all enclosed contravariant indices'', not to intermediately placed covariant indices.

== Symmetric and antisymmetric parts ==

=== [[Symmetric tensor|Symmetric]] part of tensor ===

[[Bracket#Parentheses|Parentheses, (&nbsp;)]], around multiple indices denotes the symmetrized part of the tensor. When symmetrizing {{math|''p''}} indices using {{math|''σ''}} to range over permutations of the numbers 1 to {{math|''p''}}, one takes a sum over the [[Permutation|permutation]]s of those indices {{math|''α''<sub>''σ''(''i'')</sub>}} for {{math|1=''i'' = 1, 2, 3, ..., ''p''}}, and then divides by the number of permutations:
: <math>
  A_{(\alpha_1\alpha_2\cdots\alpha_p)\alpha_{p + 1}\cdots\alpha_q} =
  \dfrac{1}{p!} \sum_{\sigma} A_{\alpha_{\sigma(1)}\cdots\alpha_{\sigma(p)}\alpha_{p + 1}\cdots\alpha_{q}} \,.
</math>

For example, two symmetrizing indices mean there are two indices to permute and sum over:
: <math>A_{(\alpha\beta)\gamma\cdots} = \dfrac{1}{2!} \left(A_{\alpha\beta\gamma\cdots} + A_{\beta\alpha\gamma\cdots} \right)</math>
while for three symmetrizing indices, there are three indices to sum over and permute:
: <math>
  A_{(\alpha\beta\gamma)\delta\cdots} =
  \dfrac{1}{3!} \left(A_{\alpha\beta\gamma\delta\cdots}
    + A_{\gamma\alpha\beta\delta\cdots} 
    + A_{\beta\gamma\alpha\delta\cdots} 
    + A_{\alpha\gamma\beta\delta\cdots}
    + A_{\gamma\beta\alpha\delta\cdots}
    + A_{\beta\alpha\gamma\delta\cdots}
  \right)
</math>

The symmetrization is [[Distributive property|distributive]] over addition;
: <math>A_{(\alpha} \left(B_{\beta)\gamma\cdots} + C_{\beta)\gamma\cdots} \right) = A_{(\alpha}B_{\beta)\gamma\cdots} + A_{(\alpha}C_{\beta)\gamma\cdots}</math>

Indices are not part of the symmetrization when they are:
* not on the same level, for example;
*: <math>A_{(\alpha}B^{\beta}{}_{\gamma)} = \dfrac{1}{2!} \left(A_{\alpha}B^{\beta}{}_{\gamma} + A_{\gamma}B^{\beta}{}_{\alpha} \right)</math>
*within the parentheses and between vertical bars (i.e. |⋅⋅⋅|), modifying the previous example;
*: <math>A_{(\alpha}B_{|\beta|}{}_{\gamma)} = \dfrac{1}{2!} \left(A_{\alpha}B_{\beta \gamma} + A_{\gamma}B_{\beta \alpha} \right)</math>

Here the {{math|''α''}} and {{math|''γ''}} indices are symmetrized, {{math|''β''}} is not.

=== [[Antisymmetric tensor|Antisymmetric]] or alternating part of tensor ===

[[Bracket#Square brackets|Square brackets, <nowiki>[&nbsp;]</nowiki>]], around multiple indices denotes the ''anti''symmetrized part of the tensor. For {{math|''p''}} antisymmetrizing indices – the sum over the permutations of those indices {{math|''α''<sub>''σ''(''i'')</sub>}} multiplied by the signature of the permutation {{math|sgn(''σ'')}} is taken, then divided by the number of permutations:
: <math>\begin{align}
      & A_{[\alpha_1\cdots\alpha_p]\alpha_{p+1}\cdots\alpha_q} \\[3pt]
  ={} & \dfrac{1}{p!} \sum_{\sigma}\sgn(\sigma) A_{\alpha_{\sigma(1)}\cdots\alpha_{\sigma(p)}\alpha_{p+1}\cdots\alpha_{q}} \\
  ={} & \delta_{\alpha_1 \cdots \alpha_p}^{\beta_1 \dots \beta_p} A_{\beta_1 \cdots \beta_p\alpha_{p+1}\cdots\alpha_q} \\
\end{align} </math>
where {{math|''δ''{{su|b=''α''<sub>1</sub>⋅⋅⋅''α<sub>p</sub>''|p=''β''<sub>1</sub>⋅⋅⋅''β<sub>p</sub>''|lh=0.8em}}}} is the generalized Kronecker delta of degree {{math|2''p''}}, with scaling as defined below.

For example, two antisymmetrizing indices imply:
: <math>A_{[\alpha\beta]\gamma\cdots} = \dfrac{1}{2!} \left(A_{\alpha\beta\gamma\cdots} - A_{\beta\alpha\gamma\cdots} \right)</math>
while three antisymmetrizing indices imply:
: <math>
  A_{[\alpha\beta\gamma]\delta\cdots} =
  \dfrac{1}{3!} \left(A_{\alpha\beta\gamma\delta\cdots}
    + A_{\gamma\alpha\beta\delta\cdots} 
    + A_{\beta\gamma\alpha\delta\cdots} 
    - A_{\alpha\gamma\beta\delta\cdots}
    - A_{\gamma\beta\alpha\delta\cdots}
    - A_{\beta\alpha\gamma\delta\cdots}
  \right)
</math>
as for a more specific example, if {{math|''F''}} represents the [[Physics:Electromagnetic tensor|electromagnetic tensor]], then the equation
: <math>
  0 = F_{[\alpha\beta, \gamma]} = \dfrac{1}{3!} \left(
    F_{\alpha\beta,\gamma}
    + F_{\gamma\alpha,\beta}
    + F_{\beta\gamma,\alpha}
    - F_{\beta\alpha,\gamma}
    - F_{\alpha\gamma,\beta}
    - F_{\gamma\beta,\alpha}
  \right) \,
</math>
represents [[Physics:Gauss's law for magnetism|Gauss's law for magnetism]] and [[Physics:Faraday's law of induction|Faraday's law of induction]].

As before, the antisymmetrization is distributive over addition;
: <math>
  A_{[\alpha} \left(B_{\beta]\gamma\cdots} + C_{\beta]\gamma\cdots} \right) =
  A_{[\alpha}B_{\beta]\gamma\cdots} + A_{[\alpha}C_{\beta]\gamma\cdots}
</math>

As with symmetrization, indices are not antisymmetrized when they are:
* not on the same level, for example;
*: <math>
  A_{[\alpha}B^{\beta}{}_{\gamma]} =
  \dfrac{1}{2!} \left(A_{\alpha}B^{\beta}{}_{\gamma} - A_{\gamma}B^{\beta}{}_{\alpha} \right)
</math>
* within the square brackets and between vertical bars (i.e. |⋅⋅⋅|), modifying the previous example;
*: <math>
  A_{[\alpha}B_{|\beta|}{}_{\gamma]} =
  \dfrac{1}{2!} \left(A_{\alpha}B_{\beta \gamma} - A_{\gamma}B_{\beta \alpha} \right)
</math>

Here the {{math|''α''}} and {{math|''γ''}} indices are antisymmetrized, {{math|''β''}} is not.

=== Sum of symmetric and antisymmetric parts ===

Any tensor can be written as the sum of its symmetric and antisymmetric parts on two indices:
: <math>A_{\alpha\beta\gamma\cdots} = A_{(\alpha\beta)\gamma\cdots}+A_{[\alpha\beta]\gamma\cdots}</math>
as can be seen by adding the above expressions for {{math|''A''<sub>(''αβ'')''γ''⋅⋅⋅</sub>}} and {{math|''A''<sub>[''αβ'']''γ''⋅⋅⋅</sub>}}. This does not hold for other than two indices.

== Differentiation ==


For compactness, derivatives may be indicated by adding indices after a comma or semicolon.<ref>{{cite book | author=G. Woan| title=The Cambridge Handbook of Physics Formulas| url=https://archive.org/details/cambridgehandboo0000woan| url-access=registration| publisher=Cambridge University Press| year=2010 | isbn=978-0-521-57507-2}}</ref><ref>[http://mathworld.wolfram.com/CovariantDerivative.html Covariant derivative] – Mathworld, Wolfram</ref>

=== [[Partial derivative]] ===

While most of the expressions of the Ricci calculus are valid for arbitrary bases, the expressions involving partial derivatives of tensor components with respect to coordinates apply only with a coordinate basis: a basis that is defined through differentiation with respect to the coordinates.  Coordinates are typically denoted by {{math|''x''{{isup|''μ''}}}}, but do not in general form the components of a vector.  In flat spacetime with linear coordinatization, a tuple of ''differences'' in coordinates, {{math|Δ''x''{{isup|''μ''}}}}, can be treated as a contravariant vector.  With the same constraints on the space and on the choice of coordinate system, the partial derivatives with respect to the coordinates yield a result that is effectively covariant.  Aside from use in this special case, the partial derivatives of components of tensors do not in general transform covariantly, but are useful in building expressions that are covariant, albeit still with a coordinate basis if the partial derivatives are explicitly used, as with the covariant, exterior and Lie derivatives below.

To indicate partial differentiation of the components of a tensor field with respect to a coordinate variable {{math|''x''{{isup|''γ''}}}}, a ''comma'' is placed before an appended lower index of the coordinate variable.
: <math>A_{\alpha\beta\cdots,\gamma} = \dfrac{\partial}{\partial x^\gamma} A_{\alpha\beta\cdots}</math>

This may be repeated (without adding further commas):
: <math>
  A_{\alpha_1\alpha_2\cdots\alpha_p\,,\,\alpha_{p+1}\cdots\alpha_q} =
  \dfrac{\partial}{\partial x^{\alpha_q}}\cdots\dfrac{\partial}{\partial x^{\alpha_{p+2}}}\dfrac{\partial}{\partial x^{\alpha_{p+1}}} A_{\alpha_1\alpha_2\cdots\alpha_p}.
</math>

These components do ''not'' transform covariantly, unless the expression being differentiated is a scalar. This derivative is characterized by the [[Product rule|product rule]] and the derivatives of the coordinates
: <math>x^{\alpha}{}_{, \gamma} = \delta^{\alpha}_\gamma ,</math>
where {{math|''δ''}} is the [[Kronecker delta]].

=== [[Covariant derivative]] ===

The covariant derivative is only defined if a [[Connection (mathematics)|connection]] is defined.  For any tensor field, a ''semicolon'' ({{math| ; }}) placed before an appended lower (covariant) index indicates covariant differentiation. Less common alternatives to the semicolon include a ''forward slash'' ({{math| / }})<ref>{{citation | author=T. Frankel|page=298| title = The Geometry of Physics| publisher=Cambridge University Press|edition=3rd|year=2012|isbn=978-1107-602601}}</ref> or in three-dimensional curved space a single vertical bar ({{math|&nbsp;{{!}}&nbsp;}}).<ref>{{cite book |pages=510, §21.5|author1=J.A. Wheeler |author2=C. Misner |author3=K.S. Thorne | title=Gravitation| publisher=W.H. Freeman & Co| year=1973 | isbn=0-7167-0344-0}}</ref>

The covariant derivative of a scalar function, a contravariant vector and a covariant vector are:
: <math>f_{;\beta} = f_{,\beta}</math>
: <math>A^{\alpha}{}_{;\beta} = A^{\alpha}{}_{,\beta} + \Gamma^{\alpha} {}_{\gamma\beta}A^\gamma</math>
: <math>A_{\alpha ;\beta} = A_{\alpha,\beta} - \Gamma^{\gamma} {}_{\alpha\beta}A_\gamma \,,</math>
where {{math|Γ''<sup>α</sup><sub>γβ</sub>''}} are the connection coefficients.

For an arbitrary tensor:<ref>{{citation | author=T. Frankel|page=299| title = The Geometry of Physics| publisher=Cambridge University Press|edition=3rd|year=2012|isbn=978-1107-602601}}</ref>
: <math> \begin{align}
    T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s ; \gamma}
      & \\
  = T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s , \gamma}
      &+ \, \Gamma^{\alpha_1}{}_{\delta \gamma} T^{\delta \alpha_2 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s} + \cdots + \Gamma^{\alpha_r}{}_{\delta \gamma} T^{\alpha_1 \cdots \alpha_{r-1} \delta}{}_{\beta_1 \cdots \beta_s} \\
      &- \, \Gamma^\delta{}_{\beta_1 \gamma} T^{\alpha_1 \cdots \alpha_r}{}_{\delta \beta_2 \cdots \beta_s} - \cdots - \Gamma^\delta{}_{\beta_s \gamma} T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_{s-1} \delta}\,.
\end{align}</math>

An alternative notation for the covariant derivative of any tensor is the subscripted nabla symbol {{math|∇<sub>''β''</sub>}}. For the case of a vector field {{math|''A<sup>α</sup>''}}:<ref>{{cite book|title=Relativity|series=Demystified|isbn=0-07-145545-0|year=2006|author=D. McMahon|publisher=McGraw Hill|page=67}}</ref>
: <math>\nabla_\beta A^\alpha = A^\alpha{}_{;\beta} \,.</math>

The covariant formulation of the [[Directional derivative|directional derivative]] of any tensor field along a vector {{math|''v<sup>γ</sup>''}} may be expressed as its contraction with the covariant derivative, e.g.:
: <math>v^\gamma A_{\alpha ;\gamma} \,.</math>

The components of this derivative of a tensor field transform covariantly, and hence form another tensor field, despite subexpressions (the partial derivative and the connection coefficients) separately not transforming covariantly.

This derivative is characterized by the product rule:
: <math>(A^{\alpha}{}_{\beta\cdots}B^{\gamma}{}_{\delta\cdots})_{;\epsilon} = A^{\alpha}{}_{\beta\cdots;\epsilon}B^{\gamma}{}_{\delta\cdots} + A^{\alpha}{}_{\beta\cdots}B^{\gamma}{}_{\delta\cdots;\epsilon} \,.</math>

==== Connection types ====

A Koszul connection on the [[Tangent bundle|tangent bundle]] of a [[Differentiable manifold|differentiable manifold]] is called an [[Affine connection|affine connection]].

A connection is a [[Metric connection|metric connection]] when the covariant derivative of the metric tensor vanishes:
: <math>g_{\mu \nu ; \xi} = 0 \,.</math>

An [[Affine connection|affine connection]] that is also a metric connection is called a Riemannian connection.  A Riemannian connection that is torsion-free (i.e., for which the [[Torsion tensor|torsion tensor]] vanishes: {{math|1=''T''{{sup|''α''}}{{sub|''βγ''}} = 0}}) is a [[Levi-Civita connection]].

The {{math|Γ{{sup|''α''}}{{sub|''βγ''}}}} for a Levi-Civita connection in a coordinate basis are called [[Christoffel symbols]] of the second kind.

=== [[Exterior derivative]] ===

The exterior derivative of a totally antisymmetric type {{math|(0, ''s'')}} tensor field with components {{math|''A''{{sub|''α''{{sub|1}}⋅⋅⋅''α''{{sub|''s''}}}}}} (also called a [[Differential form|differential form]]) is a derivative that is covariant under basis transformations.  It does not depend on either a metric tensor or a connection: it requires only the structure of a differentiable manifold.  In a coordinate basis, it may be expressed as the antisymmetrization of the partial derivatives of the tensor components:<ref>{{cite book |author=R. Penrose| title=[[The Road to Reality]]| publisher= Vintage books| year=2007 | isbn=978-0-679-77631-4}}</ref>{{rp|232–233}}

:<math>(\mathrm{d}A)_{\gamma\alpha_1\cdots\alpha_s} = \frac{\partial}{\partial x^{[\gamma}} A_{\alpha_1\cdots\alpha_s]} = A_{[\alpha_1\cdots\alpha_s,\gamma]} .</math>

This derivative is not defined on any tensor field with contravariant indices or that is not totally antisymmetric.  It is characterized by a graded product rule.

=== [[Lie derivative]] ===

The Lie derivative is another derivative that is covariant under basis transformations.  Like the exterior derivative, it does not depend on either a metric tensor or a connection.  The Lie derivative of a type {{math|(''r'', ''s'')}} tensor field {{math|''T''}} along (the flow of) a contravariant vector field {{math|''X''{{isup|''ρ''}}}} [[Lie derivative#Coordinate expressions|may be expressed]] using a coordinate basis as<ref>{{citation | last1=Bishop|first1=R.L.|last2=Goldberg|first2=S.I.| year=1968| title = Tensor Analysis on Manifolds|page=130}}</ref>
: <math> \begin{align}
  (\mathcal{L}_X T)^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s}
    & \\
  = X^\gamma T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s , \gamma}
    & - \, X^{\alpha_1}{}_{, \gamma} T^{\gamma \alpha_2 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s} - \cdots - X^{\alpha_r}{}_{, \gamma} T^{\alpha_1 \cdots \alpha_{r-1} \gamma}{}_{\beta_1 \cdots \beta_s} \\
    & + \, X^{\gamma}{}_{, \beta_1} T^{\alpha_1 \cdots \alpha_r}{}_{\gamma \beta_2 \cdots \beta_s} + \cdots + X^{\gamma}{}_{, \beta_s} T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_{s-1} \gamma} \,.
\end{align}</math>

This derivative is characterized by the product rule and the fact that the Lie derivative of a contravariant vector field along itself is zero:
: <math>(\mathcal{L}_X X)^{\alpha} = X^\gamma X^\alpha{}_{,\gamma} - X^\alpha{}_{,\gamma} X^\gamma = 0 \,.</math>

== Notable tensors ==

=== [[Kronecker delta]] ===
The Kronecker delta is like the [[Identity matrix|identity matrix]] when multiplied and contracted:
: <math>\begin{align}
  \delta^{\alpha}_{\beta} \, A^{\beta} &= A^{\alpha} \\
         \delta^{\mu}_{\nu} \, B_{\mu} &= B_{\nu} .
\end{align}</math>

The components {{math|''δ''{{su|b=''β''|p=''α''|lh=1em}}}} are the same in any basis and form an invariant tensor of type {{math|(1, 1)}}, i.e. the identity of the [[Tangent bundle|tangent bundle]] over the identity mapping of the base manifold, and so its trace is an invariant.<ref>{{citation | last1=Bishop|first1=R.L.|last2=Goldberg|first2=S.I.| year=1968| title = Tensor Analysis on Manifolds|page=85}}</ref>
Its [[Trace (linear algebra)|trace]] is the dimensionality of the space; for example, in four-dimensional [[Physics:Spacetime|spacetime]],
: <math>\delta^{\rho}_{\rho} = \delta^{0}_{0} + \delta^{1}_{1} + \delta^{2}_{2} + \delta^{3}_{3} = 4 .</math>

The Kronecker delta is one of the family of generalized Kronecker deltas.  The generalized Kronecker delta of degree {{math|2''p''}} may be defined in terms of the Kronecker delta by (a common definition includes an additional multiplier of {{math|''p''!}} on the right):
: <math>\delta^{\alpha_1 \cdots \alpha_p}_{\beta_1 \cdots \beta_p} = \delta^{[\alpha_1}_{\beta_1} \cdots \delta^{\alpha_p]}_{\beta_p} ,</math>
and acts as an antisymmetrizer on {{math|''p''}} indices:
: <math>\delta^{\alpha_1 \cdots \alpha_p}_{\beta_1 \cdots \beta_p} \, A^{\beta_1 \cdots \beta_p} = A^{[\alpha_1 \cdots \alpha_p]} .</math>

=== [[Torsion tensor]] ===

An affine connection has a torsion tensor {{math|''T''{{sup|''α''}}{{sub|''βγ''}}}}:
: <math> T^\alpha{}_{\beta\gamma} = \Gamma^\alpha{}_{\beta\gamma} - \Gamma^\alpha{}_{\gamma\beta} - \gamma^\alpha{}_{\beta\gamma} ,</math>
where {{math|''&gamma;''{{sup|''&alpha;''}}{{sub|''&beta;&gamma;''}}}} are given by the components of the Lie bracket of the local basis, which vanish when it is a coordinate basis.

For a Levi-Civita connection this tensor is defined to be zero, which for a coordinate basis gives the equations
: <math> \Gamma^\alpha{}_{\beta\gamma} = \Gamma^\alpha{}_{\gamma\beta}.</math>

=== [[Riemann curvature tensor]] ===

If this tensor is defined as
: <math>R^\rho{}_{\sigma\mu\nu} = \Gamma^\rho{}_{\nu\sigma,\mu}
    - \Gamma^\rho{}_{\mu\sigma,\nu}
    + \Gamma^\rho{}_{\mu\lambda}\Gamma^\lambda{}_{\nu\sigma}
    - \Gamma^\rho{}_{\nu\lambda}\Gamma^\lambda{}_{\mu\sigma} \,,
</math>
then it is the [[Commutator|commutator]] of the covariant derivative with itself:<ref>{{cite book |author1=Synge J.L. |author2=Schild A. |publisher=first Dover Publications 1978 edition |title=Tensor Calculus |pages=83, p. 107|year= 1949}}</ref><ref>{{cite book |author=P. A. M. Dirac|pages=20–21| title=General Theory of Relativity}}</ref>
: <math>A_{\nu ; \rho \sigma} - A_{\nu ; \sigma \rho} = A_{\beta} R^{\beta}{}_{\nu \rho \sigma} \,,</math>
since the connection is torsionless, which means that the torsion tensor vanishes.

This can be generalized to get the commutator for two covariant derivatives of an arbitrary tensor as follows:
: <math>\begin{align}
     T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s ; \gamma \delta}&
    - T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s ; \delta \gamma} \\
  &\!\!\!\!\!\!\!\!\!\!= - R^{\alpha_1}{}_{\rho \gamma \delta} T^{\rho \alpha_2 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_s}
    - \cdots
    - R^{\alpha_r}{}_{\rho \gamma \delta} T^{\alpha_1 \cdots \alpha_{r-1} \rho}{}_{\beta_1 \cdots \beta_s} \\
  &+ R^\sigma{}_{\beta_1 \gamma \delta} T^{\alpha_1 \cdots \alpha_r}{}_{\sigma \beta_2 \cdots \beta_s}
    + \cdots
    + R^\sigma{}_{\beta_s \gamma \delta} T^{\alpha_1 \cdots \alpha_r}{}_{\beta_1 \cdots \beta_{s-1} \sigma} \,
\end{align}</math>
which are often referred to as the ''Ricci identities''.<ref>{{cite book| last = Lovelock| first = David|author2=Hanno Rund | year=  1989|title = Tensors, Differential Forms, and Variational Principles|page=84}}</ref>

=== [[Physics:Metric tensor|Metric tensor]] ===

The metric tensor {{math|''g''{{sub|''αβ''}}}} is used for lowering indices and gives the length of any space-like curve
:<math>\text{length} = \int^{y_2}_{y_1} \sqrt{ g_{\alpha \beta} \frac{d x^{\alpha}}{d \gamma} \frac{d x^{\beta}}{d \gamma} } \, d \gamma \,,</math>
where {{math|''γ''}} is any smooth [[Monotonic function|strictly monotone]] [[Parametrization (geometry)|parameterization]] of the path. It also gives the duration of any time-like curve
 :<math>\text{duration} = \int^{t_2}_{t_1} \sqrt{ \frac{-1}{c^2} g_{\alpha \beta} \frac{d x^{\alpha}}{d \gamma} \frac{d x^{\beta}}{d \gamma} } \, d \gamma \,,</math>
where {{math|''γ''}} is any smooth strictly monotone parameterization of the trajectory. See also ''[[Line element]]''.

The inverse matrix {{math|''g''{{sup|''αβ''}}}} of the metric tensor is another important tensor, used for raising indices:
: <math> g^{\alpha \beta} g_{\beta \gamma} = \delta^{\alpha}_{\gamma} \,.</math>

== See also ==
{{div col|colwidth=20em}}
* [[Abstract index notation]]
* [[Connection (mathematics)|Connection]]
* [[Exterior algebra]]
* [[Differential form]]
* [[Hodge star operator]]
* [[Holonomic basis]]
* [[Physics:Metric tensor|Metric tensor]]
* [[Physics:Penrose graphical notation|Penrose graphical notation]]
* [[Physics:Regge calculus|Regge calculus]]
* [[Ricci decomposition]]
* [[Tensor (intrinsic definition)]]
* [[Tensor calculus]]
* [[Tensor field]]
{{div col end}}

== Notes ==

{{notelist}}

==References==

{{reflist|30em}}

==Sources==

* {{citation |last1=Bishop |first1=R.L. |last2=Goldberg|first2=S.I. |title=Tensor Analysis on Manifolds |publisher=The Macmillan Company |year=1968 |edition=First Dover 1980 |isbn=0-486-64039-6|url-access=registration |url=https://archive.org/details/tensoranalysison00bish }}
* {{cite book
 | title = Vectors and Tensors in Engineering and Physics
 | edition = 2/e
 | year=  2003
 | publisher = Westview (Perseus)
 | isbn = 978-0-8133-4080-7
 }}
* {{cite book
 | last = Dimitrienko | first = Yuriy | title = Tensor Analysis and Nonlinear Tensor Functions
 | year=  2002
 | publisher = Kluwer Academic Publishers (Springer)
 | url = https://books.google.com/books?as_isbn=140201015X
 | isbn = 1-4020-1015-X
 }}
* {{cite book
 | last = Lovelock | first = David
 | author2 = Hanno Rund
 | title = Tensors, Differential Forms, and Variational Principles
 | year=  1989
 | publisher = Dover
 | isbn = 978-0-486-65840-7
 | orig-year = 1975
 }}
* {{citation
 | author = C. Møller
 | title = The Theory of Relativity
 | publisher=Oxford University Press
 | edition=3rd
 | year=1952
 | url=https://archive.org/details/theoryofrelativi029229mbp
 }}
* {{cite book
 | author1=Synge J.L.
 | author2=Schild A.
 | title=Tensor Calculus
 | publisher=first Dover Publications 1978 edition
 | year=1949
 | isbn=978-0-486-63612-2
 | url-access=registration |url=https://archive.org/details/tensorcalculus00syng
 }}
* {{citation
 | author=J.R. Tyldesley
 | title = An introduction to Tensor Analysis: For Engineers and Applied Scientists
 | publisher=Longman
 | year=1975
 | isbn=0-582-44355-5
 }}
* {{citation
 | author=D.C. Kay
 | title = Tensor Calculus
 | publisher=Schaum's Outlines, McGraw Hill (USA)
 | year=1988
 | isbn=0-07-033484-6
 }}
* {{citation
 | author=T. Frankel
 | title = The Geometry of Physics
 | publisher=Cambridge University Press
 | edition=3rd
 |year=2012
 |isbn=978-1107-602601
 }}

{{tensors}}

[[Category:Calculus]]
[[Category:Differential geometry]]
[[Category:Tensors]]

{{Sourceattribution|Ricci calculus}}