令图像f和g在区域m内存在以下关系:
如果给定和,则比例小于。由物理意义可知,表示两幅图像的相似程度,故在和固定的情况下,可以作为图像f,g之间匹配测度。
根据柯西不等式,对非负的f和g,有:
当且仅当(c为常数)时上式成立。
对于数字图像,类似的关系式为:
对所有的j,k,当且仅当时等式成立。
现在设f是模板,g是图像,g的尺度大于f的尺度。将模版f在图像域中移动,对每一次移位(u,v)均计算,根据柯西不等式,有:
因为在模版f在m区域之外为零,所以可将积分区域扩展成负无穷到正无穷,上式左边变成:
上式就是模版f和图像g之间互相关函数。
注意到右边的系数项为常数,而项对应待匹配图像,与(u,v)有关,不是常数项,因而不能简单地以互相关函数作为匹配的测度。实际工作中常用的归一化互相关函数作为匹配测度。
一般情况下,图像噪声难以完全滤除,f,g不可能完全匹配,故通常取接近最大值时的位置作为理想匹配点。