n::::有限空间的匹配追踪.当信号存在的空间formula_55具有有限的维度formula_112时，匹配追踪方法会有特殊的特性。在字典formula_4中，可能含有无限多的元素，假设此字典具有完备性，此时可以用一种有效率的匹配追踪方法，剩余向量的范数(norm)会以指数方式下降。当字典含有非常多冗余的元素时，要寻找和剩余向量最匹配的向量，通常可以只限制在一个子字典formula_114中寻找，假设formula_115是一个包含于formula_116的有限索引集，使得对于所有信号formula