出典(authority):フリー百科事典『ウィキペディア(Wikipedia)』「2016/02/23 02:19:34」(JST)
In mathematics and mathematical physics, raising and lowering indices are operations on tensors which change their type. Raising and lowering indices are a form of index manipulation in tensor expressions.
Given a tensor field on a manifold M, in the presence of a nonsingular form on M (such as a Riemannian metric or Minkowski metric), one can raise or lower indices to change a type (a, b) tensor to a (a + 1, b − 1) tensor (raise index) or to a (a − 1, b + 1) tensor (lower index), where the notation (a, b) has been used to denote the tensor order a + b with a upper indices and b lower indices.
One does this by multiplying by the covariant or contravariant metric tensor and then contracting indices, meaning two indices are set equal and then summing over the repeated indices (applying Einstein notation). See examples below.
Multiplying by the contravariant metric tensor and contracting produces another tensor with an upper index:
The same base symbol is typically used to denote this new tensor, and repositioning the index is typically understood in this context to refer this new tensor, and is called raising the index, which would be written
Similarly, multiplying by the covariant metric tensor and contracting lowers an index (with the same understanding about the reuse of the base symbol):
The form gij need not be nonsingular to lower an index, but to get the inverse (and thus raise an index) it must be nonsingular.
Raising and then lowering the same index (or conversely) are inverse operations, which is reflected in the covariant and contravariant metric tensors being inverse to each other:
where δik is the Kronecker delta or identity matrix. Since there are different choices of metric with different metric signatures (signs along the diagonal elements, i.e. tensor components with equal indices), the name and signature is usually indicated to prevent confusion. Different authors use different metrics and signatures for different reasons.
Mnemonically (though incorrectly), one could think of indices "cancelling" between a metric and another tensor, and the metric stepping up or down the index. In the above examples, such "cancellations" and "steps" are like
Again, while a helpful guide, this is only mnemonical and not a property of tensors since the indices do not cancel like in equations, it is only a concept of the notation. The results are continued below, for higher order tensors (i.e. more indices).
When raising indices of quantities in spacetime, it helps to decompose summations into "timelike components" (where indices are zero) and "spacelike components" (where indices are 1, 2, 3, represented conventionally by Latin indices).
The covariant 4-position is given by
in components:
(where xj are the usual Cartesian coordinates) and the Minkowski metric tensor with signature (-+++) is defined as
in components:
To raise the index, multiply by the tensor and contract:
then for λ = 0:
and for λ = j = 1, 2, 3:
So the index-raised contravariant 4-position is:
For an order-2 tensor,[1] twice multiplying by the contravariant metric tensor and contracting in different indices raises each index:
and twice multiplying by the covariant metric tensor and contracting in different indices lowers each index:
The contravariant electromagnetic tensor in the (+−−−) signature is given by[2]
in components:
To obtain the covariant tensor Fαβ, multiply by the metric tensor and contract:
and since F00 = 0 and F0i = − Fi0, this reduces to
Now for α = 0, β = k = 1, 2, 3:
and by antisymmetry, for α = k = 1, 2, 3, β = 0:
then finally for α = k = 1, 2, 3, β = ℓ = 1, 2, 3;
The (covariant) lower indexed tensor is then:
When a vector space is equipped with an inner product (or metric as it is often called in this context), there exist operations that convert a contravariant (upper) index into a covariant (lower) index and vice versa. A metric itself is a (symmetric) (0,2)-tensor, it is thus possible to contract an upper index of a tensor with one of lower indices of the metric. This produces a new tensor with the same index structure as the previous, but with lower index in the position of the contracted upper index. This operation is quite graphically known as lowering an index. Conversely, a metric has an inverse which is a (2,0)-tensor. This inverse metric can be contracted with a lower index to produce an upper index. This operation is called raising an index.
For a tensor of order-n, indices are raised by:[1]
and lowered by:
and for a mixed tensor:
|
全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.
リンク元 | 「drop」「decrease」「reduction」「lower」「decline」 |
拡張検索 | 「lowering intraocular pressure」「glucose-lowering」「flowering hormone」 |
.