Physlib.Relativity.Tensors.MetricTensor
8 declarations
Metric tensor associated with a color
#metricTensorThe metric tensor associated with a color \( c \). It is a tensor of shape \( (c, c) \).
for equal colors
#metricTensor_congrLet be a tensor species and let denote the metric tensor associated with a color . For any colors and such that , the metric tensor is equal to the metric tensor subject to the identity permutation (which accounts for the change in index types).
The metric tensor is invariant under the group action:
#metricTensor_invariantFor any color and any element of the group , the metric tensor associated with in the tensor species is invariant under the action of . That is, .
Permuted contraction of and equals
#permT_fromPairTContr_metric_metricFor any color in a tensor species with color set and duality map , let and be the metric tensors associated with and its dual , respectively. Then, applying a permutation that swaps the two indices (0 and 1) to the tensor formed by the contraction of the pair results in the unit tensor of shape .
Contraction of and equals permuted
#fromPairTContr_metric_metric_eq_permT_unitFor any color in a tensor species with duality map , let and be the metric tensors associated with and its dual , respectively. The contraction of the pair of tensors is equal to the unit tensor after its indices 0 and 1 have been permuted.
Contraction of equals permuted
#contrT_metricTensor_metricTensorFor any color in a tensor species with duality map , let and be the metric tensors associated with and its dual , respectively. The contraction of the tensor product over the second index of and the first index of is equal to the unit tensor after its indices 0 and 1 have been permuted.
Contraction of equals
#contrT_metricTensor_metricTensor_eq_dual_unitFor any color in a tensor species with duality map , let and be the metric tensors associated with and its dual , respectively. The contraction of the tensor product over the second index of and the first index of is equal to the unit tensor associated with the dual color , denoted .
Contraction of equals
#contrT_dual_metricTensor_metricTensorFor any color in a tensor species with duality map , let and be the metric tensors associated with the dual color and the color , respectively. The contraction of the tensor product over the second index of and the first index of is equal to the unit tensor (subject to the identity permutation of indices).
