Mixed tensor

Tensor having both covariant and contravariant indices


title: "Mixed tensor" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["tensors"] description: "Tensor having both covariant and contravariant indices" topic_path: "general/tensors" source: "https://en.wikipedia.org/wiki/Mixed_tensor" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

::summary Tensor having both covariant and contravariant indices ::

In tensor analysis, a mixed tensor is a tensor which is neither strictly covariant nor strictly contravariant; at least one of the indices of a mixed tensor will be a subscript (covariant) and at least one of the indices will be a superscript (contravariant).

A mixed tensor of type or valence \binom{M}{N}, also written "type (M, N)", with both M 0 and N 0, is a tensor which has M contravariant indices and N covariant indices. Such a tensor can be defined as a linear function which maps an (M + N)-tuple of M one-forms and N vectors to a scalar.

Changing the tensor type

Main article: Raising and lowering indices

Consider the following octet of related tensors: T_{\alpha \beta \gamma}, \ T_{\alpha \beta} {}^\gamma, \ T_\alpha {}^\beta {}\gamma,
T
\alpha {}^{\beta \gamma}, \ T^\alpha {}{\beta \gamma}, \ T^\alpha {}\beta {}^\gamma,
T^{\alpha \beta} {}_\gamma, \ T^{\alpha \beta \gamma} . The first one is covariant, the last one contravariant, and the remaining ones mixed. Notationally, these tensors differ from each other by the covariance/contravariance of their indices. A given contravariant index of a tensor can be lowered using the metric tensor g**μν, and a given covariant index can be raised using the inverse metric tensor g**μν. Thus, g**μν could be called the index lowering operator and g**μν the index raising operator.

Generally, the covariant metric tensor, contracted with a tensor of type (M, N), yields a tensor of type (M − 1, N + 1), whereas its contravariant inverse, contracted with a tensor of type (M, N), yields a tensor of type (M + 1, N − 1).

Examples

As an example, a mixed tensor of type (1, 2) can be obtained by raising an index of a covariant tensor of type (0, 3), T_{\alpha \beta} {}^\lambda = T_{\alpha \beta \gamma} , g^{\gamma \lambda} , where T_{\alpha \beta} {}^\lambda is the same tensor as T_{\alpha \beta} {}^\gamma , because T_{\alpha \beta} {}^\lambda , \delta_\lambda {}^\gamma = T_{\alpha \beta} {}^\gamma, with Kronecker δ acting here like an identity matrix.

Likewise, T_\alpha {}^\lambda {}\gamma = T{\alpha \beta \gamma} , g^{\beta \lambda}, T_\alpha {}^{\lambda \epsilon} = T_{\alpha \beta \gamma} , g^{\beta \lambda} , g^{\gamma \epsilon}, T^{\alpha \beta} {}\gamma = g{\gamma \lambda} , T^{\alpha \beta \lambda}, T^\alpha {}{\lambda \epsilon} = g{\lambda \beta} , g_{\epsilon \gamma} , T^{\alpha \beta \gamma}.

Raising an index of the metric tensor is equivalent to contracting it with its inverse, yielding the Kronecker delta, g^{\mu \lambda} , g_{\lambda \nu} = g^\mu {}\nu = \delta^\mu {}\nu , so any mixed version of the metric tensor will be equal to the Kronecker delta, which will also be mixed.

References

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::

tensors