54令formula_55代表一个希尔伯特空间，则将「字典」定义为formula_55中的一个向量群formula_57，满足formula_58，其中formula_33是集合formula_34中的元素。formula_61代表字典向量的封闭线性生成空间(closed linear span)，在空间formula_61中，集合formula_4之向量的有限线性展开(finite linear expansion)是稠密(dense)的，如果formula_64，则称此字典具有完备性(complet