Entonces la teoría es invariante bajo el grupo de Poincaré si para cada rayo Ψ del espacio de Hilbert y cada elemento ("a", "L") del grupo se da un rayo Ψ("a", "L") transformado, y la (amplitud de) probabilidad de transición queda sin cambios por la transformación: