SLIDE 30 Typical Sequences and a Lossless Source Coding Theorem Weakly Typical Sequences and Sources with Memory Summary
The Two Notions of Entropy Rate
In Definition 2, we have defined two notions of entropy rate: H and H. In Exercise 2, we see that the two notions are not equivalent in general. Note: Let an := 1
nH (X1, . . . , Xn) and bn := H
( Xn|Xn−1) : an = 1
n
∑n
k=1 bk due to chain rule.
H ({Xi}) = limn→∞ an and H ({Xi}) = limn→∞ bn. The following lemma from Calculus sheds some light on the relationship between these two notions. Lemma 2 (Cesàro Mean) lim
n→∞ bn = c =
⇒ lim
n→∞ an = c, where an := 1 n
∑n
k=1 bk.
The reverse direction is not true in general. As a corollary, if H exists, so does H and H = H.
30 / 34 I-Hsiang Wang NIT Lecture 3