压缩感知里的信号稀疏化

压缩感知的应用前提是信号的稀疏化 请问这种稀疏化是要从理论上证明的么