第七讲尺度空间.ppt

7.4.4 伸缩不变性公理和仿射不变性公理 定义11：称尺度空间是伸缩不变的（scale invariant），如果存在一个重整尺度函数t′(t,l) ，并定义对于所有的l﹥0,t≥0满足 HlTt′,s′ = Tt,sHl * 其中，把 t′(t,l), s′(s,l)简记为t′,s′。同时， t′(t,l)在l=1处对l是可微的，并且 是连续的、正的。 事实上，由*可以推出 HlTt′ = TtHl 用lx表示对坐标的一个缩放，Hlu表现图像u的一个缩放。 定义仿射不变性：仿射变换B的定义，Bx是一个2维的点。定义Bu为 Bu(x) = u(B-1x) 或 Bu(Bx) = u(x) 任意一个仿射变换都可以分解为一个矩阵乘法和一个平移，即 Bx = Bx + y 定义12：称缩放不变的尺度空间是仿射不变的（affine invariant），如果在重整尺度t′(t,B)，并且对所有的t0和所有满秩的仿射变换B满足 BTt′,s′ = Tt,sB, ?B，s﹥t﹥0 其中记t′= t′(t,B), s′= s′(t,B) 。 定理6：（尺度的规范化） （i）假设映射t→Tt是一一映射并且是缩放不变的，Tt是作用在图像空间上的算子族，且满足T0=id，则存在一递增可微的重整尺度函数s:[0, ∞)→[0, ∞) ，满足 t′(t, l) = s -1 ( s(t) l) 并且 t′(t,l) = tl。 （ii）假设算子族Tt是仿射不变的，则函数t′(t,B) 仅与t和|detB|有关，即 t′(t,B) = t′(t, |detB|1/N) 它对于自变量t是递增的。而且，存在一递增可微的重 整尺度函数s:[0, ∞)→[0, ∞)满足 t′(t, l) = s -1( s(t) |detB|1/N ) 如果设 St = Ts-1(t) 有 t′(t,B) = t′(t, |detB|1/N) 下面给出二维对比不变尺度空间的特殊情况作为‘曲率驱动方程’。并证明如果二维尺度空间{Tt}t∈R+通过等距和对比不变性变化是因果的和不变的，那么它服从方程 ?u∕?t = | Du | G( curv(u), t ) ，如果对{Tt}t∈R+再加强条件：仿射不变性和反对比不变性，即Tt(-u)=-Tt(u)，则产生一个简单方程（AMSS） ?u∕?t = curv(u)1/3 | Du | 这个结果可以推广到任意维，只考虑二维。 由定理1，考虑由下面的偏微分方程定义的空间模型 ?u∕?t = F( D2u, Du, u, x, t ) u(0) = u0 这里，u0是要分析的图像，u(t,x)是在尺度t时的要分析的图像。F(A,p,c,x,t)依赖一个2×2的矩阵A，一个二维向量p，一个常数c，平面上的一个点x和一个正实数尺度t，如果假设 （1）平移不变性，则F不依赖x（定理3） （2）灰度平移不变性，则F不依赖c（定理2） （3）各向同性，即欧氏不变性假设，对F加以限制 （定理4） （4）对比不变性（定理5） 考虑二维的情况，记p = (p1,p2)，那么 由定理2、3由F的简化形式，依赖两个实参数 ?1,1(A,p), ? 1,2(A,p)可通过旋转矩阵来定义 此时，Rp被转化成单位向量e1 = (1,0)T，即 Rpp = | p | e1 设置 设 p⊥ = ( -p2,p1 ) ，则p⊥与p正交，容易得到 定理7：如果F(A,p,t)满足 F( RART,Rp,t ) = F(A