The total variation distance between probability measures
and
on the same measurable space is
, where the supremum
is over measurable sets. It equals half the total
variation of the signed measure
on the whole space.
For probability mass functions
and
on a countable set, it is
The distance lies between 0 and 1. It is zero precisely when the distributions agree and is 1 when they have disjoint supports. The trace distance of diagonal density matrices reduces to this classical distance.