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.
Il Teorema <strong>di</strong> Shannon sulla Co<strong>di</strong>fica <strong>di</strong> Canale 61<br />
Osserviamo che ∑ ( ( )) , può intendersi come il valore<br />
assunto da una variabile aleatoria reale . Nel derivare il bound <strong>di</strong> Gallager avevamo<br />
supposto se adesso lo limitiamo all’intervallo , è una funzione concava<br />
<strong>di</strong> (concavità rivolta verso il basso), quin<strong>di</strong> possiamo applicare la <strong>di</strong>suguaglianza <strong>di</strong><br />
Jensen (ve<strong>di</strong> § precedente) che garantisce che il valor me<strong>di</strong>o <strong>di</strong> una funzione concava <strong>di</strong><br />
una V.A. è non maggiore del valore che detta funzione assume in corrispondenza al<br />
valor me<strong>di</strong>o della V.A..<br />
Sulla base <strong>di</strong> quanto appena detto possiamo maggiorare il contenuto delle parentesi<br />
graffe della precedente come segue:<br />
∑ ∑ ∑ ∑ ∏ ( ) [ ∑ ( ( )) ] ( )<br />
[ ∑ ∑ ∑ ∑ ∏ ( ) ∑ ( ( )) ]<br />
[ ∑ ∑ ∑ ∑ ∑ ∏ ( ) ( ( )) ]<br />
(6.3.5)<br />
[ ∑ ∑ ( ) ( ( )) ]<br />
[( ) ∑ ( ) ( ( )) ]<br />
L’ultimo membro della precedente ci consente <strong>di</strong> maggiorare ulteriormente la<br />
ottenendo:<br />
S<br />
∫ ∑ ( ) ( ( )) [( ) ∑ ( )( ( )) ]<br />
( ) ∫ [∑ ( )( ( )) ]<br />
S<br />
(6.3.6)<br />
S<br />
∫ [∑ ( )( ( )) ]<br />
Ulteriori elaborazioni della precedente si possono ottenere osservando che il<br />
contenuto delle parentesi quadre all’ultimo membro <strong>di</strong> essa può intendersi come il valor<br />
me<strong>di</strong>o della ( ( )) pensata come funzione della V.A. multi<strong>di</strong>mensionale . Ciò<br />
premesso, se introduciamo l’ipotesi ( ) ∏ ( ), cioè che il canale, se<br />
utilizzato in tempi <strong>di</strong>versi per inviare le componenti del segnale , sia privo <strong>di</strong><br />
memoria, ovvero che per inviarle si utilizzino contemporaneamente canali identici