Entropy of a finite measurable partition
= Entropy of a finite measurable partition
{title2=$H_\mu(\xi)$}
For a finite measurable partition $\xi$, its entropy is
$$
H_\mu(\xi)=-\sum_{A\in\xi}\mu(A)\log\mu(A),
$$
with $0\log0=0$.
= Entropy of a finite measurable partition
{title2=$H_\mu(\xi)$}
For a finite measurable partition $\xi$, its entropy is
$$
H_\mu(\xi)=-\sum_{A\in\xi}\mu(A)\log\mu(A),
$$
with $0\log0=0$.