Un cuadrivector se define como un sistema de cuatro cantidades formula_3 que se transforman como t, x, y, y z cuando se pasa a un sistema de coordenadas