Formalmente, la transformada de coseno discreta es una función lineal invertible formula_4, (donde formula_5 denota el conjunto de los números reales), o en forma equivalente a una matriz cuadrada de formula_3.