The quotient theorem for Cartesian tensors here says: if contracting with every vector gives the components of a vector in every right-handed orthonormal basis, then obeys the second-order tensor transformation law. Conversely that transformation law guarantees the contraction is a vector. One may equivalently test that is a scalar for every pair of vectors .
By part (a), and . The contraction property in the new basis saysSince this holds for every test vector, . Using givesFor the converse, , exactly the vector law. For the equivalent scalar formulation, invariance of for every gives , forcing the same matrix identity.
The quantifier “every” matters: an arbitrary nonzero matrix can annihilate one fixed vector, so a single successful contraction cannot establish tensoriality. The stated bases test proper rotations; transformation under orthogonal reflections would require an additional hypothesis if that were wanted. “Second-order” counts tensor indices, rather than the matrix rank of a particular component matrix.
Articles by others on the same topic
There are currently no matching articles.