函数的正交是向量正交的推广,函数可看成无穷维向量,在n维空间中两向量正交是借助内积来定义的,设X=(x1,x2,...,xn),Y=(y1,y2,...,yn),则X与Y正交定义为其内积X*Y=x1*y1+x2*y2+...+xn*yn=0,
设f(x),g(x)是定义在[a,b]区间的可积函数,f(x),g(x)中的自变元类似于(有限维)向量下标,向量X中分量的下标取1,2,..,n这些离散值,而f(x)中的x可连续取[a,b]中所有的值,因此f(x)是无穷维向量,两向量内积是对应分量之积的有限和,推广到函数空间,两函数内积是对应分量(函数值)之积的无限和,积分是有限和的极限,因此积分表示一个无限和,为了看清这一推广,将向量内积表示为X*Y=x1*y1*1+x2*y2*1+...+xn*yn*1,这个和式中每一项是由X的分量,Y的分量和1相乘之积(1看成下标取1个单位),对应于向量内积的写法,函数内积应写为f(x)g(x)△x,它对应了[a,b]区间某子区间的值,该子区间长为△x,它类似于下标,将所有这些值加起来,当最大子区间长为趋于零,有限和变为无限和,其值恰为f(x)g(x)在[a,b]的积分.
