Physlib

Physlib.Relativity.Tensors.MetricTensor

8 declarations

definition

Metric tensor associated with a color

#metricTensor

The metric tensor associated with a color \( c \). It is a tensor of shape \( (c, c) \).

theorem

gc=gc1g_c = g_{c_1} for equal colors c=c1c = c_1

#metricTensor_congr

Let SS be a tensor species and let gcg_c denote the metric tensor associated with a color cc. For any colors cc and c1c_1 such that c=c1c = c_1, the metric tensor gcg_c is equal to the metric tensor gc1g_{c_1} subject to the identity permutation permid\text{perm}_{\text{id}} (which accounts for the change in index types).

theorem

The metric tensor is invariant under the group action: gS.gc=S.gcg \cdot S.g_c = S.g_c

#metricTensor_invariant

For any color cCc \in C and any element gg of the group GG, the metric tensor associated with cc in the tensor species SS is invariant under the action of gg. That is, gmetricTensor(c)=metricTensor(c)g \cdot \text{metricTensor}(c) = \text{metricTensor}(c).

theorem

Permuted contraction of gcg_c and gτ(c)g_{\tau(c)} equals 1c\mathbb{1}_c

#permT_fromPairTContr_metric_metric

For any color cc in a tensor species SS with color set CC and duality map τ\tau, let gcg_c and gτ(c)g_{\tau(c)} be the metric tensors associated with cc and its dual τ(c)\tau(c), respectively. Then, applying a permutation that swaps the two indices (0 and 1) to the tensor formed by the contraction of the pair (gc,gτ(c))(g_c, g_{\tau(c)}) results in the unit tensor 1c\mathbb{1}_c of shape (τ(c),c)(\tau(c), c).

theorem

Contraction of gcg_c and gτ(c)g_{\tau(c)} equals permuted 1c\mathbb{1}_c

#fromPairTContr_metric_metric_eq_permT_unit

For any color cc in a tensor species SS with duality map τ\tau, let gcg_c and gτ(c)g_{\tau(c)} be the metric tensors associated with cc and its dual τ(c)\tau(c), respectively. The contraction of the pair of tensors (gc,gτ(c))(g_c, g_{\tau(c)}) is equal to the unit tensor 1c\mathbb{1}_c after its indices 0 and 1 have been permuted.

theorem

Contraction of gcgτ(c)g_c \otimes g_{\tau(c)} equals permuted 1c\mathbb{1}_c

#contrT_metricTensor_metricTensor

For any color cc in a tensor species SS with duality map τ\tau, let gcg_c and gτ(c)g_{\tau(c)} be the metric tensors associated with cc and its dual τ(c)\tau(c), respectively. The contraction of the tensor product gcgτ(c)g_c \otimes g_{\tau(c)} over the second index of gcg_c and the first index of gτ(c)g_{\tau(c)} is equal to the unit tensor 1c\mathbb{1}_c after its indices 0 and 1 have been permuted.

theorem

Contraction of gcgτ(c)g_c \otimes g_{\tau(c)} equals 1τ(c)\mathbb{1}_{\tau(c)}

#contrT_metricTensor_metricTensor_eq_dual_unit

For any color cc in a tensor species SS with duality map τ\tau, let gcg_c and gτ(c)g_{\tau(c)} be the metric tensors associated with cc and its dual τ(c)\tau(c), respectively. The contraction of the tensor product gcgτ(c)g_c \otimes g_{\tau(c)} over the second index of gcg_c and the first index of gτ(c)g_{\tau(c)} is equal to the unit tensor associated with the dual color τ(c)\tau(c), denoted 1τ(c)\mathbb{1}_{\tau(c)}.

theorem

Contraction of gτ(c)gcg_{\tau(c)} \otimes g_c equals 1c\mathbb{1}_c

#contrT_dual_metricTensor_metricTensor

For any color cc in a tensor species SS with duality map τ\tau, let gτ(c)g_{\tau(c)} and gcg_c be the metric tensors associated with the dual color τ(c)\tau(c) and the color cc, respectively. The contraction of the tensor product gτ(c)gcg_{\tau(c)} \otimes g_c over the second index of gτ(c)g_{\tau(c)} and the first index of gcg_c is equal to the unit tensor 1c\mathbb{1}_c (subject to the identity permutation of indices).