The components of a type ( 0,2 ) tensor, $T_{a b}$, are defined by how they transform under a change of coordinates. The proof demonstrates that if the expression $T_{a b} v^a w^b$ is a scalar (meaning it remains unchanged during a coordinate transformation), then the components $T_{a b}$ must transform in a specific way. This transformation rule, derived from the invariance of the scalar and the known transformation laws for vectors, is the defining characteristic of a type ( 0,2 ) tensor. Essentially, the behavior of the whole (the scalar product) dictates the behavior of the parts ( $T_{a b}$ ), proving that $T_{a b}$ are indeed the components of such a tensor.
<aside> 🧄
$\complement\cdots$Counselor
</aside>
A tensor is a mathematical object that transforms according to specific rules under a change of coordinates. The type of a tensor is determined by how it transforms. A type (0,2) tensor, specifically, is a tensor with two lower indices.
The proof hinges on the fact that the scalar quantity $T_{a b} v^a w^b$ is invariant. By substituting the known transformation rules for the vectors $v^a$ and $w^b$ into the invariance equation and rearranging, we can derive the transformation rule for $T_{a b}$. This derivation shows that the components $T_{a b}$ transform using the inverse Jacobian for each index, which is the defining characteristic of a type (0,2) tensor.
‣
<aside> 🧄
</aside>