A Source
where all
is called a Discrete Memoryless Source.
Sometimes it is also called a Bernoulli Source.
Theorem
A DMS
with entropy equal to Mathematical Entropy
Proof
Let
and
Then:
Set
and use Weak Law of Large Numbers for
to find:
Hence
with entropy