Appunti di Teoria dell'Informazione e Codici - Università di Palermo
Appunti di Teoria dell'Informazione e Codici - Università di Palermo
Appunti di Teoria dell'Informazione e Codici - Università di Palermo
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
60 Capitolo - 6 - <strong>Appunti</strong> <strong>di</strong> <strong>Teoria</strong> dell’Informazione e Co<strong>di</strong>ci<br />
All’ultimo membro della precedente potremo applicare la (6.2.2) ottenendo:<br />
∑ ( ) ∑ ( ( )) ( ) (∑ )<br />
(∑ ∑<br />
∑<br />
) (∑ ) ( )<br />
(6.2.8)<br />
ovviamente la (6.2.5) <strong>di</strong>venta<br />
∑ ( ) (∑( )) (6.2.9)<br />
se la ( ) anziché essere concava è convessa.<br />
6.3 - Il Teorema <strong>di</strong> Shannon sulla Co<strong>di</strong>fica <strong>di</strong> Canale.<br />
Consideriamo la probabilità d’errore con<strong>di</strong>zionata all’emissione dell’ -esimo<br />
segnale <strong>di</strong> una data -upla, essa è in realtà una funzione della -upla nel suo complesso,<br />
in quanto il cambiamento anche <strong>di</strong> un solo segnale nella -upla può comportare la<br />
mo<strong>di</strong>fica della regione <strong>di</strong> decisione associata ad , per sottolineare ciò, porremo in<br />
quel che segue ( ).<br />
Dovendo calcolare la me<strong>di</strong>a sopra citata, e tenuto conto delle considerazioni fatte<br />
in merito, possiamo scegliere ad arbitrio una <strong>di</strong>stribuzione <strong>di</strong> massa <strong>di</strong> probabilità<br />
( ) per le -uple <strong>di</strong> possibili segnali. Per semplicità supponiamo<br />
che<br />
( ) ∏ ( ) (6.3.1)<br />
e che tutte le d.m.p. marginali che compaiono nella produttoria siano identiche.<br />
Avremo quin<strong>di</strong>:<br />
∑ ∑ ∑ ∏ ( ) ( ) (6.3.2)<br />
utilizzando il bound <strong>di</strong> Gallager otteniamo:<br />
∑ ∑ ∑ ∏ ( ) ∫ [ ∑ ( ( )) ] ( ) (6.3.3)<br />
S<br />
che può essere riscritta sfruttando il teorema della me<strong>di</strong>a (portando cioè la me<strong>di</strong>a<br />
all’interno dell’integrale) come segue:<br />
S<br />
∫ ∑ ( ) ( ) {∑ ∑ ∑ ∑ ∏ ( ) [ ∑ ( ( [ ] )) ] }<br />
(6.3.4)