# Verification of Covariant Derivative Identities The verification of these identities confirms three core operational aspects of the covariant derivative: first, the $$\nabla\_a$$ operator rigorously obeys the Leibniz Product Rule for all tensor products, as shown in identity (a). Second, identity (b) demonstrates that when the derivative is applied to a scalar quantity (where all indices are contracted, like $$v^b w\_b$$ ), the simple partial derivative ( $$\partial\_a$$ ) becomes equivalent to the covariant derivative ( $$\nabla\_a$$ ) because the Christoffel symbol corrections naturally cancel out. Finally, identity (c) verifies the principle of Metric Compatibility ( $$\nabla\_a g^{a b}=0$$ ), proving that the divergence of a contravariant vector ( $$\nabla\_a v^a$$ ) is equal to the divergence of its dual form ( $$g^{a b} \nabla\_a v\_b$$ ), confirming that the metric tensor is parallel transported and can be used to raise or lower indices before or after differentiation without affecting the result. {% embed url="" %} {% embed url="" %}