Tappaminen yhtälö on perusyhtälöä tyydytetty Killing vektori .
Se toteaa, että vektori kenttä määritellään käyttäjää Riemannin jakotukin on tappaminen vektori , jos Lie johdannainen on Riemannin metriikka on nolla:
.Tietyn koordinaattijärjestelmän komponenttien suhteen tämä yhtälö kirjoitetaan:
,missä D edustaa kovariittista johdannaista, joka on yhteensopiva metriikan kanssa .
Tämä yhtälö voidaan kirjoittaa uudestaan käyttämällä symmetroitua muotoa:
.Se voidaan sitten pidentää tensorin on mielivaltaisessa järjestyksessä, nimeltään tensor tappaminen .