2.4 A hierarchy of transformations
标题中的关键字是“层级”,因此我们会先见识到多种变换,然后再去了解它们之间的层级关系。书中介绍了多种变换,每种变换都以“群(group)”的方式来定义。
- :the real general linear group on n dimensions(实数的、线性的、n*n、可逆)
- :projective linear group(书中将这是GL(n)的一个“商群”,个人理解就是除以一个实数的缩放因子)
- :projective transformations of the plane n =3(我们前面一直讨论的H)
- Affine group:最后一行是 (0,0,1) 的
- Euclidean group:左上角2*2矩阵是正交矩阵的 Affine group
- Oriented Euclidean group:左上角2*2矩阵行列式为1的Euclidean group
以上我们由一般到特殊感受了一下变换的层级关系,书中讲解的时候则是由特殊到一般进行。书中要我们注意的是:有一些变换并不能构成群!(小白可以百度一下群的定义)
这里的反例就是透视变换。群要求其上的运算满足封闭性,而多次透视变换后结果并不能由一次透视变换得到,而是变成了投影变换。这点需要注意。
- 不变量(Invariants)
这里书中提了一下一些变换可以从一些“不变量”的角度描述。例如“欧几里得变换”就是旋转和平移,而“相似”则是旋转平移和各向同性缩放。相较之下,欧几里得变换不会使图像缩放,所以两点之间的距离是不变的,距离则是欧几里得变换中的不变量。另外,角度则是这两种变换中共同的不变量。
2.4.1 Class I: Isometries
Isometry是 平面上的变换,这种变换保持了欧氏距离。这里这个单词就意为“等距”,但我觉的这样直译不是很好我就还是用这个单词来表示这样的变换。Isometry的形式如下:
取值为+1或者-1.① 时,Isometry是“保持方向的(orientation-preserving)”,并且是欧式变换(平移+旋转)。② 时,isometry不再是保持方向的,而是翻转方向的(反射变换diag(-1,1,1)就是一个例子)。
Isometry十分十分重要的原因是它可以描述刚体的运动,这对SLAM而言是十分关键的基础知识所以我会特别关注。上面的代数表达可以改的简洁一些:
矩阵里只有“1”是一个标量。 是2*2的旋转矩阵,并且是正交的()。 是平移向量(2维),就是二维的零向量。值得注意的特殊情况是:t是零向量时只有纯旋转,R是单位矩阵时只有纯平移。
关于自由度,我觉得大家能看出来这里其主要作用的只有三个量,因此自由度是3.关于这个自由度可以很直观地理解:我们在平面上摆弄一个东西(除了翻转之外)只能决定移动的下一个位置还有旋转多少度。
还需要提一句,欧式变换也会被成为“位移(displacement)”。
- 不变量
在Isometry变换之下不变量有三个:两点间长度、两直线间角度、面积。这个很直观也就不多加解释了。
- 群与方向
之前说过 取值为1时(R的行列式为1),isometry是保持方向的。保持方向的isometry可以构成群,而翻转方向的( 为-1)isometry不能构成群。这点区别在之后的相似和仿射变换中也存在。
2.4.2 Class II: Similarity transformations (similarity)
相似变化我们可以很快理解,因为它只是isometry的小小改进:相似变换是isometry与isotropic scaling的组合。简单来讲就是可以放大缩小的isometry变换。这一点点小改变是通过添加一个标量“s”完成的,其矩阵表示如下:
写成更简洁的形式:
相似变换的自由度大家应该都能想到是4,因为相较于isometry多加了一个缩放因子。计算这个矩阵和计算isometry一样只需要两个点(算上对应的点一共其实是四个点),原因是similarity和isometry自由度都小于等于4,而一个点就能提供两个等式,所以两个点就足够计算出四个参数了。
- 不变量
同样我们类比着isometry来学。因为添加了缩放,所以相似变换的不变量会少一点:长度和面积都不再是不变量了,只有角度不变。这点我觉得大家学过相似三角形肯定都懂(笑
我们可以无耻的强行再找出一点不变量:比如长度和面积虽然会变,但是它们的比例可以在相似中得到保持。
- Metric Structure
由于英语和专业知识水平所限我不是很清楚这个小标题是什么意思,直译的话就叫“度量结构”,但我觉得还是记一下英文名好了。书中说“Metric”这个术语会在第十章的重建部分经常提到,所以我们对于这个陌生的概念不用太焦虑。另外,书中说metric structure这个描述意味着这种结构被定义为相似的。我也没有很明白这短短的一个小节,所以对这部分知识我只能说:有缘再见吧~
2.4.3 Class III: Affine transformations (affinity)
仿射变换在相似的基础上更近一步:仿射变换是非奇异线性变换+平移。其矩阵表示如下:
写成块形式:
其中A是一个2*2的非奇异矩阵。大家应该能看出来仿射变换的自由度是6,因为放眼望去矩阵里就有六个未知数。为了避免一点误区得说明一下:这里不像原来说点和线的齐次坐标那样只是比例起作用实际自由度要减一,这里不能约!矩阵随便缩放会导致平移向量改变,那这个变化肯定就变了!所以请搞清楚仿射变换的dof是6.明白这点之后我们也自然知道计算这个矩阵只需要三个点(算上变换后的对应点一共六个)。
以上这种表示并不能帮助我们很好地理解仿射变换。为了理解其核心“A”,我们其实可以做一些分解进而明白小矩阵A其实是“旋转+各向异性缩放”:
其中R都表示相应角度的旋转矩阵。D是一个简单的对角矩阵:
至于这个变化怎么来的可以参考这本书的附录,一般情况我觉得这个不需要深究先记下就好了。根据上面这种分解,我们可以做出如下对A的解读(矩阵一般从右往左看):①旋转 φ ;②分别在x,y方向缩放λ1 λ2;③旋转回来(-φ);④再旋转θ。
前面说了A就是“旋转+各向异性缩放”,这里的“各向异性缩放”就是靠前三步来完成的!还是怕和我一样的小白犯一些低级错误,再说一下我个人对各向异性缩放的理解:
- 它缩放之前会旋转(虽然之后会转回来但是在转回来之前进行了xy方向不同比例的缩放,所以会有很大影响)
- 它缩放的时候xy方向缩放程度可以不同
这两个骚操作结合起来就产生了各向异性缩放,导致图像变形,而不像相似变换那样形状不变只是整体的放大或者缩小。
- 不变量
已经解释过由于各向异性缩放,仿射变换不会像相似那样能保持形状不变。个人认为标志性的直观解释就是:一条很长的水平直线可以变成很短的斜着的直线。所以不变量肯定更少了....但是仍然可以强行找出来一些还是不变的东西:
- 平行线(大家都是xy方向同步缩放的,转的角度也一样,平行的线怎么搞也不会相交)
- 平行线的长度比例(由于“各向异性”,不同方向的线的长度比保持不了,但平行线的长度比还是不可能变的)
- 面积比(不同方向的正方形在各向异性的变化下形状可能不一样了,但是由于大家xy方向拉伸的比例一样所以总的面积上的比例是不会变的,实际上大家的面积都缩放了(就是A的行列式大小))
还有需要说明的是仿射变换和isometry一样有保持方向和翻转方向之分,取决于A行列式的正负。
2.4.4 Class IV: Projective transformations
投影变换已经在2.3中定义过了,它是齐次坐标下的非奇异线性变换。这里我们再把它写成类似的块形式:
这里的向量 。其他一些内容我觉得看2.3就够了。然后要注意一点就是在投影空间中投影是否是方向保持的是不可能区分的,这点会在2.6讲。
- 不变量
仿射中一条线上(或者说平行线间)的长度比是不变的,在投影变换中这一点也不成立了。书中提到的不变量是一条线上长度的交叉比(cross ratio,ratio of ratios),这点会在之后2.5讲。
2.4.5 Summary and comparison
前面我们学了isometry、相似、仿射、投影由易到难四个层次的变换。递进表现为:旋转+平移——缩放——各向异性缩放——与位置相关的缩放。
这里我再根据书中讲的强调一下后两个。仿射中的各向异性缩放表现为:缩放与位置无关,之和方向有关。投影中的缩放表现为同时和位置、方向有关。对于平面上两个正方形,只要它们的姿态(方向)是一致的,那么仿射变换结果一定相同;但是只要如果不在同一个位置或者不是同一个方向,那么两个正方形的投影变换一定不同。这两者区别的关键在于向量v是否为零,书中通过理想点 帮助我们看清这一点区别:
首先是理想点的仿射变换:
其次是理想点的投影变换:
可以看到,投影变换能把理想点映射到一个有限点,而这时仿射变换做不到的。这一特点使得投影变换可以对“灭点”建模。(和我之前提的素描透视中的灭点是同一个东西,之后遇到再讨论)
2.4.6 Decomposition of a projective transformation
很有趣的一点是,投影变换可以被拆解成一些列前面提到的变换,具体如下:
大家计算一下就能得到 ,K是上三角矩阵并且行列式归一为1.注意当v不为0是这样分解才是有效的,且这种分解在s大于0时唯一。
其实这个分解的顺序还能反过来如下:
需要注意的是大家可以把这个结果写出了,和前一种分解的结果是不一样的,所以这里符号一样但实际值不同。
讲这个分解方法的原因是,这样分解可以在只需要确定部分变换时使用。这部分会在2.7讨论。
2.4.7 The number of invariants
这一节简单总结一下各变换的不变量,这一节有一点“玄”,大家主要看书,我在这里说一下自己的理解。说到不变量我们自然会想每种变换有多少个不变量。相信大家也有从前面学到这里也有体会,一个不变量的函数肯定也是不变量。比如欧式变换是最特殊的变换,只有旋转和平移所以长度是不变量,那么它肯定能像“更高等级的变换”一样保持住长度比或者交叉比什么的,因为后者这些都是长度的函数而已。所以我们讨论不变量数量的话应该很严格地讨论那些最本质、在函数上独立的不变量。
书中通过一句话就简洁地引出了一条很本质的结论:
函数独立的不变量的数量大于等于结构的自由度减去变换的自由度。
我只能说因为水平和精力所限没有搞懂这句话。不过这句话的思考角度大概就是一个结构提供的已知变量数去除变换需要确定的变量数之后剩下的差不多就是不变量的数。至于为什么是大于等于的且这个结构怎么去定义我确实无法回答,书中也没有论证,不过我斗胆觉得从工程角度来说这个问题应该问题不大所以我们不用太过关心。书中的举了线段的例子也就套了一下这个结论我就不赘述了,感觉意义不大。最后就放上各种变换不变的几何性质总结,注意从上到下是由一般到特殊,随着变换的dof减小,其不变量是越来越多的。