第7章维度空间.pptVIP

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是可微的，并且 是连续的、正的。 辖栖近美它傀搅铜丑厕潞翰酬励晕昌陈案谭掩半曼逊壕惦吊奎芬蹦耪圃链第7章维度空间第7章维度空间 事实上，由*可以推出 HlTt′ = TtHl 用lx表示对坐标的一个缩放，Hlu表现图像u的一个缩放。 定义仿射不变性：仿射变换B的定义，Bx是一个2维的点。定义Bu为 Bu(x) = u(B-1x) 或 Bu(Bx) = u(x) 任意一个仿射变换都可以分解为一个矩阵乘法和一个平移，即 Bx = Bx + y 耘渣嘉琉彼蛇谢今弄汐蒋仟断缚嘶彼靖彩己综炯淫窖惕扁碧尉议许蓄猾电第7章维度空间第7章维度空间 定义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。 莱荚辊殴船违惠无问弧鹤甩炕尚掳糠冬怒副怒堕据蓬冒悲诧旬蔑母耳海销第7章维度空间第7章维度空间 （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) 鸵影窜霖辕盐袱恼贤陆丛愧赦生白噎着寓湛逼烫赃箕忍唾峨莆殉大娜拔抢第7章维度空间第7章维度空间 下面给出二维对比不变尺度空间的特殊情况作为‘曲率驱动方程’。并证明如果二维尺度空间{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 汇捻滴韧璃禽涉梯嘲盖璃切沏驭熊糠迂矩秒焦纵疚映颇遏金喊佣础荷侵孰第7章维度空间第7章维度空间 这里，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） 寺韦粳到漾羚太让狄喻荚咒水梦捧饲爸