小波变换及稀疏表述初步-梅树立.pptx

小波变换及稀疏表示初步;三维空间属于线性空间 大多数的信号如图像等，无法在线性空间描述 线性向量空间和泛函空间 典型的泛函空间：距离空间，Banah空间，内积空间，Hilbert空间。 构成线性空间的元素是向量（N维），构成泛函空间的基本元素是函数（基函数）。因此，泛函简称为“函数的函数”;2015-5-5;2015-5-5;2015-5-5;V0: 在整数区间内为常数的所有平方可积函数构成的空间，可表示为以下形式：;V1: 在半整数区间内为常数的所有平方可积函数构成的空间，可表示为以下形式：;V2: 在1/4整数区间内为常数的所有平方可积函数构成的空间，可表示为以下形式：;V0;Vj: 在1/2j整数区间内为常数的所有平方可积函数构成的空间，可表示为以下形式：;2015-5-5;2015-5-5;2015-5-5;2015-5-5;2015-5-5;2015-5-5;2015-5-5;2015-5-5;2015-5-5;2015-5-5;2015-5-5;2015-5-5;2015-5-5;2015-5-5;2015-5-5;2015-5-5;完备的线性赋范空间称为Banach空间 由于没有定义内积概念，只能用线性泛函代替内积。如插值算子，Laplace算子（微分算子）等。（算子是泛函的一种）。坐标就是线性泛函。 完备的内积空间称为Hilbert空间。 数值逼近理论在Hilbert空间定义。;设X是n维实向量空间，对其中向量;正交的定义: (x,y)=0;Hilbert空间中的最佳逼近;设;定理：;根据定理推导逼近向量表达式;对应的矩阵形式为;举例;F=;39;40;Image Denoising Via Learned Dictionaries and Sparse representations By: Michael Elad;D?-y = - ;;欠定方程组的稀疏解;有关欠定方程组的两个等价特性;Z,X均为2-稀疏向量，且AX=AZ，但X~=Z;欠定方程组稀疏解的唯一性表达式;四个等价的唯一性表达式;(b) (a);Z,X均为2-稀疏向量，且AX=AZ，但X~=Z;2s-稀疏N维向量V的支撑区间为S=supp(v). 因此， AV=AsVs.注意到S=suppV涵盖了[N]所有的可能子集。;根据测量矩阵A得到的压缩信号：Y=AX，X∈CN，Y ∈Cm ;定理2 (s-稀N维疏信号的压缩测量矩阵的存在性);定理2;因此，As可逆且是一单射矩阵，符合定理1中的等价性质c,定理得证。;上述讨论告诉我们： Y=AX，测量矩阵A对N维s-稀疏信号进行压缩测量得到的压缩数据Y，当A满足一定条件时，可由Y唯一恢复原始信号X。 ;设N维向量x是s-稀疏向量，假设该向量??通过2s个离散Fourier变换系数： 观测。其中;欠定方程组的稀疏解