Kontrakterade Bianchi-identiteter

I allmän relativitetsteori och tensorkalkyl är de kontrakterade Bianchi-identiteterna :

där är Ricci-tensorn , den skalära krökningen och indikerar kovariansdifferentiering .

Dessa identiteter är uppkallade efter Luigi Bianchi , även om de redan hade härletts av Aurel Voss 1880. I Einsteins fältekvationer säkerställer den kontrakterade Bianchi-identiteten överensstämmelse med den försvinnande divergensen av materiens stress-energitensor .

Bevis

Börja med Bianchi-identiteten

Dra ihop båda sidorna av ovanstående ekvation med ett par metriska tensorer :

Den första terminen till vänster kontrakterar att ge en Ricci-skalär, medan den tredje terminskontrakten ger en blandad Ricci-tensor,

De två sista termerna är desamma (ändrar dummyindex n till m ) och kan kombineras till en enda term som ska flyttas till höger,

vilket är samma som

Byte av indexetiketter l och m ger

Se även

Anteckningar