Para una fuente estocástica X y una medida de distorsión no negativa d(x,\hat{x}) con distorsión media permitida D, el Teorema Tasa‑Distorsión identifica el número mínimo asintótico medio de bits por símbolo necesario para codificar X de modo que la distorsión esperada ≤D. La función tasa‑distorsión es R(D)=inf_{p(\hat{x}|x): E[d(X,\hat{X})]≤D} I(X;\hat{X}), y cualquier tasa R>R(D) es asintóticamente alcanzable con códigos por bloques, mientras que R

Principio

El límite operativo para compresión con pérdida es la información mutua mínima entre fuente y reconstrucción bajo la restricción de distorsión; no es posible alcanzar una distorsión media D con una tasa inferior a esa cota de información mutua.

Demostración

Escenario ilustrativo: fuente discreta sin memoria X con distorsión de Hamming codificada en bloques de longitud n. Eligiendo una ley condicional p(\hat{x}|x) óptima, para todo R>R(D) existen, para n grande, codificadores/decodificadores que mapean X^n a ≈2^{nR} índices y producen \hat{X}^n con distorsión media ≤D; intentar R

Aplicación incorrecta

Tratar R(D) como una tasa exacta para bloques finitos o como la especificación de un codificador sencillo: R(D) es una cota asintótica y no garantiza un código práctico de baja complejidad o latencia. Confundir además R(D) con la capacidad de canal es un error frecuente.

Consecuencia

R(D) proporciona la curva fundamental de compromiso usada para evaluar y diseñar sistemas de compresión con pérdida: fija una cota inferior no mejorable de las tasas alcanzables para una distorsión media dada, bajo las hipótesis del modelo.

Inversión

La forma del teorema cambia si varían las hipótesis: con información auxiliar en el codificador/decodificador (Wyner–Ziv), fuentes no estacionarias, entornos one‑shot o restricciones de complejidad/latencia, el R(D) asintótico puede no caracterizar el rendimiento práctico y se aplican otras cotas.

Límite

Dentro del alcance: fuentes i.i.d. o ergódicas, criterio de distorsión promedio, longitudes de bloque asintóticas. Caso límite: fuentes con memoria larga donde la expresión de una sola letra puede fallar sin ergodicidad. Fuera del alcance: garantías one‑shot, tasas mínimas exactas para n finito y compresión con pérdida sujeta a restricciones estructurales no modeladas por p(\hat{x}|x).

Tensión semántica

Precisión tasa‑distorsión frente a factibilidad: minimizar la información mutua puede exigir codificadores con alta latencia o complejidad, imponiendo un compromiso entre optimalidad y practicidad.

Síntesis

R(D) convierte una restricción de distorsión en una cota informacional: es el objetivo asintótico que deben alcanzar los esquemas de compresión con pérdida dentro del modelo, mientras que las implementaciones consideran bloque, complejidad e información auxiliar.